details

property	value
status	memout
benchmark	UrbanMine-ESOP2014-Fig3_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)	24.0272 seconds
cpu usage	90.58
user time	88.02
system time	2.56
max virtual memory	3.360424E8
max residence set size	1412.0

stage attributes

unavailable

output

57.27/15.42 2019-03-28 22:39:58 57.27/15.42 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 57.27/15.42 57.27/15.42 "Thread-539" #544 daemon prio=6 os_prio=0 tid=0x00002b1ccc002800 nid=0x9a2d runnable [0x0000000000000000] 57.27/15.42 java.lang.Thread.State: RUNNABLE 57.27/15.42 57.27/15.42 "Thread-506" #543 daemon prio=6 os_prio=0 tid=0x00002b1ccc001800 nid=0x9a27 runnable [0x0000000000000000] 57.27/15.42 java.lang.Thread.State: RUNNABLE 57.27/15.42 57.27/15.42 "Thread-508" #542 daemon prio=6 os_prio=0 tid=0x00002b1cb0003800 nid=0x9a22 runnable [0x00002b1cc100e000] 57.27/15.42 java.lang.Thread.State: RUNNABLE 57.27/15.42 at java.io.BufferedInputStream.<init>(BufferedInputStream.java:183) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 57.27/15.42 57.27/15.42 "Thread-530" #541 daemon prio=6 os_prio=0 tid=0x00002b1c98002000 nid=0x9a21 runnable [0x00002b1cc1210000] 57.27/15.42 java.lang.Thread.State: RUNNABLE 57.27/15.42 at java.util.Scanner.<init>(Scanner.java:530) 57.27/15.42 at java.util.Scanner.<init>(Scanner.java:563) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) 57.27/15.42 57.27/15.42 "Thread-529" #540 daemon prio=6 os_prio=0 tid=0x00002b1c98001000 nid=0x9a20 runnable [0x0000000000000000] 57.27/15.42 java.lang.Thread.State: TERMINATED 57.27/15.42 57.27/15.42 "Thread-527" #539 daemon prio=6 os_prio=0 tid=0x00002b1ca4002800 nid=0x9a1f runnable [0x00002b1cd4f0d000] 57.27/15.42 java.lang.Thread.State: RUNNABLE 57.27/15.42 at java.util.Scanner.<init>(Scanner.java:530) 57.27/15.42 at java.util.Scanner.<init>(Scanner.java:563) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) 57.27/15.42 57.27/15.42 "Thread-510" #538 daemon prio=6 os_prio=0 tid=0x00002b1ca4001800 nid=0x9a1e runnable [0x00002b1cc1411000] 57.27/15.42 java.lang.Thread.State: RUNNABLE 57.27/15.42 at java.io.FileInputStream.readBytes(Native Method) 57.27/15.42 at java.io.FileInputStream.read(FileInputStream.java:255) 57.27/15.42 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 57.27/15.42 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 57.27/15.42 - locked <0x000000069af695e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 57.27/15.42 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 57.27/15.42 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 57.27/15.42 - locked <0x000000075d8e95b8> (a java.io.BufferedInputStream) 57.27/15.42 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 57.27/15.42 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 57.27/15.42 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 57.27/15.42 - locked <0x000000075d8eb678> (a java.io.InputStreamReader) 57.27/15.42 at java.io.InputStreamReader.read(InputStreamReader.java:184) 57.27/15.42 at java.io.Reader.read(Reader.java:100) 57.27/15.42 at java.util.Scanner.readInput(Scanner.java:804) 57.27/15.42 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 57.27/15.42 at java.util.Scanner.hasNextLine(Scanner.java:1500) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 57.27/15.42 57.27/15.42 "Thread-524" #536 daemon prio=6 os_prio=0 tid=0x00002b1cb8003800 nid=0x9a17 runnable [0x0000000000000000] 57.27/15.42 java.lang.Thread.State: TERMINATED 57.27/15.42 57.27/15.42 "Thread-520" #535 daemon prio=6 os_prio=0 tid=0x00002b1cb8002800 nid=0x9a12 runnable [0x0000000000000000] 57.27/15.42 java.lang.Thread.State: TERMINATED 57.27/15.42 57.27/15.42 "process reaper" #534 daemon prio=10 os_prio=0 tid=0x00002b1cb8001000 nid=0x9a11 waiting on condition [0x00002b1bb7fec000] 57.27/15.42 java.lang.Thread.State: TIMED_WAITING (parking) 57.27/15.42 at sun.misc.Unsafe.park(Native Method) 57.27/15.42 - parking to wait for <0x00000004400042d0> (a java.util.concurrent.SynchronousQueue$TransferStack) 57.27/15.42 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 57.27/15.42 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 57.27/15.42 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 57.27/15.42 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 57.27/15.42 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 57.27/15.42 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 57.27/15.42 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 57.27/15.42 at java.lang.Thread.run(Thread.java:748) 57.27/15.42 57.27/15.42 "process reaper" #533 daemon prio=10 os_prio=0 tid=0x00002b1c78001800 nid=0x9a10 waiting on condition [0x00002b1bb7fb3000] 57.27/15.42 java.lang.Thread.State: TIMED_WAITING (parking) 57.27/15.42 at sun.misc.Unsafe.park(Native Method) 57.27/15.42 - parking to wait for <0x00000004400042d0> (a java.util.concurrent.SynchronousQueue$TransferStack) 57.27/15.42 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 57.27/15.42 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 57.27/15.42 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 57.27/15.42 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 57.27/15.42 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 57.27/15.42 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 57.27/15.42 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 57.27/15.42 at java.lang.Thread.run(Thread.java:748) 57.27/15.42 57.27/15.42 "Thread-516" #529 daemon prio=6 os_prio=0 tid=0x00002b1cb0002800 nid=0x9a0c runnable [0x0000000000000000] 57.27/15.42 java.lang.Thread.State: TERMINATED 57.27/15.42 57.27/15.42 "ThreadPoolThread132" #514 daemon prio=6 os_prio=0 tid=0x00002b1c1c0d9800 nid=0x99e9 runnable [0x00002b1cd510e000] 57.27/15.42 java.lang.Thread.State: RUNNABLE 57.27/15.42 at java.lang.Thread.setPriority0(Native Method) 57.27/15.42 at java.lang.Thread.setPriority(Thread.java:1095) 57.27/15.42 at java.lang.Thread.init(Thread.java:417) 57.27/15.42 at java.lang.Thread.init(Thread.java:349) 57.27/15.42 at java.lang.Thread.<init>(Thread.java:448) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:68) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 57.27/15.42 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 57.27/15.42 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 57.27/15.42 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 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