details

property	value
status	memout
benchmark	ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Stroeder_15

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	26.5266 seconds
cpu usage	100.375
user time	96.3393
system time	4.03566
max virtual memory	1.703142E8
max residence set size	5059304.0

stage attributes

unavailable

output

87.80/23.32 2019-03-28 22:43:06 87.80/23.32 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 87.80/23.32 87.80/23.32 "Thread-927" #953 daemon prio=6 os_prio=0 tid=0x00002b501c007800 nid=0x8495 runnable [0x0000000000000000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 87.80/23.32 "Thread-912" #952 daemon prio=6 os_prio=0 tid=0x00002b501c004000 nid=0x8494 runnable [0x00002b4f385ac000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-926" #951 daemon prio=6 os_prio=0 tid=0x00002b4fc4002800 nid=0x8492 runnable [0x00002b4f52628000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-913" #950 daemon prio=6 os_prio=0 tid=0x00002b4fc4001000 nid=0x8491 runnable [0x00002b4f3bfe5000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-925" #949 daemon prio=6 os_prio=0 tid=0x00002b4fc000d000 nid=0x8490 runnable [0x00002b4f3bee4000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-914" #948 daemon prio=6 os_prio=0 tid=0x00002b4fc000b800 nid=0x848f runnable [0x00002b4f383aa000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-924" #947 daemon prio=6 os_prio=0 tid=0x00002b4fc8008000 nid=0x848e runnable [0x00002b4f3bce2000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-915" #946 daemon prio=6 os_prio=0 tid=0x00002b4fc8006000 nid=0x848d runnable [0x00002b4f3bbe1000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-923" #945 daemon prio=6 os_prio=0 tid=0x00002b4f74087800 nid=0x848c runnable [0x00002b4f3bde3000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-918" #944 daemon prio=6 os_prio=0 tid=0x00002b4f74089800 nid=0x848b runnable [0x00002b4f386ad000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-922" #943 daemon prio=6 os_prio=0 tid=0x00002b4f44008800 nid=0x848a runnable [0x00002b4f15611000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-917" #942 daemon prio=6 os_prio=0 tid=0x00002b4f44006800 nid=0x8488 runnable [0x00002b4f39cc3000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-920" #941 daemon prio=6 os_prio=0 tid=0x00002b4fb8005800 nid=0x8487 runnable [0x00002b4f3b96d000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-919" #940 daemon prio=6 os_prio=0 tid=0x00002b4fb8004000 nid=0x8486 runnable [0x00002b4f176ae000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 87.80/23.32 87.80/23.32 "Thread-916" #939 daemon prio=6 os_prio=0 tid=0x00002b4f400eb800 nid=0x8484 runnable [0x0000000000000000] 87.80/23.32 java.lang.Thread.State: TERMINATED 87.80/23.32 87.80/23.32 "ThreadPoolThread188" #936 daemon prio=6 os_prio=0 tid=0x00002b4f7806d000 nid=0x847a in Object.wait() [0x00002b4f1c0fe000] 87.80/23.32 java.lang.Thread.State: WAITING (on object monitor) 87.80/23.32 at java.lang.Object.wait(Native Method) 87.80/23.32 at java.lang.Object.wait(Object.java:502) 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 87.80/23.32 - locked <0x00000007bc823410> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.80/23.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 87.80/23.32 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 87.80/23.32 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 87.80/23.32 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 87.80/23.32 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 87.80/23.32 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 87.80/23.32 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.80/23.32 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.80/23.32 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.80/23.32 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.80/23.32 at java.lang.Thread.run(Thread.java:748) 87.80/23.32 87.80/23.32 "ThreadPoolThread187" #935 daemon prio=6 os_prio=0 tid=0x00002b4f7804c800 nid=0x8479 waiting on condition [0x00002b4f3b3f6000] 87.80/23.32 java.lang.Thread.State: RUNNABLE 87.80/23.32 at java.util.LinkedHashMap$LinkedEntrySet.iterator(LinkedHashMap.java:642) 87.80/23.32 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 87.80/23.32 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.plus(SimplePolynomial.java:283) 87.80/23.32 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:616) 87.80/23.32 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 87.80/23.32 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 87.80/23.32 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 87.80/23.32 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 87.80/23.32 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 87.80/23.32 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 87.80/23.32 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.80/23.32 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.80/23.32 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.80/23.32 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.80/23.32 at java.lang.Thread.run(Thread.java:748) 87.80/23.32 popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to C_Integer 2019-03-28 22.15