nice -n 10 make -j2
 in dir /home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm (timeout 1200 secs)
 watching logfiles {}
 argv: ['nice', '-n', '10', 'make', '-j2']
 environment:
  HISTCONTROL=ignoreboth
  HOME=/home/klee-buildslave
  LANG=en_US.UTF-8
  LESSCLOSE=/usr/bin/lesspipe %s %s
  LESSOPEN=| /usr/bin/lesspipe %s
  LOGNAME=klee-buildslave
  LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.svgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:
  MAIL=/var/mail/klee-buildslave
  OLDPWD=/home/klee-buildslave
  PATH=/home/klee-buildslave/venv/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
  PS1=(venv)${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ 
  PWD=/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm
  SHELL=/bin/bash
  SHLVL=3
  SSH_CLIENT=99.119.67.25 62653 22
  SSH_CONNECTION=99.119.67.25 62653 74.208.166.209 22
  SSH_TTY=/dev/pts/1
  TERM=xterm-color
  USER=klee-buildslave
  VIRTUAL_ENV=/home/klee-buildslave/venv
  _=/home/klee-buildslave/venv/bin/buildslave
 closing stdin
 using PTY: False
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/System'
llvm[1]: Compiling Alarm.cpp for Release build 
llvm[1]: Compiling Atomic.cpp for Release build 
llvm[1]: Compiling Disassembler.cpp for Release build 
llvm[1]: Compiling DynamicLibrary.cpp for Release build 
llvm[1]: Compiling Errno.cpp for Release build 
llvm[1]: Compiling Host.cpp for Release build 
llvm[1]: Compiling Memory.cpp for Release build 
llvm[1]: Compiling Mutex.cpp for Release build 
llvm[1]: Compiling Path.cpp for Release build 
llvm[1]: Compiling Process.cpp for Release build 
llvm[1]: Compiling Program.cpp for Release build 
llvm[1]: Compiling RWMutex.cpp for Release build 
llvm[1]: Compiling Signals.cpp for Release build 
llvm[1]: Compiling ThreadLocal.cpp for Release build 
llvm[1]: Compiling Threading.cpp for Release build 
llvm[1]: Compiling TimeValue.cpp for Release build 
llvm[1]: Building Release Archive Library libLLVMSystem.a
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/System'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Support'
llvm[1]: Compiling CommandLine.cpp for Release build 
llvm[1]: Compiling GraphWriter.cpp for Release build 
llvm[1]: Compiling IsInf.cpp for Release build 
llvm[1]: Compiling IsNAN.cpp for Release build 
llvm[1]: Compiling ManagedStatic.cpp for Release build 
llvm[1]: Compiling raw_ostream.cpp for Release build 
llvm[1]: Building Release Archive Library libLLVMSupport.a
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Support'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/fpcmp'
llvm[2]: Linking Release executable fpcmp (without symbols)
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/TableGen'
llvm[2]: Compiling TGLexer.cpp for Release build 
llvm[2]: ======= Finished Linking Release Executable fpcmp (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/fpcmp'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/PerfectShuffle'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/PerfectShuffle'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/FileCheck'
llvm[2]: Linking Release executable FileCheck (without symbols)
llvm[2]: ======= Finished Linking Release Executable FileCheck (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/FileCheck'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/FileUpdate'
llvm[2]: Linking Release executable FileUpdate (without symbols)
llvm[2]: ======= Finished Linking Release Executable FileUpdate (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/FileUpdate'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/unittest'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/unittest/googletest'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/unittest/googletest'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/unittest'
llvm[2]: Linking Release executable tblgen (without symbols)
llvm[2]: ======= Finished Linking Release Executable tblgen (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils/TableGen'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/utils'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/VMCore'
llvm[1]: Building Intrinsics.gen.tmp from Intrinsics.td
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/VMCore'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/VMCore'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/AsmParser'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/AsmParser'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Bitcode'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/VMCore'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Bitcode/Reader'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Bitcode/Reader'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Archive'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Archive'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Bitcode/Writer'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Bitcode/Writer'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Bitcode'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Analysis'
llvm[2]: Compiling CFGPrinter.cpp for Release build 
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/Utils'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/Utils'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/Instrumentation'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/Instrumentation'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/Scalar'
llvm[3]: Compiling SimplifyHalfPowrLibCalls.cpp for Release build 
llvm[3]: Compiling SimplifyLibCalls.cpp for Release build 
llvm[2]: Building Release Archive Library libLLVMAnalysis.a
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Analysis/IPA'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Analysis/IPA'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Analysis'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/IPO'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/IPO'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/Hello'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/Hello'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/CodeGen'
llvm[2]: Compiling LiveVariables.cpp for Release build 
llvm[2]: Compiling MachineFunction.cpp for Release build 
llvm[3]: Building Release Archive Library libLLVMScalarOpts.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms/Scalar'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Transforms'
llvm[2]: Compiling ScheduleDAGPrinter.cpp for Release build 
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/CodeGen/SelectionDAG'
llvm[3]: Compiling SelectionDAGPrinter.cpp for Release build 
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target'
llvm[2]: Compiling Target.cpp for Release build 
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target/X86'
llvm[3]: Building X86.td register names with tblgen
llvm[3]: Building X86.td instruction names with tblgen
llvm[3]: Building X86.td register information header with tblgen
llvm[3]: Building X86.td subtarget information with tblgen
llvm[3]: Building Release Archive Library libLLVMSelectionDAG.a
llvm[3]: Building X86.td register info implementation with tblgen
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/CodeGen/SelectionDAG'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/CodeGen/AsmPrinter'
make[3]: Nothing to be done for `all'.
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/CodeGen/AsmPrinter'
llvm[2]: Building Release Archive Library libLLVMCodeGen.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/CodeGen'
llvm[3]: Building X86.td calling convention information with tblgen
llvm[3]: Building X86.td DAG instruction selector implementation with tblgen
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/ExecutionEngine'
llvm[2]: Compiling ExecutionEngine.cpp for Release build 
llvm[3]: Building X86.td instruction information with tblgen
llvm[3]: Building X86.td "fast" instruction selector implementation with tblgen
llvm[3]: Building X86.td assembly writer with tblgen
llvm[3]: Building X86.td assembly matcher with tblgen
llvm[3]: Building X86.td assembly writer #1 with tblgen
llvm[3]: Compiling X86JITInfo.cpp for Release build 
llvm[3]: Building Release Archive Library libLLVMX86CodeGen.a
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target/X86/AsmPrinter'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target/X86/AsmPrinter'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target/X86/AsmParser'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target/X86/AsmParser'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target/X86/TargetInfo'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target/X86/TargetInfo'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target/X86'
llvm[2]: Building Release Archive Library libLLVMTarget.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Target'
llvm[2]: Compiling ExecutionEngineBindings.cpp for Release build 
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/ExecutionEngine/Interpreter'
llvm[3]: Compiling ExternalFunctions.cpp for Release build 
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Debugger'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Debugger'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/ExecutionEngine/JIT'
llvm[3]: Compiling Intercept.cpp for Release build 
llvm[3]: Compiling JIT.cpp for Release build 
llvm[3]: Building Release Archive Library libLLVMInterpreter.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/ExecutionEngine/Interpreter'
llvm[3]: Compiling OProfileJITEventListener.cpp for Release build 
llvm[2]: Building Release Archive Library libLLVMExecutionEngine.a
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Linker'
llvm[2]: Compiling LinkArchives.cpp for Release build 
llvm[3]: Building Release Archive Library libLLVMJIT.a
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/ExecutionEngine/JIT'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/ExecutionEngine'
llvm[2]: Compiling Linker.cpp for Release build 
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/MC'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/MC'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/CompilerDriver'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/CompilerDriver'
llvm[2]: Building Release Archive Library libLLVMLinker.a
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib/Linker'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/lib'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-config'
llvm[1]: Regenerating LibDeps.txt.tmp
llvm[1]: Building llvm-config script.
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-config'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-config'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-config'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/lto'
llvm[2]: Compiling LTOCodeGenerator.cpp for Release build  (PIC)
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/opt'
llvm[2]: Linking Release executable opt (without symbols)
llvm[2]: ======= Finished Linking Release Executable opt (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/opt'
llvm[2]: Compiling LTOModule.cpp for Release build  (PIC)
llvm[2]: Linking Release Shared Library LTO.so
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-as'
llvm[2]: Linking Release executable llvm-as (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-as (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-as'
llvm[2]: Building Release Archive Library libLTO.a
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-dis'
llvm[2]: Linking Release executable llvm-dis (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-dis (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-dis'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llc'
llvm[2]: Compiling llc.cpp for Release build 
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/lto'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-ranlib'
llvm[2]: Linking Release executable llvm-ranlib (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-ranlib (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-ranlib'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-ar'
llvm[2]: Linking Release executable llvm-ar (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-ar (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-ar'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-nm'
llvm[2]: Linking Release executable llvm-nm (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-nm (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-nm'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-ld'
llvm[2]: Compiling llvm-ld.cpp for Release build 
llvm[2]: Linking Release executable llc (without symbols)
llvm[2]: ======= Finished Linking Release Executable llc (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llc'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-prof'
llvm[2]: Linking Release executable llvm-prof (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-prof (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-prof'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-link'
llvm[2]: Linking Release executable llvm-link (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-link (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-link'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/lli'
llvm[2]: Compiling lli.cpp for Release build 
llvm[2]: Linking Release executable lli (without symbols)
llvm[2]: Linking Release executable llvm-ld (without symbols)
llvm[2]: ======= Finished Linking Release Executable lli (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/lli'
llvm[2]: ======= Finished Linking Release Executable llvm-ld (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-ld'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/gccas'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/gccas'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/gccld'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/gccld'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-extract'
llvm[2]: Linking Release executable llvm-extract (without symbols)
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-db'
llvm[2]: Linking Release executable llvm-db (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-extract (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-extract'
llvm[2]: ======= Finished Linking Release Executable llvm-db (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-db'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/bugpoint'
llvm[2]: Compiling Miscompilation.cpp for Release build 
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-bcanalyzer'
llvm[2]: Linking Release executable llvm-bcanalyzer (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-bcanalyzer (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-bcanalyzer'
llvm[2]: Compiling OptimizerDriver.cpp for Release build 
llvm[2]: Compiling ToolRunner.cpp for Release build 
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-stub'
llvm[2]: Compiling llvm-stub.c for Release build
llvm[2]: Linking Release executable llvm-stub (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-stub (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-stub'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-mc'
llvm[2]: Compiling AsmLexer.cpp for Release build 
llvm[2]: Compiling llvm-mc.cpp for Release build 
llvm[2]: Linking Release executable bugpoint (without symbols)
llvm[2]: ======= Finished Linking Release Executable bugpoint (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/bugpoint'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc/plugins'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc/plugins/Base'
llvm[4]: Building LLVMC configuration library with tblgen
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc/plugins/Base'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc/plugins/Clang'
llvm[4]: Building LLVMC configuration library with tblgen
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc/plugins/Clang'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc/plugins'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc/driver'
llvm[3]: Linking Release executable llvmc (without symbols)
llvm[3]: ======= Finished Linking Release Executable llvmc (without symbols)
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc/driver'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvmc'
llvm[2]: Linking Release executable llvm-mc (without symbols)
llvm[2]: ======= Finished Linking Release Executable llvm-mc (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools/llvm-mc'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/tools'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/runtime'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/runtime/libprofile'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/runtime/libprofile'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/runtime'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/docs'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/docs/CommandGuide'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/docs/CommandGuide'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/docs/tutorial'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/docs/tutorial'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/docs'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/BrainF'
llvm[2]: Compiling BrainFDriver.cpp for Release build 
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/Fibonacci'
llvm[2]: Linking Release executable Fibonacci (without symbols)
llvm[2]: ======= Finished Linking Release Executable Fibonacci (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/Fibonacci'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/HowToUseJIT'
llvm[2]: Compiling HowToUseJIT.cpp for Release build 
llvm[2]: Linking Release executable BrainF (without symbols)
llvm[2]: Linking Release executable HowToUseJIT (without symbols)
llvm[2]: ======= Finished Linking Release Executable BrainF (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/BrainF'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/Kaleidoscope'
llvm[2]: Compiling toy.cpp for Release build 
llvm[2]: ======= Finished Linking Release Executable HowToUseJIT (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/HowToUseJIT'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/ModuleMaker'
llvm[2]: Linking Release executable ModuleMaker (without symbols)
llvm[2]: ======= Finished Linking Release Executable ModuleMaker (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/ModuleMaker'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/ParallelJIT'
llvm[2]: Compiling ParallelJIT.cpp for Release build 
llvm[2]: Linking Release executable ParallelJIT (without symbols)
llvm[2]: ======= Finished Linking Release Executable ParallelJIT (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/ParallelJIT'
llvm[2]: Linking Release executable Kaleidoscope (without symbols)
llvm[2]: ======= Finished Linking Release Executable Kaleidoscope (without symbols)
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples/Kaleidoscope'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/examples'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects'
make[2]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample/lib'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample/lib/sample'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample/lib/sample'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample/lib'
make[3]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample/tools'
make[4]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample/tools/sample'
make[4]: Nothing to be done for `all'.
make[4]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample/tools/sample'
make[3]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample/tools'
make[2]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects/sample'
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/projects'
make[1]: Entering directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/bindings'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/home/klee-buildslave/buildslave/build.klee-2.6-x86_64-linux/llvm/bindings'
llvm[0]: ***** Completed Release Build
program finished with exit code 0
elapsedTime=141.227188