<86>Mar  7 04:18:42 userdel[702907]: delete user 'rooter'
<86>Mar  7 04:18:42 groupadd[702918]: group added to /etc/group: name=rooter, GID=690
<86>Mar  7 04:18:42 groupadd[702918]: group added to /etc/gshadow: name=rooter
<86>Mar  7 04:18:42 groupadd[702918]: new group: name=rooter, GID=690
<86>Mar  7 04:18:42 useradd[702925]: new user: name=rooter, UID=690, GID=690, home=/root, shell=/bin/bash
<86>Mar  7 04:18:42 userdel[702947]: delete user 'builder'
<86>Mar  7 04:18:42 userdel[702947]: removed group 'builder' owned by 'builder'
<86>Mar  7 04:18:42 userdel[702947]: removed shadow group 'builder' owned by 'builder'
<86>Mar  7 04:18:42 groupadd[702958]: group added to /etc/group: name=builder, GID=691
<86>Mar  7 04:18:42 groupadd[702958]: group added to /etc/gshadow: name=builder
<86>Mar  7 04:18:42 groupadd[702958]: new group: name=builder, GID=691
<86>Mar  7 04:18:42 useradd[702968]: new user: name=builder, UID=691, GID=691, home=/usr/src, shell=/bin/bash
warning: user igor does not exist - using root
warning: group igor does not exist - using root
warning: user igor does not exist - using root
warning: group igor does not exist - using root
warning: user igor does not exist - using root
warning: group igor does not exist - using root
warning: user igor does not exist - using root
warning: group igor does not exist - using root
warning: user igor does not exist - using root
warning: group igor does not exist - using root
warning: Macro %mvn_artifact not found
warning: Macro %mvn_artifact not found
warning: Macro %mvn_file not found
warning: Macro %mvn_file not found
warning: Macro %mvn_install not found
<13>Mar  7 04:18:45 rpmi: javapackages-tools-1:5.0.0-alt1_12jpp8.M90P.1 p9+263388.100.2.1 1608141549 installed
<13>Mar  7 04:18:45 rpmi: libexpat-2.2.10-alt1 p9+261554.100.1.1 1605103332 installed
<13>Mar  7 04:18:45 rpmi: libpng16-1.6.36-alt1 sisyphus+219478.100.1.1 1547633315 installed
<13>Mar  7 04:18:45 rpmi: libjpeg-2:2.0.2-alt1 sisyphus+226996.100.1.1 1554902884 installed
<13>Mar  7 04:18:45 rpmi: beust-jcommander-1.71-alt1_3jpp8 1523858260 installed
<13>Mar  7 04:18:45 rpmi: xmvn-api-3.0.0-alt1_18jpp8 1527991448 installed
<13>Mar  7 04:18:45 rpmi: xmvn-core-3.0.0-alt1_18jpp8 1527991448 installed
<13>Mar  7 04:18:45 rpmi: xml-utils-1:2.9.10-alt6 p9+266566.100.3.1 1614357016 installed
<13>Mar  7 04:18:45 rpmi: liblksctp-1.0.17-alt2 1523113258 installed
<13>Mar  7 04:18:45 rpmi: libnettle6-3.4.1-alt1 sisyphus+226533.100.2.1 1554512181 installed
<13>Mar  7 04:18:45 rpmi: libglvnd-7:1.3.1-alt0.p9 p9+251991.160.19.1 1590834868 installed
<13>Mar  7 04:18:45 rpmi: libwayland-server-1.18.0-alt1 p9+260591.100.12.1 1606212847 installed
<13>Mar  7 04:18:45 rpmi: libp11-kit-0.23.15-alt2 p9+254920.2400.19.1 1601385869 installed
<13>Mar  7 04:18:45 rpmi: libtasn1-4.14-alt1 p9+235792.100.2.1 1565425233 installed
<13>Mar  7 04:18:45 rpmi: libhogweed4-3.4.1-alt1 sisyphus+226533.100.2.1 1554512181 installed
<13>Mar  7 04:18:45 rpmi: lksctp-tools-1.0.17-alt2 1523113258 installed
<13>Mar  7 04:18:45 rpmi: libjasper-2.0.22-alt1 p9+259398.100.5.1 1602695042 installed
<13>Mar  7 04:18:45 rpmi: ant-lib-0:1.10.3-alt1_2jpp8 1528243545 installed
<13>Mar  7 04:18:45 rpmi: objenesis-0:2.6-alt1_1jpp8 1511395274 installed
<13>Mar  7 04:18:46 rpmi: apache-commons-compress-0:1.16.1-alt1_1jpp8 1526491832 installed
<13>Mar  7 04:18:46 rpmi: java-common-1.6.0-alt1 p9+234085.100.1.1 1562573623 installed
<13>Mar  7 04:18:46 rpmi: slf4j-0:1.7.25-alt1_4jpp8 1525924634 installed
<13>Mar  7 04:18:46 rpmi: zip-30000000:3.0-alt1 1332241778 installed
<13>Mar  7 04:18:46 rpmi: sgml-common-0.6.3-alt15 1423664786 installed
<13>Mar  7 04:18:46 rpmi: docbook-dtds-4.5-alt1 1223476557 installed
<13>Mar  7 04:18:46 rpmi: docbook-style-xsl-1.79.1-alt2 sisyphus.213665.100 1537949315 installed
<13>Mar  7 04:18:46 rpmi: rpm-macros-java-1:5.0.0-alt1_12jpp8.M90P.1 p9+263388.100.2.1 1608141549 installed
<13>Mar  7 04:18:46 rpmi: libnatspec-0.3.1-alt2 1445691578 installed
<13>Mar  7 04:18:46 rpmi: unzip-6.0-alt4 p9+261695.100.1.1 1605219254 installed
<13>Mar  7 04:18:46 rpmi: libgdbm-1.8.3-alt10 1454943313 installed
<13>Mar  7 04:18:46 rpmi: libpcsclite-1.9.0-alt1 p9+260393.100.3.1 1604003766 installed
<13>Mar  7 04:18:46 rpmi: libsqlite3-3.33.0-alt1 p9+258834.40.2.1 1601364885 installed
<13>Mar  7 04:18:46 rpmi: libnspr-1:4.28-alt1 p9+254920.20.18.1 1601209852 installed
<13>Mar  7 04:18:46 rpmi: javazi-2021a-alt1 p9+265336.400.3.1 1612252875 installed
<13>Mar  7 04:18:46 rpmi: libgif-4.1.6-alt3 1299634266 installed
<13>Mar  7 04:18:46 rpmi: libidn2-2.2.0-alt1 p9+229971.100.2.1 1558696275 installed
<13>Mar  7 04:18:46 rpmi: libgnutls30-3.6.15-alt1 p9+257743.200.2.1 1599684696 installed
<13>Mar  7 04:18:46 rpmi: liblz4-1:1.9.2-alt1 p9+238696.500.1.1 1570228072 installed
<13>Mar  7 04:18:46 rpmi: libgpg-error-1.36-alt1 p9+261942.140.4.1 1606237682 installed
<13>Mar  7 04:18:46 rpmi: libgcrypt20-1.8.5-alt3 p9+261942.200.4.1 1606237844 installed
<13>Mar  7 04:18:46 rpmi: libsystemd-1:243.9-alt1 p9+258476.300.4.1 1601997124 installed
<13>Mar  7 04:18:46 rpmi: libdbus-1.12.16-alt2 p9+240607.100.1.1 1573553670 installed
<13>Mar  7 04:18:46 rpmi: libavahi-0.8-alt1 p9+258828.100.4.1 1601912047 installed
<13>Mar  7 04:18:46 rpmi: libcups-2.3.3-alt1 p9+265410.100.5.1 1612895763 installed
<13>Mar  7 04:18:46 rpmi: libxslt-1.1.34-alt1.p9.1 p9+261811.300.3.1 1605513910 installed
<13>Mar  7 04:18:46 rpmi: libgtk+2-locales-2.24.32-alt3 sisyphus+227306.100.1.3 1555646039 installed
<13>Mar  7 04:18:46 rpmi: libdatrie-0.2.9-alt1_6 1511686677 installed
<13>Mar  7 04:18:46 rpmi: libthai-0.1.28-alt1_1 sisyphus+226107.100.1.1 1554123079 installed
<13>Mar  7 04:18:46 rpmi: libfribidi-1.0.7-alt1 p9+238309.200.1.1 1569787041 installed
<13>Mar  7 04:18:46 rpmi: libpixman-3:0.38.4-alt1 sisyphus+228006.100.1.1 1556013486 installed
<13>Mar  7 04:18:46 rpmi: libxshmfence-1.3-alt1 sisyphus+223149.1000.2.1 1551268594 installed
<13>Mar  7 04:18:46 rpmi: libwayland-client-1.18.0-alt1 p9+260591.100.12.1 1606212847 installed
<13>Mar  7 04:18:46 rpmi: libpciaccess-1:0.14-alt1 1528969624 installed
<13>Mar  7 04:18:46 rpmi: libdrm-1:2.4.102-alt1 p9+252863.100.1.1 1591372623 installed
<13>Mar  7 04:18:46 rpmi: libgbm-4:20.1.8-alt1 p9+260591.240.12.1 1606213200 installed
<13>Mar  7 04:18:46 rpmi: libatk-locales-2.32.0-alt1 sisyphus+225059.600.3.2 1552845198 installed
<13>Mar  7 04:18:46 rpmi: libatk-2.32.0-alt1 sisyphus+225059.600.3.2 1552845198 installed
<13>Mar  7 04:18:46 rpmi: libX11-locales-3:1.6.7-alt2 p9+258208.100.1.1 1600333167 installed
<13>Mar  7 04:18:46 rpmi: libXdmcp-1.1.3-alt1 sisyphus+225206.600.1.2 1552949347 installed
<13>Mar  7 04:18:46 rpmi: libXau-1.0.9-alt1 sisyphus+223149.200.2.1 1551268156 installed
<13>Mar  7 04:18:46 rpmi: libxcb-1.13.1-alt1 sisyphus+226527.100.2.2 1554593799 installed
<13>Mar  7 04:18:47 rpmi: libX11-3:1.6.7-alt2 p9+258208.100.1.1 1600333167 installed
<13>Mar  7 04:18:47 rpmi: libXext-1.3.4-alt1 sisyphus+225206.700.1.2 1552949422 installed
<13>Mar  7 04:18:47 rpmi: libXrender-0.9.10-alt1 p9+261891.200.2.1 1606149106 installed
<13>Mar  7 04:18:47 rpmi: libXfixes-5.0.3-alt1 sisyphus+226736.100.2.2 1554614842 installed
<13>Mar  7 04:18:47 rpmi: libXi-1.7.9-alt2 sisyphus+226377.100.1.2 1554260258 installed
<13>Mar  7 04:18:47 rpmi: libXcomposite-0.4.5-alt1 sisyphus+225206.300.1.2 1552949136 installed
<13>Mar  7 04:18:47 rpmi: libXdamage-1.1.5-alt1 sisyphus+225206.500.1.2 1552949282 installed
<13>Mar  7 04:18:47 rpmi: libXcursor-1.2.0-alt1 sisyphus+225206.400.1.2 1552949214 installed
<13>Mar  7 04:18:47 rpmi: libXrandr-1.5.2-alt1 sisyphus+225206.1300.1.2 1552949698 installed
<13>Mar  7 04:18:47 rpmi: libXxf86vm-1.1.4-alt2 1527672159 installed
<13>Mar  7 04:18:47 rpmi: libGLX-mesa-4:20.1.8-alt1 p9+260591.240.12.1 1606213200 installed
<13>Mar  7 04:18:47 rpmi: libEGL-mesa-4:20.1.8-alt1 p9+260591.240.12.1 1606213200 installed
<13>Mar  7 04:18:47 rpmi: libEGL-7:1.3.1-alt0.p9 p9+251991.160.19.1 1590834868 installed
<13>Mar  7 04:18:47 rpmi: libGLX-7:1.3.1-alt0.p9 p9+251991.160.19.1 1590834868 installed
<13>Mar  7 04:18:47 rpmi: libGL-7:1.3.1-alt0.p9 p9+251991.160.19.1 1590834868 installed
<13>Mar  7 04:18:47 rpmi: libXinerama-1.1.4-alt1 sisyphus+223149.300.2.1 1551268223 installed
<13>Mar  7 04:18:47 rpmi: libXtst-1.2.3-alt1 p9+261891.100.2.1 1606149065 installed
<13>Mar  7 04:18:47 rpmi: libgraphite2-1.3.13-alt2 sisyphus+226799.100.1.1 1554648233 installed
<13>Mar  7 04:18:47 rpmi: libharfbuzz-2.6.2-alt1 p9+238790.200.1.1 1570435797 installed
<13>Mar  7 04:18:47 rpmi: libfreetype-2.10.1-alt1.1.p9.1 p9+260179.200.3.1 1603971391 installed
<13>Mar  7 04:18:47 rpmi: fontconfig-2.13.1-alt1 p9+247340.200.3.1 1583400482 installed
Updating fonts cache: <29>Mar  7 04:18:48 fontconfig: Updating fonts cache: succeeded
[ DONE ]
<13>Mar  7 04:18:48 rpmi: libcairo-1:1.16.0-alt1 sisyphus+226534.100.2.3 1554515520 installed
<13>Mar  7 04:18:48 rpmi: fonts-type1-xorg-7.0.0-alt4 1188553211 installed
<13>Mar  7 04:18:48 rpmi: libXft-2.3.3-alt1 sisyphus+225206.1000.3.2 1552987714 installed
<13>Mar  7 04:18:48 rpmi: libpango-1.44.6-alt1 p9+237353.700.2.2 1568373865 installed
<13>Mar  7 04:18:48 rpmi: icon-theme-hicolor-0.17-alt2 p9+248347.100.1.1 1584981172 installed
<13>Mar  7 04:18:48 rpmi: libwebp7-1.0.3-alt1 p9+234901.200.1.1 1563552213 installed
<13>Mar  7 04:18:48 rpmi: libjbig-2.1-alt1 1401380921 installed
<13>Mar  7 04:18:48 rpmi: libtiff5-4.0.10.0.57.f9fc01c3-alt1 sisyphus+226958.100.1.1 1554850937 installed
<13>Mar  7 04:18:48 rpmi: shared-mime-info-1.13.1-alt1 p9+238204.100.1.1 1569496447 installed
<13>Mar  7 04:18:48 rpmi: libgdk-pixbuf-locales-2.38.2-alt1 p9+237353.1000.2.2 1568374008 installed
<13>Mar  7 04:18:48 rpmi: gsettings-desktop-schemas-data-3.32.0-alt1 sisyphus+225059.300.3.2 1552843929 installed
<13>Mar  7 04:18:48 rpmi: libgio-2.60.7-alt1 p9+237353.100.2.2 1568372980 installed
<13>Mar  7 04:18:48 rpmi: gsettings-desktop-schemas-3.32.0-alt1 sisyphus+225059.300.3.2 1552843929 installed
<13>Mar  7 04:18:48 rpmi: libgdk-pixbuf-2.38.2-alt1 p9+237353.1000.2.2 1568374008 installed
<13>Mar  7 04:18:48 rpmi: gtk-update-icon-cache-3.24.11-alt1 p9+260591.300.12.1 1606214030 installed
<13>Mar  7 04:18:48 rpmi: libgtk+2-2.24.32-alt3 sisyphus+227306.100.1.3 1555646039 installed
<13>Mar  7 04:18:48 rpmi: libgail-2.24.32-alt3 sisyphus+227306.100.1.3 1555646039 installed
<13>Mar  7 04:18:48 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed
<13>Mar  7 04:18:48 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed
<13>Mar  7 04:18:48 rpmi: ca-certificates-2020.06.29-alt1 p9+258899.100.3.1 1601998604 installed
<13>Mar  7 04:18:48 rpmi: ca-trust-0.1.2-alt1 p9+233349.100.1.1 1561655062 installed
<13>Mar  7 04:18:48 rpmi: p11-kit-trust-0.23.15-alt2 p9+254920.2400.19.1 1601385869 installed
<13>Mar  7 04:18:48 rpmi: libcrypto1.1-1.1.1i-alt2 p9+264846.100.1.1 1610982871 installed
<13>Mar  7 04:18:48 rpmi: libssl1.1-1.1.1i-alt2 p9+264846.100.1.1 1610982871 installed
<13>Mar  7 04:18:49 rpmi: libpython3-3.7.4-alt3 p9+249932.100.2.1 1587126956 installed
<13>Mar  7 04:18:49 rpmi: python3-3.7.4-alt3 p9+249932.100.2.1 1587126956 installed
<13>Mar  7 04:18:49 rpmi: python3-base-3.7.4-alt3 p9+249932.100.2.1 1587126956 installed
<13>Mar  7 04:18:49 rpmi: python3-module-sugarbowl-0.52.1-alt1.git20141130.1.1 sisyphus+227470.1100.1.1 1555687657 installed
<13>Mar  7 04:18:49 rpmi: python3-module-six-1.12.0-alt1 sisyphus+219665.100.2.1 1548148570 installed
<13>Mar  7 04:18:49 rpmi: python3-module-markupsafe-1.1.1-alt1 p9+254838.60.14.1 1602882123 installed
<13>Mar  7 04:18:49 rpmi: python3-module-jinja2-2.11.2-alt1 p9+254838.40.14.1 1602882082 installed
<13>Mar  7 04:18:49 rpmi: python3-module-clyde-0.8.0-alt1.git20141130.2.1 sisyphus+227465.1600.1.2 1555756906 installed
<13>Mar  7 04:18:49 rpmi: python3-module-pkg_resources-1:40.8.0-alt2 sisyphus+229158.200.2.1 1557735221 installed
<13>Mar  7 04:18:49 rpmi: python3-module-runfile-0.46.1-alt1.git20141130.2.1 sisyphus+227469.1300.2.3 1555706376 installed
<13>Mar  7 04:18:49 rpmi: objectweb-asm-0:6.1.1-alt1_1jpp8 1528136365 installed
<13>Mar  7 04:18:49 rpmi: xmvn-install-3.0.0-alt1_18jpp8 1527991448 installed
<13>Mar  7 04:18:49 rpmi: xmvn-subst-3.0.0-alt1_18jpp8 1527991448 installed
<13>Mar  7 04:18:49 rpmi: xmvn-resolve-3.0.0-alt1_18jpp8 1527991448 installed
<13>Mar  7 04:18:49 rpmi: python3-module-genshi-0.7-alt2 sisyphus+229363.100.1.1 1557847321 installed
<13>Mar  7 04:18:49 rpmi: python3-module-webencodings-0.5.1-alt1.1 1517943573 installed
<13>Mar  7 04:18:49 rpmi: python3-module-cssselect-0.9.1-alt1.2 sisyphus+227479.1100.1.2 1555757152 installed
<13>Mar  7 04:18:49 rpmi: python3-module-html5lib-1:0.999999999-alt4.qa1 sisyphus+227493.600.1.3 1555835341 installed
<13>Mar  7 04:18:49 rpmi: python3-module-lxml-4.4.2-alt1 p9+244111.100.1.1 1578758711 installed
<13>Mar  7 04:18:49 rpmi: python3-module-javapackages-1:5.0.0-alt1_12jpp8.M90P.1 p9+263388.100.2.1 1608141549 installed
<13>Mar  7 04:18:49 rpmi: rpm-build-java-1:5.0.0-alt1_12jpp8.M90P.1 p9+263388.100.2.1 1608141549 installed
<13>Mar  7 04:18:49 rpmi: ca-trust-java-0.1.2-alt1 p9+233349.100.1.1 1561655062 installed
<13>Mar  7 04:18:50 rpmi: libnss-3.56.0-alt1 p9+254920.30.20.1 1601657858 installed
<13>Mar  7 04:18:52 rpmi: java-1.8.0-openjdk-headless-0:1.8.0.212.b04-alt2_0jpp8 p9+234508.100.3.1 1563175554 installed
<13>Mar  7 04:18:52 rpmi: java-stub-javadoc-0.1-alt1 1229813340 installed
<13>Mar  7 04:18:52 rpmi: alsa-ucm-conf-1.2.4-alt1 p9+250722.2300.14.1 1614269485 installed
<13>Mar  7 04:18:52 rpmi: alsa-topology-conf-1.2.4-alt1 p9+250722.2200.14.1 1614269467 installed
<13>Mar  7 04:18:52 rpmi: libalsa-1:1.2.4-alt1 p9+250722.2400.14.1 1614269549 installed
<13>Mar  7 04:18:52 rpmi: java-1.8.0-openjdk-0:1.8.0.212.b04-alt2_0jpp8 p9+234508.100.3.1 1563175554 installed
<13>Mar  7 04:18:53 rpmi: java-1.8.0-openjdk-devel-0:1.8.0.212.b04-alt2_0jpp8 p9+234508.100.3.1 1563175554 installed
<13>Mar  7 04:18:53 rpmi: jpackage-generic-compat-0.29-alt1 1523537205 installed
<13>Mar  7 04:18:53 rpmi: javapackages-local-1:5.0.0-alt1_12jpp8.M90P.1 p9+263388.100.2.1 1608141549 installed
<13>Mar  7 04:18:53 rpmi: ant-0:1.10.3-alt1_2jpp8 1528243545 installed
<13>Mar  7 04:18:53 rpmi: rpm-build-java-osgi-0:5.0.0-alt45 1524219295 installed
Building target platforms: x86_64
Building for target x86_64
Wrote: /usr/src/in/nosrpm/sat4j-2.3.5-alt1_12jpp8.nosrc.rpm (w1.gzdio)
Installing sat4j-2.3.5-alt1_12jpp8.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.22289
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ rm -rf sat4j-2.3.5
+ echo 'Source #0 (sat4j-2.3.5.tar.xz):'
Source #0 (sat4j-2.3.5.tar.xz):
+ /usr/bin/xz -dc /usr/src/RPM/SOURCES/sat4j-2.3.5.tar.xz
+ /bin/tar -xf -
+ cd sat4j-2.3.5
+ /bin/chmod -c -Rf u+rwX,go-w .
+ echo 'Patch #0 (sat4j-classpath.patch):'
Patch #0 (sat4j-classpath.patch):
+ /usr/bin/patch -p0
patching file org.sat4j.pb/META-INF/MANIFEST.MF
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.36418
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd sat4j-2.3.5
+ ant -Dbuild.compiler=modern -Drelease=2.3.5 -Dtarget=1.5 -DBUILD_DATE=20130405 p2
Buildfile: /usr/src/RPM/BUILD/sat4j-2.3.5/build.xml

cleanrelease:

clean:

prepare:
     [echo] Creating build and doc directories
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/bin
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/tests
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/dist
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5/lib
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/core
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/sat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/pb
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/maxsat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/csp

core:
     [echo] Building core library to be embedded into Java applications

clean:
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/bin
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/tests
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/api

prepare:
     [echo] Creating build and doc directories
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/bin
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/tests
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/core
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/sat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/pb
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/maxsat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/csp

build:
     [echo] Compiling source code org.sat4j.core/src/main/java using target 1.5
    [javac] Compiling 215 source files to /usr/src/RPM/BUILD/sat4j-2.3.5/bin
    [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] 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] /usr/src/RPM/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]          ^
    [javac] /usr/src/RPM/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]           ^
    [javac] /usr/src/RPM/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]                                  ^
    [javac] /usr/src/RPM/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]                                   ^
    [javac] /usr/src/RPM/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]                                                ^
    [javac] /usr/src/RPM/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]                                                 ^
    [javac] /usr/src/RPM/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]          ^
    [javac] /usr/src/RPM/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]           ^
    [javac] /usr/src/RPM/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]                                  ^
    [javac] /usr/src/RPM/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]                                   ^
    [javac] /usr/src/RPM/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]                                                ^
    [javac] /usr/src/RPM/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]                                                 ^
    [javac] Note: Some input files use or override a deprecated API.
    [javac] Note: Recompile with -Xlint:deprecation for details.
    [javac] Note: Some input files use unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
    [javac] 16 warnings
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/core/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/restarts/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/card/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/opt/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/core/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/specs/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/reader/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/constraints/cnf/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/learning/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/encoding/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/minisat/orders/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/tools/xplain/package-info.class
     [copy] Copying 6 files to /usr/src/RPM/BUILD/sat4j-2.3.5/bin
      [jar] Building jar: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.core.jar

source-package:
      [jar] Building jar: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.core-src.jar

clean:
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/bin
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/tests
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/api

prepare:
     [echo] Creating build and doc directories
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/bin
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/tests
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/core
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/sat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/pb
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/maxsat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/csp

zip-bundle:
      [zip] Building zip: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-core-v20130405.zip

pseudo:
     [echo] Building Pseudo Boolean Solver

clean:
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/bin
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/tests
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/api

prepare:
     [echo] Creating build and doc directories
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/bin
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/tests
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/core
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/sat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/pb
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/maxsat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/csp

build:
     [echo] Compiling source code org.sat4j.pb/src/main/java using target 1.5
    [javac] Compiling 129 source files to /usr/src/RPM/BUILD/sat4j-2.3.5/bin
    [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] 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] /usr/src/RPM/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]                    ^
    [javac] /usr/src/RPM/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]                     ^
    [javac] /usr/src/RPM/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]                      ^
    [javac] /usr/src/RPM/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]                                                             ^
    [javac] /usr/src/RPM/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]                                                              ^
    [javac] /usr/src/RPM/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]                                                               ^
    [javac] /usr/src/RPM/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]                                                                   ^
    [javac] /usr/src/RPM/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]                                                                    ^
    [javac] /usr/src/RPM/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]                                                                     ^
    [javac] /usr/src/RPM/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]                                                                              ^
    [javac] /usr/src/RPM/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]                                                                               ^
    [javac] /usr/src/RPM/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]                                                                                ^
    [javac] Note: Some input files use or override a deprecated API.
    [javac] Note: Recompile with -Xlint:deprecation for details.
    [javac] Note: /usr/src/RPM/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] 16 warnings
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/reader/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/core/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/constraints/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/constraints/pb/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/orders/package-info.class
    [javac] Creating empty /usr/src/RPM/BUILD/sat4j-2.3.5/bin/org/sat4j/pb/tools/package-info.class
     [copy] Copying 4 files to /usr/src/RPM/BUILD/sat4j-2.3.5/bin
      [jar] Building jar: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.pb.jar

source-package:
      [jar] Building jar: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5/org.sat4j.pb-src.jar
     [echo] Create All-In-One auto-executable package
      [jar] Building jar: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-pb.jar

clean:
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/bin
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/tests
   [delete] Deleting directory /usr/src/RPM/BUILD/sat4j-2.3.5/api

prepare:
     [echo] Creating build and doc directories
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/bin
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/tests
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/core
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/sat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/pb
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/maxsat
    [mkdir] Created dir: /usr/src/RPM/BUILD/sat4j-2.3.5/api/csp

zip-bundle:
      [zip] Building zip: /usr/src/RPM/BUILD/sat4j-2.3.5/dist/2.3.5/sat4j-pb-v20130405.zip

p2:
     [echo] Built release 2.3.5 of both SAT4J Core and SAT4J Pseudo

BUILD SUCCESSFUL
Total time: 2 seconds
+ /usr/bin/python3 /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 /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 /usr/share/java-utils/mvn_file.py :org.ow2.sat4j.core org.sat4j.core
+ /usr/bin/python3 /usr/share/java-utils/mvn_file.py :org.ow2.sat4j.pb org.sat4j.pb
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.5991
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ /bin/chmod -Rf u+rwX -- /usr/src/tmp/sat4j-buildroot
+ :
+ /bin/rm -rf -- /usr/src/tmp/sat4j-buildroot
+ PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games
+ cd sat4j-2.3.5
+ xmvn-install -R .xmvn-reactor -n sat4j -d /usr/src/tmp/sat4j-buildroot
[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] Installation successful
+ jdir=target/site/apidocs
+ '[' -d .xmvn/apidocs ']'
+ /bin/mkdir -p /usr/src/tmp/sat4j-buildroot/usr/share/license
+ '[' -d target/site/apidocs ']'
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/sat4j-buildroot (auto)
Verifying and fixing files in /usr/src/tmp/sat4j-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig)
Checking contents of files in /usr/src/tmp/sat4j-buildroot/ (default)
Compressing files in /usr/src/tmp/sat4j-buildroot (auto)
Verifying ELF objects in /usr/src/tmp/sat4j-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal)
Hardlinking identical .pyc and .pyo files
Processing files: sat4j-2.3.5-alt1_12jpp8
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.wDYHMz
find-provides: running scripts (alternatives,debuginfo,lib,maven,osgi-fc,osgi,pam,perl,pkgconfig,python,shell)
[INFO maven.prov] input: ['/usr/src/tmp/sat4j-buildroot/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 osgi.prov] input: ['/usr/src/tmp/sat4j-buildroot/usr/share/java/org.sat4j.core.jar', '/usr/src/tmp/sat4j-buildroot/usr/share/java/org.sat4j.pb.jar']
[INFO osgi.prov] osgi(org.sat4j.core) = 2.3.5, osgi(org.sat4j.pb) = 2.3.5
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.52LiPY
find-requires: running scripts (cpp,debuginfo,files,javadoc,lib,maven,osgi-fc,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services)
[INFO maven.req] input: ['/usr/src/tmp/sat4j-buildroot/usr/share/maven-metadata/sat4j.xml']
[INFO maven.req] javapackages-tools
[INFO osgi.req] input: ['/usr/src/tmp/sat4j-buildroot/usr/share/java/org.sat4j.core.jar', '/usr/src/tmp/sat4j-buildroot/usr/share/java/org.sat4j.pb.jar']
[INFO osgi.req] osgi(org.sat4j.core) = 2.3.5
Provides: /usr/bin/jar, 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) = 2.3.5.v20130405, osgi(org.sat4j.core) = 2.3.5, osgi(org.sat4j.core) = 2.3.5.v20130405, osgi(org.sat4j.minisat) = 2.3.5.v20130405, osgi(org.sat4j.minisat.constraints) = 2.3.5.v20130405, osgi(org.sat4j.minisat.constraints.card) = 2.3.5.v20130405, osgi(org.sat4j.minisat.constraints.cnf) = 2.3.5.v20130405, osgi(org.sat4j.minisat.core) = 2.3.5.v20130405, osgi(org.sat4j.minisat.learning) = 2.3.5.v20130405, osgi(org.sat4j.minisat.orders) = 2.3.5.v20130405, osgi(org.sat4j.minisat.restarts) = 2.3.5.v20130405, osgi(org.sat4j.opt) = 2.3.5.v20130405, osgi(org.sat4j.pb) = 2.3.5, osgi(org.sat4j.pb) = 2.3.5.v20130405, osgi(org.sat4j.pb.constraints) = 2.3.5.v20130405, osgi(org.sat4j.pb.constraints.pb) = 2.3.5.v20130405, osgi(org.sat4j.pb.core) = 2.3.5.v20130405, osgi(org.sat4j.pb.orders) = 2.3.5.v20130405, osgi(org.sat4j.pb.reader) = 2.3.5.v20130405, osgi(org.sat4j.pb.tools) = 2.3.5.v20130405, osgi(org.sat4j.reader) = 2.3.5.v20130405, osgi(org.sat4j.specs) = 2.3.5.v20130405, osgi(org.sat4j.tools) = 2.3.5.v20130405, osgi(org.sat4j.tools.encoding) = 2.3.5.v20130405, osgi(org.sat4j.tools.xplain) = 2.3.5.v20130405
Requires: javapackages-tools
Wrote: /usr/src/RPM/RPMS/noarch/sat4j-2.3.5-alt1_12jpp8.noarch.rpm (w2.lzdio)
16.61user 0.97system 0:09.37elapsed 187%CPU (0avgtext+0avgdata 449868maxresident)k
0inputs+0outputs (0major+177582minor)pagefaults 0swaps
29.13user 4.36system 0:26.10elapsed 128%CPU (0avgtext+0avgdata 449868maxresident)k
0inputs+0outputs (0major+672276minor)pagefaults 0swaps