Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C_Integer 2019-03-28 22.15 pair #432271939
details
property
value
status
memout
benchmark
collatz.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)
77.541 seconds
cpu usage
295.32
user time
283.32
system time
12.0
max virtual memory
1.47757964E8
max residence set size
1440.0
stage attributes
unavailable
output
255.90/67.50 2019-03-29 02:07:20 255.90/67.50 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 255.90/67.50 255.90/67.50 "Thread-2747" #2773 daemon prio=6 os_prio=0 tid=0x00002abaf87c6000 nid=0x3824 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 255.90/67.50 "Thread-2699" #2772 daemon prio=6 os_prio=0 tid=0x00002abaf8397800 nid=0x3822 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2740" #2771 daemon prio=6 os_prio=0 tid=0x00002abb140d8800 nid=0x3821 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2700" #2770 daemon prio=6 os_prio=0 tid=0x00002abb140d4800 nid=0x3820 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2736" #2769 daemon prio=6 os_prio=0 tid=0x00002abbb0006000 nid=0x381f runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2702" #2768 daemon prio=6 os_prio=0 tid=0x00002abbb0005000 nid=0x381a runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "ThreadPoolThread445" #2767 daemon prio=6 os_prio=0 tid=0x00002abb1c07a000 nid=0x3816 runnable [0x00002ababcdaa000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.<init>(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread444" #2766 daemon prio=6 os_prio=0 tid=0x00002abb1c035000 nid=0x3815 runnable [0x00002ababf73f000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.<init>(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 255.90/67.50 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread443" #2765 daemon prio=6 os_prio=0 tid=0x00002abb1c094000 nid=0x3814 runnable [0x00002abaf3c3d000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.<init>(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread442" #2764 daemon prio=6 os_prio=0 tid=0x00002abb1c099000 nid=0x3813 runnable [0x00002abbd0502000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 255.90/67.50 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread441" #2763 daemon prio=6 os_prio=0 tid=0x00002abb1c04f000 nid=0x3812 runnable [0x00002ababf33a000]
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