details

property	value
status	memout
benchmark	svcomp_ex2-alloca.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	AProVE_memory_alloca

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	163.709 seconds
cpu usage	594.2
user time	581.87
system time	12.33
max virtual memory	2.31492444E8
max residence set size	1440.0

stage attributes

unavailable

output

555.68/153.75 2019-03-28 12:39:47 555.68/153.75 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 555.68/153.75 555.68/153.75 "Thread-2713" #2734 daemon prio=6 os_prio=0 tid=0x00002b9804004800 nid=0xf832 runnable [0x00002b98499c9000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf8b54a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x000000071c1c6830> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x000000071c1c88f0> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2651" #2692 daemon prio=6 os_prio=0 tid=0x00002b9804008800 nid=0xf831 runnable [0x00002b9847aaa000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf8b3408> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x000000071a3d26e0> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x000000071a3d47a0> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "Thread-2664" #2733 daemon prio=6 os_prio=0 tid=0x00002b9784013800 nid=0xf826 runnable [0x00002b972a6bc000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.io.FileInputStream.readBytes(Native Method) 555.68/153.75 at java.io.FileInputStream.read(FileInputStream.java:255) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007bf8c5348> (a java.lang.UNIXProcess$ProcessPipeInputStream) 555.68/153.75 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 555.68/153.75 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 555.68/153.75 - locked <0x00000007187e0580> (a java.io.BufferedInputStream) 555.68/153.75 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 555.68/153.75 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 555.68/153.75 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 555.68/153.75 - locked <0x00000007187e2640> (a java.io.InputStreamReader) 555.68/153.75 at java.io.InputStreamReader.read(InputStreamReader.java:184) 555.68/153.75 at java.io.Reader.read(Reader.java:100) 555.68/153.75 at java.util.Scanner.readInput(Scanner.java:804) 555.68/153.75 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 555.68/153.75 at java.util.Scanner.hasNextLine(Scanner.java:1500) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 555.68/153.75 555.68/153.75 "ThreadPoolThread721" #2732 daemon prio=6 os_prio=0 tid=0x00002b9790057800 nid=0xf823 runnable [0x00002b98472a0000] 555.68/153.75 java.lang.Thread.State: RUNNABLE 555.68/153.75 at java.lang.Thread.setPriority0(Native Method) 555.68/153.75 at java.lang.Thread.setPriority(Thread.java:1095) 555.68/153.75 at java.lang.Thread.init(Thread.java:417) 555.68/153.75 at java.lang.Thread.init(Thread.java:349) 555.68/153.75 at java.lang.Thread.<init>(Thread.java:678) 555.68/153.75 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 555.68/153.75 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 555.68/153.75 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 555.68/153.75 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 555.68/153.75 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 555.68/153.75 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 555.68/153.75 at java.security.AccessController.doPrivileged(Native Method) 555.68/153.75 at java.lang.UNIXProcess.<init>(UNIXProcess.java:257) 555.68/153.75 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 555.68/153.75 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 555.68/153.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 555.68/153.75 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 555.68/153.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 555.68/153.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 555.68/153.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 555.68/153.75 at java.lang.Thread.run(Thread.java:748) 555.68/153.75 popout

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

job log

popout

actions

all output return to C 2019-03-28 11.48