152.13/99.63 2019-03-28 12:39:38 152.13/99.63 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 152.13/99.63 152.13/99.63 "Thread-124" #155 daemon prio=6 os_prio=0 tid=0x00002b6af0005800 nid=0xa431 runnable [0x0000000000000000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 152.13/99.63 "process reaper" #125 daemon prio=10 os_prio=0 tid=0x00002b6a98085800 nid=0xa430 runnable [0x00002b6b44e28000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-122" #154 daemon prio=6 os_prio=0 tid=0x00002b6b3c006000 nid=0xa42f runnable [0x00002b6b44def000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-121" #153 daemon prio=6 os_prio=0 tid=0x00002b6b3c004800 nid=0xa42e runnable [0x00002b6b44cee000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #152 daemon prio=10 os_prio=0 tid=0x00002b6b3c002800 nid=0xa42d runnable [0x00002b6b44bed000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007a8e47af0> (a java.lang.Object) 152.13/99.63 - locked <0x00000007a8e45a40> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-119" #151 daemon prio=6 os_prio=0 tid=0x00002b6aac008800 nid=0xa42b runnable [0x00002b6b44bb4000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #150 daemon prio=10 os_prio=0 tid=0x00002b6aac001800 nid=0xa42a runnable [0x00002b6b44ab3000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007a7ead2e8> (a java.lang.Object) 152.13/99.63 - locked <0x00000007a7eab238> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-118" #149 daemon prio=6 os_prio=0 tid=0x00002b6b40005000 nid=0xa429 runnable [0x00002b6b44a7a000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-117" #148 daemon prio=6 os_prio=0 tid=0x00002b6b40003000 nid=0xa428 runnable [0x00002b6b44979000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #147 daemon prio=10 os_prio=0 tid=0x00002b6b40001000 nid=0xa427 runnable [0x00002b6b44878000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007aadb1ab8> (a java.lang.Object) 152.13/99.63 - locked <0x00000007aadafa08> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-116" #146 daemon prio=6 os_prio=0 tid=0x00002b6b3800b000 nid=0xa426 runnable [0x00002b6b4483f000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-115" #145 daemon prio=6 os_prio=0 tid=0x00002b6b38009800 nid=0xa425 runnable [0x00002b6b4473e000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #144 daemon prio=10 os_prio=0 tid=0x00002b6b38008000 nid=0xa424 runnable [0x00002b6b4463d000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007a4be72e8> (a java.lang.Object) 152.13/99.63 - locked <0x00000007a4be5238> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-114" #143 daemon prio=6 os_prio=0 tid=0x00002b6b10005800 nid=0xa423 runnable [0x00002b6b44604000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-113" #142 daemon prio=6 os_prio=0 tid=0x00002b6b10003800 nid=0xa422 runnable [0x00002b6b44503000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #141 daemon prio=10 os_prio=0 tid=0x00002b6b10001800 nid=0xa421 runnable [0x00002b6a67fe9000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007ace12b58> (a java.lang.Object) 152.13/99.63 - locked <0x00000007ace10aa8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-104" #140 daemon prio=6 os_prio=0 tid=0x00002b6ab000b000 nid=0xa420 runnable [0x00002b6b44402000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-106" #139 daemon prio=6 os_prio=0 tid=0x00002b6b30007800 nid=0xa41f runnable [0x00002b6a66b64000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-112" #138 daemon prio=6 os_prio=0 tid=0x00002b6b34012800 nid=0xa41e runnable [0x00002b6a2b607000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-95" #137 daemon prio=6 os_prio=0 tid=0x00002b6b34011800 nid=0xa41d runnable [0x00002b6b44301000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-111" #136 daemon prio=6 os_prio=0 tid=0x00002b6ad0013000 nid=0xa41c runnable [0x00002b6b44200000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-96" #135 daemon prio=6 os_prio=0 tid=0x00002b6ad000a000 nid=0xa41b runnable [0x00002b6b440ff000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-110" #134 daemon prio=6 os_prio=0 tid=0x00002b6b2c005800 nid=0xa419 runnable [0x00002b6a67fb0000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-109" #133 daemon prio=6 os_prio=0 tid=0x00002b6b2c003800 nid=0xa418 runnable [0x00002b6a67eaf000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #132 daemon prio=10 os_prio=0 tid=0x00002b6b2c001800 nid=0xa417 runnable [0x00002b6a67dae000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.42/99.63 - locked <0x000000075029dbf0> (a java.lang.Object) 152.42/99.63 - locked <0x000000075029bb40> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.42/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.63 at java.lang.Thread.run(Thread.java:748) 152.42/99.63 152.42/99.63 "Thread-108" #131 daemon prio=6 os_prio=0 tid=0x00002b6ae0006000 nid=0xa416 runnable [0x00002b6a67d75000] 152.42/99.63 java.lang.Thread.State: RUNNABLE 152.42/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.42/99.63 152.42/99.63 "Thread-107" #130 daemon prio=6 os_prio=0 tid=0x00002b6ae0004000 nid=0xa415 runnable [0x00002b6a67c74000] 152.42/99.63 java.lang.Thread.State: RUNNABLE 152.42/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.42/99.63 152.42/99.63 "process reaper" #129 daemon prio=10 os_prio=0 tid=0x00002b6ae0002800 nid=0xa414 runnable [0x00002b6a67b73000] 152.42/99.63 java.lang.Thread.State: RUNNABLE 152.42/99.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.42/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.42/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.63 at java.lang.Thread.run(Thread.java:748) 152.42/99.63 152.42/99.63 "Thread-105" #128 daemon prio=6 os_prio=0 tid=0x00002b6b30005800 nid=0xa413 waiting on condition [0x00002b6a67b3a000] 152.42/99.63 java.lang.Thread.State: RUNNABLE 152.42/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.42/99.63 152.42/99.63 "process reaper" #127 daemon prio=10 os_prio=0 tid=0x00002b6b30003000 nid=0xa412 waiting on condition [0x00002b6a67a39000] 152.42/99.63 java.lang.Thread.State: RUNNABLE 152.42/99.63 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 152.42/99.64 - locked <0x0000000779f9ea30> (a java.io.FileDescriptor) 152.42/99.64 at java.io.FileInputStream.close(FileInputStream.java:326) 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 152.42/99.64 - locked <0x0000000779fa0a98> (a java.lang.Object) 152.42/99.64 - locked <0x0000000779f9e9e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "Thread-103" #126 daemon prio=6 os_prio=0 tid=0x00002b6ab0009800 nid=0xa411 waiting on condition [0x00002b6a679ff000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 152.42/99.64 - locked <0x000000077c1b5168> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000007b72f5f20> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x00000007b72f7fe0> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "process reaper" #124 daemon prio=10 os_prio=0 tid=0x00002b6ab0009000 nid=0xa410 waiting on condition [0x00002b6a678ff000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 152.42/99.64 - locked <0x000000077c1b51b0> (a java.io.FileDescriptor) 152.42/99.64 at java.io.FileInputStream.close(FileInputStream.java:326) 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 152.42/99.64 - locked <0x000000077c1b7218> (a java.lang.Object) 152.42/99.64 - locked <0x000000077c1b5168> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "Thread-97" #123 daemon prio=6 os_prio=0 tid=0x00002b6b38006000 nid=0xa40d waiting on condition [0x00002b6a678c6000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 152.42/99.64 - locked <0x0000000777f9a370> (a java.io.FileDescriptor) 152.42/99.64 at java.io.FileInputStream.close(FileInputStream.java:326) 152.42/99.64 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 152.42/99.64 - locked <0x0000000777f9c3d8> (a java.lang.Object) 152.42/99.64 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 152.42/99.64 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 152.42/99.64 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 152.42/99.64 - locked <0x00000007adcd8440> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.close(InputStreamReader.java:199) 152.42/99.64 at java.util.Scanner.close(Scanner.java:1093) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 152.42/99.64 152.42/99.64 "ThreadPoolThread54" #122 daemon prio=6 os_prio=0 tid=0x00002b6a90037000 nid=0xa409 in Object.wait() [0x00002b6a677c5000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000007a4be95c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x00000007a4be95c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 152.42/99.64 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread53" #121 daemon prio=6 os_prio=0 tid=0x00002b6a90035000 nid=0xa408 in Object.wait() [0x00002b6a676c4000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000007a8e49dd0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x00000007a8e49dd0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread52" #120 daemon prio=6 os_prio=0 tid=0x00002b6a9000f800 nid=0xa407 in Object.wait() [0x00002b6a66f4a000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000007aadb3d98> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x00000007aadb3d98> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread51" #119 daemon prio=6 os_prio=0 tid=0x00002b6a9000e800 nid=0xa406 runnable [0x00002b6a29dba000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.util.LinkedHashMap.newNode(LinkedHashMap.java:256) 152.42/99.64 at java.util.HashMap.putVal(HashMap.java:630) 152.42/99.64 at java.util.HashMap.put(HashMap.java:611) 152.42/99.64 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:683) 152.42/99.64 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread50" #118 daemon prio=6 os_prio=0 tid=0x00002b6a9002c800 nid=0xa405 in Object.wait() [0x00002b6a66c64000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000007ace14e38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x00000007ace14e38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread49" #117 daemon prio=6 os_prio=0 tid=0x00002b6a90015800 nid=0xa403 runnable [0x00002b6a2ba7c000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.Thread.setPriority0(Native Method) 152.42/99.64 at java.lang.Thread.setPriority(Thread.java:1095) 152.42/99.64 at java.lang.Thread.init(Thread.java:417) 152.42/99.64 at java.lang.Thread.init(Thread.java:349) 152.42/99.64 at java.lang.Thread.(Thread.java:448) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 152.42/99.64 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "Thread-94" #116 daemon prio=6 os_prio=0 tid=0x00002b6b38003000 nid=0xa3f9 waiting on condition [0x00002b6a2b102000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 152.42/99.64 - locked <0x0000000777f98268> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000007a9d7d2a8> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x00000007a9d7f368> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "Thread-93" #115 daemon prio=6 os_prio=0 tid=0x00002b6ae8004000 nid=0xa3f8 runnable [0x00002b6a298b6000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x000000070feb4688> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000793c95468> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x0000000793c97528> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "Thread-91" #114 daemon prio=6 os_prio=0 tid=0x00002b6ae8002800 nid=0xa3f0 runnable [0x00002b6a2b506000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x000000070feb25c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000792cbd808> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x0000000792cbf8c8> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "Thread-90" #113 daemon prio=6 os_prio=0 tid=0x00002b6b24003800 nid=0xa3ef waiting on condition [0x00002b6a66929000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 152.42/99.64 - locked <0x000000074ee25128> (a java.io.FileDescriptor) 152.42/99.64 at java.io.FileInputStream.close(FileInputStream.java:326) 152.42/99.64 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 152.42/99.64 - locked <0x000000074ee27190> (a java.lang.Object) 152.42/99.64 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 152.42/99.64 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 152.42/99.64 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 152.42/99.64 - locked <0x000000078fab3a88> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.close(InputStreamReader.java:199) 152.42/99.64 at java.util.Scanner.close(Scanner.java:1093) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 152.42/99.64 152.42/99.64 "Thread-89" #112 daemon prio=6 os_prio=0 tid=0x00002b6b24002800 nid=0xa3ee waiting on condition [0x00002b6a2adff000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 152.42/99.64 - locked <0x000000074ee23068> (a java.io.FileDescriptor) 152.42/99.64 at java.io.FileInputStream.close(FileInputStream.java:326) 152.42/99.64 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 152.42/99.64 - locked <0x000000074ee250d0> (a java.lang.Object) 152.42/99.64 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 152.42/99.64 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 152.42/99.64 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 152.42/99.64 - locked <0x000000078c8a7c48> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.close(InputStreamReader.java:199) 152.42/99.64 at java.util.Scanner.close(Scanner.java:1093) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 152.42/99.64 152.42/99.64 "process reaper" #111 daemon prio=10 os_prio=0 tid=0x00002b6b24001000 nid=0xa3ed waiting on condition [0x00002b6a675c3000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 152.42/99.64 - locked <0x000000074ee23020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "Thread-88" #110 daemon prio=6 os_prio=0 tid=0x00002b6a8403b800 nid=0xa3ea runnable [0x00002b6a2b000000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000706d8cc00> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000787465b68> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x0000000787467c28> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "Thread-80" #109 daemon prio=6 os_prio=0 tid=0x00002b6a84010800 nid=0xa3e8 runnable [0x00002b6a67589000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000706d8ab40> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000007842451a0> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x0000000784247260> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "Thread-87" #108 daemon prio=6 os_prio=0 tid=0x00002b6afc002800 nid=0xa3e5 runnable [0x00002b6a67489000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000703b77428> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000007810388a0> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x000000078103a960> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "Thread-81" #107 daemon prio=6 os_prio=0 tid=0x00002b6afc001000 nid=0xa3e3 runnable [0x00002b6a67388000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000703b75368> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x000000077de2ca60> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x000000077de2eb20> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "ThreadPoolThread48" #106 daemon prio=6 os_prio=0 tid=0x00002b6a90033000 nid=0xa3e2 in Object.wait() [0x00002b6a67287000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x0000000777f9c418> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x0000000777f9c418> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 152.42/99.64 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread47" #105 daemon prio=6 os_prio=0 tid=0x00002b6a90031000 nid=0xa3e1 in Object.wait() [0x00002b6a67186000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000007790d5f00> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x00000007790d5f00> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread46" #104 daemon prio=6 os_prio=0 tid=0x00002b6a9002f800 nid=0xa3e0 in Object.wait() [0x00002b6a2b942000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x0000000779fa2d78> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x0000000779fa2d78> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread45" #103 daemon prio=6 os_prio=0 tid=0x00002b6a9002f000 nid=0xa3df runnable [0x00002b6a2b203000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:208) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:63) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 152.42/99.64 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread44" #102 daemon prio=6 os_prio=0 tid=0x00002b6a9002e000 nid=0xa3de waiting on condition [0x00002b6a297b4000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x000000077c1b9588> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x000000077c1b9588> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 152.42/99.64 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "Thread-74" #96 daemon prio=6 os_prio=0 tid=0x00002b6af4003800 nid=0xa3d1 runnable [0x00002b6a66a29000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000006e7d32c88> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x000000075f962a18> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x000000075f964ad8> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "Thread-73" #95 daemon prio=6 os_prio=0 tid=0x00002b6af4002000 nid=0xa3d0 runnable [0x00002b6a2bdb8000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000006e7d30bc8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000007582ee818> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x00000007582f08d8> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002b6af4001000 nid=0xa3ce runnable [0x00002b6a67085000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread40" #93 daemon prio=6 os_prio=0 tid=0x00002b6a90017800 nid=0xa3cb in Object.wait() [0x00002b6a6704b000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x000000075029fed0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x000000075029fed0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 152.42/99.64 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread38" #91 daemon prio=6 os_prio=0 tid=0x00002b6a9001e800 nid=0xa3c9 in Object.wait() [0x00002b6a66e4a000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x000000074ee273b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 152.42/99.64 - locked <0x000000074ee273b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "Thread-58" #90 daemon prio=6 os_prio=0 tid=0x00002b6ab400b000 nid=0xa3c8 runnable [0x00002b6a66628000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000006abe7fb80> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000740f8eb20> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x0000000740f90be0> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "process reaper" #87 daemon prio=10 os_prio=0 tid=0x00002b6ae8001000 nid=0xa3c5 runnable [0x00002b6a66d49000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.42/99.64 - locked <0x00000006e8e21e68> (a java.lang.Object) 152.42/99.64 - locked <0x00000006e8e1fdb8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "process reaper" #84 daemon prio=10 os_prio=0 tid=0x00002b6ae0001800 nid=0xa3c2 runnable [0x00002b6a66d10000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "process reaper" #75 daemon prio=10 os_prio=0 tid=0x00002b6ac8003000 nid=0xa3b9 waiting on condition [0x00002b6a66cd7000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 152.42/99.64 - locked <0x00000006bf7f9138> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "Thread-56" #74 daemon prio=6 os_prio=0 tid=0x00002b6ab400a000 nid=0xa3af runnable [0x00002b6a29ab8000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileInputStream.readBytes(Native Method) 152.42/99.64 at java.io.FileInputStream.read(FileInputStream.java:255) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x00000006abe7dac0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 152.42/99.64 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 152.42/99.64 - locked <0x0000000734745b60> (a java.io.BufferedInputStream) 152.42/99.64 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 152.42/99.64 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 152.42/99.64 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 152.42/99.64 - locked <0x0000000734747c20> (a java.io.InputStreamReader) 152.42/99.64 at java.io.InputStreamReader.read(InputStreamReader.java:184) 152.42/99.64 at java.io.Reader.read(Reader.java:100) 152.42/99.64 at java.util.Scanner.readInput(Scanner.java:804) 152.42/99.64 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 152.42/99.64 at java.util.Scanner.hasNextLine(Scanner.java:1500) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 152.42/99.64 152.42/99.64 "process reaper" #73 daemon prio=10 os_prio=0 tid=0x00002b6ab4006000 nid=0xa3aa runnable [0x00002b6a66c9e000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread37" #72 daemon prio=6 os_prio=0 tid=0x00002b6a90022000 nid=0xa3a7 in Object.wait() [0x00002b6a2b842000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x000000070eedca00> (a java.lang.UNIXProcess) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 152.42/99.64 - locked <0x000000070eedca00> (a java.lang.UNIXProcess) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread36" #71 daemon prio=6 os_prio=0 tid=0x00002b6a90026800 nid=0xa3a6 in Object.wait() [0x00002b6a2bcb8000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x000000070feb0498> (a java.lang.UNIXProcess) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 152.42/99.64 - locked <0x000000070feb0498> (a java.lang.UNIXProcess) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "process reaper" #62 daemon prio=10 os_prio=0 tid=0x00002b6af0002000 nid=0xa393 runnable [0x00002b6a66a63000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread31" #59 daemon prio=6 os_prio=0 tid=0x00002b6a90029800 nid=0xa390 in Object.wait() [0x00002b6a2b405000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x0000000703b73238> (a java.lang.UNIXProcess) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 152.42/99.64 - locked <0x0000000703b73238> (a java.lang.UNIXProcess) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread30" #58 daemon prio=6 os_prio=0 tid=0x00002b6a90028800 nid=0xa38f in Object.wait() [0x00002b6a2bb7e000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x0000000707db5f48> (a java.lang.UNIXProcess) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 152.42/99.64 - locked <0x0000000707db5f48> (a java.lang.UNIXProcess) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread28" #56 daemon prio=6 os_prio=0 tid=0x00002b6a9001b000 nid=0xa38d in Object.wait() [0x00002b6a2af00000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x0000000706d88a10> (a java.lang.UNIXProcess) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 152.42/99.64 - locked <0x0000000706d88a10> (a java.lang.UNIXProcess) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "process reaper" #52 daemon prio=10 os_prio=0 tid=0x00002b6abc006000 nid=0xa386 waiting on condition [0x00002b6a2bff4000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 152.42/99.64 - locked <0x00000007790d3e58> (a java.io.FileDescriptor) 152.42/99.64 at java.io.FileInputStream.close(FileInputStream.java:326) 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 152.42/99.64 - locked <0x00000007790d5ec0> (a java.lang.Object) 152.42/99.64 - locked <0x00000007790d3e10> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:301) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread25" #50 daemon prio=6 os_prio=0 tid=0x00002b6a90025000 nid=0xa383 in Object.wait() [0x00002b6a2bfbb000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000006e7d2ea98> (a java.lang.UNIXProcess) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 152.42/99.64 - locked <0x00000006e7d2ea98> (a java.lang.UNIXProcess) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread24" #49 daemon prio=6 os_prio=0 tid=0x00002b6a90023000 nid=0xa382 runnable [0x00002b6a2beb9000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.Thread.nextThreadNum(Thread.java:177) 152.42/99.64 - locked <0x00000004400103a0> (a java.lang.Class for java.lang.Thread) 152.42/99.64 at java.lang.Thread.(Thread.java:448) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 152.42/99.64 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 152.42/99.64 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 152.42/99.64 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 152.42/99.64 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "process reaper" #45 daemon prio=10 os_prio=0 tid=0x00002b6ab4004800 nid=0xa37d waiting on condition [0x00002b6a2bbb7000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeOutputStream.processExited(UNIXProcess.java:564) 152.42/99.64 - locked <0x00000006a0661ca0> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:304) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "process reaper" #36 daemon prio=10 os_prio=0 tid=0x00002b6a98083800 nid=0xa37a waiting on condition [0x00002b6a2b97c000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 152.42/99.64 - locked <0x0000000777f982b0> (a java.io.FileDescriptor) 152.42/99.64 at java.io.FileInputStream.close(FileInputStream.java:326) 152.42/99.64 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 152.42/99.64 - locked <0x0000000777f9a318> (a java.lang.Object) 152.42/99.64 - locked <0x0000000777f98268> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "process reaper" #40 daemon prio=10 os_prio=0 tid=0x00002b6ac8001000 nid=0xa373 runnable [0x00002b6a2b741000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread22" #39 daemon prio=6 os_prio=0 tid=0x00002b6a90020000 nid=0xa370 waiting on condition [0x00002b6a2b708000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 152.42/99.64 - locked <0x000000069e642978> (a aprove.Strategies.Abortions.Clock) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "process reaper" #33 daemon prio=10 os_prio=0 tid=0x00002b6abc001800 nid=0xa36a runnable [0x00002b6a2a8fe000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.42/99.64 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.42/99.64 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.42/99.64 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread16" #29 daemon prio=6 os_prio=0 tid=0x00002b6a90011800 nid=0xa365 runnable [0x00002b6a29ebc000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.lang.Thread.start0(Native Method) 152.42/99.64 at java.lang.Thread.start(Thread.java:717) 152.42/99.64 - locked <0x00000006a0670c90> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread15" #28 daemon prio=6 os_prio=0 tid=0x00002b6a90019000 nid=0xa364 in Object.wait() [0x00002b6a2b304000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000006abe7b990> (a java.lang.UNIXProcess) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 152.42/99.64 - locked <0x00000006abe7b990> (a java.lang.UNIXProcess) 152.42/99.64 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 152.42/99.64 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b6a9000b800 nid=0xa228 waiting on condition [0x00002b6a29cba000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) 152.42/99.64 - locked <0x000000069e65cde8> (a aprove.Strategies.Abortions.Clock) 152.42/99.64 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 152.42/99.64 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 152.42/99.64 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 152.42/99.64 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 152.42/99.64 152.42/99.64 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b6a0c839000 nid=0xa227 waiting on condition [0x00002b6a29bb9000] 152.42/99.64 java.lang.Thread.State: WAITING (parking) 152.42/99.64 at sun.misc.Unsafe.park(Native Method) 152.42/99.64 - parking to wait for <0x00000004400105a8> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 152.42/99.64 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 152.42/99.64 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 152.42/99.64 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b6a0c26c800 nid=0xa221 runnable [0x00002b6a299b7000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 at java.util.LinkedList.addAll(LinkedList.java:424) 152.42/99.64 at java.util.LinkedList.addAll(LinkedList.java:387) 152.42/99.64 at java.util.LinkedList.(LinkedList.java:119) 152.42/99.64 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) 152.42/99.64 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 152.42/99.64 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 152.42/99.64 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 152.42/99.64 at java.lang.Thread.run(Thread.java:748) 152.42/99.64 152.42/99.64 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b6a0c1a1800 nid=0xa21d runnable [0x0000000000000000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 152.42/99.64 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b6a0c184000 nid=0xa21c waiting on condition [0x0000000000000000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 152.42/99.64 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b6a0c182800 nid=0xa21b runnable [0x0000000000000000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 152.42/99.64 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b6a0c17f800 nid=0xa21a runnable [0x0000000000000000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 152.42/99.64 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b6a0c17e000 nid=0xa219 waiting on condition [0x0000000000000000] 152.42/99.64 java.lang.Thread.State: RUNNABLE 152.42/99.64 152.42/99.64 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b6a0c14a000 nid=0xa218 in Object.wait() [0x00002b6a28f0d000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000004400555a0> (a java.lang.ref.ReferenceQueue$Lock) 152.42/99.64 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 152.42/99.64 - locked <0x00000004400555a0> (a java.lang.ref.ReferenceQueue$Lock) 152.42/99.64 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 152.42/99.64 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 152.42/99.64 152.42/99.64 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b6a0c145800 nid=0xa217 in Object.wait() [0x00002b6a28e0c000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000004402f7538> (a java.lang.ref.Reference$Lock) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 152.42/99.64 - locked <0x00000004402f7538> (a java.lang.ref.Reference$Lock) 152.42/99.64 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 152.42/99.64 152.42/99.64 "main" #1 prio=5 os_prio=0 tid=0x00002b6a0c008800 nid=0xa210 in Object.wait() [0x00002b6a086b6000] 152.42/99.64 java.lang.Thread.State: WAITING (on object monitor) 152.42/99.64 at java.lang.Object.wait(Native Method) 152.42/99.64 - waiting on <0x00000004402f76b8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 152.42/99.64 at java.lang.Object.wait(Object.java:502) 152.42/99.64 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 152.42/99.64 - locked <0x00000004402f76b8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 152.42/99.64 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 152.42/99.64 at aprove.Runtime.AProVE.run(AProVE.java:101) 152.42/99.64 at aprove.CommandLineInterface.Main.run(Main.java:94) 152.42/99.64 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 152.42/99.64 at aprove.Main.doMain(Main.java:54) 152.42/99.64 at aprove.Main.main(Main.java:20) 152.42/99.64 152.42/99.64 "VM Thread" os_prio=0 tid=0x00002b6a0c13e000 nid=0xa216 runnable 152.42/99.64 152.42/99.64 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b6a0c01e000 nid=0xa212 runnable 152.42/99.64 152.42/99.64 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b6a0c01f800 nid=0xa213 runnable 152.42/99.64 152.42/99.64 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b6a0c021800 nid=0xa214 runnable 152.42/99.64 152.42/99.64 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b6a0c023800 nid=0xa215 runnable 152.42/99.64 152.42/99.64 "VM Periodic Task Thread" os_prio=0 tid=0x00002b6a0c1ac000 nid=0xa21e waiting on condition 152.42/99.64 153.97/100.05 JNI global references: 310 153.97/100.05 154.53/100.18 Heap 154.53/100.18 PSYoungGen total 4869632K, used 852565K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 154.53/100.18 eden space 4853248K, 17% used [0x0000000695580000,0x00000006c861e430,0x00000007bd900000) 154.53/100.18 from space 16384K, 99% used [0x00000007bf000000,0x00000007bfff7038,0x00000007c0000000) 154.53/100.18 to space 19968K, 0% used [0x00000007bd900000,0x00000007bd900000,0x00000007bec80000) 154.53/100.18 ParOldGen total 9786880K, used 19230K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 154.53/100.18 object space 9786880K, 0% used [0x0000000440000000,0x00000004412c7a00,0x0000000695580000) 154.53/100.18 Metaspace used 23248K, capacity 23510K, committed 23936K, reserved 1071104K 154.53/100.18 class space used 2544K, capacity 2619K, committed 2688K, reserved 1048576K 154.53/100.18 185.63/108.16 EOF