Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C_Integer 2019-03-28 22.15 pair #432272179
details
property
value
status
memout
benchmark
DoubleNeg.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)
62.9171 seconds
cpu usage
242.81
user time
236.49
system time
6.32
max virtual memory
2.09701512E8
max residence set size
1440.0
stage attributes
unavailable
output
208.48/54.08 2019-03-29 01:58:21 208.48/54.08 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 208.48/54.08 208.48/54.08 "Thread-2215" #2224 daemon prio=6 os_prio=0 tid=0x00002b3824001800 nid=0xcaee runnable [0x0000000000000000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 208.48/54.08 "Thread-2219" #2266 daemon prio=6 os_prio=0 tid=0x00002b36fc255000 nid=0xcaed runnable [0x00002b3756f31000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2243" #2265 daemon prio=6 os_prio=0 tid=0x00002b3800004800 nid=0xcaec runnable [0x00002b37f3432000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2210" #2232 daemon prio=6 os_prio=0 tid=0x00002b3800001000 nid=0xcaeb runnable [0x00002b37f0200000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2242" #2264 daemon prio=6 os_prio=0 tid=0x00002b3768002000 nid=0xcaea runnable [0x00002b37f302e000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2223" #2263 daemon prio=6 os_prio=0 tid=0x00002b3768001000 nid=0xcae9 runnable [0x00002b3756b2d000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2241" #2261 daemon prio=6 os_prio=0 tid=0x00002b3810006000 nid=0xcae8 runnable [0x00002b3727da5000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2230" #2260 daemon prio=6 os_prio=0 tid=0x00002b3810005000 nid=0xcae7 runnable [0x00002b37f0402000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2240" #2259 daemon prio=6 os_prio=0 tid=0x00002b3718001800 nid=0xcae6 runnable [0x00002b3713e60000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2201" #2249 daemon prio=6 os_prio=0 tid=0x00002b371800a000 nid=0xcae5 runnable [0x00002b37262c6000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2239" #2258 daemon prio=6 os_prio=0 tid=0x00002b3794007000 nid=0xcae4 runnable [0x00002b375783a000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2234" #2257 daemon prio=6 os_prio=0 tid=0x00002b3794003000 nid=0xcae3 runnable [0x00002b3757739000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "ThreadPoolThread702" #2256 daemon prio=6 os_prio=0 tid=0x00002b3780073000 nid=0xcae2 runnable [0x00002b3757d3f000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) 208.48/54.08 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 208.48/54.08 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 208.48/54.08 - locked <0x00000006ac3accf8> (a aprove.Strategies.Abortions.TrackThreadPool) 208.48/54.08 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 208.48/54.08 at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) 208.48/54.08 at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) 208.48/54.08 - locked <0x00000006ac3accd8> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) 208.48/54.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) 208.48/54.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 208.48/54.08 at java.lang.Thread.run(Thread.java:748) 208.48/54.08 208.48/54.08 "Thread-2238" #2255 daemon prio=6 os_prio=0 tid=0x00002b37d4012000 nid=0xcae1 runnable [0x00002b37f201e000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2199" #2254 daemon prio=6 os_prio=0 tid=0x00002b37d400c000 nid=0xcae0 runnable [0x00002b37267cb000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2237" #2253 daemon prio=6 os_prio=0 tid=0x00002b37e8002000 nid=0xcadf runnable [0x00002b3756a2c000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2195" #2221 daemon prio=6 os_prio=0 tid=0x00002b37e8001000 nid=0xcade runnable [0x00002b3757537000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2236" #2252 daemon prio=6 os_prio=0 tid=0x00002b37bc008800 nid=0xcadd runnable [0x00002b3724604000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2200" #2251 daemon prio=6 os_prio=0 tid=0x00002b37bc004000 nid=0xcadc runnable [0x00002b3757a3c000] 208.48/54.08 java.lang.Thread.State: RUNNABLE 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 208.48/54.08 208.48/54.08 "Thread-2194" #2218 daemon prio=6 os_prio=0 tid=0x00002b37780dc000 nid=0xcabc runnable [0x0000000000000000] 208.48/54.08 java.lang.Thread.State: TERMINATED 208.48/54.08 208.48/54.08 "ThreadPoolThread700" #2183 daemon prio=6 os_prio=0 tid=0x00002b3780031800 nid=0xca82 in Object.wait() [0x00002b37f0906000] 208.48/54.08 java.lang.Thread.State: WAITING (on object monitor) 208.48/54.08 at java.lang.Object.wait(Native Method) 208.48/54.08 at java.lang.Object.wait(Object.java:502) 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 208.48/54.08 - locked <0x000000069ea10a60> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 208.48/54.08 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
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