67.92/22.86 2019-03-28 12:44:51 67.92/22.86 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 67.92/22.86 67.92/22.86 "Thread-148" #180 daemon prio=6 os_prio=0 tid=0x00002b6bdc00b800 nid=0xe54e runnable [0x0000000000000000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 67.92/22.86 "Thread-123" #179 daemon prio=6 os_prio=0 tid=0x00002b6bdc009800 nid=0xe54d runnable [0x00002b6ce0b09000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a496c7f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006fa092da0> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006fa094e60> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "Thread-147" #178 daemon prio=6 os_prio=0 tid=0x00002b6c18009000 nid=0xe54c runnable [0x00002b6ce2e0c000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a3f30b88> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006f78b4c98> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006f78b6d58> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "Thread-146" #177 daemon prio=6 os_prio=0 tid=0x00002b6c18008000 nid=0xe54b runnable [0x00002b6be25ba000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a3f2eac8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006f4f08940> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006f4f0aa00> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #175 daemon prio=10 os_prio=0 tid=0x00002b6c18006800 nid=0xe54a runnable [0x00002b6d00c25000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "process reaper" #174 daemon prio=10 os_prio=0 tid=0x00002b6c3c00a000 nid=0xe549 runnable [0x00002b6d00bec000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-143" #173 daemon prio=6 os_prio=0 tid=0x00002b6bf072a800 nid=0xe548 runnable [0x00002b6ce0a08000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a1c15988> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006effc49b0> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006effc6a70> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #172 daemon prio=10 os_prio=0 tid=0x00002b6bf0e06800 nid=0xe547 runnable [0x00002b6d00bb3000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-141" #171 daemon prio=6 os_prio=0 tid=0x00002b6c38010000 nid=0xe546 waiting on condition [0x00002b6ce1a18000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x00000006a0277bf0> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x00000006a0279c58> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x00000006e9ccc560> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "process reaper" #170 daemon prio=10 os_prio=0 tid=0x00002b6c38011800 nid=0xe545 waiting on condition [0x00002b6d00b7a000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 67.92/22.86 - locked <0x00000006a0277ba8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "process reaper" #169 daemon prio=10 os_prio=0 tid=0x00002b6be8001000 nid=0xe544 runnable [0x00002b6d00b41000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "process reaper" #168 daemon prio=10 os_prio=0 tid=0x00002b6c30001000 nid=0xe543 runnable [0x00002b6d00b08000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-137" #167 daemon prio=6 os_prio=0 tid=0x00002b6c2c842000 nid=0xe542 runnable [0x00002b6ce0300000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a11d7c60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006e0081e08> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006e0083ec8> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #166 daemon prio=10 os_prio=0 tid=0x00002b6c2c7f1800 nid=0xe541 runnable [0x00002b6d00acf000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-136" #165 daemon prio=6 os_prio=0 tid=0x00002b6c1c003800 nid=0xe540 runnable [0x00002b6be3acb000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a3a11ca8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006db13de58> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006db13ff18> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "Thread-135" #164 daemon prio=6 os_prio=0 tid=0x00002b6c1c002800 nid=0xe53f runnable [0x00002b6ce0402000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a3a0fbe8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006d9b48068> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006d9b4a128> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #163 daemon prio=10 os_prio=0 tid=0x00002b6c1c001000 nid=0xe53e runnable [0x00002b6d00a96000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-134" #162 daemon prio=6 os_prio=0 tid=0x00002b6c2891a000 nid=0xe53d runnable [0x00002b6be3dce000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a16f8b98> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006d736aec8> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006d736cf88> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "Thread-133" #161 daemon prio=6 os_prio=0 tid=0x00002b6c295d5000 nid=0xe53c runnable [0x00002b6ce0503000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileInputStream.readBytes(Native Method) 67.92/22.86 at java.io.FileInputStream.read(FileInputStream.java:255) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006a16f6ad8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006d712b640> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006d712d700> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #160 daemon prio=10 os_prio=0 tid=0x00002b6c281df000 nid=0xe53b runnable [0x00002b6d00a5d000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-132" #159 daemon prio=6 os_prio=0 tid=0x00002b6c1400c800 nid=0xe539 waiting on condition [0x00002b6ce0604000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x00000006a444e6a0> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x00000006a4450708> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x00000006d33c5350> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "Thread-131" #158 daemon prio=6 os_prio=0 tid=0x00002b6c1400b800 nid=0xe531 waiting on condition [0x00002b6ce0806000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x00000006a444c5e0> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x00000006a444e648> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x00000006cdb01820> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "process reaper" #157 daemon prio=10 os_prio=0 tid=0x00002b6c1400a800 nid=0xe52d waiting on condition [0x00002b6d00a24000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 67.92/22.86 - locked <0x00000006a444c598> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread94" #155 daemon prio=6 os_prio=0 tid=0x00002b6c48071800 nid=0xe52b waiting for monitor entry [0x00002b6ce1210000] 67.92/22.86 java.lang.Thread.State: BLOCKED (on object monitor) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 67.92/22.86 - waiting to lock <0x0000000440004e28> (a aprove.Strategies.Util.PrioritizableThreadPool) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread93" #154 daemon prio=6 os_prio=0 tid=0x00002b6c4806c000 nid=0xe52a runnable [0x00002b6ce100d000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.Thread.setPriority0(Native Method) 67.92/22.86 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.86 at java.lang.Thread.init(Thread.java:417) 67.92/22.86 at java.lang.Thread.init(Thread.java:349) 67.92/22.86 at java.lang.Thread.(Thread.java:678) 67.92/22.86 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 67.92/22.86 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 67.92/22.86 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 67.92/22.86 at java.security.AccessController.doPrivileged(Native Method) 67.92/22.86 at java.lang.UNIXProcess.(UNIXProcess.java:257) 67.92/22.86 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 67.92/22.86 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread92" #153 daemon prio=6 os_prio=0 tid=0x00002b6c4806e000 nid=0xe529 runnable [0x00002b6ce0f0c000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.Thread.setPriority0(Native Method) 67.92/22.86 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.86 at java.lang.Thread.init(Thread.java:417) 67.92/22.86 at java.lang.Thread.init(Thread.java:349) 67.92/22.86 at java.lang.Thread.(Thread.java:678) 67.92/22.86 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 67.92/22.86 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 67.92/22.86 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 67.92/22.86 at java.security.AccessController.doPrivileged(Native Method) 67.92/22.86 at java.lang.UNIXProcess.(UNIXProcess.java:257) 67.92/22.86 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 67.92/22.86 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread91" #152 daemon prio=6 os_prio=0 tid=0x00002b6c4802b000 nid=0xe526 runnable [0x00002b6ce0e0b000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.Thread.setPriority0(Native Method) 67.92/22.86 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.86 at java.lang.Thread.init(Thread.java:417) 67.92/22.86 at java.lang.Thread.init(Thread.java:349) 67.92/22.86 at java.lang.Thread.(Thread.java:678) 67.92/22.86 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 67.92/22.86 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 67.92/22.86 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 67.92/22.86 at java.security.AccessController.doPrivileged(Native Method) 67.92/22.86 at java.lang.UNIXProcess.(UNIXProcess.java:257) 67.92/22.86 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 67.92/22.86 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread90" #151 daemon prio=6 os_prio=0 tid=0x00002b6c4803b000 nid=0xe525 runnable [0x0000000000000000] 67.92/22.86 java.lang.Thread.State: TERMINATED 67.92/22.86 67.92/22.86 "ThreadPoolThread89" #150 daemon prio=6 os_prio=0 tid=0x00002b6c48031000 nid=0xe521 runnable [0x0000000000000000] 67.92/22.86 java.lang.Thread.State: TERMINATED 67.92/22.86 67.92/22.86 "ThreadPoolThread88" #149 daemon prio=6 os_prio=0 tid=0x00002b6c4807a800 nid=0xe519 runnable [0x00002b6ce0c08000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.Thread.setPriority0(Native Method) 67.92/22.86 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.86 at java.lang.Thread.init(Thread.java:417) 67.92/22.86 at java.lang.Thread.init(Thread.java:349) 67.92/22.86 at java.lang.Thread.(Thread.java:678) 67.92/22.86 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 67.92/22.86 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 67.92/22.86 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 67.92/22.86 at java.security.AccessController.doPrivileged(Native Method) 67.92/22.86 at java.lang.UNIXProcess.(UNIXProcess.java:257) 67.92/22.86 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 67.92/22.86 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-122" #148 daemon prio=6 os_prio=0 tid=0x00002b6c6000d000 nid=0xe50a waiting on condition [0x00002b6d009eb000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000776443da0> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x0000000776447020> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x00000006b6124c98> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "Thread-121" #147 daemon prio=6 os_prio=0 tid=0x00002b6c6000b800 nid=0xe4fb waiting on condition [0x00002b6d008ea000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.86 - locked <0x0000000776441cc0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006aa719250> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006aa71b310> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #139 daemon prio=10 os_prio=0 tid=0x00002b6c60009800 nid=0xe4fa waiting on condition [0x00002b6d007e9000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000776441d08> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.86 - locked <0x0000000776443d48> (a java.lang.Object) 67.92/22.86 - locked <0x0000000776441cc0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-119" #146 daemon prio=6 os_prio=0 tid=0x00002b6cd4016000 nid=0xe4f9 waiting on condition [0x00002b6d007b0000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x00000007763f1100> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x00000007763f3140> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x00000006984c2ad8> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "Thread-118" #145 daemon prio=6 os_prio=0 tid=0x00002b6cd4014000 nid=0xe4f8 waiting on condition [0x00002b6d006af000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.86 - locked <0x00000007763ef020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x0000000698281160> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x0000000698283220> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #128 daemon prio=10 os_prio=0 tid=0x00002b6cd4011000 nid=0xe4f7 waiting on condition [0x00002b6d005ae000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x00000007763ef068> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.86 - locked <0x00000007763f10a8> (a java.lang.Object) 67.92/22.86 - locked <0x00000007763ef020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-117" #144 daemon prio=6 os_prio=0 tid=0x00002b6c5c007000 nid=0xe4f6 waiting on condition [0x00002b6d00575000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x00000007759840f0> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x0000000775986130> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x0000000697e060c8> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "Thread-116" #143 daemon prio=6 os_prio=0 tid=0x00002b6c5c005000 nid=0xe4f5 waiting on condition [0x00002b6d00474000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.86 - locked <0x0000000775982010> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x00000006976a58f0> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x00000006976a79b0> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #130 daemon prio=10 os_prio=0 tid=0x00002b6c5c003800 nid=0xe4f4 waiting on condition [0x00002b6d00373000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000775982058> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.86 - locked <0x0000000775984098> (a java.lang.Object) 67.92/22.86 - locked <0x0000000775982010> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-115" #142 daemon prio=6 os_prio=0 tid=0x00002b6cd0005800 nid=0xe4f3 waiting on condition [0x00002b6d0033a000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000776402520> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x0000000776404560> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x0000000696c3f3a8> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "Thread-114" #141 daemon prio=6 os_prio=0 tid=0x00002b6cd0003800 nid=0xe4f2 waiting on condition [0x00002b6d00239000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000776400488> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x00000007764024c8> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x00000006969ffb20> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "process reaper" #140 daemon prio=10 os_prio=0 tid=0x00002b6cd0001800 nid=0xe4f1 waiting on condition [0x00002b6d00138000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 67.92/22.86 - locked <0x0000000776400440> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-113" #138 daemon prio=6 os_prio=0 tid=0x00002b6cbc005000 nid=0xe4f0 waiting on condition [0x00002b6d000ff000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000775a59ab0> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x0000000775a5baf0> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x0000000695aa0f78> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "Thread-112" #137 daemon prio=6 os_prio=0 tid=0x00002b6cbc003000 nid=0xe4ef waiting on condition [0x00002b6ce3fc9000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.86 - locked <0x0000000775a5bcd0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x0000000699ab6808> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x0000000699ab88c8> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #136 daemon prio=10 os_prio=0 tid=0x00002b6cbc001000 nid=0xe4ee waiting on condition [0x00002b6ce3ec8000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000775a5bd18> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.86 - locked <0x0000000775a6f020> (a java.lang.Object) 67.92/22.86 - locked <0x0000000775a5bcd0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-111" #135 daemon prio=6 os_prio=0 tid=0x00002b6cec005800 nid=0xe4ed waiting on condition [0x00002b6ce3e8f000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000775a89100> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x0000000775a8b140> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x000000069a4f8680> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "Thread-110" #134 daemon prio=6 os_prio=0 tid=0x00002b6cec003000 nid=0xe4ec waiting on condition [0x00002b6ce3d8e000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.86 - locked <0x0000000775a87020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x000000069af362d8> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x000000069af38398> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #133 daemon prio=10 os_prio=0 tid=0x00002b6cec001000 nid=0xe4eb waiting on condition [0x00002b6ce3c8d000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000775a87068> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.86 - locked <0x0000000775a890a8> (a java.lang.Object) 67.92/22.86 - locked <0x0000000775a87020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "Thread-109" #132 daemon prio=6 os_prio=0 tid=0x00002b6ccc006800 nid=0xe4e9 waiting on condition [0x00002b6ce3c54000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000775a716a8> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.86 - locked <0x0000000775a736e8> (a java.lang.Object) 67.92/22.86 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.86 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.86 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.86 - locked <0x000000069b978148> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.86 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.86 67.92/22.86 "Thread-108" #131 daemon prio=6 os_prio=0 tid=0x00002b6ccc004800 nid=0xe4e8 waiting on condition [0x00002b6ce3b53000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.86 - locked <0x0000000775a738c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.86 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.86 - locked <0x000000069c3b5da0> (a java.io.BufferedInputStream) 67.92/22.86 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.86 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.86 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.86 - locked <0x000000069c3b7e60> (a java.io.InputStreamReader) 67.92/22.86 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.86 at java.io.Reader.read(Reader.java:100) 67.92/22.86 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.86 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.86 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.86 67.92/22.86 "process reaper" #129 daemon prio=10 os_prio=0 tid=0x00002b6ccc002800 nid=0xe4e6 waiting on condition [0x00002b6ce3a52000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.86 - locked <0x0000000775a73910> (a java.io.FileDescriptor) 67.92/22.86 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.86 - locked <0x0000000775a97020> (a java.lang.Object) 67.92/22.86 - locked <0x0000000775a738c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.86 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread87" #127 daemon prio=6 os_prio=0 tid=0x00002b6c48099800 nid=0xe4e4 in Object.wait() [0x00002b6ce3a19000] 67.92/22.86 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.86 at java.lang.Object.wait(Native Method) 67.92/22.86 - waiting on <0x00000006a496a6c0> (a java.lang.UNIXProcess) 67.92/22.86 at java.lang.Object.wait(Object.java:502) 67.92/22.86 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 67.92/22.86 - locked <0x00000006a496a6c0> (a java.lang.UNIXProcess) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread86" #126 daemon prio=6 os_prio=0 tid=0x00002b6c48097800 nid=0xe4e3 in Object.wait() [0x00002b6ce3918000] 67.92/22.86 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.86 at java.lang.Object.wait(Native Method) 67.92/22.86 - waiting on <0x00000006a4450928> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.86 at java.lang.Object.wait(Object.java:502) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.86 - locked <0x00000006a4450928> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread85" #125 daemon prio=6 os_prio=0 tid=0x00002b6c48095800 nid=0xe4e2 in Object.wait() [0x00002b6ce3817000] 67.92/22.86 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.86 at java.lang.Object.wait(Native Method) 67.92/22.86 - waiting on <0x00000006a3f2c998> (a java.lang.UNIXProcess) 67.92/22.86 at java.lang.Object.wait(Object.java:502) 67.92/22.86 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 67.92/22.86 - locked <0x00000006a3f2c998> (a java.lang.UNIXProcess) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread84" #124 daemon prio=6 os_prio=0 tid=0x00002b6c48093800 nid=0xe4e1 waiting on condition [0x00002b6ce3716000] 67.92/22.86 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.86 at java.lang.Object.wait(Native Method) 67.92/22.86 - waiting on <0x00000006a3a0dab8> (a java.lang.UNIXProcess) 67.92/22.86 at java.lang.Object.wait(Object.java:502) 67.92/22.86 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 67.92/22.86 - locked <0x00000006a3a0dab8> (a java.lang.UNIXProcess) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread83" #123 daemon prio=6 os_prio=0 tid=0x00002b6c48091800 nid=0xe4e0 runnable [0x00002b6ce3615000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.Thread.setPriority0(Native Method) 67.92/22.86 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.86 at java.lang.Thread.init(Thread.java:417) 67.92/22.86 at java.lang.Thread.init(Thread.java:349) 67.92/22.86 at java.lang.Thread.(Thread.java:448) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread82" #122 daemon prio=6 os_prio=0 tid=0x00002b6c4808f800 nid=0xe4df runnable [0x00002b6ce3514000] 67.92/22.86 java.lang.Thread.State: RUNNABLE 67.92/22.86 at java.lang.Thread.setPriority0(Native Method) 67.92/22.86 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.86 at java.lang.Thread.init(Thread.java:417) 67.92/22.86 at java.lang.Thread.init(Thread.java:349) 67.92/22.86 at java.lang.Thread.(Thread.java:448) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.86 67.92/22.86 "ThreadPoolThread81" #121 daemon prio=6 os_prio=0 tid=0x00002b6c4808e000 nid=0xe4de in Object.wait() [0x00002b6ce3413000] 67.92/22.86 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.86 at java.lang.Object.wait(Native Method) 67.92/22.86 - waiting on <0x00000006a16f49a8> (a java.lang.UNIXProcess) 67.92/22.86 at java.lang.Object.wait(Object.java:502) 67.92/22.86 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 67.92/22.86 - locked <0x00000006a16f49a8> (a java.lang.UNIXProcess) 67.92/22.86 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.86 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.86 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread80" #120 daemon prio=6 os_prio=0 tid=0x00002b6c4808c000 nid=0xe4dd runnable [0x00002b6ce3312000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.Thread.setPriority0(Native Method) 67.92/22.87 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.87 at java.lang.Thread.init(Thread.java:417) 67.92/22.87 at java.lang.Thread.init(Thread.java:349) 67.92/22.87 at java.lang.Thread.(Thread.java:448) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread79" #119 daemon prio=6 os_prio=0 tid=0x00002b6c4808a800 nid=0xe4dc runnable [0x00002b6ce3211000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.Thread.setPriority0(Native Method) 67.92/22.87 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.87 at java.lang.Thread.init(Thread.java:417) 67.92/22.87 at java.lang.Thread.init(Thread.java:349) 67.92/22.87 at java.lang.Thread.(Thread.java:448) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread78" #118 daemon prio=6 os_prio=0 tid=0x00002b6c48088800 nid=0xe4db runnable [0x00002b6ce310f000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.Thread.start0(Native Method) 67.92/22.87 at java.lang.Thread.start(Thread.java:717) 67.92/22.87 - locked <0x00000006a079ac30> (a java.lang.Thread) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:957) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 67.92/22.87 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 67.92/22.87 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 67.92/22.87 at java.security.AccessController.doPrivileged(Native Method) 67.92/22.87 at java.lang.UNIXProcess.(UNIXProcess.java:257) 67.92/22.87 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 67.92/22.87 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread77" #117 daemon prio=6 os_prio=0 tid=0x00002b6c48086800 nid=0xe4da runnable [0x00002b6ce300e000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.Thread.setPriority0(Native Method) 67.92/22.87 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.87 at java.lang.Thread.init(Thread.java:417) 67.92/22.87 at java.lang.Thread.init(Thread.java:349) 67.92/22.87 at java.lang.Thread.(Thread.java:448) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread76" #116 daemon prio=6 os_prio=0 tid=0x00002b6c48084800 nid=0xe4d9 runnable [0x00002b6ce2f0e000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.Thread.setPriority0(Native Method) 67.92/22.87 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.87 at java.lang.Thread.init(Thread.java:417) 67.92/22.87 at java.lang.Thread.init(Thread.java:349) 67.92/22.87 at java.lang.Thread.(Thread.java:448) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread73" #113 daemon prio=6 os_prio=0 tid=0x00002b6c48016000 nid=0xe4d6 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "Thread-93" #112 daemon prio=6 os_prio=0 tid=0x00002b6c6c02a800 nid=0xe4d5 waiting on condition [0x00002b6ce2c0b000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x00000007760b1100> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x00000007760b3140> (a java.lang.Object) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.87 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.87 - locked <0x00000006a58ba908> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.87 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.87 67.92/22.87 "Thread-92" #111 daemon prio=6 os_prio=0 tid=0x00002b6c6c028800 nid=0xe4d4 waiting on condition [0x00002b6ce2b0a000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.87 - locked <0x00000007760af020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.87 - locked <0x00000006a6d38298> (a java.io.BufferedInputStream) 67.92/22.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.87 - locked <0x00000006a6d3a368> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.87 at java.io.Reader.read(Reader.java:100) 67.92/22.87 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.87 67.92/22.87 "process reaper" #110 daemon prio=10 os_prio=0 tid=0x00002b6c6c027800 nid=0xe4d3 waiting on condition [0x00002b6ce2a09000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x00000007760af068> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.87 - locked <0x00000007760b10a8> (a java.lang.Object) 67.92/22.87 - locked <0x00000007760af020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "Thread-90" #109 daemon prio=6 os_prio=0 tid=0x00002b6cc400a800 nid=0xe4d2 waiting on condition [0x00002b6ce27d0000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x00000007762568d0> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x0000000776258910> (a java.lang.Object) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.87 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.87 - locked <0x00000006aa95ab98> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.87 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.87 67.92/22.87 "Thread-89" #108 daemon prio=6 os_prio=0 tid=0x00002b6cc4008800 nid=0xe4d1 waiting on condition [0x00002b6ce26cf000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.87 - locked <0x0000000776258af0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.87 - locked <0x00000006ad8b8008> (a java.io.BufferedInputStream) 67.92/22.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.87 - locked <0x00000006ad8ba0c8> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.87 at java.io.Reader.read(Reader.java:100) 67.92/22.87 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.87 67.92/22.87 "process reaper" #107 daemon prio=10 os_prio=0 tid=0x00002b6cc4007000 nid=0xe4d0 waiting on condition [0x00002b6ce25ce000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x0000000776258b38> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.87 - locked <0x000000077625ab78> (a java.lang.Object) 67.92/22.87 - locked <0x0000000776258af0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "Thread-88" #106 daemon prio=6 os_prio=0 tid=0x00002b6c5400b000 nid=0xe4cf waiting on condition [0x00002b6ce2595000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x00000007760b9100> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x00000007760bb140> (a java.lang.Object) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.87 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.87 - locked <0x00000006ae2f9de0> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.87 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.87 67.92/22.87 "Thread-87" #105 daemon prio=6 os_prio=0 tid=0x00002b6c54009000 nid=0xe4ce waiting on condition [0x00002b6ce2494000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.87 - locked <0x00000007760b7020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.87 - locked <0x00000006af39db48> (a java.io.BufferedInputStream) 67.92/22.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.87 - locked <0x00000006af39fc08> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.87 at java.io.Reader.read(Reader.java:100) 67.92/22.87 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.87 67.92/22.87 "process reaper" #104 daemon prio=10 os_prio=0 tid=0x00002b6c54002800 nid=0xe4cd waiting on condition [0x00002b6ce2393000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x00000007760b7068> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.87 - locked <0x00000007760b90a8> (a java.lang.Object) 67.92/22.87 - locked <0x00000007760b7020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "Thread-86" #103 daemon prio=6 os_prio=0 tid=0x00002b6cb800c000 nid=0xe4cc waiting on condition [0x00002b6ce235a000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x000000077627d228> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x000000077627f268> (a java.lang.Object) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.87 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.87 - locked <0x00000006afddf920> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.87 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.87 67.92/22.87 "Thread-85" #102 daemon prio=6 os_prio=0 tid=0x00002b6cb800a000 nid=0xe4cb waiting on condition [0x00002b6ce2259000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.87 - locked <0x000000077627f448> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.87 - locked <0x00000006b1226b78> (a java.io.BufferedInputStream) 67.92/22.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.87 - locked <0x00000006b1228c38> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.87 at java.io.Reader.read(Reader.java:100) 67.92/22.87 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.87 67.92/22.87 "process reaper" #101 daemon prio=10 os_prio=0 tid=0x00002b6cb8008000 nid=0xe4ca waiting on condition [0x00002b6ce2158000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x000000077627f490> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.87 - locked <0x00000007762814d0> (a java.lang.Object) 67.92/22.87 - locked <0x000000077627f448> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "Thread-84" #100 daemon prio=6 os_prio=0 tid=0x00002b6cc8005800 nid=0xe4c9 waiting on condition [0x00002b6ce211f000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x00000007762837a8> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x0000000776287020> (a java.lang.Object) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.87 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.87 - locked <0x00000006b1c68950> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.87 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.87 67.92/22.87 "Thread-83" #99 daemon prio=6 os_prio=0 tid=0x00002b6cc8003800 nid=0xe4c8 waiting on condition [0x00002b6ce201e000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.87 - locked <0x0000000776287200> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.87 - locked <0x00000006b3887c98> (a java.io.BufferedInputStream) 67.92/22.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.87 - locked <0x00000006b3889d58> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.87 at java.io.Reader.read(Reader.java:100) 67.92/22.87 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.87 67.92/22.87 "process reaper" #98 daemon prio=10 os_prio=0 tid=0x00002b6cc8001800 nid=0xe4c7 waiting on condition [0x00002b6c27fec000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x0000000776287248> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.87 - locked <0x0000000776289288> (a java.lang.Object) 67.92/22.87 - locked <0x0000000776287200> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "Thread-82" #97 daemon prio=6 os_prio=0 tid=0x00002b6cd400f000 nid=0xe4c6 waiting on condition [0x00002b6ce1f1d000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x000000077628b560> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x000000077628f020> (a java.lang.Object) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.87 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.87 - locked <0x00000006b4ca5290> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.87 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.87 67.92/22.87 "Thread-81" #96 daemon prio=6 os_prio=0 tid=0x00002b6cd400d000 nid=0xe4c5 waiting on condition [0x00002b6c27f41000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.87 - locked <0x000000077628f200> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.87 - locked <0x00000006b4ca31d0> (a java.io.BufferedInputStream) 67.92/22.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.87 - locked <0x00000006b56e4f80> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.87 at java.io.Reader.read(Reader.java:100) 67.92/22.87 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.87 67.92/22.87 "process reaper" #95 daemon prio=10 os_prio=0 tid=0x00002b6cd4005000 nid=0xe4c4 waiting on condition [0x00002b6c27fb3000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x000000077628f248> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.87 - locked <0x0000000776291288> (a java.lang.Object) 67.92/22.87 - locked <0x000000077628f200> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "Thread-80" #94 daemon prio=6 os_prio=0 tid=0x00002b6cc4005800 nid=0xe4c3 waiting on condition [0x00002b6ce00ff000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:104) 67.92/22.87 - locked <0x0000000776293348> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 67.92/22.87 "Thread-79" #93 daemon prio=6 os_prio=0 tid=0x00002b6cc4004000 nid=0xe4c2 waiting on condition [0x00002b6be3bcc000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x0000000775ec40b8> (a java.lang.Object) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.87 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.87 - locked <0x00000007762cf8b8> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.87 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.87 67.92/22.87 "process reaper" #92 daemon prio=10 os_prio=0 tid=0x00002b6cc4003000 nid=0xe4c1 waiting on condition [0x00002b6c27f7a000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 67.92/22.87 - locked <0x0000000775ec40c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:301) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "process reaper" #91 daemon prio=10 os_prio=0 tid=0x00002b6cdc008800 nid=0xe4c0 waiting on condition [0x00002b6bdbfd7000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 67.92/22.87 - locked <0x00000007762d46f8> (a java.io.FileDescriptor) 67.92/22.87 at java.io.FileInputStream.close(FileInputStream.java:326) 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 67.92/22.87 - locked <0x0000000776307020> (a java.lang.Object) 67.92/22.87 - locked <0x00000007762d46b0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:301) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "Thread-78" #90 daemon prio=6 os_prio=0 tid=0x00002b6cb4006800 nid=0xe4b6 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "Thread-77" #89 daemon prio=6 os_prio=0 tid=0x00002b6cb4004800 nid=0xe4b5 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002b6cb4002800 nid=0xe4b4 waiting on condition [0x00002b6bc3fe7000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:529) 67.92/22.87 - locked <0x00000007760bf048> (a java.lang.Object) 67.92/22.87 - locked <0x00000007760bf020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "Thread-76" #87 daemon prio=6 os_prio=0 tid=0x00002b6cdc005800 nid=0xe4a5 waiting on condition [0x00002b6ce1c1a000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 67.92/22.87 - locked <0x0000000775a41110> (a java.lang.UNIXProcess$ProcessPipeInputStream) 67.92/22.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 67.92/22.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 67.92/22.87 - locked <0x00000006a62f8560> (a java.io.BufferedInputStream) 67.92/22.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 67.92/22.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 67.92/22.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 67.92/22.87 - locked <0x00000006a62fa620> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 67.92/22.87 at java.io.Reader.read(Reader.java:100) 67.92/22.87 at java.util.Scanner.readInput(Scanner.java:804) 67.92/22.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 67.92/22.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 67.92/22.87 67.92/22.87 "Thread-75" #86 daemon prio=6 os_prio=0 tid=0x00002b6cdc004800 nid=0xe49e waiting on condition [0x00002b6ce1b19000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x0000000775a41100> (a java.lang.Object) 67.92/22.87 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 67.92/22.87 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 67.92/22.87 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 67.92/22.87 - locked <0x000000077632f8b8> (a java.io.InputStreamReader) 67.92/22.87 at java.io.InputStreamReader.close(InputStreamReader.java:199) 67.92/22.87 at java.util.Scanner.close(Scanner.java:1093) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 67.92/22.87 67.92/22.87 "ThreadPoolThread71" #84 daemon prio=6 os_prio=0 tid=0x00002b6c4807f000 nid=0xe49c waiting on condition [0x00002b6ce1917000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 67.92/22.87 - locked <0x00000007760bf080> (a java.lang.Object) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:55) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread70" #83 daemon prio=6 os_prio=0 tid=0x00002b6c4807c800 nid=0xe49b in Object.wait() [0x00002b6ce1816000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x000000077627f278> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x000000077627f278> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread67" #80 daemon prio=6 os_prio=0 tid=0x00002b6c48077000 nid=0xe498 in Object.wait() [0x00002b6ce1513000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x0000000776258920> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x0000000776258920> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread66" #79 daemon prio=6 os_prio=0 tid=0x00002b6c48075800 nid=0xe497 in Object.wait() [0x00002b6ce1412000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x0000000776287030> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x0000000776287030> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread63" #76 daemon prio=6 os_prio=0 tid=0x00002b6c48070000 nid=0xe494 in Object.wait() [0x00002b6ce110f000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x000000077628f030> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x000000077628f030> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread55" #68 daemon prio=6 os_prio=0 tid=0x00002b6c48060800 nid=0xe48c runnable [0x00002b6ce0906000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.Thread.setPriority0(Native Method) 67.92/22.87 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.87 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:232) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 67.92/22.87 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 67.92/22.87 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 67.92/22.87 at java.security.AccessController.doPrivileged(Native Method) 67.92/22.87 at java.lang.UNIXProcess.(UNIXProcess.java:257) 67.92/22.87 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 67.92/22.87 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread48" #61 daemon prio=6 os_prio=0 tid=0x00002b6c48053800 nid=0xe484 in Object.wait() [0x00002b6ce01ff000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x0000000775a712b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x0000000775a712b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread45" #58 daemon prio=6 os_prio=0 tid=0x00002b6c4804e800 nid=0xe481 in Object.wait() [0x00002b6c27e3f000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x0000000776323e70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x0000000776323e70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread44" #57 daemon prio=6 os_prio=0 tid=0x00002b6c4804c800 nid=0xe480 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread43" #56 daemon prio=6 os_prio=0 tid=0x00002b6c4804a800 nid=0xe47f in Object.wait() [0x00002b6c27c3d000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x00000006978e5198> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x00000006978e5198> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread42" #55 daemon prio=6 os_prio=0 tid=0x00002b6c48048800 nid=0xe47e in Object.wait() [0x00002b6c27b3d000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x00000006964debf0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x00000006964debf0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread41" #54 daemon prio=6 os_prio=0 tid=0x00002b6c48046800 nid=0xe47d in Object.wait() [0x00002b6c27a3b000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x0000000775a736f8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x0000000775a736f8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread40" #53 daemon prio=6 os_prio=0 tid=0x00002b6c48045000 nid=0xe47c runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread39" #52 daemon prio=6 os_prio=0 tid=0x00002b6c48043000 nid=0xe47b in Object.wait() [0x00002b6c2783a000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x00000007762b41f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x00000007762b41f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread38" #51 daemon prio=6 os_prio=0 tid=0x00002b6c48041000 nid=0xe47a runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread37" #50 daemon prio=6 os_prio=0 tid=0x00002b6c4803f800 nid=0xe479 in Object.wait() [0x00002b6c27637000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x0000000775a5bb00> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x0000000775a5bb00> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread36" #49 daemon prio=6 os_prio=0 tid=0x00002b6c48012000 nid=0xe478 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread35" #48 daemon prio=6 os_prio=0 tid=0x00002b6c4800f000 nid=0xe477 in Object.wait() [0x00002b6be39c9000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x0000000695580048> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x0000000695580048> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread34" #47 daemon prio=6 os_prio=0 tid=0x00002b6c4803d800 nid=0xe476 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread32" #45 daemon prio=6 os_prio=0 tid=0x00002b6c48039000 nid=0xe474 waiting on condition [0x00002b6c27335000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 67.92/22.87 - locked <0x0000000775de2190> (a aprove.Strategies.Abortions.Clock) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread31" #44 daemon prio=6 os_prio=0 tid=0x00002b6c48037000 nid=0xe473 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread30" #43 daemon prio=6 os_prio=0 tid=0x00002b6c48035000 nid=0xe472 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread29" #42 daemon prio=6 os_prio=0 tid=0x00002b6c48033000 nid=0xe471 waiting on condition [0x00002b6c27032000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 67.92/22.87 - locked <0x0000000775ba9858> (a aprove.Strategies.Abortions.Clock) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread27" #40 daemon prio=6 os_prio=0 tid=0x00002b6c4802f000 nid=0xe46f runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread24" #37 daemon prio=6 os_prio=0 tid=0x00002b6c48029800 nid=0xe46c runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread23" #36 daemon prio=6 os_prio=0 tid=0x00002b6c48027800 nid=0xe46b runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread21" #34 daemon prio=6 os_prio=0 tid=0x00002b6c48024000 nid=0xe469 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread20" #33 daemon prio=6 os_prio=0 tid=0x00002b6c48022000 nid=0xe468 waiting on condition [0x00002b6c26729000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 67.92/22.87 - locked <0x0000000775b92e38> (a aprove.Strategies.Abortions.Clock) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread19" #32 daemon prio=6 os_prio=0 tid=0x00002b6c48020800 nid=0xe467 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread18" #31 daemon prio=6 os_prio=0 tid=0x00002b6c4801e800 nid=0xe466 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread17" #30 daemon prio=6 os_prio=0 tid=0x00002b6c4801d000 nid=0xe465 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread15" #28 daemon prio=6 os_prio=0 tid=0x00002b6c4801a000 nid=0xe463 runnable [0x0000000000000000] 67.92/22.87 java.lang.Thread.State: TERMINATED 67.92/22.87 67.92/22.87 "ThreadPoolThread14" #27 daemon prio=6 os_prio=0 tid=0x00002b6c48018000 nid=0xe462 in Object.wait() [0x00002b6be3ccd000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x00000007762564d8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x00000007762564d8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread10" #23 daemon prio=6 os_prio=0 tid=0x00002b6c48010800 nid=0xe45e in Object.wait() [0x00002b6be38c8000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x0000000696e7cb70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x0000000696e7cb70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 67.92/22.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread8" #21 daemon prio=6 os_prio=0 tid=0x00002b6c4800c800 nid=0xe45c in Object.wait() [0x00002b6be28be000] 67.92/22.87 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.87 at java.lang.Object.wait(Native Method) 67.92/22.87 - waiting on <0x000000077625ce08> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at java.lang.Object.wait(Object.java:502) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 67.92/22.87 - locked <0x000000077625ce08> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 67.92/22.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 67.92/22.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b6c40015800 nid=0xe45a runnable [0x00002b6bc3fae000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 67.92/22.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 67.92/22.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 67.92/22.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b6c4800b800 nid=0xe458 waiting on condition [0x00002b6be26bc000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:77) 67.92/22.87 - locked <0x00000007760bf5a0> (a aprove.Strategies.Abortions.Clock) 67.92/22.87 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 67.92/22.87 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 67.92/22.87 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 67.92/22.87 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 67.92/22.87 67.92/22.87 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b6bc48c6800 nid=0xe457 runnable [0x00002b6be27bc000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at java.lang.Thread.setPriority0(Native Method) 67.92/22.87 at java.lang.Thread.setPriority(Thread.java:1095) 67.92/22.87 at java.lang.Thread.init(Thread.java:417) 67.92/22.87 at java.lang.Thread.init(Thread.java:349) 67.92/22.87 at java.lang.Thread.(Thread.java:464) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:405) 67.92/22.87 at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191) 67.92/22.87 - locked <0x0000000440004e28> (a aprove.Strategies.Util.PrioritizableThreadPool) 67.92/22.87 at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26) 67.92/22.87 at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 67.92/22.87 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 67.92/22.87 at java.lang.Thread.run(Thread.java:748) 67.92/22.87 67.92/22.87 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b6bc424c800 nid=0xe451 runnable [0x00002b6be24b6000] 67.92/22.87 java.lang.Thread.State: RUNNABLE 67.92/22.87 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:81) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.87 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 67.92/22.88 at aprove.DPFramework.BasicStructures.GeneralizedRule.(GeneralizedRule.java:110) 67.92/22.88 at aprove.DPFramework.BasicStructures.GeneralizedRule.create(GeneralizedRule.java:132) 67.92/22.88 at aprove.DPFramework.IDPProblem.IGeneralizedRule.toFullGeneralizedRule(IGeneralizedRule.java:161) 67.92/22.88 at aprove.DPFramework.IDPProblem.IGeneralizedRule.hashCode(IGeneralizedRule.java:313) 67.92/22.88 at java.util.HashMap.hash(HashMap.java:338) 67.92/22.88 at java.util.HashMap.remove(HashMap.java:798) 67.92/22.88 at java.util.HashSet.remove(HashSet.java:235) 67.92/22.88 at aprove.Framework.Utility.GenericStructures.CollectionMap.removeFromCollection(CollectionMap.java:246) 67.92/22.88 at aprove.Framework.IntTRS.Compression.RuleMaps.unregisterFromRight(RuleMaps.java:68) 67.92/22.88 at aprove.Framework.IntTRS.Compression.SymbolRemover.tryToRemoveSymbol(SymbolRemover.java:266) 67.92/22.88 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:72) 67.92/22.88 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 67.92/22.88 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 67.92/22.88 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 67.92/22.88 at aprove.InputModules.Programs.llvm.processors.LLVMSEGraphToIntTRSProcessor.process(LLVMSEGraphToIntTRSProcessor.java:43) 67.92/22.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.88 at java.lang.Thread.run(Thread.java:748) 67.92/22.88 67.92/22.88 "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b6bc4246000 nid=0xe450 runnable [0x00002b6be23b9000] 67.92/22.88 java.lang.Thread.State: RUNNABLE 67.92/22.88 at java.util.LinkedList.addAll(LinkedList.java:387) 67.92/22.88 at java.util.LinkedList.(LinkedList.java:119) 67.92/22.88 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) 67.92/22.88 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 67.92/22.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 67.92/22.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 67.92/22.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 67.92/22.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 67.92/22.88 at java.lang.Thread.run(Thread.java:748) 67.92/22.88 67.92/22.88 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b6bc4199800 nid=0xe44d runnable [0x0000000000000000] 67.92/22.88 java.lang.Thread.State: RUNNABLE 67.92/22.88 67.92/22.88 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b6bc4184000 nid=0xe44c waiting on condition [0x0000000000000000] 67.92/22.88 java.lang.Thread.State: RUNNABLE 67.92/22.88 67.92/22.88 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b6bc4182800 nid=0xe44b runnable [0x0000000000000000] 67.92/22.88 java.lang.Thread.State: RUNNABLE 67.92/22.88 67.92/22.88 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b6bc417f800 nid=0xe44a runnable [0x0000000000000000] 67.92/22.88 java.lang.Thread.State: RUNNABLE 67.92/22.88 67.92/22.88 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b6bc417e000 nid=0xe449 waiting on condition [0x0000000000000000] 67.92/22.88 java.lang.Thread.State: RUNNABLE 67.92/22.88 67.92/22.88 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b6bc414a000 nid=0xe448 waiting on condition [0x00002b6be1a10000] 67.92/22.88 java.lang.Thread.State: RUNNABLE 67.92/22.88 at java.io.FileOutputStream.close(FileOutputStream.java:344) 67.92/22.88 - locked <0x0000000777122bd8> (a java.lang.Object) 67.92/22.88 at java.io.FileOutputStream.finalize(FileOutputStream.java:422) 67.92/22.88 at java.lang.System$2.invokeFinalize(System.java:1270) 67.92/22.88 at java.lang.ref.Finalizer.runFinalizer(Finalizer.java:98) 67.92/22.88 at java.lang.ref.Finalizer.access$100(Finalizer.java:34) 67.92/22.88 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:210) 67.92/22.88 67.92/22.88 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b6bc4145800 nid=0xe447 in Object.wait() [0x00002b6be190f000] 67.92/22.88 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.88 at java.lang.Object.wait(Native Method) 67.92/22.88 - waiting on <0x0000000440005338> (a java.lang.ref.Reference$Lock) 67.92/22.88 at java.lang.Object.wait(Object.java:502) 67.92/22.88 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 67.92/22.88 - locked <0x0000000440005338> (a java.lang.ref.Reference$Lock) 67.92/22.88 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 67.92/22.88 67.92/22.88 "main" #1 prio=5 os_prio=0 tid=0x00002b6bc4008800 nid=0xe440 in Object.wait() [0x00002b6bc111f000] 67.92/22.88 java.lang.Thread.State: WAITING (on object monitor) 67.92/22.88 at java.lang.Object.wait(Native Method) 67.92/22.88 - waiting on <0x000000044000bab0> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 67.92/22.88 at java.lang.Object.wait(Object.java:502) 67.92/22.88 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 67.92/22.88 - locked <0x000000044000bab0> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 67.92/22.88 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 67.92/22.88 at aprove.Runtime.AProVE.run(AProVE.java:101) 67.92/22.88 at aprove.CommandLineInterface.Main.run(Main.java:94) 67.92/22.88 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 67.92/22.88 at aprove.Main.doMain(Main.java:54) 67.92/22.88 at aprove.Main.main(Main.java:20) 67.92/22.88 67.92/22.88 "VM Thread" os_prio=0 tid=0x00002b6bc413e000 nid=0xe446 runnable 67.92/22.88 67.92/22.88 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b6bc401e000 nid=0xe442 runnable 67.92/22.88 67.92/22.88 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b6bc401f800 nid=0xe443 runnable 67.92/22.88 67.92/22.88 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b6bc4021800 nid=0xe444 runnable 67.92/22.88 67.92/22.88 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b6bc4023800 nid=0xe445 runnable 67.92/22.88 67.92/22.88 "VM Periodic Task Thread" os_prio=0 tid=0x00002b6bc419c000 nid=0xe44e waiting on condition 67.92/22.88 68.28/22.96 JNI global references: 301 68.28/22.96 70.22/23.57 Heap 70.22/23.57 PSYoungGen total 4281856K, used 2418424K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 70.22/23.57 eden space 3670528K, 65% used [0x0000000695580000,0x00000007273f6370,0x0000000775600000) 70.22/23.57 from space 611328K, 4% used [0x0000000775600000,0x0000000777147e10,0x000000079ab00000) 70.22/23.57 to space 35328K, 0% used [0x00000007bdd80000,0x00000007bdd80000,0x00000007c0000000) 70.22/23.57 ParOldGen total 9786880K, used 12158K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 70.22/23.57 object space 9786880K, 0% used [0x0000000440000000,0x0000000440bdfbb0,0x0000000695580000) 70.22/23.57 Metaspace used 23011K, capacity 23298K, committed 23680K, reserved 1071104K 70.22/23.57 class space used 2516K, capacity 2589K, committed 2688K, reserved 1048576K 70.22/23.57 101.82/32.83 EOF