Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171594
details
property
value
status
memout
benchmark
svcomp_array03_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)
117.072 seconds
cpu usage
249.932
user time
246.43
system time
3.5015
max virtual memory
1.48871908E8
max residence set size
5575440.0
stage attributes
unavailable
output
243.28/115.29 2019-03-28 12:45:54 243.28/115.29 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 243.28/115.29 243.28/115.29 "Thread-464" #488 daemon prio=6 os_prio=0 tid=0x00002b1df000f000 nid=0x4705 runnable [0x00002b1dfd513000] 243.28/115.29 java.lang.Thread.State: RUNNABLE 243.28/115.29 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.29 243.28/115.29 "Thread-350" #487 daemon prio=6 os_prio=0 tid=0x00002b1df000e800 nid=0x4704 runnable [0x00002b1dfe725000] 243.28/115.29 java.lang.Thread.State: RUNNABLE 243.28/115.29 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.29 243.28/115.29 "Thread-463" #486 daemon prio=6 os_prio=0 tid=0x00002b1d9000c800 nid=0x4703 runnable [0x00002b1e013fc000] 243.28/115.29 java.lang.Thread.State: RUNNABLE 243.28/115.29 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.29 243.28/115.29 "Thread-351" #485 daemon prio=6 os_prio=0 tid=0x00002b1d90001000 nid=0x4702 runnable [0x00002b1e02aa0000] 243.28/115.29 java.lang.Thread.State: RUNNABLE 243.28/115.29 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-462" #484 daemon prio=6 os_prio=0 tid=0x00002b1dd001b000 nid=0x4701 runnable [0x00002b1e066dc000] 243.28/115.31 java.lang.Thread.State: RUNNABLE 243.28/115.31 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-355" #483 daemon prio=6 os_prio=0 tid=0x00002b1dd0019000 nid=0x4700 runnable [0x00002b1e065db000] 243.28/115.31 java.lang.Thread.State: RUNNABLE 243.28/115.31 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-461" #482 daemon prio=5 os_prio=0 tid=0x00002b1d3c06d800 nid=0x46ff runnable [0x00002b1e064da000] 243.28/115.31 java.lang.Thread.State: RUNNABLE 243.28/115.31 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-356" #481 daemon prio=5 os_prio=0 tid=0x00002b1d3c06d000 nid=0x46fe runnable [0x00002b1dffd3b000] 243.28/115.31 java.lang.Thread.State: RUNNABLE 243.28/115.31 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-460" #480 daemon prio=6 os_prio=0 tid=0x00002b1cdc010000 nid=0x46fd runnable [0x00002b1e063d9000] 243.28/115.31 java.lang.Thread.State: RUNNABLE 243.28/115.31 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-358" #479 daemon prio=6 os_prio=0 tid=0x00002b1cdc009800 nid=0x46fc runnable [0x00002b1e062d8000] 243.28/115.31 java.lang.Thread.State: RUNNABLE 243.28/115.31 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-459" #478 daemon prio=6 os_prio=0 tid=0x00002b1df800d800 nid=0x46fb runnable [0x00002b1e061d7000] 243.28/115.31 java.lang.Thread.State: RUNNABLE 243.28/115.31 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-359" #477 daemon prio=6 os_prio=0 tid=0x00002b1df800b800 nid=0x46fa runnable [0x00002b1e060d6000] 243.28/115.31 java.lang.Thread.State: RUNNABLE 243.28/115.31 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.31 243.28/115.31 "Thread-458" #476 daemon prio=6 os_prio=0 tid=0x00002b1dd8016000 nid=0x46f9 runnable [0x00002b1e05fd5000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-360" #475 daemon prio=6 os_prio=0 tid=0x00002b1dd8014000 nid=0x46f8 runnable [0x00002b1e05ed4000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-457" #474 daemon prio=6 os_prio=0 tid=0x00002b1d5000f000 nid=0x46f7 runnable [0x00002b1e05dd3000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-361" #473 daemon prio=6 os_prio=0 tid=0x00002b1d5000d800 nid=0x46f6 runnable [0x00002b1e05cd2000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-456" #472 daemon prio=6 os_prio=0 tid=0x00002b1dd4016800 nid=0x46f5 runnable [0x00002b1e05bd1000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-362" #471 daemon prio=6 os_prio=0 tid=0x00002b1dd4014800 nid=0x46f4 runnable [0x00002b1e05ad0000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-455" #470 daemon prio=6 os_prio=0 tid=0x00002b1d98004800 nid=0x46f3 runnable [0x00002b1e059cf000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-363" #469 daemon prio=6 os_prio=0 tid=0x00002b1d9800a800 nid=0x46f2 runnable [0x00002b1e058ce000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-454" #468 daemon prio=6 os_prio=0 tid=0x00002b1d8000b800 nid=0x46f1 runnable [0x00002b1e057cd000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-364" #467 daemon prio=6 os_prio=0 tid=0x00002b1d80002800 nid=0x46f0 runnable [0x00002b1e056cc000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-453" #466 daemon prio=6 os_prio=0 tid=0x00002b1d9000a800 nid=0x46ef runnable [0x00002b1e055cb000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-365" #465 daemon prio=6 os_prio=0 tid=0x00002b1d90006000 nid=0x46ee runnable [0x00002b1e054ca000] 243.28/115.32 java.lang.Thread.State: RUNNABLE 243.28/115.32 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 243.28/115.32 243.28/115.32 "Thread-452" #464 daemon prio=6 os_prio=0 tid=0x00002b1d8800d000 nid=0x46ec runnable [0x00002b1e053c9000]
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C 2019-03-28 11.48