Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171492
details
property
value
status
memout
benchmark
aaron2_true-termination.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
SV-COMP_Termination_Category
run statistics
property
value
solver
AProVE
configuration
c
runtime (wallclock)
16.2767 seconds
cpu usage
52.4673
user time
50.4627
system time
2.00462
max virtual memory
2.46035128E8
max residence set size
3996180.0
stage attributes
unavailable
output
22.33/7.44 2019-03-28 11:55:05 22.33/7.44 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 22.33/7.44 22.33/7.44 "Thread-45" #58 daemon prio=6 os_prio=0 tid=0x00002b0a90003800 nid=0x9a68 waiting on condition [0x00002b0ab0c0a000] 22.33/7.44 java.lang.Thread.State: RUNNABLE 22.33/7.44 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:104) 22.33/7.44 - locked <0x00000006dbbc8a18> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 22.33/7.44 22.33/7.44 "process reaper" #57 daemon prio=10 os_prio=0 tid=0x00002b0a90002000 nid=0x9a67 waiting on condition [0x00002b0a2bf7b000] 22.33/7.44 java.lang.Thread.State: RUNNABLE 22.33/7.44 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 22.33/7.44 - locked <0x00000006dbbc2620> (a java.io.FileDescriptor) 22.33/7.44 at java.io.FileOutputStream.close(FileOutputStream.java:354) 22.33/7.44 at java.lang.UNIXProcess$ProcessPipeOutputStream.processExited(UNIXProcess.java:567) 22.33/7.44 - locked <0x00000006dbbc25e8> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 22.33/7.44 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:304) 22.33/7.44 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 22.33/7.44 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 22.33/7.44 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 22.33/7.44 at java.lang.Thread.run(Thread.java:748) 22.33/7.44 22.33/7.44 "process reaper" #54 daemon prio=10 os_prio=0 tid=0x00002b0a50087000 nid=0x9a5d waiting on condition [0x00002b09efff4000] 22.33/7.44 java.lang.Thread.State: TIMED_WAITING (parking) 22.33/7.44 at sun.misc.Unsafe.park(Native Method) 22.33/7.44 - parking to wait for <0x0000000440006198> (a java.util.concurrent.SynchronousQueue$TransferStack) 22.33/7.44 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 22.33/7.44 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 22.33/7.44 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 22.33/7.44 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 22.33/7.44 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 22.33/7.44 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 22.33/7.44 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 22.33/7.44 at java.lang.Thread.run(Thread.java:748) 22.33/7.44 22.33/7.44 "ThreadPoolThread37" #52 daemon prio=6 os_prio=0 tid=0x00002b0a54040000 nid=0x9a5b runnable [0x00002b0ab0806000] 22.33/7.44 java.lang.Thread.State: RUNNABLE 22.33/7.44 at java.lang.UNIXProcess.forkAndExec(Native Method) 22.33/7.44 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 22.33/7.44 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 22.33/7.44 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 22.33/7.44 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 22.33/7.44 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 22.33/7.44 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 22.33/7.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 22.33/7.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 22.33/7.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 22.33/7.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 22.33/7.44 at java.lang.Thread.run(Thread.java:748) 22.33/7.44 22.33/7.44 "ThreadPoolThread36" #51 daemon prio=6 os_prio=0 tid=0x00002b0a5403e000 nid=0x9a5a runnable [0x00002b0ab0705000] 22.33/7.44 java.lang.Thread.State: RUNNABLE 22.33/7.44 at java.lang.UNIXProcess.forkAndExec(Native Method) 22.33/7.44 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 22.33/7.44 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 22.33/7.44 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 22.33/7.44 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 22.33/7.44 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 22.33/7.44 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 22.33/7.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 22.33/7.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 22.33/7.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 22.33/7.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 22.33/7.44 at java.lang.Thread.run(Thread.java:748) 22.33/7.44 22.33/7.44 "ThreadPoolThread35" #50 daemon prio=6 os_prio=0 tid=0x00002b0a5403c000 nid=0x9a59 runnable [0x00002b0ab0604000] 22.33/7.44 java.lang.Thread.State: RUNNABLE 22.33/7.44 at java.lang.UNIXProcess.forkAndExec(Native Method) 22.33/7.44 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 22.33/7.44 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 22.33/7.44 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 22.33/7.44 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 22.33/7.44 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 22.33/7.44 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 22.33/7.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 22.33/7.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 22.33/7.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 22.33/7.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 22.33/7.44 at java.lang.Thread.run(Thread.java:748) 22.33/7.44 22.33/7.44 "ThreadPoolThread34" #49 daemon prio=6 os_prio=0 tid=0x00002b0a5403a800 nid=0x9a57 runnable [0x00002b0ab0503000] 22.33/7.44 java.lang.Thread.State: RUNNABLE 22.33/7.44 at java.lang.UNIXProcess.forkAndExec(Native Method) 22.33/7.44 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 22.33/7.44 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 22.33/7.44 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 22.33/7.44 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 22.33/7.44 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 22.33/7.44 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 22.33/7.44 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 22.33/7.44 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 22.33/7.44 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 22.33/7.44 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 22.33/7.44 at java.lang.Thread.run(Thread.java:748) 22.33/7.44 22.33/7.44 "ThreadPoolThread29" #42 daemon prio=6 os_prio=0 tid=0x00002b0a54032000 nid=0x9a4b runnable [0x00002b0a2be41000] 22.33/7.44 java.lang.Thread.State: RUNNABLE 22.33/7.44 at java.lang.UNIXProcess.forkAndExec(Native Method) 22.33/7.44 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 22.33/7.44 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 22.33/7.44 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C 2019-03-28 11.48