6.98/2.57 2019-03-29 16:51:31 6.98/2.57 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 6.98/2.57 6.98/2.57 "ThreadPoolThread50" #77 daemon prio=6 os_prio=0 tid=0x00002b2fac02c000 nid=0x4f0e runnable [0x0000000000000000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 6.98/2.57 "ThreadPoolThread49" #76 daemon prio=6 os_prio=0 tid=0x00002b2fac02a800 nid=0x4f09 waiting for monitor entry [0x00002b2f82a2a000] 6.98/2.57 java.lang.Thread.State: BLOCKED (on object monitor) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 6.98/2.57 - waiting to lock <0x000000044000a850> (a aprove.Strategies.Util.PrioritizableThreadPool) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread48" #75 daemon prio=6 os_prio=0 tid=0x00002b2fac029800 nid=0x4f04 runnable [0x00002b2f82929000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.lang.Thread.run(Thread.java:747) 6.98/2.57 6.98/2.57 "ThreadPoolThread47" #74 daemon prio=6 os_prio=0 tid=0x00002b2fac028800 nid=0x4efe waiting for monitor entry [0x00002b2f473c8000] 6.98/2.57 java.lang.Thread.State: BLOCKED (on object monitor) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 6.98/2.57 - waiting to lock <0x000000044000a850> (a aprove.Strategies.Util.PrioritizableThreadPool) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread46" #73 daemon prio=6 os_prio=0 tid=0x00002b2fac009000 nid=0x4ef5 waiting for monitor entry [0x00002b2f474c9000] 6.98/2.57 java.lang.Thread.State: BLOCKED (on object monitor) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 6.98/2.57 - locked <0x000000044000a850> (a aprove.Strategies.Util.PrioritizableThreadPool) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread45" #72 daemon prio=6 os_prio=0 tid=0x00002b2fac01b800 nid=0x4ef1 waiting for monitor entry [0x00002b2f460b6000] 6.98/2.57 java.lang.Thread.State: BLOCKED (on object monitor) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 6.98/2.57 - waiting to lock <0x000000044000a850> (a aprove.Strategies.Util.PrioritizableThreadPool) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread44" #71 daemon prio=6 os_prio=0 tid=0x00002b2fac01f800 nid=0x4ee6 runnable [0x00002b2f47bcc000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.lang.Thread.setPriority0(Native Method) 6.98/2.57 at java.lang.Thread.setPriority(Thread.java:1095) 6.98/2.57 at java.lang.Thread.init(Thread.java:417) 6.98/2.57 at java.lang.Thread.init(Thread.java:349) 6.98/2.57 at java.lang.Thread.(Thread.java:678) 6.98/2.57 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 6.98/2.57 at java.lang.UNIXProcess$$Lambda$10/1708776139.newThread(Unknown Source) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 6.98/2.57 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 6.98/2.57 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 6.98/2.57 at java.lang.UNIXProcess$$Lambda$11/1581752849.run(Unknown Source) 6.98/2.57 at java.security.AccessController.doPrivileged(Native Method) 6.98/2.57 at java.lang.UNIXProcess.(UNIXProcess.java:257) 6.98/2.57 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 6.98/2.57 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:620) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:485) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 6.98/2.57 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 6.98/2.57 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 6.98/2.57 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 6.98/2.57 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread43" #70 daemon prio=6 os_prio=0 tid=0x00002b2fac01e800 nid=0x4ee4 waiting for monitor entry [0x00002b2f47acd000] 6.98/2.57 java.lang.Thread.State: BLOCKED (on object monitor) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 6.98/2.57 - waiting to lock <0x000000044000a850> (a aprove.Strategies.Util.PrioritizableThreadPool) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread41" #68 daemon prio=6 os_prio=0 tid=0x00002b2fac01d800 nid=0x4ee2 runnable [0x00002b2f467bc000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.io.FileInputStream.readBytes(Native Method) 6.98/2.57 at java.io.FileInputStream.read(FileInputStream.java:255) 6.98/2.57 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 6.98/2.57 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 6.98/2.57 - locked <0x00000006a2f03ac8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 6.98/2.57 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 6.98/2.57 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 6.98/2.57 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 6.98/2.57 - locked <0x00000006a2f08170> (a java.io.InputStreamReader) 6.98/2.57 at java.io.InputStreamReader.read(InputStreamReader.java:184) 6.98/2.57 at java.io.BufferedReader.fill(BufferedReader.java:161) 6.98/2.57 at java.io.BufferedReader.readLine(BufferedReader.java:324) 6.98/2.57 - locked <0x00000006a2f08170> (a java.io.InputStreamReader) 6.98/2.57 at java.io.BufferedReader.readLine(BufferedReader.java:389) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:304) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 6.98/2.57 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 6.98/2.57 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 6.98/2.57 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread40" #67 daemon prio=6 os_prio=0 tid=0x00002b2fac017000 nid=0x4edc runnable [0x00002b2f479cc000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at sun.nio.cs.UTF_8$Encoder.encodeArrayLoop(UTF_8.java:595) 6.98/2.57 at sun.nio.cs.UTF_8$Encoder.encodeLoop(UTF_8.java:691) 6.98/2.57 at java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:579) 6.98/2.57 at sun.nio.cs.StreamEncoder.implWrite(StreamEncoder.java:271) 6.98/2.57 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:125) 6.98/2.57 - locked <0x00000006a7c718c8> (a java.io.OutputStreamWriter) 6.98/2.57 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135) 6.98/2.57 at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220) 6.98/2.57 at java.io.Writer.write(Writer.java:157) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:197) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 6.98/2.57 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:333) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread39" #66 daemon prio=6 os_prio=0 tid=0x00002b2fac010000 nid=0x4eda waiting for monitor entry [0x00002b2f466bc000] 6.98/2.57 java.lang.Thread.State: BLOCKED (on object monitor) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 6.98/2.57 - waiting to lock <0x000000044000a850> (a aprove.Strategies.Util.PrioritizableThreadPool) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread36" #63 daemon prio=6 os_prio=0 tid=0x00002b2fac01c800 nid=0x4ed6 runnable [0x00002b2f47ccd000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.lang.Thread.setPriority0(Native Method) 6.98/2.57 at java.lang.Thread.setPriority(Thread.java:1095) 6.98/2.57 at java.lang.Thread.init(Thread.java:417) 6.98/2.57 at java.lang.Thread.init(Thread.java:349) 6.98/2.57 at java.lang.Thread.(Thread.java:678) 6.98/2.57 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 6.98/2.57 at java.lang.UNIXProcess$$Lambda$10/1708776139.newThread(Unknown Source) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 6.98/2.57 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 6.98/2.57 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 6.98/2.57 at java.lang.UNIXProcess$$Lambda$11/1581752849.run(Unknown Source) 6.98/2.57 at java.security.AccessController.doPrivileged(Native Method) 6.98/2.57 at java.lang.UNIXProcess.(UNIXProcess.java:257) 6.98/2.57 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 6.98/2.57 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:620) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:450) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:347) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 6.98/2.57 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 6.98/2.57 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:264) 6.98/2.57 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 6.98/2.57 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 6.98/2.57 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread34" #61 daemon prio=6 os_prio=0 tid=0x00002b2fac01a800 nid=0x4ed4 runnable [0x00002b2f82627000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.lang.UNIXProcess.forkAndExec(Native Method) 6.98/2.57 at java.lang.UNIXProcess.(UNIXProcess.java:247) 6.98/2.57 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 6.98/2.57 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:620) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:485) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 6.98/2.57 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:333) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread33" #60 daemon prio=6 os_prio=0 tid=0x00002b2fac019800 nid=0x4ed3 runnable [0x00002b2f477c8000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.lang.Thread.setPriority0(Native Method) 6.98/2.57 at java.lang.Thread.setPriority(Thread.java:1095) 6.98/2.57 at java.lang.Thread.init(Thread.java:417) 6.98/2.57 at java.lang.Thread.init(Thread.java:349) 6.98/2.57 at java.lang.Thread.(Thread.java:678) 6.98/2.57 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 6.98/2.57 at java.lang.UNIXProcess$$Lambda$10/1708776139.newThread(Unknown Source) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 6.98/2.57 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 6.98/2.57 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 6.98/2.57 at java.lang.UNIXProcess$$Lambda$11/1581752849.run(Unknown Source) 6.98/2.57 at java.security.AccessController.doPrivileged(Native Method) 6.98/2.57 at java.lang.UNIXProcess.(UNIXProcess.java:257) 6.98/2.57 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 6.98/2.57 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:620) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:450) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:347) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 6.98/2.57 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 6.98/2.57 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 6.98/2.57 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 6.98/2.57 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread32" #59 daemon prio=6 os_prio=0 tid=0x00002b2fac019000 nid=0x4ed2 waiting for monitor entry [0x00002b2f47dd0000] 6.98/2.57 java.lang.Thread.State: BLOCKED (on object monitor) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 6.98/2.57 - waiting to lock <0x000000044000a850> (a aprove.Strategies.Util.PrioritizableThreadPool) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread29" #56 daemon prio=6 os_prio=0 tid=0x00002b2fac015800 nid=0x4ece runnable [0x00002b2f47f08000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at sun.misc.Unsafe.unpark(Native Method) 6.98/2.57 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 6.98/2.57 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 6.98/2.57 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 6.98/2.57 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 6.98/2.57 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 6.98/2.57 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 6.98/2.57 at java.lang.UNIXProcess$$Lambda$11/1581752849.run(Unknown Source) 6.98/2.57 at java.security.AccessController.doPrivileged(Native Method) 6.98/2.57 at java.lang.UNIXProcess.(UNIXProcess.java:257) 6.98/2.57 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 6.98/2.57 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:620) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:450) 6.98/2.57 at java.lang.Runtime.exec(Runtime.java:347) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 6.98/2.57 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 6.98/2.57 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 6.98/2.57 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 6.98/2.57 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 6.98/2.57 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 6.98/2.57 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "process reaper" #39 daemon prio=10 os_prio=0 tid=0x00002b2fb4028800 nid=0x4eba waiting on condition [0x00002b2f47e09000] 6.98/2.57 java.lang.Thread.State: TIMED_WAITING (parking) 6.98/2.57 at sun.misc.Unsafe.park(Native Method) 6.98/2.57 - parking to wait for <0x00000004400e2b10> (a java.util.concurrent.SynchronousQueue$TransferStack) 6.98/2.57 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 6.98/2.57 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 6.98/2.57 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 6.98/2.57 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "process reaper" #38 daemon prio=10 os_prio=0 tid=0x00002b2fc4002800 nid=0x4eb6 waiting on condition [0x00002b2f3ffd7000] 6.98/2.57 java.lang.Thread.State: TIMED_WAITING (parking) 6.98/2.57 at sun.misc.Unsafe.park(Native Method) 6.98/2.57 - parking to wait for <0x00000004400e2b10> (a java.util.concurrent.SynchronousQueue$TransferStack) 6.98/2.57 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 6.98/2.57 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 6.98/2.57 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 6.98/2.57 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "process reaper" #33 daemon prio=10 os_prio=0 tid=0x00002b2fb800a000 nid=0x4eb1 runnable [0x00002b2f27fdf000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 6.98/2.57 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 6.98/2.57 at java.lang.UNIXProcess$$Lambda$12/54934645.run(Unknown Source) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 6.98/2.57 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread20" #32 daemon prio=6 os_prio=0 tid=0x00002b2fac012000 nid=0x4eae runnable [0x00002b2f478c9000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.lang.ClassLoader.defineClass1(Native Method) 6.98/2.57 at java.lang.ClassLoader.defineClass(ClassLoader.java:763) 6.98/2.57 at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) 6.98/2.57 at java.net.URLClassLoader.defineClass(URLClassLoader.java:467) 6.98/2.57 at java.net.URLClassLoader.access$100(URLClassLoader.java:73) 6.98/2.57 at java.net.URLClassLoader$1.run(URLClassLoader.java:368) 6.98/2.57 at java.net.URLClassLoader$1.run(URLClassLoader.java:362) 6.98/2.57 at java.security.AccessController.doPrivileged(Native Method) 6.98/2.57 at java.net.URLClassLoader.findClass(URLClassLoader.java:361) 6.98/2.57 at java.lang.ClassLoader.loadClass(ClassLoader.java:424) 6.98/2.57 - locked <0x00000006bb8ea318> (a java.lang.Object) 6.98/2.57 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 6.98/2.57 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:106) 6.98/2.57 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread13" #25 daemon prio=6 os_prio=0 tid=0x00002b2fac00d000 nid=0x4ea5 runnable [0x00002b2f472c6000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:186) 6.98/2.57 at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:182) 6.98/2.57 at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:159) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsCRHelper.computeOuterContexts(TRSBoundsCRHelper.java:203) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsCRHelper.computeOuterContexts(TRSBoundsCRHelper.java:171) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsCRHelper.computeKMSContexts(TRSBoundsCRHelper.java:42) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.resolveConflict(TRSBounds.java:1472) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.resolveConflictsAndExtendSignatureOfTA(TRSBounds.java:1266) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:709) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 6.98/2.57 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 6.98/2.57 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b2fac00b000 nid=0x4e9f runnable [0x00002b2f465bb000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 6.98/2.57 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 6.98/2.57 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 6.98/2.57 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 6.98/2.57 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 6.98/2.57 - locked <0x0000000440130cc8> (a aprove.Strategies.Abortions.TrackThreadPool) 6.98/2.57 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 6.98/2.57 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 6.98/2.57 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 6.98/2.57 6.98/2.57 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b2f2880b800 nid=0x4e9e runnable [0x00002b2f464ba000] 6.98/2.57 java.lang.Thread.State: WAITING (parking) 6.98/2.57 at sun.misc.Unsafe.park(Native Method) 6.98/2.57 - parking to wait for <0x00000004400037c8> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 6.98/2.57 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 6.98/2.57 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 6.98/2.57 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread3" #13 daemon prio=5 os_prio=0 tid=0x00002b2f2826e000 nid=0x4e99 runnable [0x00002b2f463b8000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.util.HashMap.hash(HashMap.java:338) 6.98/2.57 at java.util.HashMap.containsKey(HashMap.java:595) 6.98/2.57 at java.util.HashSet.contains(HashSet.java:203) 6.98/2.57 at aprove.Framework.TreeAutomaton.TreeAutomaton.epsTransClosure(TreeAutomaton.java:469) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:288) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:332) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:304) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.createStateSubstitutions(TRSBoundsTA.java:256) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1666) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693) 6.98/2.57 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 6.98/2.57 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 6.98/2.57 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b2f2826c800 nid=0x4e98 runnable [0x00002b2f462b7000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at java.util.Arrays.copyOf(Arrays.java:3181) 6.98/2.57 at java.util.ArrayList.toArray(ArrayList.java:376) 6.98/2.57 at immutables.Immutable.ImmutableArrayList.toArray(Unknown Source) 6.98/2.57 at java.util.ArrayList.addAll(ArrayList.java:577) 6.98/2.57 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.overlapsWith(DerivationPattern.java:653) 6.98/2.57 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.overlapsWith(DerivationPattern.java:250) 6.98/2.57 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:138) 6.98/2.57 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 6.98/2.57 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b2f2825e800 nid=0x4e97 runnable [0x00002b2f461b7000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.WordPattern.(WordPattern.java:31) 6.98/2.57 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.overlapsWith(DerivationPattern.java:666) 6.98/2.57 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.overlapsWith(DerivationPattern.java:250) 6.98/2.57 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143) 6.98/2.57 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 6.98/2.57 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 6.98/2.57 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 6.98/2.57 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 6.98/2.57 at java.lang.Thread.run(Thread.java:748) 6.98/2.57 6.98/2.57 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b2f28187800 nid=0x4e94 runnable [0x0000000000000000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 6.98/2.57 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b2f28184000 nid=0x4e93 runnable [0x0000000000000000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 6.98/2.57 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b2f28182800 nid=0x4e92 runnable [0x0000000000000000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 6.98/2.57 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b2f2817f800 nid=0x4e91 runnable [0x0000000000000000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 6.98/2.57 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b2f2817e000 nid=0x4e90 waiting on condition [0x0000000000000000] 6.98/2.57 java.lang.Thread.State: RUNNABLE 6.98/2.57 6.98/2.57 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b2f2814a000 nid=0x4e8f in Object.wait() [0x00002b2f4580e000] 6.98/2.57 java.lang.Thread.State: WAITING (on object monitor) 6.98/2.57 at java.lang.Object.wait(Native Method) 6.98/2.57 - waiting on <0x00000004407a3a38> (a java.lang.ref.ReferenceQueue$Lock) 6.98/2.57 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 6.98/2.57 - locked <0x00000004407a3a38> (a java.lang.ref.ReferenceQueue$Lock) 6.98/2.57 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 6.98/2.57 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 6.98/2.57 6.98/2.57 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b2f28145800 nid=0x4e8e in Object.wait() [0x00002b2f4570d000] 6.98/2.57 java.lang.Thread.State: WAITING (on object monitor) 6.98/2.57 at java.lang.Object.wait(Native Method) 6.98/2.57 - waiting on <0x00000004407a2dc8> (a java.lang.ref.Reference$Lock) 6.98/2.57 at java.lang.Object.wait(Object.java:502) 6.98/2.57 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 6.98/2.57 - locked <0x00000004407a2dc8> (a java.lang.ref.Reference$Lock) 6.98/2.57 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 6.98/2.57 6.98/2.57 "main" #1 prio=5 os_prio=0 tid=0x00002b2f28008800 nid=0x4e87 in Object.wait() [0x00002b2f24f4e000] 6.98/2.57 java.lang.Thread.State: WAITING (on object monitor) 6.98/2.57 at java.lang.Object.wait(Native Method) 6.98/2.57 - waiting on <0x0000000440004380> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 6.98/2.57 at java.lang.Object.wait(Object.java:502) 6.98/2.57 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 6.98/2.57 - locked <0x0000000440004380> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 6.98/2.57 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 6.98/2.57 at aprove.Runtime.AProVE.run(AProVE.java:101) 6.98/2.57 at aprove.CommandLineInterface.Main.run(Main.java:94) 6.98/2.57 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 6.98/2.57 at aprove.Main.doMain(Main.java:54) 6.98/2.57 at aprove.Main.main(Main.java:20) 6.98/2.57 6.98/2.57 "VM Thread" os_prio=0 tid=0x00002b2f2813e000 nid=0x4e8d runnable 6.98/2.57 6.98/2.57 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b2f2801e000 nid=0x4e89 runnable 6.98/2.57 6.98/2.57 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b2f2801f800 nid=0x4e8a runnable 6.98/2.57 6.98/2.57 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b2f28021800 nid=0x4e8b runnable 6.98/2.57 6.98/2.57 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b2f28023800 nid=0x4e8c runnable 6.98/2.57 6.98/2.57 "VM Periodic Task Thread" os_prio=0 tid=0x00002b2f2818a000 nid=0x4e95 waiting on condition 6.98/2.57 6.98/2.58 JNI global references: 331 6.98/2.58 6.98/2.58 Heap 6.98/2.58 PSYoungGen total 4281856K, used 997720K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 6.98/2.58 eden space 3670528K, 27% used [0x0000000695580000,0x00000006d23d60b0,0x0000000775600000) 6.98/2.58 from space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000) 6.98/2.58 to space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) 6.98/2.58 ParOldGen total 9786880K, used 35905K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 6.98/2.58 object space 9786880K, 0% used [0x0000000440000000,0x0000000442310638,0x0000000695580000) 6.98/2.58 Metaspace used 20913K, capacity 21182K, committed 21504K, reserved 1069056K 6.98/2.58 class space used 2429K, capacity 2497K, committed 2560K, reserved 1048576K 6.98/2.58 45.71/12.44 EOF