Mock Version: 2.0 Mock Version: 2.0 Mock Version: 2.0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/sat4j.spec'], chrootPath='/var/lib/mock/1259434-epel-8-x86_64-1582896023.594772/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=FalseprintOutput=True) ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/sat4j.spec'], chrootPath='/var/lib/mock/1259434-epel-8-x86_64-1582896023.594772/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=FalseprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'd681568dc9a447bd9be68826058c32d2', '-D', '/var/lib/mock/1259434-epel-8-x86_64-1582896023.594772/root', '-a', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=en_US.UTF-8', '-u', 'mockbuild', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/sat4j.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'd681568dc9a447bd9be68826058c32d2', '-D', '/var/lib/mock/1259434-epel-8-x86_64-1582896023.594772/root', '-a', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=en_US.UTF-8', '-u', 'mockbuild', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/sat4j.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: x86_64 Building target platforms: x86_64 Building for target x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/sat4j-2.3.5-16.el8.src.rpm Wrote: /builddir/build/SRPMS/sat4j-2.3.5-16.el8.src.rpm Child return code was: 0 Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/sat4j.spec'], chrootPath='/var/lib/mock/1259434-epel-8-x86_64-1582896023.594772/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=FalseprintOutput=True) ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/sat4j.spec'], chrootPath='/var/lib/mock/1259434-epel-8-x86_64-1582896023.594772/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=FalseprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'a98babf68fac4f71933a05fe9014c9d7', '-D', '/var/lib/mock/1259434-epel-8-x86_64-1582896023.594772/root', '-a', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=en_US.UTF-8', '-u', 'mockbuild', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/sat4j.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'a98babf68fac4f71933a05fe9014c9d7', '-D', '/var/lib/mock/1259434-epel-8-x86_64-1582896023.594772/root', '-a', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yj8w4hdc:/etc/resolv.conf', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=en_US.UTF-8', '-u', 'mockbuild', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/sat4j.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: x86_64 Building target platforms: x86_64 Building for target x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.d6cpEe Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.d6cpEe + umask 022 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf sat4j-2.3.5 + rm -rf sat4j-2.3.5 + /usr/bin/xz -dc /builddir/build/SOURCES/sat4j-2.3.5.tar.xz + /usr/bin/xz -dc /builddir/build/SOURCES/sat4j-2.3.5.tar.xz + /usr/bin/tar -xof - + /usr/bin/tar -xof - + STATUS=0 + STATUS=0 + '[' 0 -ne 0 ']' + '[' 0 -ne 0 ']' + cd sat4j-2.3.5 + cd sat4j-2.3.5 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (sat4j-classpath.patch):' + echo 'Patch #0 (sat4j-classpath.patch):' Patch #0 (sat4j-classpath.patch): Patch #0 (sat4j-classpath.patch): + /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0 + /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0 patching file org.sat4j.pb/META-INF/MANIFEST.MF patching file org.sat4j.pb/META-INF/MANIFEST.MF + exit 0 + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.SfcLWq Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.SfcLWq + umask 022 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + cd sat4j-2.3.5 + cd sat4j-2.3.5 + ant -Dbuild.compiler=modern -Drelease=2.3.5 -Dtarget=1.5 -DBUILD_DATE=20130405 p2 + ant -Dbuild.compiler=modern -Drelease=2.3.5 -Dtarget=1.5 -DBUILD_DATE=20130405 p2 Buildfile: /builddir/build/BUILD/sat4j-2.3.5/build.xml Buildfile: /builddir/build/BUILD/sat4j-2.3.5/build.xml cleanrelease: cleanrelease: clean: clean: prepare: prepare: [echo] Creating build and doc directories [echo] Creating build and doc directories [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/dist [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/dist [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5 [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5 [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/lib [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/lib [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp core: core: [echo] Building core library to be embedded into Java applications [echo] Building core library to be embedded into Java applications clean: clean: [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/bin [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/bin [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/tests [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/tests [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/api [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/api prepare: prepare: [echo] Creating build and doc directories [echo] Creating build and doc directories [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp build: build: [echo] Compiling source code org.sat4j.core/src/main/java using target 1.5 [echo] Compiling source code org.sat4j.core/src/main/java using target 1.5 [javac] Compiling 215 source files to /builddir/build/BUILD/sat4j-2.3.5/bin [javac] Compiling 215 source files to /builddir/build/BUILD/sat4j-2.3.5/bin [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.5 [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.5 [javac] warning: [options] source value 1.5 is obsolete and will be removed in a future release [javac] warning: [options] source value 1.5 is obsolete and will be removed in a future release [javac] warning: [options] target value 1.5 is obsolete and will be removed in a future release [javac] warning: [options] target value 1.5 is obsolete and will be removed in a future release [javac] warning: [options] To suppress warnings about obsolete options, use -Xlint:-options. [javac] warning: [options] To suppress warnings about obsolete options, use -Xlint:-options. [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70: warning: unmappable character for encoding ASCII [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On Computing Backbones of [javac] ^ [javac] ^ [javac] Note: Some input files use or override a deprecated API. [javac] Note: Some input files use or override a deprecated API. [javac] Note: Recompile with -Xlint:deprecation for details. [javac] Note: Recompile with -Xlint:deprecation for details. [javac] Note: Some input files use unchecked or unsafe operations. [javac] Note: Some input files use unchecked or unsafe operations. [javac] Note: Recompile with -Xlint:unchecked for details. [javac] Note: Recompile with -Xlint:unchecked for details. [javac] 16 warnings [javac] 16 warnings [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/core/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/core/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/restarts/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/restarts/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/card/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/card/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/opt/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/opt/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/core/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/core/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/specs/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/specs/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/reader/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/reader/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/cnf/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/cnf/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/learning/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/learning/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/encoding/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/encoding/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/orders/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/orders/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/xplain/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/xplain/package-info.class [copy] Copying 6 files to /builddir/build/BUILD/sat4j-2.3.5/bin [copy] Copying 6 files to /builddir/build/BUILD/sat4j-2.3.5/bin [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.core.jar [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.core.jar source-package: source-package: [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.core-src.jar [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.core-src.jar clean: clean: [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/bin [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/bin [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/tests [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/tests [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/api [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/api prepare: prepare: [echo] Creating build and doc directories [echo] Creating build and doc directories [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp zip-bundle: zip-bundle: [zip] Building zip: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-core-v20130405.zip [zip] Building zip: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-core-v20130405.zip pseudo: pseudo: [echo] Building Pseudo Boolean Solver [echo] Building Pseudo Boolean Solver clean: clean: [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/bin [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/bin [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/tests [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/tests [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/api [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/api prepare: prepare: [echo] Creating build and doc directories [echo] Creating build and doc directories [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp build: build: [echo] Compiling source code org.sat4j.pb/src/main/java using target 1.5 [echo] Compiling source code org.sat4j.pb/src/main/java using target 1.5 [javac] Compiling 129 source files to /builddir/build/BUILD/sat4j-2.3.5/bin [javac] Compiling 129 source files to /builddir/build/BUILD/sat4j-2.3.5/bin [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.5 [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.5 [javac] warning: [options] source value 1.5 is obsolete and will be removed in a future release [javac] warning: [options] source value 1.5 is obsolete and will be removed in a future release [javac] warning: [options] target value 1.5 is obsolete and will be removed in a future release [javac] warning: [options] target value 1.5 is obsolete and will be removed in a future release [javac] warning: [options] To suppress warnings about obsolete options, use -Xlint:-options. [javac] warning: [options] To suppress warnings about obsolete options, use -Xlint:-options. [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:302: warning: unmappable character for encoding ASCII [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] // TODO : V???rifier que les variables sont bien num???rot???es de 1 ??? [javac] ^ [javac] ^ [javac] Note: Some input files use or override a deprecated API. [javac] Note: Some input files use or override a deprecated API. [javac] Note: Recompile with -Xlint:deprecation for details. [javac] Note: Recompile with -Xlint:deprecation for details. [javac] Note: /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DependencyHelper.java uses unchecked or unsafe operations. [javac] Note: /builddir/build/BUILD/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DependencyHelper.java uses unchecked or unsafe operations. [javac] Note: Recompile with -Xlint:unchecked for details. [javac] Note: Recompile with -Xlint:unchecked for details. [javac] 16 warnings [javac] 16 warnings [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/reader/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/reader/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/core/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/core/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/constraints/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/constraints/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/constraints/pb/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/constraints/pb/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/orders/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/orders/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/tools/package-info.class [javac] Creating empty /builddir/build/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/tools/package-info.class [copy] Copying 4 files to /builddir/build/BUILD/sat4j-2.3.5/bin [copy] Copying 4 files to /builddir/build/BUILD/sat4j-2.3.5/bin [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.pb.jar [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.pb.jar source-package: source-package: [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.pb-src.jar [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.pb-src.jar [echo] Create All-In-One auto-executable package [echo] Create All-In-One auto-executable package [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-pb.jar [jar] Building jar: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-pb.jar clean: clean: [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/bin [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/bin [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/tests [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/tests [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/api [delete] Deleting directory /builddir/build/BUILD/sat4j-2.3.5/api prepare: prepare: [echo] Creating build and doc directories [echo] Creating build and doc directories [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/bin [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/tests [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/core [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/sat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/pb [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/maxsat [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp [mkdir] Created dir: /builddir/build/BUILD/sat4j-2.3.5/api/csp zip-bundle: zip-bundle: [zip] Building zip: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-pb-v20130405.zip [zip] Building zip: /builddir/build/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-pb-v20130405.zip p2: p2: [echo] Built release 2.3.5 of both SAT4J Core and SAT4J Pseudo [echo] Built release 2.3.5 of both SAT4J Core and SAT4J Pseudo BUILD SUCCESSFUL BUILD SUCCESSFUL Total time: 6 seconds Total time: 6 seconds + /usr/bin/python3.6 /usr/share/java-utils/mvn_artifact.py org.ow2.sat4j:org.ow2.sat4j.core::2.3.5 dist/2.3.5/org.sat4j.core.jar + /usr/bin/python3.6 /usr/share/java-utils/mvn_artifact.py org.ow2.sat4j:org.ow2.sat4j.core::2.3.5 dist/2.3.5/org.sat4j.core.jar + /usr/bin/python3.6 /usr/share/java-utils/mvn_artifact.py org.ow2.sat4j:org.ow2.sat4j.pb::2.3.5 dist/2.3.5/org.sat4j.pb.jar + /usr/bin/python3.6 /usr/share/java-utils/mvn_artifact.py org.ow2.sat4j:org.ow2.sat4j.pb::2.3.5 dist/2.3.5/org.sat4j.pb.jar + /usr/bin/python3.6 /usr/share/java-utils/mvn_file.py :org.ow2.sat4j.core org.sat4j.core + /usr/bin/python3.6 /usr/share/java-utils/mvn_file.py :org.ow2.sat4j.core org.sat4j.core + /usr/bin/python3.6 /usr/share/java-utils/mvn_file.py :org.ow2.sat4j.pb org.sat4j.pb + /usr/bin/python3.6 /usr/share/java-utils/mvn_file.py :org.ow2.sat4j.pb org.sat4j.pb + exit 0 + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.4sWJTU Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.4sWJTU + umask 022 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 '!=' / ']' + '[' /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 + rm -rf /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 ++ dirname /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 ++ dirname /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 + mkdir /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 + cd sat4j-2.3.5 + cd sat4j-2.3.5 + xmvn-install -R .xmvn-reactor -n sat4j -d /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 + xmvn-install -R .xmvn-reactor -n sat4j -d /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 [INFO] Installing artifact org.ow2.sat4j:org.ow2.sat4j.core:jar:2.3.5 [INFO] Installing artifact org.ow2.sat4j:org.ow2.sat4j.core:jar:2.3.5 [INFO] Installing artifact org.ow2.sat4j:org.ow2.sat4j.pb:jar:2.3.5 [INFO] Installing artifact org.ow2.sat4j:org.ow2.sat4j.pb:jar:2.3.5 [INFO] Installation successful [INFO] Installation successful + jdir=target/site/apidocs + jdir=target/site/apidocs + '[' -d .xmvn/apidocs ']' + '[' -d .xmvn/apidocs ']' + /usr/bin/mkdir -p /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/licenses + /usr/bin/mkdir -p /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/licenses + '[' -d target/site/apidocs ']' + '[' -d target/site/apidocs ']' + /usr/lib/rpm/find-debuginfo.sh -j2 --strict-build-id -m -i --build-id-seed 2.3.5-16.el8 --unique-debug-suffix -2.3.5-16.el8.x86_64 --unique-debug-src-base sat4j-2.3.5-16.el8.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/sat4j-2.3.5 + /usr/lib/rpm/find-debuginfo.sh -j2 --strict-build-id -m -i --build-id-seed 2.3.5-16.el8 --unique-debug-suffix -2.3.5-16.el8.x86_64 --unique-debug-src-base sat4j-2.3.5-16.el8.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/sat4j-2.3.5 + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/redhat/brp-ldconfig /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile 1 + /usr/lib/rpm/brp-python-bytecompile 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/brp-python-hardlink + PYTHON3=/usr/libexec/platform-python + PYTHON3=/usr/libexec/platform-python + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: sat4j-2.3.5-16.el8.noarch Processing files: sat4j-2.3.5-16.el8.noarch [INFO osgi.prov] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/java/org.sat4j.core.jar'] [INFO osgi.prov] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/java/org.sat4j.core.jar'] [INFO osgi.prov] osgi(org.sat4j.core) = 2.3.5 [INFO osgi.prov] osgi(org.sat4j.core) = 2.3.5 [INFO osgi.req] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/java/org.sat4j.core.jar'] [INFO osgi.req] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/java/org.sat4j.core.jar'] [INFO osgi.prov] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/java/org.sat4j.pb.jar'] [INFO osgi.prov] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/java/org.sat4j.pb.jar'] [INFO osgi.prov] osgi(org.sat4j.pb) = 2.3.5 [INFO osgi.prov] osgi(org.sat4j.pb) = 2.3.5 [INFO osgi.req] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/java/org.sat4j.pb.jar'] [INFO osgi.req] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/java/org.sat4j.pb.jar'] [INFO osgi.req] osgi(org.sat4j.core) = 2.3.5 [INFO osgi.req] osgi(org.sat4j.core) = 2.3.5 [INFO maven.prov] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/maven-metadata/sat4j.xml'] [INFO maven.prov] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/maven-metadata/sat4j.xml'] [INFO maven.prov] mvn(org.ow2.sat4j:org.ow2.sat4j.pb) = 2.3.5, mvn(org.ow2.sat4j:org.ow2.sat4j.core) = 2.3.5 [INFO maven.prov] mvn(org.ow2.sat4j:org.ow2.sat4j.pb) = 2.3.5, mvn(org.ow2.sat4j:org.ow2.sat4j.core) = 2.3.5 [INFO maven.req] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/maven-metadata/sat4j.xml'] [INFO maven.req] input: ['/builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64/usr/share/maven-metadata/sat4j.xml'] [INFO maven.req] javapackages-filesystem, java-headless [INFO maven.req] javapackages-filesystem, java-headless Provides: mvn(org.ow2.sat4j:org.ow2.sat4j.core) = 2.3.5 mvn(org.ow2.sat4j:org.ow2.sat4j.pb) = 2.3.5 osgi(org.sat4j.core) = 2.3.5 osgi(org.sat4j.pb) = 2.3.5 sat4j = 2.3.5-16.el8 Provides: mvn(org.ow2.sat4j:org.ow2.sat4j.core) = 2.3.5 mvn(org.ow2.sat4j:org.ow2.sat4j.pb) = 2.3.5 osgi(org.sat4j.core) = 2.3.5 osgi(org.sat4j.pb) = 2.3.5 sat4j = 2.3.5-16.el8 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: java-headless javapackages-filesystem osgi(org.sat4j.core) = 2.3.5 Requires: java-headless javapackages-filesystem osgi(org.sat4j.core) = 2.3.5 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 Wrote: /builddir/build/RPMS/sat4j-2.3.5-16.el8.noarch.rpm Wrote: /builddir/build/RPMS/sat4j-2.3.5-16.el8.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.Bg3pZs Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.Bg3pZs + umask 022 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + cd sat4j-2.3.5 + cd sat4j-2.3.5 + /usr/bin/rm -rf /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 + /usr/bin/rm -rf /builddir/build/BUILDROOT/sat4j-2.3.5-16.el8.x86_64 + exit 0 + exit 0 Child return code was: 0 Child return code was: 0