1. * Package: sci-mathematics/kodkod-1.5.2
2. * Repository: gentoo
3. * Maintainer: gienah@gentoo.org sci-mathematics@gentoo.org
4. * USE: amd64 doc elibc_glibc kernel_linux userland_GNU
5. * FEATURES: sandbox test userpriv usersandbox
6. Installed LAPACK for library directory lib64
7. [1] reference *
8. Installed BLAS for library directory lib64
9. [1] reference *
10. Installed CBLAS for library directory lib64
11. [1] gsl
12. [2] reference *
13. * Using: icedtea-bin-7
14. >>> Unpacking source...
15. >>> Unpacking kodkod-1.5.2.zip to /tmp/portage/sci-mathematics/kodkod-1.5.2/work
16. >>> Source unpacked in /tmp/portage/sci-mathematics/kodkod-1.5.2/work
17. >>> Preparing source in /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ...
18. Searching for bundled jars:
19. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar
20. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core-src.jar
21. Searching for bundled classes (no output if none found):
22. Search done.
23. * Applying kodkod-1.5.2-changes-in-most-specific-varargs-method-selection.patch ...
24. [ ok ]
25. >>> Source prepared.
26. >>> Configuring source in /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ...
27. The project was not configured: run "waf configure" first!
28. CCFLAGS="-O2 -pipe -ggdb -march=native -ftracer -frecord-gcc-switches" LINKFLAGS="-Wl,-O1 -Wl,--as-needed" "/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/waf" --prefix=/usr configure
29. Setting top to : /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5
30. Setting out to : /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build
31. Checking for program javac : /opt/icedtea-bin-7.2.3.6/bin/javac
32. Checking for program java : /opt/icedtea-bin-7.2.3.6/bin/java
33. Checking for program jar : /opt/icedtea-bin-7.2.3.6/bin/jar
34. Checking for program javadoc : /opt/icedtea-bin-7.2.3.6/bin/javadoc
35. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
36. Checking for program javac : ['/opt/icedtea-bin-7.2.3.6/bin/javac']
37. Checking for program java : ['/opt/icedtea-bin-7.2.3.6/bin/java']
38. Checking for program jar : ['/opt/icedtea-bin-7.2.3.6/bin/jar']
39. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.6/bin/javadoc']
40. Checking for header jni.h : yes
41. Checking for 'gcc' (c compiler) : x86_64-pc-linux-gnu-gcc
42. Checking for program javac : ['/opt/icedtea-bin-7.2.3.6/bin/javac']
43. Checking for program java : ['/opt/icedtea-bin-7.2.3.6/bin/java']
44. Checking for program jar : ['/opt/icedtea-bin-7.2.3.6/bin/jar']
45. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.6/bin/javadoc']
46. Checking for header jni.h : yes
47. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
48. Checking for program javac : ['/opt/icedtea-bin-7.2.3.6/bin/javac']
49. Checking for program java : ['/opt/icedtea-bin-7.2.3.6/bin/java']
50. Checking for program jar : ['/opt/icedtea-bin-7.2.3.6/bin/jar']
51. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.6/bin/javadoc']
52. Checking for header jni.h : yes
53. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
54. Checking for program javac : ['/opt/icedtea-bin-7.2.3.6/bin/javac']
55. Checking for program java : ['/opt/icedtea-bin-7.2.3.6/bin/java']
56. Checking for program jar : ['/opt/icedtea-bin-7.2.3.6/bin/jar']
57. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.6/bin/javadoc']
58. Checking for header jni.h : yes
59. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
60. Checking for program javac : ['/opt/icedtea-bin-7.2.3.6/bin/javac']
61. Checking for program java : ['/opt/icedtea-bin-7.2.3.6/bin/java']
62. Checking for program jar : ['/opt/icedtea-bin-7.2.3.6/bin/jar']
63. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.6/bin/javadoc']
64. Checking for header jni.h : yes
65. Checking for 'g++' (c++ compiler) : x86_64-pc-linux-gnu-g++
66. Checking for program javac : ['/opt/icedtea-bin-7.2.3.6/bin/javac']
67. Checking for program java : ['/opt/icedtea-bin-7.2.3.6/bin/java']
68. Checking for program jar : ['/opt/icedtea-bin-7.2.3.6/bin/jar']
69. Checking for program javadoc : ['/opt/icedtea-bin-7.2.3.6/bin/javadoc']
70. Checking for header jni.h : yes
71. Checking for header malloc.h : yes
72. Checking for header limits.h : yes
73. 'configure' finished successfully (2.835s)
74. >>> Source configured.
75. >>> Compiling source in /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5 ...
76. "/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/waf" build --verbose --jobs=24
77. Waf: Entering directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build'
78. [1/2] javac: src/kodkod/ast/BinaryExpression.java src/kodkod/ast/BinaryFormula.java src/kodkod/ast/BinaryIntExpression.java src/kodkod/ast/ComparisonFormula.java src/kodkod/ast/Comprehension.java src/kodkod/ast/ConstantExpression.java src/kodkod/ast/ConstantFormula.java src/kodkod/ast/Decl.java src/kodkod/ast/Decls.java src/kodkod/ast/ExprToIntCast.java src/kodkod/ast/Expression.java src/kodkod/ast/Formula.java src/kodkod/ast/IfExpression.java src/kodkod/ast/IfIntExpression.java src/kodkod/ast/IntComparisonFormula.java src/kodkod/ast/IntConstant.java src/kodkod/ast/IntExpression.java src/kodkod/ast/IntToExprCast.java src/kodkod/ast/LeafExpression.java src/kodkod/ast/MultiplicityFormula.java src/kodkod/ast/NaryExpression.java src/kodkod/ast/NaryFormula.java src/kodkod/ast/NaryIntExpression.java src/kodkod/ast/Node.java src/kodkod/ast/NotFormula.java src/kodkod/ast/ProjectExpression.java src/kodkod/ast/QuantifiedFormula.java src/kodkod/ast/Relation.java src/kodkod/ast/RelationPredicate.java src/kodkod/ast/SumExpression.java src/kodkod/ast/UnaryExpression.java src/kodkod/ast/UnaryIntExpression.java src/kodkod/ast/Variable.java src/kodkod/ast/operator/ExprCastOperator.java src/kodkod/ast/operator/ExprCompOperator.java src/kodkod/ast/operator/ExprOperator.java src/kodkod/ast/operator/FormulaOperator.java src/kodkod/ast/operator/IntCastOperator.java src/kodkod/ast/operator/IntCompOperator.java src/kodkod/ast/operator/IntOperator.java src/kodkod/ast/operator/Multiplicity.java src/kodkod/ast/operator/Quantifier.java src/kodkod/ast/visitor/AbstractCollector.java src/kodkod/ast/visitor/AbstractDetector.java src/kodkod/ast/visitor/AbstractReplacer.java src/kodkod/ast/visitor/AbstractVoidVisitor.java src/kodkod/ast/visitor/ReturnVisitor.java src/kodkod/ast/visitor/VoidVisitor.java src/kodkod/engine/AbortedException.java src/kodkod/engine/CapacityExceededException.java src/kodkod/engine/Cost.java src/kodkod/engine/Evaluator.java src/kodkod/engine/Proof.java src/kodkod/engine/ResolutionBasedProof.java src/kodkod/engine/Solution.java src/kodkod/engine/Solver.java src/kodkod/engine/Statistics.java src/kodkod/engine/TrivialProof.java src/kodkod/engine/bool/BinaryGate.java src/kodkod/engine/bool/BooleanAccumulator.java src/kodkod/engine/bool/BooleanConstant.java src/kodkod/engine/bool/BooleanFactory.java src/kodkod/engine/bool/BooleanFormula.java src/kodkod/engine/bool/BooleanMatrix.java src/kodkod/engine/bool/BooleanValue.java src/kodkod/engine/bool/BooleanVariable.java src/kodkod/engine/bool/BooleanVisitor.java src/kodkod/engine/bool/CBCFactory.java src/kodkod/engine/bool/Dimensions.java src/kodkod/engine/bool/ITEGate.java src/kodkod/engine/bool/Int.java src/kodkod/engine/bool/MultiGate.java src/kodkod/engine/bool/NaryGate.java src/kodkod/engine/bool/NotGate.java src/kodkod/engine/bool/Operator.java src/kodkod/engine/bool/RBCFactory.java src/kodkod/engine/bool/TwosComplementInt.java src/kodkod/engine/config/AbstractReporter.java src/kodkod/engine/config/ConsoleReporter.java src/kodkod/engine/config/Options.java src/kodkod/engine/config/Reporter.java src/kodkod/engine/fol2sat/Bool2CNFTranslator.java src/kodkod/engine/fol2sat/BooleanFormulaFlattener.java src/kodkod/engine/fol2sat/CompactBool2CNFTranslator.java src/kodkod/engine/fol2sat/Environment.java src/kodkod/engine/fol2sat/FOL2BoolCache.java src/kodkod/engine/fol2sat/FOL2BoolTranslator.java src/kodkod/engine/fol2sat/FileLogger.java src/kodkod/engine/fol2sat/FormulaFlattener.java src/kodkod/engine/fol2sat/FreeVariableCollector.java src/kodkod/engine/fol2sat/HigherOrderDeclException.java src/kodkod/engine/fol2sat/LeafInterpreter.java src/kodkod/engine/fol2sat/MemoryLogger.java src/kodkod/engine/fol2sat/RecordFilter.java src/kodkod/engine/fol2sat/Skolemizer.java src/kodkod/engine/fol2sat/SymmetryBreaker.java src/kodkod/engine/fol2sat/SymmetryDetector.java src/kodkod/engine/fol2sat/Translation.java src/kodkod/engine/fol2sat/TranslationLog.java src/kodkod/engine/fol2sat/TranslationLogger.java src/kodkod/engine/fol2sat/TranslationRecord.java src/kodkod/engine/fol2sat/Translator.java src/kodkod/engine/fol2sat/TrivialFormulaException.java src/kodkod/engine/fol2sat/UnboundLeafException.java src/kodkod/engine/satlab/Clause.java src/kodkod/engine/satlab/CryptoMiniSat.java src/kodkod/engine/satlab/ExternalSolver.java src/kodkod/engine/satlab/LazyTrace.java src/kodkod/engine/satlab/Lingeling.java src/kodkod/engine/satlab/MiniSat.java src/kodkod/engine/satlab/MiniSatProver.java src/kodkod/engine/satlab/NativeSolver.java src/kodkod/engine/satlab/ReductionStrategy.java src/kodkod/engine/satlab/ResolutionTrace.java src/kodkod/engine/satlab/SAT4J.java src/kodkod/engine/satlab/SATAbortedException.java src/kodkod/engine/satlab/SATFactory.java src/kodkod/engine/satlab/SATMinSolver.java src/kodkod/engine/satlab/SATProver.java src/kodkod/engine/satlab/SATSolver.java src/kodkod/engine/satlab/ZChaffMincost.java src/kodkod/engine/ucore/AdaptiveRCEStrategy.java src/kodkod/engine/ucore/CRRStrategy.java src/kodkod/engine/ucore/DynamicRCEStrategy.java src/kodkod/engine/ucore/ECFPStrategy.java src/kodkod/engine/ucore/HybridStrategy.java src/kodkod/engine/ucore/NCEStrategy.java src/kodkod/engine/ucore/RCEStrategy.java src/kodkod/engine/ucore/SCEStrategy.java src/kodkod/engine/ucore/StrategyUtils.java src/kodkod/instance/Bounds.java src/kodkod/instance/Instance.java src/kodkod/instance/Tuple.java src/kodkod/instance/TupleFactory.java src/kodkod/instance/TupleSet.java src/kodkod/instance/Universe.java src/kodkod/util/collections/ArrayStack.java src/kodkod/util/collections/CacheSet.java src/kodkod/util/collections/Containers.java src/kodkod/util/collections/FixedMap.java src/kodkod/util/collections/IdentityHashSet.java src/kodkod/util/collections/Indexer.java src/kodkod/util/collections/LinkedStack.java src/kodkod/util/collections/SingletonIdentitySet.java src/kodkod/util/collections/Stack.java src/kodkod/util/ints/AbstractIntCollection.java src/kodkod/util/ints/AbstractIntSet.java src/kodkod/util/ints/AbstractIntVector.java src/kodkod/util/ints/AbstractSparseSequence.java src/kodkod/util/ints/ArrayIntSet.java src/kodkod/util/ints/ArrayIntVector.java src/kodkod/util/ints/ArraySequence.java src/kodkod/util/ints/EntryView.java src/kodkod/util/ints/HomogenousSequence.java src/kodkod/util/ints/IndexedEntry.java src/kodkod/util/ints/IntBitSet.java src/kodkod/util/ints/IntCollection.java src/kodkod/util/ints/IntIterator.java src/kodkod/util/ints/IntRange.java src/kodkod/util/ints/IntSet.java src/kodkod/util/ints/IntTree.java src/kodkod/util/ints/IntTreeSet.java src/kodkod/util/ints/IntVector.java src/kodkod/util/ints/Ints.java src/kodkod/util/ints/RangeSequence.java src/kodkod/util/ints/SparseSequence.java src/kodkod/util/ints/TreeSequence.java src/kodkod/util/nodes/AnnotatedNode.java src/kodkod/util/nodes/Nodes.java src/kodkod/util/nodes/PrettyPrinter.java
79. 12:18:42 runner ['/opt/icedtea-bin-7.2.3.6/bin/javac', '-classpath', '.:/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:.:/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:', '-d', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/src/kodkod', '-source', '1.6', '-sourcepath', 'src', '../src/kodkod/ast/BinaryExpression.java', '../src/kodkod/ast/BinaryFormula.java', '../src/kodkod/ast/BinaryIntExpression.java', '../src/kodkod/ast/ComparisonFormula.java', '../src/kodkod/ast/Comprehension.java', '../src/kodkod/ast/ConstantExpression.java', '../src/kodkod/ast/ConstantFormula.java', '../src/kodkod/ast/Decl.java', '../src/kodkod/ast/Decls.java', '../src/kodkod/ast/ExprToIntCast.java', '../src/kodkod/ast/Expression.java', '../src/kodkod/ast/Formula.java', '../src/kodkod/ast/IfExpression.java', '../src/kodkod/ast/IfIntExpression.java', '../src/kodkod/ast/IntComparisonFormula.java', '../src/kodkod/ast/IntConstant.java', '../src/kodkod/ast/IntExpression.java', '../src/kodkod/ast/IntToExprCast.java', '../src/kodkod/ast/LeafExpression.java', '../src/kodkod/ast/MultiplicityFormula.java', '../src/kodkod/ast/NaryExpression.java', '../src/kodkod/ast/NaryFormula.java', '../src/kodkod/ast/NaryIntExpression.java', '../src/kodkod/ast/Node.java', '../src/kodkod/ast/NotFormula.java', '../src/kodkod/ast/ProjectExpression.java', '../src/kodkod/ast/QuantifiedFormula.java', '../src/kodkod/ast/Relation.java', '../src/kodkod/ast/RelationPredicate.java', '../src/kodkod/ast/SumExpression.java', '../src/kodkod/ast/UnaryExpression.java', '../src/kodkod/ast/UnaryIntExpression.java', '../src/kodkod/ast/Variable.java', '../src/kodkod/ast/operator/ExprCastOperator.java', '../src/kodkod/ast/operator/ExprCompOperator.java', '../src/kodkod/ast/operator/ExprOperator.java', '../src/kodkod/ast/operator/FormulaOperator.java', '../src/kodkod/ast/operator/IntCastOperator.java', '../src/kodkod/ast/operator/IntCompOperator.java', '../src/kodkod/ast/operator/IntOperator.java', '../src/kodkod/ast/operator/Multiplicity.java', '../src/kodkod/ast/operator/Quantifier.java', '../src/kodkod/ast/visitor/AbstractCollector.java', '../src/kodkod/ast/visitor/AbstractDetector.java', '../src/kodkod/ast/visitor/AbstractReplacer.java', '../src/kodkod/ast/visitor/AbstractVoidVisitor.java', '../src/kodkod/ast/visitor/ReturnVisitor.java', '../src/kodkod/ast/visitor/VoidVisitor.java', '../src/kodkod/engine/AbortedException.java', '../src/kodkod/engine/CapacityExceededException.java', '../src/kodkod/engine/Cost.java', '../src/kodkod/engine/Evaluator.java', '../src/kodkod/engine/Proof.java', '../src/kodkod/engine/ResolutionBasedProof.java', '../src/kodkod/engine/Solution.java', '../src/kodkod/engine/Solver.java', '../src/kodkod/engine/Statistics.java', '../src/kodkod/engine/TrivialProof.java', '../src/kodkod/engine/bool/BinaryGate.java', '../src/kodkod/engine/bool/BooleanAccumulator.java', '../src/kodkod/engine/bool/BooleanConstant.java', '../src/kodkod/engine/bool/BooleanFactory.java', '../src/kodkod/engine/bool/BooleanFormula.java', '../src/kodkod/engine/bool/BooleanMatrix.java', '../src/kodkod/engine/bool/BooleanValue.java', '../src/kodkod/engine/bool/BooleanVariable.java', '../src/kodkod/engine/bool/BooleanVisitor.java', '../src/kodkod/engine/bool/CBCFactory.java', '../src/kodkod/engine/bool/Dimensions.java', '../src/kodkod/engine/bool/ITEGate.java', '../src/kodkod/engine/bool/Int.java', '../src/kodkod/engine/bool/MultiGate.java', '../src/kodkod/engine/bool/NaryGate.java', '../src/kodkod/engine/bool/NotGate.java', '../src/kodkod/engine/bool/Operator.java', '../src/kodkod/engine/bool/RBCFactory.java', '../src/kodkod/engine/bool/TwosComplementInt.java', '../src/kodkod/engine/config/AbstractReporter.java', '../src/kodkod/engine/config/ConsoleReporter.java', '../src/kodkod/engine/config/Options.java', '../src/kodkod/engine/config/Reporter.java', '../src/kodkod/engine/fol2sat/Bool2CNFTranslator.java', '../src/kodkod/engine/fol2sat/BooleanFormulaFlattener.java', '../src/kodkod/engine/fol2sat/CompactBool2CNFTranslator.java', '../src/kodkod/engine/fol2sat/Environment.java', '../src/kodkod/engine/fol2sat/FOL2BoolCache.java', '../src/kodkod/engine/fol2sat/FOL2BoolTranslator.java', '../src/kodkod/engine/fol2sat/FileLogger.java', '../src/kodkod/engine/fol2sat/FormulaFlattener.java', '../src/kodkod/engine/fol2sat/FreeVariableCollector.java', '../src/kodkod/engine/fol2sat/HigherOrderDeclException.java', '../src/kodkod/engine/fol2sat/LeafInterpreter.java', '../src/kodkod/engine/fol2sat/MemoryLogger.java', '../src/kodkod/engine/fol2sat/RecordFilter.java', '../src/kodkod/engine/fol2sat/Skolemizer.java', '../src/kodkod/engine/fol2sat/SymmetryBreaker.java', '../src/kodkod/engine/fol2sat/SymmetryDetector.java', '../src/kodkod/engine/fol2sat/Translation.java', '../src/kodkod/engine/fol2sat/TranslationLog.java', '../src/kodkod/engine/fol2sat/TranslationLogger.java', '../src/kodkod/engine/fol2sat/TranslationRecord.java', '../src/kodkod/engine/fol2sat/Translator.java', '../src/kodkod/engine/fol2sat/TrivialFormulaException.java', '../src/kodkod/engine/fol2sat/UnboundLeafException.java', '../src/kodkod/engine/satlab/Clause.java', '../src/kodkod/engine/satlab/CryptoMiniSat.java', '../src/kodkod/engine/satlab/ExternalSolver.java', '../src/kodkod/engine/satlab/LazyTrace.java', '../src/kodkod/engine/satlab/Lingeling.java', '../src/kodkod/engine/satlab/MiniSat.java', '../src/kodkod/engine/satlab/MiniSatProver.java', '../src/kodkod/engine/satlab/NativeSolver.java', '../src/kodkod/engine/satlab/ReductionStrategy.java', '../src/kodkod/engine/satlab/ResolutionTrace.java', '../src/kodkod/engine/satlab/SAT4J.java', '../src/kodkod/engine/satlab/SATAbortedException.java', '../src/kodkod/engine/satlab/SATFactory.java', '../src/kodkod/engine/satlab/SATMinSolver.java', '../src/kodkod/engine/satlab/SATProver.java', '../src/kodkod/engine/satlab/SATSolver.java', '../src/kodkod/engine/satlab/ZChaffMincost.java', '../src/kodkod/engine/ucore/AdaptiveRCEStrategy.java', '../src/kodkod/engine/ucore/CRRStrategy.java', '../src/kodkod/engine/ucore/DynamicRCEStrategy.java', '../src/kodkod/engine/ucore/ECFPStrategy.java', '../src/kodkod/engine/ucore/HybridStrategy.java', '../src/kodkod/engine/ucore/NCEStrategy.java', '../src/kodkod/engine/ucore/RCEStrategy.java', '../src/kodkod/engine/ucore/SCEStrategy.java', '../src/kodkod/engine/ucore/StrategyUtils.java', '../src/kodkod/instance/Bounds.java', '../src/kodkod/instance/Instance.java', '../src/kodkod/instance/Tuple.java', '../src/kodkod/instance/TupleFactory.java', '../src/kodkod/instance/TupleSet.java', '../src/kodkod/instance/Universe.java', '../src/kodkod/util/collections/ArrayStack.java', '../src/kodkod/util/collections/CacheSet.java', '../src/kodkod/util/collections/Containers.java', '../src/kodkod/util/collections/FixedMap.java', '../src/kodkod/util/collections/IdentityHashSet.java', '../src/kodkod/util/collections/Indexer.java', '../src/kodkod/util/collections/LinkedStack.java', '../src/kodkod/util/collections/SingletonIdentitySet.java', '../src/kodkod/util/collections/Stack.java', '../src/kodkod/util/ints/AbstractIntCollection.java', '../src/kodkod/util/ints/AbstractIntSet.java', '../src/kodkod/util/ints/AbstractIntVector.java', '../src/kodkod/util/ints/AbstractSparseSequence.java', '../src/kodkod/util/ints/ArrayIntSet.java', '../src/kodkod/util/ints/ArrayIntVector.java', '../src/kodkod/util/ints/ArraySequence.java', '../src/kodkod/util/ints/EntryView.java', '../src/kodkod/util/ints/HomogenousSequence.java', '../src/kodkod/util/ints/IndexedEntry.java', '../src/kodkod/util/ints/IntBitSet.java', '../src/kodkod/util/ints/IntCollection.java', '../src/kodkod/util/ints/IntIterator.java', '../src/kodkod/util/ints/IntRange.java', '../src/kodkod/util/ints/IntSet.java', '../src/kodkod/util/ints/IntTree.java', '../src/kodkod/util/ints/IntTreeSet.java', '../src/kodkod/util/ints/IntVector.java', '../src/kodkod/util/ints/Ints.java', '../src/kodkod/util/ints/RangeSequence.java', '../src/kodkod/util/ints/SparseSequence.java', '../src/kodkod/util/ints/TreeSequence.java', '../src/kodkod/util/nodes/AnnotatedNode.java', '../src/kodkod/util/nodes/Nodes.java', '../src/kodkod/util/nodes/PrettyPrinter.java']
80. 12:18:42 runner ['/opt/icedtea-bin-7.2.3.6/bin/javac', '-classpath', '.:/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:.:/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/sat4j-core-v20110329/org.sat4j.core.jar:', '-d', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/src/kodkod', '-source', '1.6', '-sourcepath', 'src', '@/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/tmpOrvBqp']
81. warning: [options] bootstrap class path not set in conjunction with -source 1.6
82. 1 warning
83. Using ant_glob on the build folder (/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/src/kodkod) is dangerous (quiet=True to disable this warning)
84. [2/2] jar_create: build/src/kodkod/kodkod/ast/BinaryExpression$1.class build/src/kodkod/kodkod/ast/BinaryExpression.class build/src/kodkod/kodkod/ast/BinaryFormula.class build/src/kodkod/kodkod/ast/BinaryIntExpression.class build/src/kodkod/kodkod/ast/ComparisonFormula.class build/src/kodkod/kodkod/ast/Comprehension.class build/src/kodkod/kodkod/ast/ConstantExpression.class build/src/kodkod/kodkod/ast/ConstantFormula.class build/src/kodkod/kodkod/ast/Decl.class build/src/kodkod/kodkod/ast/Decls.class build/src/kodkod/kodkod/ast/ExprToIntCast.class build/src/kodkod/kodkod/ast/Expression.class build/src/kodkod/kodkod/ast/Formula$1.class build/src/kodkod/kodkod/ast/Formula$2.class build/src/kodkod/kodkod/ast/Formula$3.class build/src/kodkod/kodkod/ast/Formula.class build/src/kodkod/kodkod/ast/IfExpression.class build/src/kodkod/kodkod/ast/IfIntExpression.class build/src/kodkod/kodkod/ast/IntComparisonFormula.class build/src/kodkod/kodkod/ast/IntConstant.class build/src/kodkod/kodkod/ast/IntExpression.class build/src/kodkod/kodkod/ast/IntToExprCast.class build/src/kodkod/kodkod/ast/LeafExpression.class build/src/kodkod/kodkod/ast/MultiplicityFormula.class build/src/kodkod/kodkod/ast/NaryExpression$1.class build/src/kodkod/kodkod/ast/NaryExpression.class build/src/kodkod/kodkod/ast/NaryFormula.class build/src/kodkod/kodkod/ast/NaryIntExpression.class build/src/kodkod/kodkod/ast/Node.class build/src/kodkod/kodkod/ast/NotFormula.class build/src/kodkod/kodkod/ast/ProjectExpression.class build/src/kodkod/kodkod/ast/QuantifiedFormula.class build/src/kodkod/kodkod/ast/Relation.class build/src/kodkod/kodkod/ast/RelationPredicate$1.class build/src/kodkod/kodkod/ast/RelationPredicate$Acyclic.class build/src/kodkod/kodkod/ast/RelationPredicate$Function.class build/src/kodkod/kodkod/ast/RelationPredicate$Name.class build/src/kodkod/kodkod/ast/RelationPredicate$TotalOrdering.class build/src/kodkod/kodkod/ast/RelationPredicate.class build/src/kodkod/kodkod/ast/SumExpression.class build/src/kodkod/kodkod/ast/UnaryExpression.class build/src/kodkod/kodkod/ast/UnaryIntExpression.class build/src/kodkod/kodkod/ast/Variable.class build/src/kodkod/kodkod/ast/operator/ExprCastOperator$1.class build/src/kodkod/kodkod/ast/operator/ExprCastOperator$2.class build/src/kodkod/kodkod/ast/operator/ExprCastOperator.class build/src/kodkod/kodkod/ast/operator/ExprCompOperator$1.class build/src/kodkod/kodkod/ast/operator/ExprCompOperator$2.class build/src/kodkod/kodkod/ast/operator/ExprCompOperator.class build/src/kodkod/kodkod/ast/operator/ExprOperator$1.class build/src/kodkod/kodkod/ast/operator/ExprOperator$2.class build/src/kodkod/kodkod/ast/operator/ExprOperator$3.class build/src/kodkod/kodkod/ast/operator/ExprOperator$4.class build/src/kodkod/kodkod/ast/operator/ExprOperator$5.class build/src/kodkod/kodkod/ast/operator/ExprOperator$6.class build/src/kodkod/kodkod/ast/operator/ExprOperator$7.class build/src/kodkod/kodkod/ast/operator/ExprOperator$8.class build/src/kodkod/kodkod/ast/operator/ExprOperator$9.class build/src/kodkod/kodkod/ast/operator/ExprOperator.class build/src/kodkod/kodkod/ast/operator/FormulaOperator$1.class build/src/kodkod/kodkod/ast/operator/FormulaOperator$2.class build/src/kodkod/kodkod/ast/operator/FormulaOperator$3.class build/src/kodkod/kodkod/ast/operator/FormulaOperator$4.class build/src/kodkod/kodkod/ast/operator/FormulaOperator.class build/src/kodkod/kodkod/ast/operator/IntCastOperator$1.class build/src/kodkod/kodkod/ast/operator/IntCastOperator$2.class build/src/kodkod/kodkod/ast/operator/IntCastOperator.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$1.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$2.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$3.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$4.class build/src/kodkod/kodkod/ast/operator/IntCompOperator$5.class build/src/kodkod/kodkod/ast/operator/IntCompOperator.class build/src/kodkod/kodkod/ast/operator/IntOperator$1.class build/src/kodkod/kodkod/ast/operator/IntOperator$10.class build/src/kodkod/kodkod/ast/operator/IntOperator$11.class build/src/kodkod/kodkod/ast/operator/IntOperator$12.class build/src/kodkod/kodkod/ast/operator/IntOperator$13.class build/src/kodkod/kodkod/ast/operator/IntOperator$14.class build/src/kodkod/kodkod/ast/operator/IntOperator$15.class build/src/kodkod/kodkod/ast/operator/IntOperator$2.class build/src/kodkod/kodkod/ast/operator/IntOperator$3.class build/src/kodkod/kodkod/ast/operator/IntOperator$4.class build/src/kodkod/kodkod/ast/operator/IntOperator$5.class build/src/kodkod/kodkod/ast/operator/IntOperator$6.class build/src/kodkod/kodkod/ast/operator/IntOperator$7.class build/src/kodkod/kodkod/ast/operator/IntOperator$8.class build/src/kodkod/kodkod/ast/operator/IntOperator$9.class build/src/kodkod/kodkod/ast/operator/IntOperator.class build/src/kodkod/kodkod/ast/operator/Multiplicity$1.class build/src/kodkod/kodkod/ast/operator/Multiplicity$2.class build/src/kodkod/kodkod/ast/operator/Multiplicity$3.class build/src/kodkod/kodkod/ast/operator/Multiplicity$4.class build/src/kodkod/kodkod/ast/operator/Multiplicity$5.class build/src/kodkod/kodkod/ast/operator/Multiplicity.class build/src/kodkod/kodkod/ast/operator/Quantifier$1.class build/src/kodkod/kodkod/ast/operator/Quantifier$2.class build/src/kodkod/kodkod/ast/operator/Quantifier.class build/src/kodkod/kodkod/ast/visitor/AbstractCollector$1.class build/src/kodkod/kodkod/ast/visitor/AbstractCollector.class build/src/kodkod/kodkod/ast/visitor/AbstractDetector.class build/src/kodkod/kodkod/ast/visitor/AbstractReplacer$1.class build/src/kodkod/kodkod/ast/visitor/AbstractReplacer.class build/src/kodkod/kodkod/ast/visitor/AbstractVoidVisitor.class build/src/kodkod/kodkod/ast/visitor/ReturnVisitor.class build/src/kodkod/kodkod/ast/visitor/VoidVisitor.class build/src/kodkod/kodkod/engine/AbortedException.class build/src/kodkod/kodkod/engine/CapacityExceededException.class build/src/kodkod/kodkod/engine/Cost.class build/src/kodkod/kodkod/engine/Evaluator.class build/src/kodkod/kodkod/engine/Proof.class build/src/kodkod/kodkod/engine/ResolutionBasedProof$1.class build/src/kodkod/kodkod/engine/ResolutionBasedProof$2.class build/src/kodkod/kodkod/engine/ResolutionBasedProof$3.class build/src/kodkod/kodkod/engine/ResolutionBasedProof$4.class build/src/kodkod/kodkod/engine/ResolutionBasedProof.class build/src/kodkod/kodkod/engine/Solution$Outcome.class build/src/kodkod/kodkod/engine/Solution.class build/src/kodkod/kodkod/engine/Solver$SolutionIterator.class build/src/kodkod/kodkod/engine/Solver.class build/src/kodkod/kodkod/engine/Statistics.class build/src/kodkod/kodkod/engine/TrivialProof$1.class build/src/kodkod/kodkod/engine/TrivialProof$2.class build/src/kodkod/kodkod/engine/TrivialProof$NodePruner$1.class build/src/kodkod/kodkod/engine/TrivialProof$NodePruner.class build/src/kodkod/kodkod/engine/TrivialProof.class build/src/kodkod/kodkod/engine/bool/BinaryGate$1.class build/src/kodkod/kodkod/engine/bool/BinaryGate.class build/src/kodkod/kodkod/engine/bool/BooleanAccumulator$1.class build/src/kodkod/kodkod/engine/bool/BooleanAccumulator.class build/src/kodkod/kodkod/engine/bool/BooleanConstant.class build/src/kodkod/kodkod/engine/bool/BooleanFactory$1.class build/src/kodkod/kodkod/engine/bool/BooleanFactory$TwosComplementFactory.class build/src/kodkod/kodkod/engine/bool/BooleanFactory.class build/src/kodkod/kodkod/engine/bool/BooleanFormula.class build/src/kodkod/kodkod/engine/bool/BooleanMatrix.class build/src/kodkod/kodkod/engine/bool/BooleanValue.class build/src/kodkod/kodkod/engine/bool/BooleanVariable.class build/src/kodkod/kodkod/engine/bool/BooleanVisitor.class build/src/kodkod/kodkod/engine/bool/CBCFactory$1.class build/src/kodkod/kodkod/engine/bool/CBCFactory$10.class build/src/kodkod/kodkod/engine/bool/CBCFactory$11.class build/src/kodkod/kodkod/engine/bool/CBCFactory$2.class build/src/kodkod/kodkod/engine/bool/CBCFactory$3.class build/src/kodkod/kodkod/engine/bool/CBCFactory$4.class build/src/kodkod/kodkod/engine/bool/CBCFactory$5.class build/src/kodkod/kodkod/engine/bool/CBCFactory$6.class build/src/kodkod/kodkod/engine/bool/CBCFactory$7.class build/src/kodkod/kodkod/engine/bool/CBCFactory$8.class build/src/kodkod/kodkod/engine/bool/CBCFactory$9.class build/src/kodkod/kodkod/engine/bool/CBCFactory$Assembler.class build/src/kodkod/kodkod/engine/bool/CBCFactory.class build/src/kodkod/kodkod/engine/bool/Dimensions$1.class build/src/kodkod/kodkod/engine/bool/Dimensions$Rectangle.class build/src/kodkod/kodkod/engine/bool/Dimensions$Square.class build/src/kodkod/kodkod/engine/bool/Dimensions.class build/src/kodkod/kodkod/engine/bool/ITEGate.class build/src/kodkod/kodkod/engine/bool/Int.class build/src/kodkod/kodkod/engine/bool/MultiGate.class build/src/kodkod/kodkod/engine/bool/NaryGate.class build/src/kodkod/kodkod/engine/bool/NotGate$1.class build/src/kodkod/kodkod/engine/bool/NotGate.class build/src/kodkod/kodkod/engine/bool/Operator$1.class build/src/kodkod/kodkod/engine/bool/Operator$2.class build/src/kodkod/kodkod/engine/bool/Operator$3.class build/src/kodkod/kodkod/engine/bool/Operator$4.class build/src/kodkod/kodkod/engine/bool/Operator$5.class build/src/kodkod/kodkod/engine/bool/Operator$6.class build/src/kodkod/kodkod/engine/bool/Operator$Nary.class build/src/kodkod/kodkod/engine/bool/Operator$Ternary.class build/src/kodkod/kodkod/engine/bool/Operator.class build/src/kodkod/kodkod/engine/bool/RBCFactory.class build/src/kodkod/kodkod/engine/bool/TwosComplementInt$1.class build/src/kodkod/kodkod/engine/bool/TwosComplementInt.class build/src/kodkod/kodkod/engine/config/AbstractReporter.class build/src/kodkod/kodkod/engine/config/ConsoleReporter.class build/src/kodkod/kodkod/engine/config/Options$1.class build/src/kodkod/kodkod/engine/config/Options$IntEncoding$1.class build/src/kodkod/kodkod/engine/config/Options$IntEncoding.class build/src/kodkod/kodkod/engine/config/Options.class build/src/kodkod/kodkod/engine/config/Reporter.class build/src/kodkod/kodkod/engine/fol2sat/Bool2CNFTranslator$PolarityDetector.class build/src/kodkod/kodkod/engine/fol2sat/Bool2CNFTranslator.class build/src/kodkod/kodkod/engine/fol2sat/BooleanFormulaFlattener$1.class build/src/kodkod/kodkod/engine/fol2sat/BooleanFormulaFlattener$FlatteningDataGatherer.class build/src/kodkod/kodkod/engine/fol2sat/BooleanFormulaFlattener.class build/src/kodkod/kodkod/engine/fol2sat/CompactBool2CNFTranslator$PolarityDetector.class build/src/kodkod/kodkod/engine/fol2sat/CompactBool2CNFTranslator.class build/src/kodkod/kodkod/engine/fol2sat/Environment.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$1.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$CacheCollector.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$MultiVarRecord.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$NoVarRecord.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache$Record.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolCache.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator$1.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator$2.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator$3.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator$4.class build/src/kodkod/kodkod/engine/fol2sat/FOL2BoolTranslator.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger$1.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger$FileLog$1.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger$FileLog.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger$MutableRecord.class build/src/kodkod/kodkod/engine/fol2sat/FileLogger.class build/src/kodkod/kodkod/engine/fol2sat/FormulaFlattener.class build/src/kodkod/kodkod/engine/fol2sat/FreeVariableCollector.class build/src/kodkod/kodkod/engine/fol2sat/HigherOrderDeclException.class build/src/kodkod/kodkod/engine/fol2sat/LeafInterpreter.class build/src/kodkod/kodkod/engine/fol2sat/MemoryLogger$MemoryLog$1$1.class build/src/kodkod/kodkod/engine/fol2sat/MemoryLogger$MemoryLog$1.class build/src/kodkod/kodkod/engine/fol2sat/MemoryLogger$MemoryLog.class build/src/kodkod/kodkod/engine/fol2sat/MemoryLogger.class build/src/kodkod/kodkod/engine/fol2sat/RecordFilter$1.class build/src/kodkod/kodkod/engine/fol2sat/RecordFilter.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$1.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$2.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$3.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$4.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer$DeclInfo.class build/src/kodkod/kodkod/engine/fol2sat/Skolemizer.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryBreaker$1.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryBreaker$2.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryBreaker$RelationParts.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryBreaker.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryDetector$1.class build/src/kodkod/kodkod/engine/fol2sat/SymmetryDetector.class build/src/kodkod/kodkod/engine/fol2sat/Translation.class build/src/kodkod/kodkod/engine/fol2sat/TranslationLog.class build/src/kodkod/kodkod/engine/fol2sat/TranslationLogger.class build/src/kodkod/kodkod/engine/fol2sat/TranslationRecord.class build/src/kodkod/kodkod/engine/fol2sat/Translator$1.class build/src/kodkod/kodkod/engine/fol2sat/Translator$2.class build/src/kodkod/kodkod/engine/fol2sat/Translator.class build/src/kodkod/kodkod/engine/fol2sat/TrivialFormulaException.class build/src/kodkod/kodkod/engine/fol2sat/UnboundLeafException.class build/src/kodkod/kodkod/engine/satlab/Clause.class build/src/kodkod/kodkod/engine/satlab/CryptoMiniSat.class build/src/kodkod/kodkod/engine/satlab/ExternalSolver$1.class build/src/kodkod/kodkod/engine/satlab/ExternalSolver.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$1.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$2.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$ClauseIterator.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$ClauseView.class build/src/kodkod/kodkod/engine/satlab/LazyTrace$IntArrayIterator.class build/src/kodkod/kodkod/engine/satlab/LazyTrace.class build/src/kodkod/kodkod/engine/satlab/Lingeling.class build/src/kodkod/kodkod/engine/satlab/MiniSat.class build/src/kodkod/kodkod/engine/satlab/MiniSatProver.class build/src/kodkod/kodkod/engine/satlab/NativeSolver.class build/src/kodkod/kodkod/engine/satlab/ReductionStrategy.class build/src/kodkod/kodkod/engine/satlab/ResolutionTrace.class build/src/kodkod/kodkod/engine/satlab/SAT4J$1.class build/src/kodkod/kodkod/engine/satlab/SAT4J$ReadOnlyIVecInt$1.class build/src/kodkod/kodkod/engine/satlab/SAT4J$ReadOnlyIVecInt.class build/src/kodkod/kodkod/engine/satlab/SAT4J.class build/src/kodkod/kodkod/engine/satlab/SATAbortedException.class build/src/kodkod/kodkod/engine/satlab/SATFactory$1.class build/src/kodkod/kodkod/engine/satlab/SATFactory$2.class build/src/kodkod/kodkod/engine/satlab/SATFactory$3.class build/src/kodkod/kodkod/engine/satlab/SATFactory$4.class build/src/kodkod/kodkod/engine/satlab/SATFactory$5.class build/src/kodkod/kodkod/engine/satlab/SATFactory$6.class build/src/kodkod/kodkod/engine/satlab/SATFactory$7.class build/src/kodkod/kodkod/engine/satlab/SATFactory$8.class build/src/kodkod/kodkod/engine/satlab/SATFactory$9.class build/src/kodkod/kodkod/engine/satlab/SATFactory.class build/src/kodkod/kodkod/engine/satlab/SATMinSolver.class build/src/kodkod/kodkod/engine/satlab/SATProver.class build/src/kodkod/kodkod/engine/satlab/SATSolver.class build/src/kodkod/kodkod/engine/satlab/ZChaffMincost.class build/src/kodkod/kodkod/engine/ucore/AdaptiveRCEStrategy.class build/src/kodkod/kodkod/engine/ucore/CRRStrategy.class build/src/kodkod/kodkod/engine/ucore/DynamicRCEStrategy.class build/src/kodkod/kodkod/engine/ucore/ECFPStrategy.class build/src/kodkod/kodkod/engine/ucore/HybridStrategy.class build/src/kodkod/kodkod/engine/ucore/NCEStrategy.class build/src/kodkod/kodkod/engine/ucore/RCEStrategy.class build/src/kodkod/kodkod/engine/ucore/SCEStrategy.class build/src/kodkod/kodkod/engine/ucore/StrategyUtils$1.class build/src/kodkod/kodkod/engine/ucore/StrategyUtils$2.class build/src/kodkod/kodkod/engine/ucore/StrategyUtils.class build/src/kodkod/kodkod/instance/Bounds.class build/src/kodkod/kodkod/instance/Instance.class build/src/kodkod/kodkod/instance/Tuple.class build/src/kodkod/kodkod/instance/TupleFactory$IntTuple.class build/src/kodkod/kodkod/instance/TupleFactory.class build/src/kodkod/kodkod/instance/TupleSet$1.class build/src/kodkod/kodkod/instance/TupleSet.class build/src/kodkod/kodkod/instance/Universe.class build/src/kodkod/kodkod/util/collections/ArrayStack$1.class build/src/kodkod/kodkod/util/collections/ArrayStack.class build/src/kodkod/kodkod/util/collections/CacheSet$1.class build/src/kodkod/kodkod/util/collections/CacheSet$Entry.class build/src/kodkod/kodkod/util/collections/CacheSet$SetIterator.class build/src/kodkod/kodkod/util/collections/CacheSet.class build/src/kodkod/kodkod/util/collections/Containers$1.class build/src/kodkod/kodkod/util/collections/Containers$2.class build/src/kodkod/kodkod/util/collections/Containers$3.class build/src/kodkod/kodkod/util/collections/Containers$4.class build/src/kodkod/kodkod/util/collections/Containers$ArrayIterator.class build/src/kodkod/kodkod/util/collections/Containers$AscendingArrayIterator.class build/src/kodkod/kodkod/util/collections/Containers$DescendingArrayIterator.class build/src/kodkod/kodkod/util/collections/Containers.class build/src/kodkod/kodkod/util/collections/FixedMap$1.class build/src/kodkod/kodkod/util/collections/FixedMap$Entry.class build/src/kodkod/kodkod/util/collections/FixedMap$EntryIterator.class build/src/kodkod/kodkod/util/collections/FixedMap.class build/src/kodkod/kodkod/util/collections/IdentityHashSet$1.class build/src/kodkod/kodkod/util/collections/IdentityHashSet$IdentityIterator.class build/src/kodkod/kodkod/util/collections/IdentityHashSet.class build/src/kodkod/kodkod/util/collections/Indexer.class build/src/kodkod/kodkod/util/collections/LinkedStack$1.class build/src/kodkod/kodkod/util/collections/LinkedStack$StackEntry.class build/src/kodkod/kodkod/util/collections/LinkedStack.class build/src/kodkod/kodkod/util/collections/SingletonIdentitySet.class build/src/kodkod/kodkod/util/collections/Stack.class build/src/kodkod/kodkod/util/ints/AbstractIntCollection.class build/src/kodkod/kodkod/util/ints/AbstractIntSet.class build/src/kodkod/kodkod/util/ints/AbstractIntVector$AscendingIntVectorIterator.class build/src/kodkod/kodkod/util/ints/AbstractIntVector$DescendingIntVectorIterator.class build/src/kodkod/kodkod/util/ints/AbstractIntVector$IntVectorIterator.class build/src/kodkod/kodkod/util/ints/AbstractIntVector.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence$1$1.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence$1.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence$2$1.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence$2.class build/src/kodkod/kodkod/util/ints/AbstractSparseSequence.class build/src/kodkod/kodkod/util/ints/ArrayIntSet$AscendingIntArrayIterator.class build/src/kodkod/kodkod/util/ints/ArrayIntSet$DescendingIntArrayIterator.class build/src/kodkod/kodkod/util/ints/ArrayIntSet.class build/src/kodkod/kodkod/util/ints/ArrayIntVector.class build/src/kodkod/kodkod/util/ints/ArraySequence$AscendingIterator.class build/src/kodkod/kodkod/util/ints/ArraySequence$DescendingIterator.class build/src/kodkod/kodkod/util/ints/ArraySequence.class build/src/kodkod/kodkod/util/ints/EntryView.class build/src/kodkod/kodkod/util/ints/HomogenousSequence$HomogenousIterator.class build/src/kodkod/kodkod/util/ints/HomogenousSequence.class build/src/kodkod/kodkod/util/ints/IndexedEntry.class build/src/kodkod/kodkod/util/ints/IntBitSet$1.class build/src/kodkod/kodkod/util/ints/IntBitSet$AbstractIterator.class build/src/kodkod/kodkod/util/ints/IntBitSet$AscendingIterator.class build/src/kodkod/kodkod/util/ints/IntBitSet$DescendingIterator.class build/src/kodkod/kodkod/util/ints/IntBitSet.class build/src/kodkod/kodkod/util/ints/IntCollection.class build/src/kodkod/kodkod/util/ints/IntIterator.class build/src/kodkod/kodkod/util/ints/IntRange$1.class build/src/kodkod/kodkod/util/ints/IntRange$OnePointRange.class build/src/kodkod/kodkod/util/ints/IntRange$TwoPointRange.class build/src/kodkod/kodkod/util/ints/IntRange.class build/src/kodkod/kodkod/util/ints/IntSet.class build/src/kodkod/kodkod/util/ints/IntTree$Node.class build/src/kodkod/kodkod/util/ints/IntTree.class build/src/kodkod/kodkod/util/ints/IntTreeSet$AscendingIterator.class build/src/kodkod/kodkod/util/ints/IntTreeSet$DescendingIterator.class build/src/kodkod/kodkod/util/ints/IntTreeSet$Range.class build/src/kodkod/kodkod/util/ints/IntTreeSet.class build/src/kodkod/kodkod/util/ints/IntVector.class build/src/kodkod/kodkod/util/ints/Ints$1$1.class build/src/kodkod/kodkod/util/ints/Ints$1.class build/src/kodkod/kodkod/util/ints/Ints$2.class build/src/kodkod/kodkod/util/ints/Ints$3.class build/src/kodkod/kodkod/util/ints/Ints$RangeIntSet$1.class build/src/kodkod/kodkod/util/ints/Ints$RangeIntSet.class build/src/kodkod/kodkod/util/ints/Ints$SingletonIntSet$1.class build/src/kodkod/kodkod/util/ints/Ints$SingletonIntSet.class build/src/kodkod/kodkod/util/ints/Ints$UnmodifiableIntSet$1.class build/src/kodkod/kodkod/util/ints/Ints$UnmodifiableIntSet.class build/src/kodkod/kodkod/util/ints/Ints$UnmodifiableSparseSequence$1.class build/src/kodkod/kodkod/util/ints/Ints$UnmodifiableSparseSequence.class build/src/kodkod/kodkod/util/ints/Ints.class build/src/kodkod/kodkod/util/ints/RangeSequence$AscendingIterator.class build/src/kodkod/kodkod/util/ints/RangeSequence$DescendingIterator.class build/src/kodkod/kodkod/util/ints/RangeSequence$Entry.class build/src/kodkod/kodkod/util/ints/RangeSequence$EntryIterator.class build/src/kodkod/kodkod/util/ints/RangeSequence$Point.class build/src/kodkod/kodkod/util/ints/RangeSequence$Range.class build/src/kodkod/kodkod/util/ints/RangeSequence.class build/src/kodkod/kodkod/util/ints/SparseSequence.class build/src/kodkod/kodkod/util/ints/TreeSequence$AscendingIterator.class build/src/kodkod/kodkod/util/ints/TreeSequence$DescendingIterator.class build/src/kodkod/kodkod/util/ints/TreeSequence$Entry.class build/src/kodkod/kodkod/util/ints/TreeSequence$EntryIterator.class build/src/kodkod/kodkod/util/ints/TreeSequence.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$1.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$2.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$3.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$FreeVariableDetector.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$PredicateCollector.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode$SharingDetector.class build/src/kodkod/kodkod/util/nodes/AnnotatedNode.class build/src/kodkod/kodkod/util/nodes/Nodes$1.class build/src/kodkod/kodkod/util/nodes/Nodes$2.class build/src/kodkod/kodkod/util/nodes/Nodes$3.class build/src/kodkod/kodkod/util/nodes/Nodes.class build/src/kodkod/kodkod/util/nodes/PrettyPrinter$1.class build/src/kodkod/kodkod/util/nodes/PrettyPrinter$Dotifier.class build/src/kodkod/kodkod/util/nodes/PrettyPrinter$Formatter.class build/src/kodkod/kodkod/util/nodes/PrettyPrinter.class -> build/src/kodkod.jar
85. 12:18:51 runner ['/opt/icedtea-bin-7.2.3.6/bin/jar', 'cfm', 'src/kodkod.jar', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/MANIFEST', '-C', 'src/kodkod', '.']
86. Waf: Leaving directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build'
87. 'build' finished successfully (9.244s)
88. Waf: Entering directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost'
89. [1/6] cxx: lib/zchaff-mincost/core/zchaff_base.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_base.cpp.1.o
90. 12:18:52 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/core/zchaff_base.cpp', '-c', '-o', 'lib/zchaff-mincost/core/zchaff_base.cpp.1.o']
91. [2/6] cxx: lib/zchaff-mincost/core/zchaff_dbase.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_dbase.cpp.1.o
92. 12:18:52 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/core/zchaff_dbase.cpp', '-c', '-o', 'lib/zchaff-mincost/core/zchaff_dbase.cpp.1.o']
93. [3/6] cxx: lib/zchaff-mincost/core/zchaff_solver.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_solver.cpp.1.o
94. 12:18:52 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/core/zchaff_solver.cpp', '-c', '-o', 'lib/zchaff-mincost/core/zchaff_solver.cpp.1.o']
95. [4/6] cxx: lib/zchaff-mincost/core/zchaff_utils.cpp -> build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_utils.cpp.1.o
96. 12:18:52 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/core/zchaff_utils.cpp', '-c', '-o', 'lib/zchaff-mincost/core/zchaff_utils.cpp.1.o']
97. [5/6] cxx: lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp -> build/zchaff-mincost/lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp.2.o
98. 12:18:52 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-7.2.3.6/include', '-I/opt/icedtea-bin-7.2.3.6/include/linux', '-DHAVE_JNI_H=1', '-DHAVE_MALLOC_H=1', '-DHAVE_LIMITS_H=1', '../../lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp', '-c', '-o', 'lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp.2.o']
99. In file included from ../../lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp:17:0:
100. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_solver.h: In member function 'char* MSolver::version()':
101. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/zchaff-mincost/core/zchaff_solver.h:354:14: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
102. ../../lib/zchaff-mincost/core/zchaff_dbase.cpp: In member function 'int MDatabase::alloc_gid()':
103. ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:117:39: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
104. ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:117:39: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
105. ../../lib/zchaff-mincost/core/zchaff_dbase.cpp: In member function 'void MDatabase::free_gid(int)':
106. ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:125:51: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
107. ../../lib/zchaff-mincost/core/zchaff_dbase.cpp:125:51: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
108. In file included from ../../lib/zchaff-mincost/core/zchaff_solver.cpp:49:0:
109. ../../lib/zchaff-mincost/core/zchaff_solver.h: In member function 'char* MSolver::version()':
110. ../../lib/zchaff-mincost/core/zchaff_solver.h:354:14: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
111. [6/6] cxxshlib: build/zchaff-mincost/lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp.2.o build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_base.cpp.1.o build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_dbase.cpp.1.o build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_solver.cpp.1.o build/zchaff-mincost/lib/zchaff-mincost/core/zchaff_utils.cpp.1.o -> build/zchaff-mincost/lib/zchaff-mincost/libzchaffmincost.so
112. 12:18:56 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-shared', 'lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cpp.2.o', 'lib/zchaff-mincost/core/zchaff_base.cpp.1.o', 'lib/zchaff-mincost/core/zchaff_dbase.cpp.1.o', 'lib/zchaff-mincost/core/zchaff_solver.cpp.1.o', 'lib/zchaff-mincost/core/zchaff_utils.cpp.1.o', '-o', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost/lib/zchaff-mincost/libzchaffmincost.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-7.2.3.6/jre/lib/amd64/server', '-ljvm']
113. Waf: Leaving directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/zchaff-mincost'
114. 'build_zchaff-mincost' finished successfully (4.702s)
115. Waf: Entering directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14'
116. [1/5] cxx: lib/minisat-p_v1.14/core/File.C -> build/minisat-p_v1.14/lib/minisat-p_v1.14/core/File.C.1.o
117. 12:18:56 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '../../lib/minisat-p_v1.14/core/File.C', '-c', '-o', 'lib/minisat-p_v1.14/core/File.C.1.o']
118. [2/5] cxx: lib/minisat-p_v1.14/core/Proof.C -> build/minisat-p_v1.14/lib/minisat-p_v1.14/core/Proof.C.1.o
119. 12:18:56 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '../../lib/minisat-p_v1.14/core/Proof.C', '-c', '-o', 'lib/minisat-p_v1.14/core/Proof.C.1.o']
120. [3/5] cxx: lib/minisat-p_v1.14/core/Solver.C -> build/minisat-p_v1.14/lib/minisat-p_v1.14/core/Solver.C.1.o
121. 12:18:56 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '../../lib/minisat-p_v1.14/core/Solver.C', '-c', '-o', 'lib/minisat-p_v1.14/core/Solver.C.1.o']
122. [4/5] cxx: lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp -> build/minisat-p_v1.14/lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp.2.o
123. 12:18:56 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-7.2.3.6/include', '-I/opt/icedtea-bin-7.2.3.6/include/linux', '-DHAVE_JNI_H=1', '../../lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp', '-c', '-o', 'lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp.2.o']
124. In file included from ../../lib/minisat-p_v1.14/core/Proof.h:23:0,
125. from ../../lib/minisat-p_v1.14/core/Proof.C:20:
126. ../../lib/minisat-p_v1.14/core/SolverTypes.h: In member function 'float& Clause::activity() const':
127. ../../lib/minisat-p_v1.14/core/SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
128. In file included from ../../lib/minisat-p_v1.14/core/Proof.h:24:0,
129. from ../../lib/minisat-p_v1.14/core/Proof.C:20:
130. ../../lib/minisat-p_v1.14/core/File.h: In member function 'void File::flush()':
131. ../../lib/minisat-p_v1.14/core/File.h:119:28: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result]
132. ../../lib/minisat-p_v1.14/core/File.h: In member function 'int File::putCharQ(int)':
133. ../../lib/minisat-p_v1.14/core/File.h:97:20: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result]
134. In file included from ../../lib/minisat-p_v1.14/core/File.C:1:0:
135. ../../lib/minisat-p_v1.14/core/File.h: In member function 'void File::flush()':
136. ../../lib/minisat-p_v1.14/core/File.h:119:28: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result]
137. ../../lib/minisat-p_v1.14/core/File.h: In member function 'int File::putCharQ(int)':
138. ../../lib/minisat-p_v1.14/core/File.h:97:20: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result]
139. In file included from /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14/core/Solver.h:23:0,
140. from ../../lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp:18:
141. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14/core/SolverTypes.h: In member function 'float& Clause::activity() const':
142. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-p_v1.14/core/SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
143. In file included from ../../lib/minisat-p_v1.14/core/Solver.h:23:0,
144. from ../../lib/minisat-p_v1.14/core/Solver.C:20:
145. ../../lib/minisat-p_v1.14/core/SolverTypes.h: In member function 'float& Clause::activity() const':
146. ../../lib/minisat-p_v1.14/core/SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
147. [5/5] cxxshlib: build/minisat-p_v1.14/lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp.2.o build/minisat-p_v1.14/lib/minisat-p_v1.14/core/File.C.1.o build/minisat-p_v1.14/lib/minisat-p_v1.14/core/Proof.C.1.o build/minisat-p_v1.14/lib/minisat-p_v1.14/core/Solver.C.1.o -> build/minisat-p_v1.14/lib/minisat-p_v1.14/libminisatprover.so
148. 12:18:58 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-shared', 'lib/minisat-p_v1.14/jni/kodkod_engine_satlab_MiniSatProver.cpp.2.o', 'lib/minisat-p_v1.14/core/File.C.1.o', 'lib/minisat-p_v1.14/core/Proof.C.1.o', 'lib/minisat-p_v1.14/core/Solver.C.1.o', '-o', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14/lib/minisat-p_v1.14/libminisatprover.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-7.2.3.6/jre/lib/amd64/server', '-ljvm']
149. Waf: Leaving directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-p_v1.14'
150. 'build_minisat-p_v1.14' finished successfully (2.018s)
151. Waf: Entering directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14'
152. [1/3] cxx: lib/minisat-1.14/core/Solver.C -> build/minisat-1.14/lib/minisat-1.14/core/Solver.C.1.o
153. 12:18:58 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DHAVE_JNI_H=1', '../../lib/minisat-1.14/core/Solver.C', '-c', '-o', 'lib/minisat-1.14/core/Solver.C.1.o']
154. [2/3] cxx: lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp -> build/minisat-1.14/lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp.2.o
155. 12:18:58 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-7.2.3.6/include', '-I/opt/icedtea-bin-7.2.3.6/include/linux', '-DHAVE_JNI_H=1', '../../lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp', '-c', '-o', 'lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp.2.o']
156. In file included from /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14/core/Solver.h:23:0,
157. from ../../lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp:17:
158. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14/core/SolverTypes.h: In member function 'float& Clause::activity() const':
159. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-1.14/core/SolverTypes.h:96:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
160. In file included from ../../lib/minisat-1.14/core/Solver.h:23:0,
161. from ../../lib/minisat-1.14/core/Solver.C:20:
162. ../../lib/minisat-1.14/core/SolverTypes.h: In member function 'float& Clause::activity() const':
163. ../../lib/minisat-1.14/core/SolverTypes.h:96:73: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
164. [3/3] cxxshlib: build/minisat-1.14/lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp.2.o build/minisat-1.14/lib/minisat-1.14/core/Solver.C.1.o -> build/minisat-1.14/lib/minisat-1.14/libminisat1.14.so
165. 12:19:00 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-shared', 'lib/minisat-1.14/jni/kodkod_engine_satlab_MiniSat.cpp.2.o', 'lib/minisat-1.14/core/Solver.C.1.o', '-o', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14/lib/minisat-1.14/libminisat1.14.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-7.2.3.6/jre/lib/amd64/server', '-ljvm']
166. Waf: Leaving directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-1.14'
167. 'build_minisat-1.14' finished successfully (1.763s)
168. Waf: Entering directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0'
169. [1/5] cxx: lib/minisat-2.2.0/utils/Options.cc -> build/minisat-2.2.0/lib/minisat-2.2.0/utils/Options.cc.1.o
170. 12:19:00 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '../../lib/minisat-2.2.0/utils/Options.cc', '-c', '-o', 'lib/minisat-2.2.0/utils/Options.cc.1.o']
171. [2/5] cxx: lib/minisat-2.2.0/utils/System.cc -> build/minisat-2.2.0/lib/minisat-2.2.0/utils/System.cc.1.o
172. 12:19:00 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '../../lib/minisat-2.2.0/utils/System.cc', '-c', '-o', 'lib/minisat-2.2.0/utils/System.cc.1.o']
173. [3/5] cxx: lib/minisat-2.2.0/core/Solver.cc -> build/minisat-2.2.0/lib/minisat-2.2.0/core/Solver.cc.2.o
174. 12:19:00 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '../../lib/minisat-2.2.0/core/Solver.cc', '-c', '-o', 'lib/minisat-2.2.0/core/Solver.cc.2.o']
175. [4/5] cxx: lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp -> build/minisat-2.2.0/lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp.3.o
176. 12:19:00 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fPIC', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0', '-I/opt/icedtea-bin-7.2.3.6/include', '-I/opt/icedtea-bin-7.2.3.6/include/linux', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '../../lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp', '-c', '-o', 'lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp.3.o']
177. In file included from ../../lib/minisat-2.2.0/utils/Options.cc:21:0:
178. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h: In member function 'bool Minisat::Option::OptionLt::operator()(const Minisat::Option*, const Minisat::Option*)':
179. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:63:84: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
180. ../../lib/minisat-2.2.0/utils/Options.cc: In function 'void Minisat::parseOptions(int&, char**, bool)':
181. ../../lib/minisat-2.2.0/utils/Options.cc:45:16: warning: suggest explicit braces to avoid ambiguous 'else' [-Wparentheses]
182. In file included from /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Sort.h:24:0,
183. from ../../lib/minisat-2.2.0/utils/Options.cc:20:
184. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::Option*]':
185. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = Minisat::Option*]'
186. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:76:34: required from here
187. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
188. In file included from /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:27:0,
189. from ../../lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp:16:
190. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h: In member function 'bool Minisat::Option::OptionLt::operator()(const Minisat::Option*, const Minisat::Option*)':
191. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:63:84: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
192. In file included from /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:24:0,
193. from ../../lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp:16:
194. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::Option*]':
195. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = Minisat::Option*]'
196. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:76:34: required from here
197. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
198. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::Lit]':
199. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = Minisat::Lit]'
200. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:313:98: required from here
201. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
202. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = int]':
203. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = int]'
204. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:317:94: required from here
205. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
206. In file included from /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:27:0,
207. from ../../lib/minisat-2.2.0/core/Solver.cc:24:
208. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h: In member function 'bool Minisat::Option::OptionLt::operator()(const Minisat::Option*, const Minisat::Option*)':
209. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:63:84: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
210. ../../lib/minisat-2.2.0/core/Solver.cc: In member function 'void Minisat::Solver::cancelUntil(int)':
211. ../../lib/minisat-2.2.0/core/Solver.cc:212:79: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
212. ../../lib/minisat-2.2.0/core/Solver.cc: In member function 'Minisat::lbool Minisat::Solver::search(int)':
213. ../../lib/minisat-2.2.0/core/Solver.cc:660:83: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
214. In file included from /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Sort.h:24:0,
215. from ../../lib/minisat-2.2.0/core/Solver.cc:23:
216. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::Lit]':
217. ../../lib/minisat-2.2.0/core/Solver.cc:126:27: required from here
218. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
219. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::Option*]':
220. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = Minisat::Option*]'
221. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/utils/Options.h:76:34: required from here
222. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
223. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = int]':
224. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = int]'
225. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/Solver.h:317:94: required from here
226. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
227. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::lbool]':
228. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = Minisat::lbool]'
229. ../../lib/minisat-2.2.0/core/Solver.cc:119:27: required from here
230. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
231. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::Solver::VarData]':
232. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = Minisat::Solver::VarData]'
233. ../../lib/minisat-2.2.0/core/Solver.cc:120:44: required from here
234. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
235. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = double]':
236. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = double]'
237. ../../lib/minisat-2.2.0/core/Solver.cc:122:67: required from here
238. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
239. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = char]':
240. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = char]'
241. ../../lib/minisat-2.2.0/core/Solver.cc:123:21: required from here
242. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
243. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = unsigned int]':
244. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = unsigned int]'
245. ../../lib/minisat-2.2.0/core/Solver.cc:154:24: required from here
246. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
247. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::Solver::Watcher]':
248. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:74:57: required from 'void Minisat::vec<T>::push(const T&) [with T = Minisat::Solver::Watcher]'
249. ../../lib/minisat-2.2.0/core/Solver.cc:165:42: required from here
250. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
251. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]':
252. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:115:5: required from 'void Minisat::vec<T>::growTo(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]'
253. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h:266:39: required from 'void Minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted]'
254. ../../lib/minisat-2.2.0/core/Solver.cc:117:35: required from here
255. /tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/minisat-2.2.0/mtl/Vec.h:99:5: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
256. [5/5] cxxshlib: build/minisat-2.2.0/lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp.3.o build/minisat-2.2.0/lib/minisat-2.2.0/core/Solver.cc.2.o build/minisat-2.2.0/lib/minisat-2.2.0/utils/Options.cc.1.o build/minisat-2.2.0/lib/minisat-2.2.0/utils/System.cc.1.o -> build/minisat-2.2.0/lib/minisat-2.2.0/libminisat.so
257. 12:19:03 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-shared', 'lib/minisat-2.2.0/jni/kodkod_engine_satlab_MiniSat.cpp.3.o', 'lib/minisat-2.2.0/core/Solver.cc.2.o', 'lib/minisat-2.2.0/utils/Options.cc.1.o', 'lib/minisat-2.2.0/utils/System.cc.1.o', '-o', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0/lib/minisat-2.2.0/libminisat.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-7.2.3.6/jre/lib/amd64/server', '-ljvm']
258. Waf: Leaving directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/minisat-2.2.0'
259. 'build_minisat-2.2.0' finished successfully (3.096s)
260. Waf: Entering directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276'
261. [1/6] c: lib/lingeling-276/src/lglbnr.c -> build/lingeling-276/lib/lingeling-276/src/lglbnr.c.1.o
262. 12:19:03 runner ['x86_64-pc-linux-gnu-gcc', '-Wall', '-O3', '-fPIC', '-fopenmp', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/lingeling-276', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DNLGLOG', '-DNLGLSTATS', '-DNDEBUG', '-DNLGLPICOSAT', '../../lib/lingeling-276/src/lglbnr.c', '-c', '-o', 'lib/lingeling-276/src/lglbnr.c.1.o']
263. [2/6] c: lib/lingeling-276/src/lglib.c -> build/lingeling-276/lib/lingeling-276/src/lglib.c.1.o
264. 12:19:03 runner ['x86_64-pc-linux-gnu-gcc', '-Wall', '-O3', '-fPIC', '-fopenmp', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/lingeling-276', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DNLGLOG', '-DNLGLSTATS', '-DNDEBUG', '-DNLGLPICOSAT', '../../lib/lingeling-276/src/lglib.c', '-c', '-o', 'lib/lingeling-276/src/lglib.c.1.o']
265. [3/6] c: lib/lingeling-276/src/plingeling.c -> build/lingeling-276/lib/lingeling-276/src/plingeling.c.2.o
266. 12:19:03 runner ['x86_64-pc-linux-gnu-gcc', '-Wall', '-O3', '-fPIC', '-fopenmp', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/lingeling-276', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-DNLGLOG', '-DNLGLSTATS', '-DNDEBUG', '-DNLGLPICOSAT', '../../lib/lingeling-276/src/plingeling.c', '-c', '-o', 'lib/lingeling-276/src/plingeling.c.2.o']
267. [4/6] c: lib/lingeling-276/jni/kodkod_engine_satlab_Lingeling.c -> build/lingeling-276/lib/lingeling-276/jni/kodkod_engine_satlab_Lingeling.c.3.o
268. 12:19:03 runner ['x86_64-pc-linux-gnu-gcc', '-Wall', '-O3', '-fPIC', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/lingeling-276', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/opt/icedtea-bin-7.2.3.6/include', '-I/opt/icedtea-bin-7.2.3.6/include/linux', '-DNLGLOG', '-DNLGLSTATS', '-DNDEBUG', '-DNLGLPICOSAT', '../../lib/lingeling-276/jni/kodkod_engine_satlab_Lingeling.c', '-c', '-o', 'lib/lingeling-276/jni/kodkod_engine_satlab_Lingeling.c.3.o']
269. ../../lib/lingeling-276/src/lglib.c: In function 'lgldefrag':
270. ../../lib/lingeling-276/src/lglib.c:3820:46: warning: variable 'recycled' set but not used [-Wunused-but-set-variable]
271. ../../lib/lingeling-276/src/lglib.c: In function 'lglemerge':
272. ../../lib/lingeling-276/src/lglib.c:4850:7: warning: variable 'tmp' set but not used [-Wunused-but-set-variable]
273. ../../lib/lingeling-276/src/lglib.c: In function 'lglprobe':
274. ../../lib/lingeling-276/src/lglib.c:5063:31: warning: variable 'fixed' set but not used [-Wunused-but-set-variable]
275. ../../lib/lingeling-276/src/lglib.c:5063:16: warning: variable 'nvars' set but not used [-Wunused-but-set-variable]
276. ../../lib/lingeling-276/src/lglib.c: In function 'lgladdecl':
277. ../../lib/lingeling-276/src/lglib.c:5384:36: warning: variable 'lidx' set but not used [-Wunused-but-set-variable]
278. ../../lib/lingeling-276/src/lglib.c: In function 'lglelrmcls':
279. ../../lib/lingeling-276/src/lglib.c:5583:70: warning: variable 'size' set but not used [-Wunused-but-set-variable]
280. ../../lib/lingeling-276/src/lglib.c: In function 'lglelmstr':
281. ../../lib/lingeling-276/src/lglib.c:5753:69: warning: variable 'found' set but not used [-Wunused-but-set-variable]
282. ../../lib/lingeling-276/src/lglib.c: In function 'lglelmfrelit':
283. ../../lib/lingeling-276/src/lglib.c:5891:10: warning: variable 'ev' set but not used [-Wunused-but-set-variable]
284. ../../lib/lingeling-276/src/lglib.c:5890:19: warning: variable 'e' set but not used [-Wunused-but-set-variable]
285. [6/6] cshlib: build/lingeling-276/lib/lingeling-276/jni/kodkod_engine_satlab_Lingeling.c.3.o build/lingeling-276/lib/lingeling-276/src/lglbnr.c.1.o build/lingeling-276/lib/lingeling-276/src/lglib.c.1.o -> build/lingeling-276/lib/lingeling-276/liblingeling.so
286. [6/6] cprogram: build/lingeling-276/lib/lingeling-276/src/plingeling.c.2.o build/lingeling-276/lib/lingeling-276/src/lglbnr.c.1.o build/lingeling-276/lib/lingeling-276/src/lglib.c.1.o -> build/lingeling-276/lib/lingeling-276/plingeling
287. 12:19:10 runner ['x86_64-pc-linux-gnu-gcc', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-fopenmp', '-shared', 'lib/lingeling-276/jni/kodkod_engine_satlab_Lingeling.c.3.o', 'lib/lingeling-276/src/lglbnr.c.1.o', 'lib/lingeling-276/src/lglib.c.1.o', '-o', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276/liblingeling.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-7.2.3.6/jre/lib/amd64/server', '-ljvm']
288. 12:19:10 runner ['x86_64-pc-linux-gnu-gcc', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-fopenmp', 'lib/lingeling-276/src/plingeling.c.2.o', 'lib/lingeling-276/src/lglbnr.c.1.o', 'lib/lingeling-276/src/lglib.c.1.o', '-o', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276/lib/lingeling-276/plingeling', '-Wl,-Bstatic', '-Wl,-Bdynamic']
289. Waf: Leaving directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/lingeling-276'
290. 'build_lingeling-276' finished successfully (7.090s)
291. Waf: Entering directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1'
292. [ 1/28] cxx: lib/cryptominisat-2.9.1/Solver/BothCache.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/BothCache.cpp.1.o
293. 12:19:10 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/BothCache.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/BothCache.cpp.1.o']
294. [ 2/28] cxx: lib/cryptominisat-2.9.1/Solver/ClauseAllocator.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/ClauseAllocator.cpp.1.o
295. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/ClauseAllocator.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/ClauseAllocator.cpp.1.o']
296. [ 3/28] cxx: lib/cryptominisat-2.9.1/Solver/ClauseCleaner.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/ClauseCleaner.cpp.1.o
297. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/ClauseCleaner.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/ClauseCleaner.cpp.1.o']
298. [ 4/28] cxx: lib/cryptominisat-2.9.1/Solver/ClauseVivifier.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/ClauseVivifier.cpp.1.o
299. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/ClauseVivifier.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/ClauseVivifier.cpp.1.o']
300. [ 5/28] cxx: lib/cryptominisat-2.9.1/Solver/CompleteDetachReattacher.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/CompleteDetachReattacher.cpp.1.o
301. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/CompleteDetachReattacher.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/CompleteDetachReattacher.cpp.1.o']
302. [ 6/28] cxx: lib/cryptominisat-2.9.1/Solver/DataSync.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/DataSync.cpp.1.o
303. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/DataSync.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/DataSync.cpp.1.o']
304. [ 7/28] cxx: lib/cryptominisat-2.9.1/Solver/DimacsParser.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/DimacsParser.cpp.1.o
305. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/DimacsParser.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/DimacsParser.cpp.1.o']
306. [ 8/28] cxx: lib/cryptominisat-2.9.1/Solver/FailedLitSearcher.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/FailedLitSearcher.cpp.1.o
307. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/FailedLitSearcher.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/FailedLitSearcher.cpp.1.o']
308. [ 9/28] cxx: lib/cryptominisat-2.9.1/Solver/Gaussian.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/Gaussian.cpp.1.o
309. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/Gaussian.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/Gaussian.cpp.1.o']
310. [10/28] cxx: lib/cryptominisat-2.9.1/Solver/MatrixFinder.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/MatrixFinder.cpp.1.o
311. 12:19:11 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/MatrixFinder.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/MatrixFinder.cpp.1.o']
312. [11/28] cxx: lib/cryptominisat-2.9.1/Solver/OnlyNonLearntBins.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/OnlyNonLearntBins.cpp.1.o
313. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/OnlyNonLearntBins.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/OnlyNonLearntBins.cpp.1.o']
314. [12/28] cxx: lib/cryptominisat-2.9.1/Solver/PackedRow.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/PackedRow.cpp.1.o
315. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/PackedRow.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/PackedRow.cpp.1.o']
316. [13/28] cxx: lib/cryptominisat-2.9.1/Solver/PartFinder.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/PartFinder.cpp.1.o
317. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/PartFinder.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/PartFinder.cpp.1.o']
318. [14/28] cxx: lib/cryptominisat-2.9.1/Solver/PartHandler.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/PartHandler.cpp.1.o
319. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/PartHandler.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/PartHandler.cpp.1.o']
320. [15/28] cxx: lib/cryptominisat-2.9.1/Solver/RestartTypeChooser.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/RestartTypeChooser.cpp.1.o
321. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/RestartTypeChooser.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/RestartTypeChooser.cpp.1.o']
322. [16/28] cxx: lib/cryptominisat-2.9.1/Solver/SCCFinder.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/SCCFinder.cpp.1.o
323. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/SCCFinder.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/SCCFinder.cpp.1.o']
324. [17/28] cxx: lib/cryptominisat-2.9.1/Solver/Solver.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/Solver.cpp.1.o
325. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/Solver.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/Solver.cpp.1.o']
326. [18/28] cxx: lib/cryptominisat-2.9.1/Solver/SolverConf.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/SolverConf.cpp.1.o
327. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/SolverConf.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/SolverConf.cpp.1.o']
328. [19/28] cxx: lib/cryptominisat-2.9.1/Solver/SolverDebug.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/SolverDebug.cpp.1.o
329. ../../lib/cryptominisat-2.9.1/Solver/ClauseVivifier.cpp: In member function 'const bool CMSat::ClauseVivifier::vivifyClauses2(CMSat::vec<CMSat::Clause*>&)':
330. ../../lib/cryptominisat-2.9.1/Solver/ClauseVivifier.cpp:232:17: warning: variable 'lit' set but not used [-Wunused-but-set-variable]
331. 12:19:12 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/SolverDebug.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/SolverDebug.cpp.1.o']
332. [20/28] cxx: lib/cryptominisat-2.9.1/Solver/SolverMisc.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/SolverMisc.cpp.1.o
333. 12:19:13 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/SolverMisc.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/SolverMisc.cpp.1.o']
334. ../../lib/cryptominisat-2.9.1/Solver/OnlyNonLearntBins.cpp: In member function 'const bool CMSat::OnlyNonLearntBins::fill()':
335. ../../lib/cryptominisat-2.9.1/Solver/OnlyNonLearntBins.cpp:66:13: warning: variable 'lit' set but not used [-Wunused-but-set-variable]
336. [21/28] cxx: lib/cryptominisat-2.9.1/Solver/StateSaver.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/StateSaver.cpp.1.o
337. 12:19:13 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/StateSaver.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/StateSaver.cpp.1.o']
338. [22/28] cxx: lib/cryptominisat-2.9.1/Solver/Subsumer.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/Subsumer.cpp.1.o
339. 12:19:13 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/Subsumer.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/Subsumer.cpp.1.o']
340. [23/28] cxx: lib/cryptominisat-2.9.1/Solver/UselessBinRemover.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/UselessBinRemover.cpp.1.o
341. 12:19:13 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/UselessBinRemover.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/UselessBinRemover.cpp.1.o']
342. [24/28] cxx: lib/cryptominisat-2.9.1/Solver/VarReplacer.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/VarReplacer.cpp.1.o
343. 12:19:13 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/VarReplacer.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/VarReplacer.cpp.1.o']
344. [25/28] cxx: lib/cryptominisat-2.9.1/Solver/XorFinder.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/XorFinder.cpp.1.o
345. 12:19:13 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/XorFinder.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/XorFinder.cpp.1.o']
346. [26/28] cxx: lib/cryptominisat-2.9.1/Solver/XorSubsumer.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/XorSubsumer.cpp.1.o
347. 12:19:14 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/Solver/XorSubsumer.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/Solver/XorSubsumer.cpp.1.o']
348. [27/28] cxx: lib/cryptominisat-2.9.1/jni/kodkod_engine_satlab_CryptoMiniSat.cpp -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/jni/kodkod_engine_satlab_CryptoMiniSat.cpp.2.o
349. 12:19:14 runner ['x86_64-pc-linux-gnu-g++', '-Wall', '-O3', '-fopenmp', '-fPIC', '-fPIC', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/mtl', '-I/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/lib/cryptominisat-2.9.1/MTRand', '-I/opt/icedtea-bin-7.2.3.6/include', '-I/opt/icedtea-bin-7.2.3.6/include/linux', '-D__STDC_LIMIT_MACROS', '-D__STDC_FORMAT_MACROS', '-DDISABLE_ZLIB', '../../lib/cryptominisat-2.9.1/jni/kodkod_engine_satlab_CryptoMiniSat.cpp', '-c', '-o', 'lib/cryptominisat-2.9.1/jni/kodkod_engine_satlab_CryptoMiniSat.cpp.2.o']
350. ../../lib/cryptominisat-2.9.1/Solver/FailedLitSearcher.cpp: In member function 'const bool CMSat::FailedLitSearcher::search()':
351. ../../lib/cryptominisat-2.9.1/Solver/FailedLitSearcher.cpp:248:10: warning: variable 'removedOldLearnts' set but not used [-Wunused-but-set-variable]
352. ../../lib/cryptominisat-2.9.1/Solver/SolverMisc.cpp: In member function 'const uint32_t CMSat::Solver::countNumBinClauses(bool, bool) const':
353. ../../lib/cryptominisat-2.9.1/Solver/SolverMisc.cpp:121:13: warning: variable 'lit' set but not used [-Wunused-but-set-variable]
354. ../../lib/cryptominisat-2.9.1/Solver/VarReplacer.cpp: In member function 'const bool CMSat::VarReplacer::replaceBins()':
355. ../../lib/cryptominisat-2.9.1/Solver/VarReplacer.cpp:293:17: warning: variable 'origLit2' set but not used [-Wunused-but-set-variable]
356. ../../lib/cryptominisat-2.9.1/Solver/Subsumer.cpp: In member function 'const uint64_t CMSat::Subsumer::addFromSolver(CMSat::vec<CMSat::Clause*>&)':
357. ../../lib/cryptominisat-2.9.1/Solver/Subsumer.cpp:756:20: warning: variable 'c' set but not used [-Wunused-but-set-variable]
358. [28/28] cxxshlib: build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/jni/kodkod_engine_satlab_CryptoMiniSat.cpp.2.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/BothCache.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/ClauseAllocator.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/ClauseCleaner.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/ClauseVivifier.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/CompleteDetachReattacher.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/DataSync.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/DimacsParser.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/FailedLitSearcher.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/Gaussian.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/MatrixFinder.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/OnlyNonLearntBins.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/PackedRow.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/PartFinder.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/PartHandler.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/RestartTypeChooser.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/SCCFinder.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/Solver.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/SolverConf.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/SolverDebug.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/SolverMisc.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/StateSaver.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/Subsumer.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/UselessBinRemover.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/VarReplacer.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/XorFinder.cpp.1.o build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/Solver/XorSubsumer.cpp.1.o -> build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/libcryptominisat.so
359. 12:19:20 runner ['x86_64-pc-linux-gnu-g++', '-Wl,-O1', '-Wl,--as-needed', '-Wl,-O1', '-Wl,--as-needed', '-fopenmp', '-shared', 'lib/cryptominisat-2.9.1/jni/kodkod_engine_satlab_CryptoMiniSat.cpp.2.o', 'lib/cryptominisat-2.9.1/Solver/BothCache.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/ClauseAllocator.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/ClauseCleaner.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/ClauseVivifier.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/CompleteDetachReattacher.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/DataSync.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/DimacsParser.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/FailedLitSearcher.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/Gaussian.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/MatrixFinder.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/OnlyNonLearntBins.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/PackedRow.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/PartFinder.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/PartHandler.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/RestartTypeChooser.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/SCCFinder.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/Solver.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/SolverConf.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/SolverDebug.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/SolverMisc.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/StateSaver.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/Subsumer.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/UselessBinRemover.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/VarReplacer.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/XorFinder.cpp.1.o', 'lib/cryptominisat-2.9.1/Solver/XorSubsumer.cpp.1.o', '-o', '/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1/lib/cryptominisat-2.9.1/libcryptominisat.so', '-Wl,-Bstatic', '-Wl,-Bdynamic', '-L/opt/icedtea-bin-7.2.3.6/jre/lib/amd64/server', '-ljvm']
360. Waf: Leaving directory `/tmp/portage/sci-mathematics/kodkod-1.5.2/work/kodkod-1.5/build/cryptominisat-2.9.1'
361. 'build_cryptominisat-2.9.1' finished successfully (9.815s)
362. >>> Source compiled.
364. >>> Install kodkod-1.5.2 into /tmp/portage/sci-mathematics/kodkod-1.5.2/image/ category sci-mathematics
365. * java-pkg_dojar ./build/src/kodkod.jar
366. * Incorrect bytecode version found
367. * in file: ./build/src/kodkod.jar
368. * See /tmp/portage/sci-mathematics/kodkod-1.5.2/temp/class-version-verify.log for more details.
369. * ERROR: sci-mathematics/kodkod-1.5.2 failed (install phase):
370. * Incorrect bytecode found
371. *
372. * Call stack:
373. * ebuild.sh, line 93: Called src_install
374. * environment, line 4200: Called java-pkg_dojar './build/src/kodkod.jar'
375. * environment, line 2288: Called java-pkg_verify-classes './build/src/kodkod.jar'
376. * environment, line 3395: Called die
377. * The specific snippet of code:
378. * die "Incorrect bytecode found";
379. *
380. * If you need support, post the output of `emerge --info '=sci-mathematics/kodkod-1.5.2'`,
381. * the complete build log and the output of `emerge -pqv '=sci-mathematics/kodkod-1.5.2'`.
382. !!! When you file a bug report, please include the following information:
383. GENTOO_VM=icedtea-bin-7 CLASSPATH="" JAVA_HOME="/opt/icedtea-bin-7.2.3.6"
384. JAVACFLAGS="-source 1.6 -target 1.6" COMPILER=""
385. and of course, the output of emerge --info