779.65/200.62 2019-03-28 22:44:48 779.65/200.62 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 779.65/200.62 779.65/200.62 "Thread-4753" #4779 daemon prio=6 os_prio=0 tid=0x00002ac5f4002000 nid=0x5bfb runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 779.65/200.62 "Thread-4748" #4778 daemon prio=6 os_prio=0 tid=0x00002ac5f4001000 nid=0x5bf9 runnable [0x00002ac655af2000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000726c96758> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000764757850> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000764759910> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4751" #4777 daemon prio=6 os_prio=0 tid=0x00002ac594046000 nid=0x5bf8 runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: TERMINATED 779.65/200.62 779.65/200.62 "Thread-4750" #4776 daemon prio=6 os_prio=0 tid=0x00002ac594047000 nid=0x5bf7 runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: TERMINATED 779.65/200.62 779.65/200.62 "Thread-4749" #4775 daemon prio=6 os_prio=0 tid=0x00002ac634001000 nid=0x5bf6 runnable [0x00002ac577b75000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000753e79010> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000762ed65b0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000762ed8670> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4720" #4774 daemon prio=6 os_prio=0 tid=0x00002ac634003800 nid=0x5bf4 runnable [0x00002ac53bbdd000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000753e76f50> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000076234e448> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000762350508> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4745" #4769 daemon prio=6 os_prio=0 tid=0x00002ac5e0003800 nid=0x5bee runnable [0x00002ac53bddf000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000756d35e88> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000075fdd3fe0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000075fdd60a0> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4727" #4768 daemon prio=6 os_prio=0 tid=0x00002ac5e0007800 nid=0x5bec runnable [0x00002ac6561f9000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000756d33dc8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000075f3bcec8> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000075f3bef88> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4743" #4767 daemon prio=6 os_prio=0 tid=0x00002ac610004800 nid=0x5beb runnable [0x00002ac656a3a000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000755fe1738> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000075e834d48> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000075e836e08> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4728" #4766 daemon prio=6 os_prio=0 tid=0x00002ac610003800 nid=0x5be9 runnable [0x00002ac657242000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000755fdf678> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000075e3e1cc8> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000075e3e3d88> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4736" #4765 daemon prio=6 os_prio=0 tid=0x00002ac620009800 nid=0x5be7 runnable [0x00002ac657747000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000756993768> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000075de1dc18> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000075de1fcd8> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4729" #4764 daemon prio=6 os_prio=0 tid=0x00002ac620006000 nid=0x5be2 runnable [0x00002ac6560f8000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x00000007569916a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000075d406b08> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000075d408bc8> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "ThreadPoolThread291" #4763 daemon prio=6 os_prio=0 tid=0x00002ac5a002a000 nid=0x5be0 runnable [0x00002ac6544db000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.lang.Thread.setPriority0(Native Method) 779.65/200.62 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.62 at java.lang.Thread.init(Thread.java:417) 779.65/200.62 at java.lang.Thread.init(Thread.java:349) 779.65/200.62 at java.lang.Thread.(Thread.java:448) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.62 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.62 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "ThreadPoolThread290" #4762 daemon prio=6 os_prio=0 tid=0x00002ac5a0030800 nid=0x5bdf runnable [0x00002ac6551e8000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.lang.Thread.setPriority0(Native Method) 779.65/200.62 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.62 at java.lang.Thread.init(Thread.java:417) 779.65/200.62 at java.lang.Thread.init(Thread.java:349) 779.65/200.62 at java.lang.Thread.(Thread.java:448) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.62 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.62 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.62 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "ThreadPoolThread289" #4761 daemon prio=6 os_prio=0 tid=0x00002ac5a002f800 nid=0x5bde runnable [0x00002ac577972000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.lang.Thread.setPriority0(Native Method) 779.65/200.62 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.62 at java.lang.Thread.init(Thread.java:417) 779.65/200.62 at java.lang.Thread.init(Thread.java:349) 779.65/200.62 at java.lang.Thread.(Thread.java:448) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 779.65/200.62 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 779.65/200.62 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 779.65/200.62 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.62 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.62 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "ThreadPoolThread288" #4760 daemon prio=6 os_prio=0 tid=0x00002ac5a002e800 nid=0x5bdc runnable [0x00002ac6553ea000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.lang.Thread.setPriority0(Native Method) 779.65/200.62 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.62 at java.lang.Thread.init(Thread.java:417) 779.65/200.62 at java.lang.Thread.init(Thread.java:349) 779.65/200.62 at java.lang.Thread.(Thread.java:448) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 779.65/200.62 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.62 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.62 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "Thread-4730" #4759 daemon prio=6 os_prio=0 tid=0x00002ac5ec007000 nid=0x5bda runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: TERMINATED 779.65/200.62 779.65/200.62 "Thread-4712" #4757 daemon prio=6 os_prio=0 tid=0x00002ac61c004800 nid=0x5bd8 runnable [0x00002ac654ce4000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074bd02f80> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000075910acb8> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000075910cd78> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4724" #4754 daemon prio=6 os_prio=0 tid=0x00002ac618015000 nid=0x5bd2 runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: TERMINATED 779.65/200.62 779.65/200.62 "Thread-4716" #4753 daemon prio=6 os_prio=0 tid=0x00002ac61800e800 nid=0x5bd0 runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: TERMINATED 779.65/200.62 779.65/200.62 "Thread-4722" #4751 daemon prio=6 os_prio=0 tid=0x00002ac5c0008800 nid=0x5bce runnable [0x00002ac654ae2000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000754064d70> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000755847690> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000755849750> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4721" #4750 daemon prio=6 os_prio=0 tid=0x00002ac5c0001000 nid=0x5bcc runnable [0x00002ac576ca0000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000754062cb0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x00000007544bbb78> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x00000007544bdc38> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4717" #4746 daemon prio=6 os_prio=0 tid=0x00002ac58c004000 nid=0x5bc6 runnable [0x00002ac577839000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074a3bfce8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000753cc2650> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000753cc4710> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4705" #4745 daemon prio=6 os_prio=0 tid=0x00002ac58c002000 nid=0x5bc5 runnable [0x00002ac53a593000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074a3bdc28> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000752936b30> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000752938bf0> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4715" #4744 daemon prio=6 os_prio=0 tid=0x00002ac624006800 nid=0x5bc4 runnable [0x00002ac656f3f000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074a913e38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x00000007527c5b08> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x00000007527c7bc8> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4706" #4743 daemon prio=6 os_prio=0 tid=0x00002ac624005000 nid=0x5bc2 runnable [0x00002ac53bee0000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074a911d78> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000752654ae0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000752656ba0> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4709" #4740 daemon prio=6 os_prio=0 tid=0x00002ac61c005800 nid=0x5bbe runnable [0x00002ac6552ea000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074bd00ec0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000750fe6f70> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000750fe9030> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4694" #4739 daemon prio=6 os_prio=0 tid=0x00002ac648009000 nid=0x5bbd runnable [0x00002ac657444000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073d319000> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074fe4c9b0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000074fe4ea70> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "ThreadPoolThread287" #4738 daemon prio=6 os_prio=0 tid=0x00002ac5a001a800 nid=0x5bbb runnable [0x00002ac655ef6000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.util.Objects.hashCode(Objects.java:98) 779.65/200.62 at java.util.HashMap$Node.hashCode(HashMap.java:296) 779.65/200.62 at java.util.AbstractMap.hashCode(AbstractMap.java:530) 779.65/200.62 at immutables.Immutable.ImmutableLinkedHashMap.hashCode(Unknown Source) 779.65/200.62 at aprove.Framework.Algebra.Polynomials.VarPolynomial.computeHashValue(VarPolynomial.java:1490) 779.65/200.62 at aprove.Framework.Algebra.Polynomials.VarPolynomial.hashCode(VarPolynomial.java:1485) 779.65/200.62 at aprove.Framework.IntTRS.Ranking.GEConstraint.hashCode(GEConstraint.java:167) 779.65/200.62 at java.util.HashMap.hash(HashMap.java:338) 779.65/200.62 at java.util.HashMap.containsKey(HashMap.java:595) 779.65/200.62 at java.util.HashSet.contains(HashSet.java:203) 779.65/200.62 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:70) 779.65/200.62 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 779.65/200.62 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 779.65/200.62 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 779.65/200.62 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.62 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.62 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "Thread-4707" #4736 daemon prio=6 os_prio=0 tid=0x00002ac63c001000 nid=0x5bb8 runnable [0x00002ac6562fa000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074822a410> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074d8ce108> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000074d8d01c8> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4698" #4735 daemon prio=6 os_prio=0 tid=0x00002ac63c006000 nid=0x5bb6 runnable [0x00002ac53bfe1000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000748228350> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074cf485f8> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000074cf4a6b8> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4700" #4729 daemon prio=6 os_prio=0 tid=0x00002ac64800a800 nid=0x5bac runnable [0x00002ac656737000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000070fa1eaf8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x00000007498b57b8> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x00000007498b7878> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4688" #4728 daemon prio=6 os_prio=0 tid=0x00002ac648009800 nid=0x5bab runnable [0x00002ac6556ee000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000070fa1ca38> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000749744790> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000749746850> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "ThreadPoolThread286" #4723 daemon prio=6 os_prio=0 tid=0x00002ac5a0032000 nid=0x5ba5 runnable [0x00002ac5771f9000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.lang.Thread.setPriority0(Native Method) 779.65/200.62 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.62 at java.lang.Thread.init(Thread.java:417) 779.65/200.62 at java.lang.Thread.init(Thread.java:349) 779.65/200.62 at java.lang.Thread.(Thread.java:448) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.62 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.62 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.62 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "Thread-4673" #4706 daemon prio=6 os_prio=0 tid=0x00002ac648007800 nid=0x5ba4 runnable [0x00002ac53a997000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073d316f40> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000747d58618> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000747d5a6d8> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4690" #4721 daemon prio=6 os_prio=0 tid=0x00002ac604002000 nid=0x5ba2 runnable [0x00002ac656e3e000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073d552cb8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000747a76578> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000747a78638> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4676" #4720 daemon prio=6 os_prio=0 tid=0x00002ac604001000 nid=0x5b9f runnable [0x00002ac6559f1000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073d550bf8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x00000007466eaa60> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x00000007466ecb20> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4684" #4717 daemon prio=6 os_prio=0 tid=0x00002ac5e8006000 nid=0x5b9a runnable [0x00002ac656d3d000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074128b750> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x00000007455d89f0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x00000007455daab0> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4682" #4716 daemon prio=6 os_prio=0 tid=0x00002ac5e8004000 nid=0x5b97 runnable [0x00002ac655df5000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000741289690> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000074443e428> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x00000007444404e8> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4680" #4711 daemon prio=6 os_prio=0 tid=0x00002ac59c00f800 nid=0x5b91 runnable [0x00002ac6554ec000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073de18948> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073feba8a0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000073febc960> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4671" #4710 daemon prio=6 os_prio=0 tid=0x00002ac59c014800 nid=0x5b90 runnable [0x00002ac657141000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073de16888> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073fd49878> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000073fd4b938> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4679" #4709 daemon prio=6 os_prio=0 tid=0x00002ac634006800 nid=0x5b8f runnable [0x00002ac6547df000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x00000006f6f2eff0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073fbd8850> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000073fbda910> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4672" #4708 daemon prio=6 os_prio=0 tid=0x00002ac634002800 nid=0x5b8e runnable [0x00002ac6558f0000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x00000006f6f2cf30> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073fa67828> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000073fa698e8> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4677" #4707 daemon prio=6 os_prio=0 tid=0x00002ac650007000 nid=0x5b8d runnable [0x00002ac654fe7000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073d52c8a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073f8f6800> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000073f8f88c0> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4674" #4705 daemon prio=6 os_prio=0 tid=0x00002ac650006000 nid=0x5b8c runnable [0x00002ac654de5000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073d52a7e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000073e56ace0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000073e56cda0> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "ThreadPoolThread283" #4516 daemon prio=6 os_prio=0 tid=0x00002ac5a0033000 nid=0x5a6d runnable [0x00002ac6563fa000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.lang.Thread.setPriority0(Native Method) 779.65/200.62 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.62 at java.lang.Thread.init(Thread.java:417) 779.65/200.62 at java.lang.Thread.init(Thread.java:349) 779.65/200.62 at java.lang.Thread.(Thread.java:448) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 779.65/200.62 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 779.65/200.62 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 779.65/200.62 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 779.65/200.62 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.62 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.62 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "process reaper" #4511 daemon prio=10 os_prio=0 tid=0x00002ac644001000 nid=0x5a67 waiting on condition [0x00002ac65790f000] 779.65/200.62 java.lang.Thread.State: TIMED_WAITING (parking) 779.65/200.62 at sun.misc.Unsafe.park(Native Method) 779.65/200.62 - parking to wait for <0x0000000440003f60> (a java.util.concurrent.SynchronousQueue$TransferStack) 779.65/200.62 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 779.65/200.62 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 779.65/200.62 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 779.65/200.62 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "process reaper" #4477 daemon prio=10 os_prio=0 tid=0x00002ac648001000 nid=0x5a64 runnable [0x00002ac6578d6000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.62 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.62 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "process reaper" #4504 daemon prio=10 os_prio=0 tid=0x00002ac5c8004000 nid=0x5a5e waiting on condition [0x00002ac65789d000] 779.65/200.62 java.lang.Thread.State: TIMED_WAITING (parking) 779.65/200.62 at sun.misc.Unsafe.park(Native Method) 779.65/200.62 - parking to wait for <0x0000000440003f60> (a java.util.concurrent.SynchronousQueue$TransferStack) 779.65/200.62 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 779.65/200.62 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 779.65/200.62 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 779.65/200.62 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "process reaper" #4474 daemon prio=10 os_prio=0 tid=0x00002ac650005800 nid=0x5a38 waiting on condition [0x00002ac657864000] 779.65/200.62 java.lang.Thread.State: TIMED_WAITING (parking) 779.65/200.62 at sun.misc.Unsafe.park(Native Method) 779.65/200.62 - parking to wait for <0x0000000440003f60> (a java.util.concurrent.SynchronousQueue$TransferStack) 779.65/200.62 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 779.65/200.62 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 779.65/200.62 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 779.65/200.62 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 779.65/200.62 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "ThreadPoolThread279" #4468 daemon prio=6 os_prio=0 tid=0x00002ac5a002d800 nid=0x5a2f in Object.wait() [0x00002ac57704d000] 779.65/200.62 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.62 at java.lang.Object.wait(Native Method) 779.65/200.62 at java.lang.Object.wait(Object.java:502) 779.65/200.62 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.62 - locked <0x000000070fa1a910> (a java.lang.UNIXProcess) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.62 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.62 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.62 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.62 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.62 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.62 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.62 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.62 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.62 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.62 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.62 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.62 at java.lang.Thread.run(Thread.java:748) 779.65/200.62 779.65/200.62 "ThreadPoolThread272" #4404 daemon prio=6 os_prio=0 tid=0x00002ac5a0024800 nid=0x59d0 in Object.wait() [0x00002ac6550e7000] 779.65/200.62 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x0000000726c94630> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread263" #4320 daemon prio=6 os_prio=0 tid=0x00002ac5a0028000 nid=0x58ba in Object.wait() [0x00002ac53a390000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x000000073d54ead0> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread259" #4259 daemon prio=6 os_prio=0 tid=0x00002ac5a000e800 nid=0x5869 runnable [0x00002ac6545dc000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.Thread.setPriority0(Native Method) 779.65/200.63 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.63 at java.lang.Thread.init(Thread.java:417) 779.65/200.63 at java.lang.Thread.init(Thread.java:349) 779.65/200.63 at java.lang.Thread.(Thread.java:448) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "Thread-4226" #4254 daemon prio=6 os_prio=0 tid=0x00002ac564005800 nid=0x585a runnable [0x00002ac656636000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.63 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.63 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.63 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.63 - locked <0x00000007b6cfe250> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.63 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.63 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.63 - locked <0x00000007b78155c0> (a java.io.BufferedInputStream) 779.65/200.63 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.63 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.63 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.63 - locked <0x00000007b7815618> (a java.io.InputStreamReader) 779.65/200.63 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.63 at java.io.Reader.read(Reader.java:100) 779.65/200.63 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.63 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.63 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.63 779.65/200.63 "Thread-4222" #4253 daemon prio=6 os_prio=0 tid=0x00002ac564004800 nid=0x5859 runnable [0x00002ac6555ed000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.63 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.63 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.63 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.63 - locked <0x00000007b6cfc1b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.63 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.63 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.63 - locked <0x00000007b781b020> (a java.io.BufferedInputStream) 779.65/200.63 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.63 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.63 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.63 - locked <0x00000007b781b078> (a java.io.InputStreamReader) 779.65/200.63 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.63 at java.io.Reader.read(Reader.java:100) 779.65/200.63 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.63 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.63 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.63 779.65/200.63 "process reaper" #4236 daemon prio=10 os_prio=0 tid=0x00002ac588002000 nid=0x583f runnable [0x00002ac65782b000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #4228 daemon prio=10 os_prio=0 tid=0x00002ac5ec006800 nid=0x5833 runnable [0x00002ac6577f2000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread258" #4223 daemon prio=6 os_prio=0 tid=0x00002ac5a0013000 nid=0x582a in Object.wait() [0x00002ac65703f000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x00000007b6cfa118> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread248" #4086 daemon prio=6 os_prio=0 tid=0x00002ac5a0031800 nid=0x5768 runnable [0x00002ac656837000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.Thread.setPriority0(Native Method) 779.65/200.63 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.63 at java.lang.Thread.init(Thread.java:417) 779.65/200.63 at java.lang.Thread.init(Thread.java:349) 779.65/200.63 at java.lang.Thread.(Thread.java:448) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread247" #3989 daemon prio=6 os_prio=0 tid=0x00002ac5a0029000 nid=0x56d7 in Object.wait() [0x00002ac576f4c000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x00000006f6f2ae08> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #3898 daemon prio=10 os_prio=0 tid=0x00002ac5c0005800 nid=0x565d runnable [0x00002ac6577b9000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #3897 daemon prio=10 os_prio=0 tid=0x00002ac618014000 nid=0x5652 runnable [0x00002ac657780000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread236" #3857 daemon prio=6 os_prio=0 tid=0x00002ac5a0035000 nid=0x5635 in Object.wait() [0x00002ac576da0000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x000000074a3bbb00> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread223" #3671 daemon prio=6 os_prio=0 tid=0x00002ac5a0034000 nid=0x5506 runnable [0x00002ac6549e0000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.Thread.setPriority0(Native Method) 779.65/200.63 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.63 at java.lang.Thread.init(Thread.java:417) 779.65/200.63 at java.lang.Thread.init(Thread.java:349) 779.65/200.63 at java.lang.Thread.(Thread.java:448) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #3405 daemon prio=10 os_prio=0 tid=0x00002ac61800c800 nid=0x537b runnable [0x00002ac656535000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread205" #3335 daemon prio=6 os_prio=0 tid=0x00002ac5a0025800 nid=0x5312 in Object.wait() [0x00002ac53b7a1000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x0000000753e74e28> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #3236 daemon prio=10 os_prio=0 tid=0x00002ac5980be000 nid=0x5284 waiting on condition [0x00002ac6541aa000] 779.65/200.63 java.lang.Thread.State: TIMED_WAITING (parking) 779.65/200.63 at sun.misc.Unsafe.park(Native Method) 779.65/200.63 - parking to wait for <0x0000000440003f60> (a java.util.concurrent.SynchronousQueue$TransferStack) 779.65/200.63 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 779.65/200.63 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 779.65/200.63 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 779.65/200.63 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #3180 daemon prio=10 os_prio=0 tid=0x00002ac620005000 nid=0x5231 waiting on condition [0x00002ac654171000] 779.65/200.63 java.lang.Thread.State: TIMED_WAITING (parking) 779.65/200.63 at sun.misc.Unsafe.park(Native Method) 779.65/200.63 - parking to wait for <0x0000000440003f60> (a java.util.concurrent.SynchronousQueue$TransferStack) 779.65/200.63 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 779.65/200.63 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 779.65/200.63 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 779.65/200.63 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "Thread-3143" #3164 daemon prio=6 os_prio=0 tid=0x00002ac64c003800 nid=0x521b runnable [0x00002ac6548e0000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.63 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.63 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.63 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.63 - locked <0x00000007b6996250> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.63 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.63 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.63 - locked <0x00000007b7c1b040> (a java.io.BufferedInputStream) 779.65/200.63 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.63 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.63 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.63 - locked <0x00000007b7c1b0c8> (a java.io.InputStreamReader) 779.65/200.63 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.63 at java.io.Reader.read(Reader.java:100) 779.65/200.63 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.63 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.63 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.63 779.65/200.63 "Thread-3126" #3162 daemon prio=6 os_prio=0 tid=0x00002ac64c003000 nid=0x5217 runnable [0x00002ac654be3000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.63 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.63 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.63 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.63 - locked <0x00000007b69941b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.63 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.63 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.63 - locked <0x00000007b7c204a0> (a java.io.BufferedInputStream) 779.65/200.63 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.63 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.63 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.63 - locked <0x00000007b7c20528> (a java.io.InputStreamReader) 779.65/200.63 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.63 at java.io.Reader.read(Reader.java:100) 779.65/200.63 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.63 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.63 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.63 779.65/200.63 "ThreadPoolThread180" #2897 daemon prio=6 os_prio=0 tid=0x00002ac5a0023800 nid=0x4ff6 in Object.wait() [0x00002ac53aa97000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x0000000755fdd550> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread179" #2896 daemon prio=6 os_prio=0 tid=0x00002ac5a001c800 nid=0x4ff4 in Object.wait() [0x00002ac576761000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x00000007b6992118> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #2811 daemon prio=10 os_prio=0 tid=0x00002ac61800b800 nid=0x4f77 runnable [0x00002ac654138000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread170" #2656 daemon prio=6 os_prio=0 tid=0x00002ac5a000d800 nid=0x4e93 in Object.wait() [0x00002ac6542d9000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x000000073d314e18> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #2468 daemon prio=10 os_prio=0 tid=0x00002ac618003800 nid=0x4d7e runnable [0x00002ac577fe9000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #2460 daemon prio=10 os_prio=0 tid=0x00002ac5cc001000 nid=0x4d71 runnable [0x00002ac577fb0000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread159" #2273 daemon prio=6 os_prio=0 tid=0x00002ac5a0022800 nid=0x4c5a in Object.wait() [0x00002ac577434000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x000000073d1f7080> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread135" #1795 daemon prio=6 os_prio=0 tid=0x00002ac5a0016000 nid=0x4999 in Object.wait() [0x00002ac577d76000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x000000075698f580> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread123" #1523 daemon prio=6 os_prio=0 tid=0x00002ac5a001e000 nid=0x476e in Object.wait() [0x00002ac53a491000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x0000000756d31ca0> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread114" #1274 daemon prio=6 os_prio=0 tid=0x00002ac5a000c800 nid=0x45fd in Object.wait() [0x00002ac57699c000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x000000074a90fc50> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread113" #1273 daemon prio=6 os_prio=0 tid=0x00002ac5a0011800 nid=0x45fc runnable [0x00002ac6540fe000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.Thread.setPriority0(Native Method) 779.65/200.63 at java.lang.Thread.setPriority(Thread.java:1095) 779.65/200.63 at java.lang.Thread.init(Thread.java:417) 779.65/200.63 at java.lang.Thread.init(Thread.java:349) 779.65/200.63 at java.lang.Thread.(Thread.java:448) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 779.65/200.63 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread103" #1187 daemon prio=6 os_prio=0 tid=0x00002ac5a0010800 nid=0x457f in Object.wait() [0x00002ac577c75000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x0000000754060b88> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread79" #641 daemon prio=6 os_prio=0 tid=0x00002ac5a0018000 nid=0x4257 in Object.wait() [0x00002ac576a9d000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x000000074bcfed98> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread67" #417 daemon prio=6 os_prio=0 tid=0x00002ac5a0020000 nid=0x410e in Object.wait() [0x00002ac577737000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x0000000748226228> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread62" #376 daemon prio=6 os_prio=0 tid=0x00002ac5a000f800 nid=0x40cf in Object.wait() [0x00002ac53bcdd000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x000000073d5286c0> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #210 daemon prio=10 os_prio=0 tid=0x00002ac628001000 nid=0x3fd4 runnable [0x00002ac577872000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #177 daemon prio=10 os_prio=0 tid=0x00002ac5bc00a000 nid=0x3fa9 runnable [0x00002ac577233000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #176 daemon prio=10 os_prio=0 tid=0x00002ac5e0001000 nid=0x3fa1 runnable [0x00002ac5770f9000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #173 daemon prio=10 os_prio=0 tid=0x00002ac594042800 nid=0x3f9c runnable [0x00002ac5770c0000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #164 daemon prio=10 os_prio=0 tid=0x00002ac5980bd800 nid=0x3f8a runnable [0x00002ac577087000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #158 daemon prio=10 os_prio=0 tid=0x00002ac594040000 nid=0x3f80 runnable [0x00002ac576e4c000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #142 daemon prio=10 os_prio=0 tid=0x00002ac5e4001000 nid=0x3f65 runnable [0x00002ac576e13000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #139 daemon prio=10 os_prio=0 tid=0x00002ac5c8002000 nid=0x3f62 runnable [0x00002ac576dda000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "ThreadPoolThread21" #125 daemon prio=6 os_prio=0 tid=0x00002ac5a0014000 nid=0x3f4f in Object.wait() [0x00002ac53a693000] 779.65/200.63 java.lang.Thread.State: WAITING (on object monitor) 779.65/200.63 at java.lang.Object.wait(Native Method) 779.65/200.63 at java.lang.Object.wait(Object.java:502) 779.65/200.63 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 779.65/200.63 - locked <0x0000000741287568> (a java.lang.UNIXProcess) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 779.65/200.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 779.65/200.63 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 779.65/200.63 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 779.65/200.63 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #112 daemon prio=10 os_prio=0 tid=0x00002ac5b8031800 nid=0x3f3f waiting on condition [0x00002ac57679b000] 779.65/200.63 java.lang.Thread.State: TIMED_WAITING (parking) 779.65/200.63 at sun.misc.Unsafe.park(Native Method) 779.65/200.63 - parking to wait for <0x0000000440003f60> (a java.util.concurrent.SynchronousQueue$TransferStack) 779.65/200.63 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 779.65/200.63 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 779.65/200.63 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 779.65/200.63 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #58 daemon prio=10 os_prio=0 tid=0x00002ac5b800d000 nid=0x3ef0 runnable [0x00002ac576661000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #25 daemon prio=10 os_prio=0 tid=0x00002ac590019000 nid=0x3ebd runnable [0x00002ac53b8dc000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 779.65/200.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 779.65/200.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002ac598015800 nid=0x3eb2 waiting on condition [0x00002ac51bfd9000] 779.65/200.63 java.lang.Thread.State: TIMED_WAITING (parking) 779.65/200.63 at sun.misc.Unsafe.park(Native Method) 779.65/200.63 - parking to wait for <0x0000000440003f60> (a java.util.concurrent.SynchronousQueue$TransferStack) 779.65/200.63 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 779.65/200.63 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 779.65/200.63 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 779.65/200.63 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 779.65/200.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002ac5a000b800 nid=0x3eb0 runnable [0x00002ac53a795000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 779.65/200.63 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 779.65/200.63 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 779.65/200.63 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 779.65/200.63 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 779.65/200.63 - locked <0x00000004422053f8> (a aprove.Strategies.Abortions.TrackThreadPool) 779.65/200.63 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 779.65/200.63 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 779.65/200.63 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 779.65/200.63 779.65/200.63 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002ac51c979000 nid=0x3eaf waiting on condition [0x00002ac53a896000] 779.65/200.63 java.lang.Thread.State: WAITING (parking) 779.65/200.63 at sun.misc.Unsafe.park(Native Method) 779.65/200.63 - parking to wait for <0x000000044000e6e0> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 779.65/200.63 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 779.65/200.63 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 779.65/200.63 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 779.65/200.63 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 779.65/200.63 at java.lang.Thread.run(Thread.java:748) 779.65/200.63 779.65/200.63 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002ac51c191800 nid=0x3ea5 runnable [0x0000000000000000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 779.65/200.63 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002ac51c184000 nid=0x3ea4 waiting on condition [0x0000000000000000] 779.65/200.63 java.lang.Thread.State: RUNNABLE 779.65/200.63 779.65/200.63 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002ac51c182000 nid=0x3ea3 waiting on condition [0x0000000000000000] 779.86/200.65 java.lang.Thread.State: RUNNABLE 779.86/200.65 779.86/200.65 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002ac51c17f800 nid=0x3ea2 waiting on condition [0x0000000000000000] 779.86/200.65 java.lang.Thread.State: RUNNABLE 779.86/200.65 779.86/200.65 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002ac51c17e000 nid=0x3ea1 waiting on condition [0x0000000000000000] 779.86/200.65 java.lang.Thread.State: RUNNABLE 779.86/200.65 779.86/200.65 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002ac51c14a000 nid=0x3ea0 in Object.wait() [0x00002ac539ae9000] 779.86/200.65 java.lang.Thread.State: WAITING (on object monitor) 779.86/200.65 at java.lang.Object.wait(Native Method) 779.86/200.65 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 779.86/200.65 - locked <0x00000004401247f8> (a java.lang.ref.ReferenceQueue$Lock) 779.86/200.65 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 779.86/200.65 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 779.86/200.65 779.86/200.65 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002ac51c145800 nid=0x3e9f in Object.wait() [0x00002ac5399e8000] 779.86/200.65 java.lang.Thread.State: WAITING (on object monitor) 779.86/200.65 at java.lang.Object.wait(Native Method) 779.86/200.65 at java.lang.Object.wait(Object.java:502) 779.86/200.65 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 779.86/200.65 - locked <0x00000004401230c8> (a java.lang.ref.Reference$Lock) 779.86/200.65 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 779.86/200.65 779.86/200.65 "main" #1 prio=5 os_prio=0 tid=0x00002ac51c008800 nid=0x3e98 in Object.wait() [0x00002ac51924b000] 779.86/200.65 java.lang.Thread.State: WAITING (on object monitor) 779.86/200.65 at java.lang.Object.wait(Native Method) 779.86/200.65 - waiting on <0x000000044000e878> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 779.86/200.65 at java.lang.Object.wait(Object.java:502) 779.86/200.65 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 779.86/200.65 - locked <0x000000044000e878> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 779.86/200.65 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 779.86/200.65 at aprove.Runtime.AProVE.run(AProVE.java:101) 779.86/200.65 at aprove.CommandLineInterface.Main.run(Main.java:94) 779.86/200.65 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 779.86/200.65 at aprove.Main.doMain(Main.java:54) 779.86/200.65 at aprove.Main.main(Main.java:20) 779.86/200.65 779.86/200.65 "VM Thread" os_prio=0 tid=0x00002ac51c13e000 nid=0x3e9e runnable 779.86/200.65 779.86/200.65 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002ac51c01e000 nid=0x3e9a runnable 779.86/200.65 779.86/200.65 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002ac51c01f800 nid=0x3e9b runnable 779.86/200.65 779.86/200.65 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002ac51c021800 nid=0x3e9c runnable 779.86/200.65 779.86/200.65 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002ac51c023800 nid=0x3e9d runnable 779.86/200.65 779.86/200.65 "VM Periodic Task Thread" os_prio=0 tid=0x00002ac51c19c000 nid=0x3ea6 waiting on condition 779.86/200.65 784.97/201.97 JNI global references: 367 784.97/201.97 784.97/201.97 Heap 784.97/201.97 PSYoungGen total 4794880K, used 3664963K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 784.97/201.97 eden space 4723200K, 76% used [0x0000000695580000,0x0000000770acfae0,0x00000007b5a00000) 784.97/201.97 from space 71680K, 99% used [0x00000007b5a00000,0x00000007b9fc1150,0x00000007ba000000) 784.97/201.97 to space 92672K, 0% used [0x00000007ba580000,0x00000007ba580000,0x00000007c0000000) 784.97/201.97 ParOldGen total 9786880K, used 51480K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 784.97/201.97 object space 9786880K, 0% used [0x0000000440000000,0x00000004432463e8,0x0000000695580000) 784.97/201.97 Metaspace used 23394K, capacity 23642K, committed 23936K, reserved 1071104K 784.97/201.97 class space used 2549K, capacity 2619K, committed 2688K, reserved 1048576K 784.97/201.97 817.21/210.26 EOF