186.88/50.72 2019-03-28 11:58:48 186.88/50.72 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 186.88/50.72 186.88/50.72 "ThreadPoolThread253" #1630 daemon prio=6 os_prio=0 tid=0x00002b4cf800c800 nid=0xd7c4 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "ThreadPoolThread252" #1629 daemon prio=6 os_prio=0 tid=0x00002b4cf804e000 nid=0xd7c3 runnable [0x00002b4ccf730000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:115) 186.88/50.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.createVariable(VarPolynomial.java:189) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:501) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToSMT_QF_IA(ToolBox.java:600) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.argumentsToSMT_QF_IA(ToolBox.java:561) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToSMT_QF_IA(ToolBox.java:588) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.argumentsToSMT_QF_IA(ToolBox.java:561) 186.88/50.72 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToSMT_QF_IA(ToolBox.java:588) 186.88/50.72 at aprove.Framework.IntTRS.Nonterm.IntTRSNontermProcessor.turnRuleIntoSMTFormulae(IntTRSNontermProcessor.java:76) 186.88/50.72 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:115) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread251" #1628 daemon prio=6 os_prio=0 tid=0x00002b4cf8024800 nid=0xd7c1 waiting for monitor entry [0x00002b4ccef0d000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - locked <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread250" #1627 daemon prio=6 os_prio=0 tid=0x00002b4cf8050000 nid=0xd7c0 waiting for monitor entry [0x00002b4ccee0c000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread249" #1626 daemon prio=6 os_prio=0 tid=0x00002b4cf801f000 nid=0xd7ba waiting for monitor entry [0x00002b4ccdf39000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "Thread-1594" #1625 daemon prio=6 os_prio=0 tid=0x00002b4d7c001000 nid=0xd7b6 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "ThreadPoolThread248" #1613 daemon prio=6 os_prio=0 tid=0x00002b4cf8052000 nid=0xd7aa waiting for monitor entry [0x00002b4cce8d0000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread247" #1612 daemon prio=6 os_prio=0 tid=0x00002b4cf8044000 nid=0xd7a9 waiting for monitor entry [0x00002b4ccc402000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "Thread-1587" #1611 daemon prio=6 os_prio=0 tid=0x00002b4d40003000 nid=0xd7a8 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1566" #1610 daemon prio=6 os_prio=0 tid=0x00002b4d40005000 nid=0xd7a7 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1586" #1609 daemon prio=6 os_prio=0 tid=0x00002b4d3c005000 nid=0xd7a6 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1567" #1608 daemon prio=6 os_prio=0 tid=0x00002b4d3c003000 nid=0xd7a5 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1585" #1607 daemon prio=6 os_prio=0 tid=0x00002b4d24006800 nid=0xd7a4 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1569" #1606 daemon prio=6 os_prio=0 tid=0x00002b4d24005800 nid=0xd7a3 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1584" #1605 daemon prio=6 os_prio=0 tid=0x00002b4d48002000 nid=0xd7a2 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1572" #1604 daemon prio=6 os_prio=0 tid=0x00002b4d48001000 nid=0xd7a1 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1583" #1603 daemon prio=6 os_prio=0 tid=0x00002b4d9c001800 nid=0xd7a0 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1574" #1602 daemon prio=6 os_prio=0 tid=0x00002b4d9c001000 nid=0xd79f runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1582" #1601 daemon prio=6 os_prio=0 tid=0x00002b4d1c028000 nid=0xd79e runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1575" #1600 daemon prio=6 os_prio=0 tid=0x00002b4d1c01e000 nid=0xd79d runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1581" #1599 daemon prio=6 os_prio=0 tid=0x00002b4d8c002800 nid=0xd79c runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1577" #1598 daemon prio=6 os_prio=0 tid=0x00002b4d8c007000 nid=0xd79b runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1580" #1597 daemon prio=6 os_prio=0 tid=0x00002b4d28008800 nid=0xd79a runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: TERMINATED 186.88/50.72 186.88/50.72 "Thread-1568" #1585 daemon prio=6 os_prio=0 tid=0x00002b4d10006000 nid=0xd789 runnable [0x00002b4ccf0b9000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.io.FileInputStream.readBytes(Native Method) 186.88/50.72 at java.io.FileInputStream.read(FileInputStream.java:255) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x00000007bd937188> (a java.lang.UNIXProcess$ProcessPipeInputStream) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x00000007bd9dd720> (a java.io.BufferedInputStream) 186.88/50.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 186.88/50.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 186.88/50.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 186.88/50.72 - locked <0x00000007bd9dd7a8> (a java.io.InputStreamReader) 186.88/50.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 186.88/50.72 at java.io.Reader.read(Reader.java:100) 186.88/50.72 at java.util.Scanner.readInput(Scanner.java:804) 186.88/50.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 186.88/50.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 186.88/50.72 186.88/50.72 "Thread-1565" #1584 daemon prio=6 os_prio=0 tid=0x00002b4d10003000 nid=0xd787 runnable [0x00002b4ccf832000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.io.FileInputStream.readBytes(Native Method) 186.88/50.72 at java.io.FileInputStream.read(FileInputStream.java:255) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x00000007bd9350f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x00000007bd9e4ab0> (a java.io.BufferedInputStream) 186.88/50.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 186.88/50.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 186.88/50.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 186.88/50.72 - locked <0x00000007bd9e4b38> (a java.io.InputStreamReader) 186.88/50.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 186.88/50.72 at java.io.Reader.read(Reader.java:100) 186.88/50.72 at java.util.Scanner.readInput(Scanner.java:804) 186.88/50.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 186.88/50.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 186.88/50.72 186.88/50.72 "ThreadPoolThread246" #1581 daemon prio=6 os_prio=0 tid=0x00002b4cf8013800 nid=0xd780 waiting for monitor entry [0x00002b4ccd888000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread245" #1580 daemon prio=6 os_prio=0 tid=0x00002b4cf802e000 nid=0xd77f waiting for monitor entry [0x00002b4ccc301000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread244" #1579 daemon prio=6 os_prio=0 tid=0x00002b4cf804c800 nid=0xd77e waiting for monitor entry [0x00002b4ccc503000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread243" #1578 daemon prio=6 os_prio=0 tid=0x00002b4cf8043000 nid=0xd77c runnable [0x00002b4ccd00d000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 186.88/50.72 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 186.88/50.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 186.88/50.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 186.88/50.72 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 186.88/50.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 186.88/50.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 186.88/50.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 186.88/50.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread242" #1577 daemon prio=6 os_prio=0 tid=0x00002b4cf8039000 nid=0xd77b waiting for monitor entry [0x00002b4cccc0a000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread240" #1575 daemon prio=6 os_prio=0 tid=0x00002b4cf803e800 nid=0xd779 runnable [0x00002b4ccdac2000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.UNIXProcess.forkAndExec(Native Method) 186.88/50.72 at java.lang.UNIXProcess.(UNIXProcess.java:247) 186.88/50.72 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 186.88/50.72 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 186.88/50.72 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread239" #1548 daemon prio=6 os_prio=0 tid=0x00002b4cf803c800 nid=0xd74c in Object.wait() [0x00002b4ccfd37000] 186.88/50.72 java.lang.Thread.State: WAITING (on object monitor) 186.88/50.72 at java.lang.Object.wait(Native Method) 186.88/50.72 at java.lang.Object.wait(Object.java:502) 186.88/50.72 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 186.88/50.72 - locked <0x00000007bd933050> (a java.lang.UNIXProcess) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 186.88/50.72 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread238" #1547 daemon prio=6 os_prio=0 tid=0x00002b4cf802b800 nid=0xd74a waiting for monitor entry [0x00002b4ccd787000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread237" #1524 daemon prio=6 os_prio=0 tid=0x00002b4cf800e800 nid=0xd728 runnable [0x00002b4da8805000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.Thread.setPriority0(Native Method) 186.88/50.72 at java.lang.Thread.setPriority(Thread.java:1095) 186.88/50.72 at java.lang.Thread.init(Thread.java:417) 186.88/50.72 at java.lang.Thread.init(Thread.java:349) 186.88/50.72 at java.lang.Thread.(Thread.java:448) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread234" #1491 daemon prio=6 os_prio=0 tid=0x00002b4cf8030000 nid=0xd6ec in Object.wait() [0x00002b4cc70d1000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at java.lang.Object.wait(Native Method) 186.88/50.72 at java.lang.Object.wait(Object.java:502) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 186.88/50.72 - locked <0x00000007bd9db3c0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread233" #1482 daemon prio=6 os_prio=0 tid=0x00002b4cf8015800 nid=0xd6d0 runnable [0x00002b4cce6cd000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.Thread.setPriority0(Native Method) 186.88/50.72 at java.lang.Thread.setPriority(Thread.java:1095) 186.88/50.72 at java.lang.Thread.init(Thread.java:417) 186.88/50.72 at java.lang.Thread.init(Thread.java:349) 186.88/50.72 at java.lang.Thread.(Thread.java:448) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread232" #1481 daemon prio=6 os_prio=0 tid=0x00002b4cf802a000 nid=0xd6cf runnable [0x00002b4cc69ca000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.Thread.setPriority0(Native Method) 186.88/50.72 at java.lang.Thread.setPriority(Thread.java:1095) 186.88/50.72 at java.lang.Thread.init(Thread.java:417) 186.88/50.72 at java.lang.Thread.init(Thread.java:349) 186.88/50.72 at java.lang.Thread.(Thread.java:448) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread231" #1440 daemon prio=6 os_prio=0 tid=0x00002b4cf803b000 nid=0xd67d runnable [0x00002b4ccf62f000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.Thread.setPriority0(Native Method) 186.88/50.72 at java.lang.Thread.setPriority(Thread.java:1095) 186.88/50.72 at java.lang.Thread.init(Thread.java:417) 186.88/50.72 at java.lang.Thread.init(Thread.java:349) 186.88/50.72 at java.lang.Thread.(Thread.java:448) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread230" #1375 daemon prio=6 os_prio=0 tid=0x00002b4cf8054000 nid=0xd5f7 runnable [0x00002b4ccd10e000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.Thread.setPriority0(Native Method) 186.88/50.72 at java.lang.Thread.setPriority(Thread.java:1095) 186.88/50.72 at java.lang.Thread.init(Thread.java:417) 186.88/50.72 at java.lang.Thread.init(Thread.java:349) 186.88/50.72 at java.lang.Thread.(Thread.java:448) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread228" #1299 daemon prio=6 os_prio=0 tid=0x00002b4cf8018000 nid=0xd54b runnable [0x00002b4cc6bcc000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.Thread.setPriority0(Native Method) 186.88/50.72 at java.lang.Thread.setPriority(Thread.java:1095) 186.88/50.72 at java.lang.Thread.init(Thread.java:417) 186.88/50.72 at java.lang.Thread.init(Thread.java:349) 186.88/50.72 at java.lang.Thread.(Thread.java:448) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread227" #1298 daemon prio=6 os_prio=0 tid=0x00002b4cf8019800 nid=0xd54a in Object.wait() [0x00002b4da81ff000] 186.88/50.72 java.lang.Thread.State: WAITING (on object monitor) 186.88/50.72 at java.lang.Object.wait(Native Method) 186.88/50.72 at java.lang.Object.wait(Object.java:502) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 186.88/50.72 - locked <0x00000007bca00000> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread225" #1232 daemon prio=6 os_prio=0 tid=0x00002b4cf8034800 nid=0xd4a4 runnable [0x00002b4ccc704000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.Thread.setPriority0(Native Method) 186.88/50.72 at java.lang.Thread.setPriority(Thread.java:1095) 186.88/50.72 at java.lang.Thread.init(Thread.java:417) 186.88/50.72 at java.lang.Thread.init(Thread.java:349) 186.88/50.72 at java.lang.Thread.(Thread.java:448) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "Thread-1181" #1206 daemon prio=6 os_prio=0 tid=0x00002b4d0c006000 nid=0xd46c runnable [0x00002b4cccb09000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.io.FileInputStream.readBytes(Native Method) 186.88/50.72 at java.io.FileInputStream.read(FileInputStream.java:255) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x00000004489cdbd0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x00000004490ba870> (a java.io.BufferedInputStream) 186.88/50.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 186.88/50.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 186.88/50.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 186.88/50.72 - locked <0x00000004490ba8f8> (a java.io.InputStreamReader) 186.88/50.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 186.88/50.72 at java.io.Reader.read(Reader.java:100) 186.88/50.72 at java.util.Scanner.readInput(Scanner.java:804) 186.88/50.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 186.88/50.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 186.88/50.72 186.88/50.72 "Thread-1180" #1205 daemon prio=6 os_prio=0 tid=0x00002b4d0c002800 nid=0xd469 runnable [0x00002b4ccd54c000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.io.FileInputStream.readBytes(Native Method) 186.88/50.72 at java.io.FileInputStream.read(FileInputStream.java:255) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x00000004489cdb48> (a java.lang.UNIXProcess$ProcessPipeInputStream) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x000000044937ca40> (a java.io.BufferedInputStream) 186.88/50.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 186.88/50.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 186.88/50.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 186.88/50.72 - locked <0x000000044937cac8> (a java.io.InputStreamReader) 186.88/50.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 186.88/50.72 at java.io.Reader.read(Reader.java:100) 186.88/50.72 at java.util.Scanner.readInput(Scanner.java:804) 186.88/50.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 186.88/50.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 186.88/50.72 186.88/50.72 "ThreadPoolThread213" #1106 daemon prio=6 os_prio=0 tid=0x00002b4cf8012000 nid=0xd384 in Object.wait() [0x00002b4ccd310000] 186.88/50.72 java.lang.Thread.State: WAITING (on object monitor) 186.88/50.72 at java.lang.Object.wait(Native Method) 186.88/50.72 at java.lang.Object.wait(Object.java:502) 186.88/50.72 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 186.88/50.72 - locked <0x00000004489cdab8> (a java.lang.UNIXProcess) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 186.88/50.72 at aprove.Framework.IntTRS.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) 186.88/50.72 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) 186.88/50.72 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 186.88/50.72 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 186.88/50.72 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread211" #1102 daemon prio=6 os_prio=0 tid=0x00002b4cf8032000 nid=0xd37e runnable [0x00002b4ccc603000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.Thread.setPriority0(Native Method) 186.88/50.72 at java.lang.Thread.setPriority(Thread.java:1095) 186.88/50.72 at java.lang.Thread.init(Thread.java:417) 186.88/50.72 at java.lang.Thread.init(Thread.java:349) 186.88/50.72 at java.lang.Thread.(Thread.java:448) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 186.88/50.72 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread202" #983 daemon prio=6 os_prio=0 tid=0x00002b4cf8022800 nid=0xd29c waiting for monitor entry [0x00002b4ccd64d000] 186.88/50.72 java.lang.Thread.State: BLOCKED (on object monitor) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 186.88/50.72 - waiting to lock <0x0000000440004f18> (a aprove.Strategies.Util.PrioritizableThreadPool) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "Thread-128" #158 daemon prio=6 os_prio=0 tid=0x00002b4d5c003800 nid=0xcafe runnable [0x00002b4ccc906000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.io.FileInputStream.readBytes(Native Method) 186.88/50.72 at java.io.FileInputStream.read(FileInputStream.java:255) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x0000000441e04538> (a java.lang.UNIXProcess$ProcessPipeInputStream) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x0000000441366b58> (a java.io.BufferedInputStream) 186.88/50.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 186.88/50.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 186.88/50.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 186.88/50.72 - locked <0x00000004413673f0> (a java.io.InputStreamReader) 186.88/50.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 186.88/50.72 at java.io.Reader.read(Reader.java:100) 186.88/50.72 at java.util.Scanner.readInput(Scanner.java:804) 186.88/50.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 186.88/50.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 186.88/50.72 186.88/50.72 "Thread-126" #157 daemon prio=6 os_prio=0 tid=0x00002b4d5c002000 nid=0xcafc runnable [0x00002b4ccd210000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.io.FileInputStream.readBytes(Native Method) 186.88/50.72 at java.io.FileInputStream.read(FileInputStream.java:255) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x0000000441e04500> (a java.lang.UNIXProcess$ProcessPipeInputStream) 186.88/50.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 186.88/50.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 186.88/50.72 - locked <0x0000000441368000> (a java.io.BufferedInputStream) 186.88/50.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 186.88/50.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 186.88/50.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 186.88/50.72 - locked <0x0000000441368898> (a java.io.InputStreamReader) 186.88/50.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 186.88/50.72 at java.io.Reader.read(Reader.java:100) 186.88/50.72 at java.util.Scanner.readInput(Scanner.java:804) 186.88/50.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 186.88/50.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 186.88/50.72 186.88/50.72 "process reaper" #154 daemon prio=10 os_prio=0 tid=0x00002b4d14067800 nid=0xcaeb waiting on condition [0x00002b4ccfd70000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #143 daemon prio=10 os_prio=0 tid=0x00002b4d80001000 nid=0xcac6 waiting on condition [0x00002b4ccf32d000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #140 daemon prio=10 os_prio=0 tid=0x00002b4d78003000 nid=0xcac0 waiting on condition [0x00002b4ccf0f2000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #138 daemon prio=10 os_prio=0 tid=0x00002b4d6c003800 nid=0xcab7 waiting on condition [0x00002b4ccefb8000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #137 daemon prio=10 os_prio=0 tid=0x00002b4d7400e000 nid=0xcab4 waiting on condition [0x00002b4ccef7f000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #134 daemon prio=10 os_prio=0 tid=0x00002b4d7c002800 nid=0xcaaf waiting on condition [0x00002b4ccef46000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #131 daemon prio=10 os_prio=0 tid=0x00002b4d64001000 nid=0xcaa6 waiting on condition [0x00002b4cced0b000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #99 daemon prio=10 os_prio=0 tid=0x00002b4d5c001000 nid=0xca49 waiting on condition [0x00002b4cce5cd000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #90 daemon prio=10 os_prio=0 tid=0x00002b4d14060800 nid=0xca31 waiting on condition [0x00002b4cce594000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread37" #89 daemon prio=6 os_prio=0 tid=0x00002b4cf801b000 nid=0xca23 in Object.wait() [0x00002b4cc6fd1000] 186.88/50.72 java.lang.Thread.State: WAITING (on object monitor) 186.88/50.72 at java.lang.Object.wait(Native Method) 186.88/50.72 - waiting on <0x0000000441e044c0> (a java.lang.UNIXProcess) 186.88/50.72 at java.lang.Object.wait(Object.java:502) 186.88/50.72 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 186.88/50.72 - locked <0x0000000441e044c0> (a java.lang.UNIXProcess) 186.88/50.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 186.88/50.72 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #78 daemon prio=10 os_prio=0 tid=0x00002b4d8c001000 nid=0xca01 waiting on condition [0x00002b4cce55b000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #75 daemon prio=10 os_prio=0 tid=0x00002b4d88001000 nid=0xc9fe runnable [0x00002b4cce522000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 186.88/50.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 186.88/50.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #72 daemon prio=10 os_prio=0 tid=0x00002b4ce8018000 nid=0xc9f4 waiting on condition [0x00002b4cce4e9000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #69 daemon prio=10 os_prio=0 tid=0x00002b4d28003000 nid=0xc9f0 waiting on condition [0x00002b4cce2ae000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #66 daemon prio=10 os_prio=0 tid=0x00002b4d14061800 nid=0xc9eb waiting on condition [0x00002b4cce073000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #63 daemon prio=10 os_prio=0 tid=0x00002b4d50001800 nid=0xc9da waiting on condition [0x00002b4ccde38000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #58 daemon prio=10 os_prio=0 tid=0x00002b4d1c021000 nid=0xc9d0 runnable [0x00002b4ccdafc000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 186.88/50.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 186.88/50.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #55 daemon prio=10 os_prio=0 tid=0x00002b4d40001000 nid=0xc9c9 waiting on condition [0x00002b4ccd8c1000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #52 daemon prio=10 os_prio=0 tid=0x00002b4d3c001000 nid=0xc9c4 waiting on condition [0x00002b4ccd686000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #49 daemon prio=10 os_prio=0 tid=0x00002b4d4c001000 nid=0xc9bc waiting on condition [0x00002b4ccd44b000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #46 daemon prio=10 os_prio=0 tid=0x00002b4d38001000 nid=0xc9b5 runnable [0x00002b4c87fea000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 186.88/50.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 186.88/50.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b4cec013800 nid=0xc8c9 waiting on condition [0x00002b4c6fff1000] 186.88/50.72 java.lang.Thread.State: TIMED_WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x00000004400849c8> (a java.util.concurrent.SynchronousQueue$TransferStack) 186.88/50.72 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 186.88/50.72 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 186.88/50.72 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 186.88/50.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b4cf800b800 nid=0xc8c5 runnable [0x00002b4cc6dcf000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 186.88/50.72 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 186.88/50.72 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 186.88/50.72 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 186.88/50.72 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 186.88/50.72 - locked <0x0000000440017750> (a aprove.Strategies.Abortions.TrackThreadPool) 186.88/50.72 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 186.88/50.72 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 186.88/50.72 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 186.88/50.72 186.88/50.72 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b4c70806800 nid=0xc8c4 waiting on condition [0x00002b4cc6ed0000] 186.88/50.72 java.lang.Thread.State: WAITING (parking) 186.88/50.72 at sun.misc.Unsafe.park(Native Method) 186.88/50.72 - parking to wait for <0x0000000440016dd0> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 186.88/50.72 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 186.88/50.72 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 186.88/50.72 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "ThreadPoolThread3" #13 daemon prio=5 os_prio=0 tid=0x00002b4c7025e000 nid=0xc88c runnable [0x00002b4cc6cce000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:465) 186.88/50.72 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 186.88/50.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 186.88/50.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 186.88/50.72 at java.lang.Thread.run(Thread.java:748) 186.88/50.72 186.88/50.72 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b4c70199800 nid=0xc881 runnable [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b4c70184000 nid=0xc880 waiting on condition [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b4c70182800 nid=0xc87f waiting on condition [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b4c7017f800 nid=0xc87e waiting on condition [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b4c7017e000 nid=0xc87d waiting on condition [0x0000000000000000] 186.88/50.72 java.lang.Thread.State: RUNNABLE 186.88/50.72 186.88/50.72 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b4c7014a000 nid=0xc87c in Object.wait() [0x00002b4c87bad000] 186.88/50.72 java.lang.Thread.State: WAITING (on object monitor) 186.88/50.72 at java.lang.Object.wait(Native Method) 186.88/50.72 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 186.88/50.72 - locked <0x0000000440222058> (a java.lang.ref.ReferenceQueue$Lock) 186.88/50.72 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 186.88/50.72 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 186.88/50.72 186.88/50.72 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b4c70145800 nid=0xc87b in Object.wait() [0x00002b4c87aac000] 186.88/50.72 java.lang.Thread.State: WAITING (on object monitor) 186.88/50.72 at java.lang.Object.wait(Native Method) 186.88/50.72 at java.lang.Object.wait(Object.java:502) 186.88/50.72 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 186.88/50.72 - locked <0x0000000440204750> (a java.lang.ref.Reference$Lock) 186.88/50.72 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 186.88/50.72 186.88/50.72 "main" #1 prio=5 os_prio=0 tid=0x00002b4c70008800 nid=0xc873 in Object.wait() [0x00002b4c6b35f000] 186.88/50.72 java.lang.Thread.State: WAITING (on object monitor) 186.88/50.72 at java.lang.Object.wait(Native Method) 186.88/50.72 - waiting on <0x0000000440017390> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 186.88/50.72 at java.lang.Object.wait(Object.java:502) 186.88/50.72 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 186.88/50.72 - locked <0x0000000440017390> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 186.88/50.72 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 186.88/50.72 at aprove.Runtime.AProVE.run(AProVE.java:101) 186.88/50.72 at aprove.CommandLineInterface.Main.run(Main.java:94) 186.88/50.72 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 186.88/50.72 at aprove.Main.doMain(Main.java:54) 186.88/50.72 at aprove.Main.main(Main.java:20) 186.88/50.72 186.88/50.72 "VM Thread" os_prio=0 tid=0x00002b4c7013e000 nid=0xc87a runnable 186.88/50.72 186.88/50.72 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b4c7001e000 nid=0xc875 runnable 186.88/50.72 186.88/50.72 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b4c7001f800 nid=0xc876 runnable 186.88/50.72 186.88/50.72 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b4c70021800 nid=0xc877 runnable 186.88/50.72 186.88/50.72 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b4c70023800 nid=0xc878 runnable 186.88/50.72 186.88/50.72 "VM Periodic Task Thread" os_prio=0 tid=0x00002b4c701a4000 nid=0xc887 waiting on condition 186.88/50.72 186.88/50.72 JNI global references: 284 186.88/50.72 186.88/50.72 Heap 186.88/50.72 PSYoungGen total 4840448K, used 354811K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 186.88/50.72 eden space 4785152K, 6% used [0x0000000695580000,0x00000006a99a8670,0x00000007b9680000) 186.88/50.72 from space 55296K, 41% used [0x00000007bca00000,0x00000007be0565c0,0x00000007c0000000) 186.88/50.72 to space 52736K, 0% used [0x00000007b9680000,0x00000007b9680000,0x00000007bca00000) 186.88/50.72 ParOldGen total 9786880K, used 167639K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 186.88/50.72 object space 9786880K, 1% used [0x0000000440000000,0x000000044a3b5fb0,0x0000000695580000) 186.88/50.72 Metaspace used 23826K, capacity 24072K, committed 24448K, reserved 1071104K 186.88/50.72 class space used 2561K, capacity 2652K, committed 2688K, reserved 1048576K 186.88/50.72 226.24/60.70 /export/starexec/sandbox/solver/bin/starexec_run_c: line 3: 51314 Killed LD_LIBRARY_PATH=../lib:../c_lib:$LD_LIBRARY_PATH PATH=.:$PATH T2_PATH=../t2 C_INCLUDE_PATH=../fake_include ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -m wst -w 4 -p plain $1 2> /dev/null 226.24/60.70 EOF