438.09/115.61 java.util.concurrent.ExecutionException: java.lang.OutOfMemoryError: GC overhead limit exceeded 438.09/115.61 at java.util.concurrent.FutureTask.report(FutureTask.java:122) 438.09/115.61 at java.util.concurrent.FutureTask.get(FutureTask.java:192) 438.09/115.61 at de.dieter_hofbauer.ParallelProofStep.applyTyped(ParallelProofStep.java:143) 438.09/115.61 at de.dieter_hofbauer.ParallelProofStep.apply(ParallelProofStep.java:102) 438.09/115.61 at de.dieter_hofbauer.MultumNonMulta.main(MultumNonMulta.java:246) 438.09/115.61 Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded 438.09/115.61 at de.dieter_hofbauer.Matrix.(Matrix.java:33) 438.09/115.61 at de.dieter_hofbauer.Matrix.minus(Matrix.java:253) 438.09/115.61 at de.dieter_hofbauer.MatrixInterpretation.apply(MatrixInterpretation.java:310) 438.09/115.61 at de.dieter_hofbauer.MatrixInterpretation.getDefects(MatrixInterpretation.java:322) 438.09/115.61 at de.dieter_hofbauer.CompletionBreadthFirstMatrixInterpretationIterator$RankedMatrixInterpretation.(CompletionBreadthFirstMatrixInterpretationIterator.java:633) 438.09/115.61 at de.dieter_hofbauer.CompletionBreadthFirstMatrixInterpretationIterator$RankedMatrixInterpretation.(CompletionBreadthFirstMatrixInterpretationIterator.java:628) 438.09/115.61 at de.dieter_hofbauer.CompletionBreadthFirstMatrixInterpretationIterator$CompensationIterator.computeNext(CompletionBreadthFirstMatrixInterpretationIterator.java:414) 438.09/115.61 at de.dieter_hofbauer.CompletionBreadthFirstMatrixInterpretationIterator$CompensationIterator.hasNext(CompletionBreadthFirstMatrixInterpretationIterator.java:423) 438.09/115.61 at de.dieter_hofbauer.CompletionBreadthFirstMatrixInterpretationIterator.next(CompletionBreadthFirstMatrixInterpretationIterator.java:294) 438.09/115.61 at de.dieter_hofbauer.CompletionBreadthFirstMatrixInterpretationIterator.next(CompletionBreadthFirstMatrixInterpretationIterator.java:1) 438.09/115.61 at de.dieter_hofbauer.IterativeProofStep.applyTyped(IterativeProofStep.java:104) 438.09/115.61 at de.dieter_hofbauer.IterativeProofStep.apply(IterativeProofStep.java:74) 438.09/115.61 at de.dieter_hofbauer.LoopingSequentialProofStep.applyTyped(LoopingSequentialProofStep.java:134) 438.09/115.61 at de.dieter_hofbauer.LoopingSequentialProofStep.apply(LoopingSequentialProofStep.java:92) 438.09/115.61 at de.dieter_hofbauer.ParallelProofStep.lambda$0(ParallelProofStep.java:136) 438.09/115.61 at de.dieter_hofbauer.ParallelProofStep$$Lambda$11/495053715.call(Unknown Source) 438.09/115.61 at java.util.concurrent.FutureTask.run(FutureTask.java:266) 438.09/115.61 at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511) 438.09/115.61 at java.util.concurrent.FutureTask.run(FutureTask.java:266) 438.09/115.61 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 438.09/115.61 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 438.09/115.61 at java.lang.Thread.run(Thread.java:748) 438.09/115.61 Exception in thread "main" java.lang.NullPointerException 438.09/115.61 at de.dieter_hofbauer.ParallelProofStep.applyTyped(ParallelProofStep.java:147) 438.09/115.61 at de.dieter_hofbauer.ParallelProofStep.apply(ParallelProofStep.java:102) 438.09/115.61 at de.dieter_hofbauer.MultumNonMulta.main(MultumNonMulta.java:246) 443.17/119.17 EOF