Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C_Integer pair #487095126
details
property
value
status
memout
benchmark
Singapore_v2_false-termination.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Ton_Chanh_15
run statistics
property
value
solver
AProVE
configuration
c
runtime (wallclock)
38.472 seconds
cpu usage
147.67
user time
142.99
system time
4.68
max virtual memory
2.1019988E8
max residence set size
1404.0
stage attributes
unavailable
output
2020-06-21 23:09:12 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-2065" #2126 daemon prio=6 os_prio=0 tid=0x00002b45d0001000 nid=0x8fce runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "process reaper" #2071 daemon prio=10 os_prio=0 tid=0x00002b4658001000 nid=0x8fcd runnable [0x00002b46805ae000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/111126438.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "Thread-2097" #2125 daemon prio=6 os_prio=0 tid=0x00002b45ac875000 nid=0x8fcc runnable [0x00002b4573987000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2066" #2124 daemon prio=6 os_prio=0 tid=0x00002b45acb79800 nid=0x8fcb runnable [0x00002b4572c7c000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2068" #2123 daemon prio=6 os_prio=0 tid=0x00002b4678006800 nid=0x8fca runnable [0x00002b45638bb000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2080" #2122 daemon prio=6 os_prio=0 tid=0x00002b45f4006000 nid=0x8fc9 runnable [0x00002b4573f8d000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2083" #2120 daemon prio=6 os_prio=0 tid=0x00002b4630003800 nid=0x8fc8 runnable [0x00002b45639bc000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2085" #2119 daemon prio=6 os_prio=0 tid=0x00002b4604005000 nid=0x8fc7 runnable [0x00002b4571813000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2086" #2118 daemon prio=6 os_prio=0 tid=0x00002b45dc004000 nid=0x8fc6 runnable [0x00002b4571c17000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2091" #2117 daemon prio=6 os_prio=0 tid=0x00002b465c005000 nid=0x8fc5 runnable [0x00002b4572621000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2096" #2116 daemon prio=6 os_prio=0 tid=0x00002b45f0009800 nid=0x8fc4 runnable [0x00002b4683331000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2038" #2115 daemon prio=6 os_prio=0 tid=0x00002b45f0005800 nid=0x8fc3 runnable [0x00002b4680503000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2092" #2110 daemon prio=6 os_prio=0 tid=0x00002b4638001800 nid=0x8fbe runnable [0x00002b4681b19000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2045" #2109 daemon prio=6 os_prio=0 tid=0x00002b4638003800 nid=0x8fbd runnable [0x00002b4682e2c000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2047" #2108 daemon prio=6 os_prio=0 tid=0x00002b465c006800 nid=0x8fbc runnable [0x00002b4682d2b000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2090" #2107 daemon prio=6 os_prio=0 tid=0x00002b4668004800 nid=0x8fbb runnable [0x00002b4682c2a000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2048" #2106 daemon prio=6 os_prio=0 tid=0x00002b4668003000 nid=0x8fba runnable [0x00002b4682b29000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2089" #2105 daemon prio=6 os_prio=0 tid=0x00002b45fc005000 nid=0x8fb9 runnable [0x00002b4682a28000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2049" #2104 daemon prio=6 os_prio=0 tid=0x00002b45fc003000 nid=0x8fb8 runnable [0x00002b4682927000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2088" #2103 daemon prio=6 os_prio=0 tid=0x00002b467000c000 nid=0x8fb7 runnable [0x00002b4682826000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2050" #2102 daemon prio=6 os_prio=0 tid=0x00002b4670003800 nid=0x8fb6 runnable [0x00002b4682725000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2087" #2101 daemon prio=6 os_prio=0 tid=0x00002b4654006000 nid=0x8fb5 runnable [0x00002b4682624000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2051" #2100 daemon prio=6 os_prio=0 tid=0x00002b4654004000 nid=0x8fb4 runnable [0x00002b4682523000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-2052" #2099 daemon prio=6 os_prio=0 tid=0x00002b45dc002000 nid=0x8fb3 runnable [0x00002b4682321000]
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C_Integer