Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C_Integer pair #487095639
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)
33.9005 seconds
cpu usage
128.72
user time
124.08
system time
4.64
max virtual memory
2.3043582E8
max residence set size
1400.0
stage attributes
unavailable
output
2020-06-22 06:33:11 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-1654" #1681 daemon prio=6 os_prio=0 tid=0x00002af710008000 nid=0x5d12 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-1661" #1680 daemon prio=6 os_prio=0 tid=0x00002af74000b000 nid=0x5d11 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-1629" #1679 daemon prio=6 os_prio=0 tid=0x00002af74000a000 nid=0x5d10 runnable [0x00002af679832000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.<init>(BufferedInputStream.java:183) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-1660" #1678 daemon prio=6 os_prio=0 tid=0x00002af728005000 nid=0x5d0f runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-1635" #1677 daemon prio=6 os_prio=0 tid=0x00002af728002800 nid=0x5d0e runnable [0x00002af66b9f2000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.<init>(BufferedInputStream.java:183) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "ThreadPoolThread525" #1675 daemon prio=6 os_prio=0 tid=0x00002af6c4036800 nid=0x5d0c runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-1658" #1674 daemon prio=6 os_prio=0 tid=0x00002af6b0008800 nid=0x5d0b runnable [0x00002af668fad000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007199652b0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000074894dec0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000074894ff80> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-1643" #1673 daemon prio=6 os_prio=0 tid=0x00002af6b0006800 nid=0x5d0a runnable [0x00002af67a43e000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007199631f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000074516af98> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000074516d058> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-1649" #1664 daemon prio=6 os_prio=0 tid=0x00002af750001000 nid=0x5d01 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-1650" #1662 daemon prio=6 os_prio=0 tid=0x00002af70c001000 nid=0x5cff runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-1621" #1643 daemon prio=6 os_prio=0 tid=0x00002af6fc001000 nid=0x5cfe runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread522" #1658 daemon prio=6 os_prio=0 tid=0x00002af6c4042000 nid=0x5cf2 runnable [0x00002af66b23c000] java.lang.Thread.State: RUNNABLE at java.math.BigInteger.gcd(BigInteger.java:2337) at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread521" #1657 daemon prio=6 os_prio=0 tid=0x00002af6c401d000 nid=0x5cf1 runnable [0x00002af67932d000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:222) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C_Integer