21.45/6.43 2019-03-29 18:22:18 21.45/6.43 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 21.45/6.43 21.45/6.43 "process reaper" #126 daemon prio=10 os_prio=0 tid=0x00002b9bbc001800 nid=0x6e1a runnable [0x0000000000000000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 21.45/6.43 "process reaper" #125 daemon prio=10 os_prio=0 tid=0x00002b9bc8001000 nid=0x6e0f waiting on condition [0x00002b9acbce0000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 21.45/6.43 - locked <0x0000000712cb3eb0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 21.45/6.43 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 21.45/6.43 at java.lang.UNIXProcess$$Lambda$13/1899584994.run(Unknown Source) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "process reaper" #124 daemon prio=10 os_prio=0 tid=0x00002b9b4c017000 nid=0x6e01 waiting on condition [0x00002b9acbca7000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 21.45/6.43 - locked <0x00000006f34667c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 21.45/6.43 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 21.45/6.43 at java.lang.UNIXProcess$$Lambda$13/1899584994.run(Unknown Source) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread99" #123 daemon prio=6 os_prio=0 tid=0x00002b9b2c067000 nid=0x6e00 waiting on condition [0x0000000000000000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 21.45/6.43 "ThreadPoolThread98" #122 daemon prio=6 os_prio=0 tid=0x00002b9b2c065000 nid=0x6dfe waiting on condition [0x00002b9acbb6d000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at aprove.Strategies.Abortions.Abortion.getAbortionReason(Abortion.java:49) 21.45/6.43 - locked <0x00000006bedaccf0> (a aprove.Strategies.Abortions.Abortion) 21.45/6.43 at aprove.Strategies.Abortions.Abortion.checkAbortion(Abortion.java:62) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:336) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread97" #121 daemon prio=6 os_prio=0 tid=0x00002b9b2c063000 nid=0x6dfa waiting on condition [0x0000000000000000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 21.45/6.43 "ThreadPoolThread96" #120 daemon prio=6 os_prio=0 tid=0x00002b9b2c061000 nid=0x6df5 waiting on condition [0x0000000000000000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 21.45/6.43 "ThreadPoolThread95" #119 daemon prio=6 os_prio=0 tid=0x00002b9b2c05f000 nid=0x6df4 waiting on condition [0x0000000000000000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 21.45/6.43 "ThreadPoolThread94" #118 daemon prio=6 os_prio=0 tid=0x00002b9b2c05d000 nid=0x6df3 runnable [0x00002b9acb768000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:485) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 21.45/6.43 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 21.45/6.43 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread93" #117 daemon prio=6 os_prio=0 tid=0x00002b9b2c05b000 nid=0x6df2 waiting on condition [0x00002b9acb668000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:77) 21.45/6.43 - locked <0x00000006beda2930> (a aprove.Strategies.Abortions.Clock) 21.45/6.43 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 21.45/6.43 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 21.45/6.43 at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread92" #116 daemon prio=6 os_prio=0 tid=0x00002b9b2c059800 nid=0x6df1 runnable [0x00002b9acb566000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:330) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread91" #115 daemon prio=6 os_prio=0 tid=0x00002b9b2c057800 nid=0x6df0 runnable [0x00002b9acb465000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:485) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 21.45/6.43 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 21.45/6.43 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 21.45/6.43 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread90" #114 daemon prio=6 os_prio=0 tid=0x00002b9b2c055800 nid=0x6def runnable [0x00002b9acb363000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.Thread.setPriority0(Native Method) 21.45/6.43 at java.lang.Thread.setPriority(Thread.java:1095) 21.45/6.43 at java.lang.Thread.init(Thread.java:417) 21.45/6.43 at java.lang.Thread.init(Thread.java:349) 21.45/6.43 at java.lang.Thread.(Thread.java:678) 21.45/6.43 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 21.45/6.43 at java.lang.UNIXProcess$$Lambda$10/2078293786.newThread(Unknown Source) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 21.45/6.43 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 21.45/6.43 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 21.45/6.43 at java.lang.UNIXProcess$$Lambda$11/1531532161.run(Unknown Source) 21.45/6.43 at java.security.AccessController.doPrivileged(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:257) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:264) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 21.45/6.43 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread89" #113 daemon prio=6 os_prio=0 tid=0x00002b9b2c053800 nid=0x6dee waiting on condition [0x00002b9acb264000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:77) 21.45/6.43 - locked <0x00000006beda3018> (a aprove.Strategies.Abortions.Clock) 21.45/6.43 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 21.45/6.43 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 21.45/6.43 at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread88" #112 daemon prio=6 os_prio=0 tid=0x00002b9b2c051800 nid=0x6ded runnable [0x00002b9acb161000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.Thread.setPriority0(Native Method) 21.45/6.43 at java.lang.Thread.setPriority(Thread.java:1095) 21.45/6.43 at java.lang.Thread.init(Thread.java:417) 21.45/6.43 at java.lang.Thread.init(Thread.java:349) 21.45/6.43 at java.lang.Thread.(Thread.java:678) 21.45/6.43 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 21.45/6.43 at java.lang.UNIXProcess$$Lambda$10/2078293786.newThread(Unknown Source) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 21.45/6.43 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 21.45/6.43 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 21.45/6.43 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 21.45/6.43 at java.lang.UNIXProcess$$Lambda$11/1531532161.run(Unknown Source) 21.45/6.43 at java.security.AccessController.doPrivileged(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:257) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:330) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread87" #111 daemon prio=6 os_prio=0 tid=0x00002b9b2c04f800 nid=0x6dec runnable [0x00002b9acb061000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 21.45/6.43 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 21.45/6.43 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread85" #109 daemon prio=6 os_prio=0 tid=0x00002b9b2c04c000 nid=0x6de8 waiting on condition [0x0000000000000000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 21.45/6.43 "ThreadPoolThread83" #107 daemon prio=6 os_prio=0 tid=0x00002b9b2c048000 nid=0x6de6 runnable [0x00002b9acac5d000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 21.45/6.43 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 21.45/6.43 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 21.45/6.43 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread80" #104 daemon prio=6 os_prio=0 tid=0x00002b9b2c043000 nid=0x6de3 runnable [0x00002b9aca95a000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 21.45/6.43 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 21.45/6.43 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 21.45/6.43 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread79" #103 daemon prio=6 os_prio=0 tid=0x00002b9b2c042800 nid=0x6de2 runnable [0x00002b9ac930f000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:264) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 21.45/6.43 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread78" #102 daemon prio=6 os_prio=0 tid=0x00002b9b2c01b800 nid=0x6de1 runnable [0x00002b9ac9410000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 21.45/6.43 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 21.45/6.43 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread77" #101 daemon prio=6 os_prio=0 tid=0x00002b9b2c01a000 nid=0x6de0 runnable [0x00002b9aca01a000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.lang.UNIXProcess.forkAndExec(Native Method) 21.45/6.43 at java.lang.UNIXProcess.(UNIXProcess.java:247) 21.45/6.43 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.43 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.43 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.43 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.43 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.43 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 21.45/6.43 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 21.45/6.43 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 21.45/6.43 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread76" #100 daemon prio=6 os_prio=0 tid=0x00002b9b2c015800 nid=0x6ddf runnable [0x00002b9aca31d000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.util.TreeMap$KeyIterator.next(TreeMap.java:1265) 21.45/6.43 at aprove.DPFramework.DPProblem.QActiveCondition$2.compare(QActiveCondition.java:304) 21.45/6.43 at aprove.DPFramework.DPProblem.QActiveCondition$2.compare(QActiveCondition.java:289) 21.45/6.43 at java.util.TreeMap.put(TreeMap.java:552) 21.45/6.43 at java.util.TreeSet.add(TreeSet.java:255) 21.45/6.43 at java.util.AbstractCollection.addAll(AbstractCollection.java:344) 21.45/6.43 at java.util.TreeSet.addAll(TreeSet.java:312) 21.45/6.43 at aprove.DPFramework.DPProblem.QActiveCondition.union(QActiveCondition.java:640) 21.45/6.43 at aprove.DPFramework.DPProblem.QActiveCondition.or(QActiveCondition.java:653) 21.45/6.43 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread75" #99 daemon prio=6 os_prio=0 tid=0x00002b9b2c017800 nid=0x6dde runnable [0x00002b9ac8705000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at java.util.TreeMap.successor(TreeMap.java:2149) 21.45/6.43 at java.util.TreeMap$PrivateEntryIterator.nextEntry(TreeMap.java:1212) 21.45/6.43 at java.util.TreeMap$KeyIterator.next(TreeMap.java:1265) 21.45/6.43 at aprove.DPFramework.DPProblem.QActiveCondition.isSuperSetOf(QActiveCondition.java:255) 21.45/6.43 at aprove.DPFramework.DPProblem.QActiveCondition.union(QActiveCondition.java:606) 21.45/6.43 at aprove.DPFramework.DPProblem.QActiveCondition.or(QActiveCondition.java:653) 21.45/6.43 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 21.45/6.43 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.43 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.43 at java.lang.Thread.run(Thread.java:748) 21.45/6.43 21.45/6.43 "ThreadPoolThread74" #98 daemon prio=6 os_prio=0 tid=0x00002b9b2c025000 nid=0x6ddd waiting on condition [0x00002b9ac9e19000] 21.45/6.43 java.lang.Thread.State: RUNNABLE 21.45/6.43 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:77) 21.45/6.43 - locked <0x00000006bed94c78> (a aprove.Strategies.Abortions.Clock) 21.45/6.43 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 21.45/6.43 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 21.45/6.43 at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) 21.45/6.43 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) 21.45/6.43 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread73" #97 daemon prio=6 os_prio=0 tid=0x00002b9b2c019800 nid=0x6ddc runnable [0x00002b9ac9d18000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at aprove.Framework.BasicStructures.FunctionSymbol.compareTo(FunctionSymbol.java:113) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition$1.compare(QActiveCondition.java:279) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition$1.compare(QActiveCondition.java:275) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.isSuperSetOf(QActiveCondition.java:256) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.union(QActiveCondition.java:606) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.or(QActiveCondition.java:653) 21.45/6.44 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread72" #96 daemon prio=6 os_prio=0 tid=0x00002b9b2c01d000 nid=0x6ddb runnable [0x00002b9ac80fe000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.util.TreeMap$PrivateEntryIterator.nextEntry(TreeMap.java:1207) 21.45/6.44 at java.util.TreeMap$KeyIterator.next(TreeMap.java:1265) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition$2.compare(QActiveCondition.java:304) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition$2.compare(QActiveCondition.java:289) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.equalSets(QActiveCondition.java:684) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.equals(QActiveCondition.java:666) 21.45/6.44 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:372) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread71" #95 daemon prio=6 os_prio=0 tid=0x00002b9b2c00b800 nid=0x6dda runnable [0x00002b9aca41e000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.getInnerVariables(OrderPoly.java:79) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCAtom.getFreeVariables(OPCAtom.java:81) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCQuantifier.getFreeVariables(OPCQuantifier.java:78) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCNaryJunctor.getFreeVariables(OPCNaryJunctor.java:66) 21.45/6.44 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:341) 21.45/6.44 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 21.45/6.44 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread70" #94 daemon prio=6 os_prio=0 tid=0x00002b9b2c029000 nid=0x6dd9 runnable [0x00002b9ac9c15000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.Thread.getThreadGroup(Thread.java:1153) 21.45/6.44 at java.lang.Thread.setPriority(Thread.java:1091) 21.45/6.44 at java.lang.Thread.init(Thread.java:417) 21.45/6.44 at java.lang.Thread.init(Thread.java:349) 21.45/6.44 at java.lang.Thread.(Thread.java:678) 21.45/6.44 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$10/2078293786.newThread(Unknown Source) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 21.45/6.44 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 21.45/6.44 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$11/1531532161.run(Unknown Source) 21.45/6.44 at java.security.AccessController.doPrivileged(Native Method) 21.45/6.44 at java.lang.UNIXProcess.(UNIXProcess.java:257) 21.45/6.44 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.44 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.44 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.44 at java.lang.Runtime.exec(Runtime.java:485) 21.45/6.44 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268) 21.45/6.44 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 21.45/6.44 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 21.45/6.44 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread69" #93 daemon prio=6 os_prio=0 tid=0x00002b9b2c038800 nid=0x6dd8 waiting on condition [0x0000000000000000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 21.45/6.44 "ThreadPoolThread67" #91 daemon prio=6 os_prio=0 tid=0x00002b9b2c027000 nid=0x6dd6 waiting on condition [0x0000000000000000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 21.45/6.44 "ThreadPoolThread66" #90 daemon prio=6 os_prio=0 tid=0x00002b9b2c012000 nid=0x6dd5 runnable [0x00002b9aca11b000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.Object.hashCode(Native Method) 21.45/6.44 at java.util.HashMap.hash(HashMap.java:338) 21.45/6.44 at java.util.HashMap.put(HashMap.java:611) 21.45/6.44 at java.util.HashSet.add(HashSet.java:219) 21.45/6.44 at aprove.Framework.PropositionalLogic.Formulae.FullSharingFactory.buildOr(FullSharingFactory.java:86) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.SatSearch.ArcticInt.ExoticIntUnaryCircuitFactory.buildTimesCircuit(ExoticIntUnaryCircuitFactory.java:152) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.SatSearch.PolyToCircuitConverter.caseTimesNode(PolyToCircuitConverter.java:245) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:71) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.SatSearch.OPCtoFormulaConverter.caseAtom(OPCtoFormulaConverter.java:214) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCAtom.visit(OPCAtom.java:122) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCQuantifierA.visit(OPCQuantifierA.java:47) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCAnd.visit(OPCAnd.java:80) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCQuantifierE.visit(OPCQuantifierE.java:47) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCOr.visit(OPCOr.java:80) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OPCAnd.visit(OPCAnd.java:80) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.SatSearch.OPCtoFormulaConverter.applyToWithCleanup(OPCtoFormulaConverter.java:89) 21.45/6.44 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:282) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread65" #89 daemon prio=6 os_prio=0 tid=0x00002b9b2c01f000 nid=0x6dd4 runnable [0x00002b9aca858000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.Thread.setPriority0(Native Method) 21.45/6.44 at java.lang.Thread.setPriority(Thread.java:1095) 21.45/6.44 at java.lang.Thread.init(Thread.java:417) 21.45/6.44 at java.lang.Thread.init(Thread.java:349) 21.45/6.44 at java.lang.Thread.(Thread.java:678) 21.45/6.44 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$10/2078293786.newThread(Unknown Source) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 21.45/6.44 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 21.45/6.44 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$11/1531532161.run(Unknown Source) 21.45/6.44 at java.security.AccessController.doPrivileged(Native Method) 21.45/6.44 at java.lang.UNIXProcess.(UNIXProcess.java:257) 21.45/6.44 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.44 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.44 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.44 at java.lang.Runtime.exec(Runtime.java:485) 21.45/6.44 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268) 21.45/6.44 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 21.45/6.44 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 21.45/6.44 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 21.45/6.44 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 21.45/6.44 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 21.45/6.44 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread64" #88 daemon prio=6 os_prio=0 tid=0x00002b9b2c035000 nid=0x6dd3 runnable [0x00002b9aca757000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.Thread.setPriority0(Native Method) 21.45/6.44 at java.lang.Thread.setPriority(Thread.java:1095) 21.45/6.44 at java.lang.Thread.init(Thread.java:417) 21.45/6.44 at java.lang.Thread.init(Thread.java:349) 21.45/6.44 at java.lang.Thread.(Thread.java:678) 21.45/6.44 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$10/2078293786.newThread(Unknown Source) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 21.45/6.44 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 21.45/6.44 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$11/1531532161.run(Unknown Source) 21.45/6.44 at java.security.AccessController.doPrivileged(Native Method) 21.45/6.44 at java.lang.UNIXProcess.(UNIXProcess.java:257) 21.45/6.44 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 21.45/6.44 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 21.45/6.44 at java.lang.Runtime.exec(Runtime.java:620) 21.45/6.44 at java.lang.Runtime.exec(Runtime.java:450) 21.45/6.44 at java.lang.Runtime.exec(Runtime.java:347) 21.45/6.44 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 21.45/6.44 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 21.45/6.44 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:264) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 21.45/6.44 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "process reaper" #79 daemon prio=10 os_prio=0 tid=0x00002b9b44019800 nid=0x6dc8 waiting on condition [0x00002b9aca658000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:529) 21.45/6.44 - locked <0x00000006fac33558> (a java.lang.Object) 21.45/6.44 - locked <0x00000006fac314a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 21.45/6.44 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$13/1899584994.run(Unknown Source) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread55" #78 daemon prio=6 os_prio=0 tid=0x00002b9b2c02b000 nid=0x6dc7 runnable [0x00002b9aca21c000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.util.TreeMap$PrivateEntryIterator.nextEntry(TreeMap.java:1212) 21.45/6.44 at java.util.TreeMap$KeyIterator.next(TreeMap.java:1265) 21.45/6.44 at java.util.AbstractSet.hashCode(AbstractSet.java:124) 21.45/6.44 at java.util.AbstractSet.hashCode(AbstractSet.java:126) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.hashCode(QActiveCondition.java:694) 21.45/6.44 at java.util.HashMap.hash(HashMap.java:338) 21.45/6.44 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 21.45/6.44 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveCondition(Interpretation.java:827) 21.45/6.44 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveRuleConstraints(Interpretation.java:729) 21.45/6.44 at aprove.GraphUserInterface.Factories.Solvers.POLOFactory.getSolver(POLOFactory.java:254) 21.45/6.44 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:63) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "process reaper" #74 daemon prio=10 os_prio=0 tid=0x00002b9b34035800 nid=0x6dc2 waiting on condition [0x00002b9abbfd3000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:529) 21.45/6.44 - locked <0x00000006f3065a98> (a java.lang.Object) 21.45/6.44 - locked <0x00000006f30639e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 21.45/6.44 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$13/1899584994.run(Unknown Source) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread41" #63 daemon prio=6 os_prio=0 tid=0x00002b9b2c021000 nid=0x6da0 runnable [0x00002b9ac9f19000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.Object.hashCode(Native Method) 21.45/6.44 at java.lang.Enum.hashCode(Enum.java:152) 21.45/6.44 at aprove.Framework.PropositionalLogic.TheoryPropositions.Diophantine.(Diophantine.java:43) 21.45/6.44 at aprove.Framework.PropositionalLogic.TheoryPropositions.Diophantine.create(Diophantine.java:66) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encodeQActiveCondition(NegPoloInterpretation.java:405) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:590) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:450) 21.45/6.44 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:181) 21.45/6.44 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread35" #57 daemon prio=6 os_prio=0 tid=0x00002b9b2c011000 nid=0x6d9a runnable [0x00002b9ac9814000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.util.TreeSet.comparator(TreeSet.java:387) 21.45/6.44 at java.util.TreeSet.addAll(TreeSet.java:305) 21.45/6.44 at java.util.TreeSet.(TreeSet.java:172) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:160) 21.45/6.44 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:138) 21.45/6.44 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread33" #55 daemon prio=6 os_prio=0 tid=0x00002b9b2c00f000 nid=0x6d98 runnable [0x00002b9ac9511000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.Object.getClass(Native Method) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.Variables.GAtomicVar.equals(GAtomicVar.java:130) 21.45/6.44 at java.util.HashMap.getNode(HashMap.java:571) 21.45/6.44 at java.util.HashMap.containsKey(HashMap.java:595) 21.45/6.44 at java.util.LinkedHashMap$LinkedKeySet.contains(LinkedHashMap.java:545) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.Variables.GAtomicVar.isAffected(GAtomicVar.java:44) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarSubstitutionVisitor.caseConcatNode(VarSubstitutionVisitor.java:160) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.visit(ConcatNode.java:170) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 21.45/6.44 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.substituteVariables(FullSharingFactory.java:421) 21.45/6.44 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 21.45/6.44 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 21.45/6.44 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 21.45/6.44 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 21.45/6.44 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 21.45/6.44 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 21.45/6.44 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 21.45/6.44 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 21.45/6.44 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "process reaper" #35 daemon prio=10 os_prio=0 tid=0x00002b9b44012800 nid=0x6d85 waiting on condition [0x00002b9abbf9a000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:529) 21.45/6.44 - locked <0x00000006f5b61920> (a java.lang.Object) 21.45/6.44 - locked <0x00000006f5b5f870> (a java.lang.UNIXProcess$ProcessPipeInputStream) 21.45/6.44 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$13/1899584994.run(Unknown Source) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "process reaper" #33 daemon prio=10 os_prio=0 tid=0x00002b9b1c003000 nid=0x6d7f waiting on condition [0x00002b9aa3fe7000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:529) 21.45/6.44 - locked <0x00000006f5b9e748> (a java.lang.Object) 21.45/6.44 - locked <0x00000006f5b9c698> (a java.lang.UNIXProcess$ProcessPipeInputStream) 21.45/6.44 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 21.45/6.44 at java.lang.UNIXProcess$$Lambda$13/1899584994.run(Unknown Source) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 21.45/6.44 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread15" #27 daemon prio=6 os_prio=0 tid=0x00002b9b2c013800 nid=0x6d77 runnable [0x00002b9ac9612000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at aprove.Framework.BasicStructures.FunctionSymbol.equals(FunctionSymbol.java:122) 21.45/6.44 at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:186) 21.45/6.44 at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:182) 21.45/6.44 at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:182) 21.45/6.44 at aprove.Framework.TreeAutomaton.TreeAutomaton.evaluate(TreeAutomaton.java:159) 21.45/6.44 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1686) 21.45/6.44 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693) 21.45/6.44 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 21.45/6.44 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 21.45/6.44 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread8" #20 daemon prio=6 os_prio=0 tid=0x00002b9b2c00a800 nid=0x6d70 runnable [0x00002b9ac8603000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.util.HashSet.contains(HashSet.java:203) 21.45/6.44 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:301) 21.45/6.44 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.createStateSubstitutions(TRSBoundsTA.java:256) 21.45/6.44 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1666) 21.45/6.44 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693) 21.45/6.44 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 21.45/6.44 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 21.45/6.44 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b9b2c009800 nid=0x6d6f waiting on condition [0x00002b9ac8806000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:77) 21.45/6.44 - locked <0x00000006bed8b4d8> (a aprove.Strategies.Abortions.Clock) 21.45/6.44 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 21.45/6.44 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 21.45/6.44 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 21.45/6.44 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 21.45/6.44 21.45/6.44 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b9aa480d800 nid=0x6d6e waiting on condition [0x00002b9ac8502000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:144) 21.45/6.44 - locked <0x00000006beda5f10> (a aprove.Strategies.Abortions.Abortion) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.stop(Executor.java:302) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.stop(ExecProcessorStrategy.java:89) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecSimple.stop(ExecSimple.java:68) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecAny.stop(ExecAny.java:95) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecFirst.stop(ExecFirst.java:125) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecAny.stop(ExecAny.java:95) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:72) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b9aa4284800 nid=0x6d68 runnable [0x00002b9ac8301000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.OverlapClosure.overlapsWith(OverlapClosure.java:134) 21.45/6.44 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.OverlapClosure.overlapsWith(OverlapClosure.java:121) 21.45/6.44 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:138) 21.45/6.44 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 21.45/6.44 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b9aa427e800 nid=0x6d67 runnable [0x00002b9ac81ff000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 at java.util.ArrayList.subListRangeCheck(ArrayList.java:1001) 21.45/6.44 at java.util.ArrayList.subList(ArrayList.java:996) 21.45/6.44 at immutables.Immutable.ImmutableArrayList.subList(Unknown Source) 21.45/6.44 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.getSublist(StringPattern.java:56) 21.45/6.44 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.OverlapClosure.overlapsWith(OverlapClosure.java:158) 21.45/6.44 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.OverlapClosure.overlapsWith(OverlapClosure.java:121) 21.45/6.44 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143) 21.45/6.44 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 21.45/6.44 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 21.45/6.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 21.45/6.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 21.45/6.44 at java.lang.Thread.run(Thread.java:748) 21.45/6.44 21.45/6.44 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b9aa41a1800 nid=0x6d64 runnable [0x0000000000000000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 21.45/6.44 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b9aa4184000 nid=0x6d63 runnable [0x0000000000000000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 21.45/6.44 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b9aa4182000 nid=0x6d62 runnable [0x0000000000000000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 21.45/6.44 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b9aa417f800 nid=0x6d61 runnable [0x0000000000000000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 21.45/6.44 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b9aa417e000 nid=0x6d60 waiting on condition [0x0000000000000000] 21.45/6.44 java.lang.Thread.State: RUNNABLE 21.45/6.44 21.45/6.44 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b9aa414a000 nid=0x6d5f in Object.wait() [0x00002b9abb7ba000] 21.45/6.44 java.lang.Thread.State: WAITING (on object monitor) 21.45/6.44 at java.lang.Object.wait(Native Method) 21.45/6.44 - waiting on <0x00000004417f7a10> (a java.lang.ref.ReferenceQueue$Lock) 21.45/6.44 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 21.45/6.44 - locked <0x00000004417f7a10> (a java.lang.ref.ReferenceQueue$Lock) 21.45/6.44 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 21.45/6.44 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 21.45/6.44 21.45/6.44 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b9aa4145800 nid=0x6d5e in Object.wait() [0x00002b9abb6b9000] 21.45/6.44 java.lang.Thread.State: WAITING (on object monitor) 21.45/6.44 at java.lang.Object.wait(Native Method) 21.45/6.44 - waiting on <0x00000004417f7338> (a java.lang.ref.Reference$Lock) 21.45/6.44 at java.lang.Object.wait(Object.java:502) 21.45/6.44 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 21.45/6.44 - locked <0x00000004417f7338> (a java.lang.ref.Reference$Lock) 21.45/6.44 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 21.45/6.44 21.45/6.44 "main" #1 prio=5 os_prio=0 tid=0x00002b9aa4008800 nid=0x6d57 in Object.wait() [0x00002b9a9ef62000] 21.45/6.44 java.lang.Thread.State: WAITING (on object monitor) 21.45/6.44 at java.lang.Object.wait(Native Method) 21.45/6.44 - waiting on <0x00000004400def30> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 21.45/6.44 at java.lang.Object.wait(Object.java:502) 21.45/6.44 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 21.45/6.44 - locked <0x00000004400def30> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 21.45/6.44 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 21.45/6.44 at aprove.Runtime.AProVE.run(AProVE.java:101) 21.45/6.44 at aprove.CommandLineInterface.Main.run(Main.java:94) 21.45/6.44 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 21.45/6.44 at aprove.Main.doMain(Main.java:54) 21.45/6.44 at aprove.Main.main(Main.java:20) 21.45/6.44 21.45/6.44 "VM Thread" os_prio=0 tid=0x00002b9aa413e000 nid=0x6d5d runnable 21.45/6.44 21.45/6.44 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b9aa401e000 nid=0x6d59 runnable 21.45/6.44 21.45/6.44 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b9aa401f800 nid=0x6d5a runnable 21.45/6.44 21.45/6.44 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b9aa4021800 nid=0x6d5b runnable 21.45/6.44 21.45/6.44 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b9aa4023800 nid=0x6d5c runnable 21.45/6.44 21.45/6.44 "VM Periodic Task Thread" os_prio=0 tid=0x00002b9aa41ac800 nid=0x6d65 waiting on condition 21.45/6.44 21.71/6.46 JNI global references: 382 21.71/6.46 24.24/7.08 Heap 24.24/7.08 PSYoungGen total 4281856K, used 2847393K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 24.24/7.08 eden space 3670528K, 77% used [0x0000000695580000,0x00000007432284a0,0x0000000775600000) 24.24/7.08 from space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) 24.24/7.08 to space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000) 24.24/7.08 ParOldGen total 9786880K, used 51492K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 24.24/7.08 object space 9786880K, 0% used [0x0000000440000000,0x0000000443249158,0x0000000695580000) 24.24/7.08 Metaspace used 21482K, capacity 21666K, committed 22016K, reserved 1069056K 24.24/7.08 class space used 2456K, capacity 2531K, committed 2560K, reserved 1048576K 24.24/7.08 60.36/16.40 EOF