87.04/36.72 2019-03-28 11:56:20 87.04/36.72 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 87.04/36.72 87.04/36.72 "Thread-204" #226 daemon prio=6 os_prio=0 tid=0x00002ad9f8014000 nid=0x5058 runnable [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "Thread-199" #225 daemon prio=6 os_prio=0 tid=0x00002ad9f8013000 nid=0x5050 waiting on condition [0x00002ada1a927000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 87.04/36.72 - locked <0x0000000731c2efb0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x0000000779ebd118> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x0000000779ebf1d8> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-202" #224 daemon prio=6 os_prio=0 tid=0x00002ad9c4006000 nid=0x5047 runnable [0x00002ada1a825000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileInputStream.readBytes(Native Method) 87.04/36.72 at java.io.FileInputStream.read(FileInputStream.java:255) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076291d1a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x0000000777742210> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x00000007777442d0> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-200" #223 daemon prio=6 os_prio=0 tid=0x00002ad9c4005800 nid=0x5044 runnable [0x00002ada1a724000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileInputStream.readBytes(Native Method) 87.04/36.72 at java.io.FileInputStream.read(FileInputStream.java:255) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076291b0e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x00000007735d6918> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x00000007735d89d8> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-201" #222 daemon prio=6 os_prio=0 tid=0x00002ad9c0004800 nid=0x5042 runnable [0x00002ad916ac2000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileInputStream.readBytes(Native Method) 87.04/36.72 at java.io.FileInputStream.read(FileInputStream.java:255) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076271f2a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000077114d3c0> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x000000077114f480> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-198" #221 daemon prio=6 os_prio=0 tid=0x00002ad9c0001000 nid=0x503d runnable [0x00002ad917d7e000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileInputStream.readBytes(Native Method) 87.04/36.72 at java.io.FileInputStream.read(FileInputStream.java:255) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076271d1e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076f56f798> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x000000076f571858> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-196" #218 daemon prio=6 os_prio=0 tid=0x00002ad9f0005000 nid=0x5038 waiting on condition [0x00002ad9154b2000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069e5646a0> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069e566708> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x00000007682f8f80> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-197" #220 daemon prio=6 os_prio=0 tid=0x0000000001223800 nid=0x5037 waiting on condition [0x00002ada1a624000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069ccff9b8> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069cd01a20> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x000000076671b358> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-195" #219 daemon prio=6 os_prio=0 tid=0x000000000121e800 nid=0x5036 waiting on condition [0x00002ada1a523000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069ccfd8f8> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069ccff960> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x0000000764b3d730> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-194" #217 daemon prio=6 os_prio=0 tid=0x00002ad9f0003000 nid=0x5035 waiting on condition [0x00002ada1a422000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069e5625e0> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069e564648> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x00000007649415f8> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-193" #216 daemon prio=6 os_prio=0 tid=0x00002ad928255800 nid=0x5034 waiting on condition [0x00002ad916cc5000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069f8fe330> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069f900398> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x00000007647454c0> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-192" #215 daemon prio=6 os_prio=0 tid=0x00002ad928253800 nid=0x5033 waiting on condition [0x00002ad91c0ff000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069f8fc270> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069f8fe2d8> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x0000000764549388> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "process reaper" #214 daemon prio=10 os_prio=0 tid=0x00002ad928251800 nid=0x5032 waiting on condition [0x00002ad93bfec000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.Object.notifyAll(Native Method) 87.04/36.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:294) 87.04/36.72 - locked <0x000000069f8fa100> (a java.lang.UNIXProcess) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "Thread-191" #213 daemon prio=6 os_prio=0 tid=0x00002ad93c014000 nid=0x5031 waiting on condition [0x00002ad917f80000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x0000000696248c88> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069624acf0> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x000000076434d250> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-190" #212 daemon prio=6 os_prio=0 tid=0x00002ad93c012800 nid=0x5030 waiting on condition [0x00002ad917405000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 87.04/36.72 - locked <0x0000000696246b80> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076414f058> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x0000000764151118> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "process reaper" #211 daemon prio=10 os_prio=0 tid=0x00002ad93c011800 nid=0x502f waiting on condition [0x00002ad93bfb3000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x0000000696246bc8> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 87.04/36.72 - locked <0x0000000696248c30> (a java.lang.Object) 87.04/36.72 - locked <0x0000000696246b80> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "Thread-189" #210 daemon prio=6 os_prio=0 tid=0x00002ad9f8011000 nid=0x502e waiting on condition [0x00002ad91c402000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069d5a56e8> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069d5a7750> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x0000000763f54fe0> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-188" #209 daemon prio=6 os_prio=0 tid=0x00002ad9f8010000 nid=0x502d waiting on condition [0x00002ad916ec7000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 87.04/36.72 - locked <0x000000069d5a35e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x00000007632d5ab8> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x00000007632d7b78> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "process reaper" #208 daemon prio=10 os_prio=0 tid=0x00002ad9f8009800 nid=0x502c waiting on condition [0x00002ad93bf7a000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069d5a3628> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 87.04/36.72 - locked <0x000000069d5a5690> (a java.lang.Object) 87.04/36.72 - locked <0x000000069d5a35e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "Thread-187" #207 daemon prio=5 os_prio=0 tid=0x00002ad95c06c800 nid=0x502b waiting on condition [0x00002ad91c301000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x00000006974b00f0> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x00000006974b2158> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x0000000762ee18c0> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-186" #206 daemon prio=5 os_prio=0 tid=0x00002ad95c06c000 nid=0x502a waiting on condition [0x00002ad91c200000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 87.04/36.72 - locked <0x00000006974adfe8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x0000000762ce36c8> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x0000000762ce5788> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "process reaper" #205 daemon prio=10 os_prio=0 tid=0x00002ad95c06a000 nid=0x5029 waiting on condition [0x00002ad91ffe8000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x00000006974ae030> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 87.04/36.72 - locked <0x00000006974b0098> (a java.lang.Object) 87.04/36.72 - locked <0x00000006974adfe8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "Thread-185" #204 daemon prio=6 os_prio=0 tid=0x00002ada04037000 nid=0x5028 waiting on condition [0x00002ad917304000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x00000006db466908> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x00000006db468970> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x0000000761097d70> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-184" #203 daemon prio=6 os_prio=0 tid=0x00002ada04012000 nid=0x5027 waiting on condition [0x00002ad916fc8000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 87.04/36.72 - locked <0x00000006db464800> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x00000007604b7678> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x00000007604b9738> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "process reaper" #202 daemon prio=10 os_prio=0 tid=0x00002ada04011000 nid=0x5026 waiting on condition [0x00002ad91ffaf000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x00000006db464848> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 87.04/36.72 - locked <0x00000006db4668b0> (a java.lang.Object) 87.04/36.72 - locked <0x00000006db464800> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "Thread-183" #201 daemon prio=6 os_prio=0 tid=0x00002ad980015000 nid=0x5024 waiting on condition [0x00002ada1a321000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x000000069844b948> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069844d9b0> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x000000075db341b0> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "Thread-182" #200 daemon prio=6 os_prio=0 tid=0x00002ad98000e800 nid=0x5023 waiting on condition [0x00002ada1a220000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.72 - locked <0x0000000698449888> (a java.io.FileDescriptor) 87.04/36.72 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.72 - locked <0x000000069844b8f0> (a java.lang.Object) 87.04/36.72 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 87.04/36.72 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 87.04/36.72 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 87.04/36.72 - locked <0x000000075d543e28> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.close(InputStreamReader.java:199) 87.04/36.72 at java.util.Scanner.close(Scanner.java:1093) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 87.04/36.72 87.04/36.72 "ThreadPoolThread153" #199 daemon prio=6 os_prio=0 tid=0x00002ad96410d800 nid=0x5022 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread152" #198 daemon prio=6 os_prio=0 tid=0x00002ad96410b800 nid=0x5021 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread151" #197 daemon prio=6 os_prio=0 tid=0x00002ad964109800 nid=0x5020 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread150" #196 daemon prio=6 os_prio=0 tid=0x00002ad964107800 nid=0x501f waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread149" #195 daemon prio=6 os_prio=0 tid=0x00002ad964105800 nid=0x501e waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread148" #194 daemon prio=6 os_prio=0 tid=0x00002ad964103800 nid=0x501d runnable [0x00002ada19c19000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.Thread.setPriority0(Native Method) 87.04/36.72 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.72 at java.lang.Thread.init(Thread.java:417) 87.04/36.72 at java.lang.Thread.init(Thread.java:349) 87.04/36.72 at java.lang.Thread.(Thread.java:678) 87.04/36.72 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.72 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.72 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.72 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.72 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.72 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.72 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread147" #193 daemon prio=6 os_prio=0 tid=0x00002ad964101800 nid=0x501c waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread146" #192 daemon prio=6 os_prio=0 tid=0x00002ad9640ff800 nid=0x501b runnable [0x00002ada19a16000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.Thread.setPriority0(Native Method) 87.04/36.72 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.72 at java.lang.Thread.init(Thread.java:417) 87.04/36.72 at java.lang.Thread.init(Thread.java:349) 87.04/36.72 at java.lang.Thread.(Thread.java:678) 87.04/36.72 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.72 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.72 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.72 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.72 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.72 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.72 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread145" #191 daemon prio=6 os_prio=0 tid=0x00002ad9640fd800 nid=0x501a runnable [0x00002ada19915000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.Thread.setPriority0(Native Method) 87.04/36.72 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.72 at java.lang.Thread.init(Thread.java:417) 87.04/36.72 at java.lang.Thread.init(Thread.java:349) 87.04/36.72 at java.lang.Thread.(Thread.java:678) 87.04/36.72 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.72 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.72 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.72 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.72 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.72 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.72 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread144" #190 daemon prio=6 os_prio=0 tid=0x00002ad9640fb000 nid=0x5019 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread143" #189 daemon prio=6 os_prio=0 tid=0x00002ad9640f9000 nid=0x5018 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread142" #188 daemon prio=6 os_prio=0 tid=0x00002ad9640f7000 nid=0x5017 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread141" #187 daemon prio=6 os_prio=0 tid=0x00002ad9640f5000 nid=0x5016 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread140" #186 daemon prio=6 os_prio=0 tid=0x00002ad9640f3000 nid=0x5015 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread139" #185 daemon prio=6 os_prio=0 tid=0x00002ad9640f1000 nid=0x5014 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread138" #184 daemon prio=6 os_prio=0 tid=0x00002ad9640ef000 nid=0x5013 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread137" #183 daemon prio=6 os_prio=0 tid=0x00002ad9640ed000 nid=0x5012 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread136" #182 daemon prio=6 os_prio=0 tid=0x00002ad9640eb000 nid=0x5011 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread135" #181 daemon prio=6 os_prio=0 tid=0x00002ad9640e9000 nid=0x5010 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread134" #180 daemon prio=6 os_prio=0 tid=0x00002ad9640e7000 nid=0x500f waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread133" #179 daemon prio=6 os_prio=0 tid=0x00002ad9640e5000 nid=0x500e waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread132" #178 daemon prio=6 os_prio=0 tid=0x00002ad9640e3000 nid=0x500d waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread131" #177 daemon prio=6 os_prio=0 tid=0x00002ad9640e1000 nid=0x500c waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread130" #176 daemon prio=6 os_prio=0 tid=0x00002ad9640df800 nid=0x500b waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread129" #175 daemon prio=6 os_prio=0 tid=0x00002ad9640dd800 nid=0x500a waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread128" #174 daemon prio=6 os_prio=0 tid=0x00002ad9640db800 nid=0x5009 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread127" #173 daemon prio=6 os_prio=0 tid=0x00002ad9640da000 nid=0x5008 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread126" #172 daemon prio=6 os_prio=0 tid=0x00002ad9640d8000 nid=0x5007 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread125" #171 daemon prio=6 os_prio=0 tid=0x00002ad9640d6800 nid=0x5006 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread124" #170 daemon prio=6 os_prio=0 tid=0x00002ad9640d4800 nid=0x5005 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread123" #169 daemon prio=6 os_prio=0 tid=0x00002ad9640d3000 nid=0x5004 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread122" #168 daemon prio=6 os_prio=0 tid=0x00002ad9640d1000 nid=0x5003 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread121" #167 daemon prio=6 os_prio=0 tid=0x00002ad9640cf000 nid=0x5002 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread120" #166 daemon prio=6 os_prio=0 tid=0x00002ad9640cd800 nid=0x5001 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread119" #165 daemon prio=6 os_prio=0 tid=0x00002ad9640cb800 nid=0x5000 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread118" #164 daemon prio=6 os_prio=0 tid=0x00002ad9640ca000 nid=0x4fff waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread117" #163 daemon prio=6 os_prio=0 tid=0x00002ad9640c8000 nid=0x4ffe waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread116" #162 daemon prio=6 os_prio=0 tid=0x00002ad9640c6800 nid=0x4ffd in Object.wait() [0x00002ad93bb3d000] 87.04/36.72 java.lang.Thread.State: WAITING (on object monitor) 87.04/36.72 at java.lang.Object.wait(Native Method) 87.04/36.72 - waiting on <0x000000076271b0b8> (a java.lang.UNIXProcess) 87.04/36.72 at java.lang.Object.wait(Object.java:502) 87.04/36.72 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 87.04/36.72 - locked <0x000000076271b0b8> (a java.lang.UNIXProcess) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread115" #161 daemon prio=6 os_prio=0 tid=0x00002ad9640c4800 nid=0x4ffc in Object.wait() [0x00002ad93ba3c000] 87.04/36.72 java.lang.Thread.State: WAITING (on object monitor) 87.04/36.72 at java.lang.Object.wait(Native Method) 87.04/36.72 - waiting on <0x0000000762918fb0> (a java.lang.UNIXProcess) 87.04/36.72 at java.lang.Object.wait(Object.java:502) 87.04/36.72 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 87.04/36.72 - locked <0x0000000762918fb0> (a java.lang.UNIXProcess) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread114" #160 daemon prio=6 os_prio=0 tid=0x00002ad9640c2800 nid=0x4ffb waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread113" #159 daemon prio=6 os_prio=0 tid=0x00002ad9640c1000 nid=0x4ffa waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread112" #158 daemon prio=6 os_prio=0 tid=0x00002ad9640bf000 nid=0x4ff8 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread111" #157 daemon prio=6 os_prio=0 tid=0x00002ad9640bd000 nid=0x4ff7 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread110" #156 daemon prio=6 os_prio=0 tid=0x00002ad9640bb000 nid=0x4ff6 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread109" #155 daemon prio=6 os_prio=0 tid=0x00002ad9640b9000 nid=0x4ff5 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread108" #154 daemon prio=6 os_prio=0 tid=0x00002ad9640b7800 nid=0x4ff4 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread107" #153 daemon prio=6 os_prio=0 tid=0x00002ad9640b5800 nid=0x4ff3 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread106" #152 daemon prio=6 os_prio=0 tid=0x00002ad9640b3800 nid=0x4ff0 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread105" #151 daemon prio=6 os_prio=0 tid=0x00002ad9640b2000 nid=0x4fec waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread104" #150 daemon prio=6 os_prio=0 tid=0x00002ad9640b0000 nid=0x4fe9 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread103" #149 daemon prio=6 os_prio=0 tid=0x00002ad9640ae000 nid=0x4fe6 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread102" #148 daemon prio=6 os_prio=0 tid=0x00002ad9640ac800 nid=0x4fe5 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread101" #147 daemon prio=6 os_prio=0 tid=0x00002ad9640aa800 nid=0x4fe2 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread100" #146 daemon prio=6 os_prio=0 tid=0x00002ad9640a9000 nid=0x4fe1 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread99" #145 daemon prio=6 os_prio=0 tid=0x00002ad9640a6800 nid=0x4fe0 in Object.wait() [0x00002ad93aa2c000] 87.04/36.72 java.lang.Thread.State: WAITING (on object monitor) 87.04/36.72 at java.lang.Object.wait(Native Method) 87.04/36.72 - waiting on <0x00000006db468b90> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.72 at java.lang.Object.wait(Object.java:502) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 87.04/36.72 - locked <0x00000006db468b90> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 87.04/36.72 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 87.04/36.72 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 87.04/36.72 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 87.04/36.72 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 87.04/36.72 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread98" #144 daemon prio=6 os_prio=0 tid=0x00002ad9640a5000 nid=0x4fdf runnable [0x00002ad93a92a000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at immutables.Immutable.ImmutableIterator.next(Unknown Source) 87.04/36.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:600) 87.04/36.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread97" #143 daemon prio=6 os_prio=0 tid=0x00002ad9640a3000 nid=0x4fde runnable [0x00002ad93a828000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.Thread.setPriority0(Native Method) 87.04/36.72 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.72 at java.lang.Thread.init(Thread.java:417) 87.04/36.72 at java.lang.Thread.init(Thread.java:349) 87.04/36.72 at java.lang.Thread.(Thread.java:678) 87.04/36.72 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.72 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.72 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.72 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.72 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.72 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.72 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread96" #142 daemon prio=6 os_prio=0 tid=0x00002ad9640a1800 nid=0x4fdd runnable [0x00002ad93a728000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:117) 87.04/36.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:169) 87.04/36.72 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:695) 87.04/36.72 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread95" #141 daemon prio=6 os_prio=0 tid=0x00002ad96409f800 nid=0x4fdc runnable [0x00002ad93a627000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.Thread.setPriority0(Native Method) 87.04/36.72 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.72 at java.lang.Thread.init(Thread.java:417) 87.04/36.72 at java.lang.Thread.init(Thread.java:349) 87.04/36.72 at java.lang.Thread.(Thread.java:678) 87.04/36.72 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.72 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.72 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.72 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.72 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.72 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.72 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 87.04/36.72 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread94" #140 daemon prio=6 os_prio=0 tid=0x00002ad96409d800 nid=0x4fdb waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread93" #139 daemon prio=6 os_prio=0 tid=0x00002ad96409b800 nid=0x4fda waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread92" #138 daemon prio=6 os_prio=0 tid=0x00002ad964099800 nid=0x4fd9 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread91" #137 daemon prio=6 os_prio=0 tid=0x00002ad964098000 nid=0x4fd8 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread90" #136 daemon prio=6 os_prio=0 tid=0x00002ad964096000 nid=0x4fd7 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread89" #135 daemon prio=6 os_prio=0 tid=0x00002ad964094000 nid=0x4fd6 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread88" #134 daemon prio=6 os_prio=0 tid=0x00002ad964092800 nid=0x4fd5 waiting on condition [0x00002ad91f970000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:394) 87.04/36.72 - locked <0x000000069f8fa100> (a java.lang.UNIXProcess) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 87.04/36.72 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread87" #133 daemon prio=6 os_prio=0 tid=0x00002ad964091800 nid=0x4fd4 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread86" #132 daemon prio=6 os_prio=0 tid=0x00002ad964090800 nid=0x4fd3 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread85" #131 daemon prio=6 os_prio=0 tid=0x00002ad964019800 nid=0x4fd2 in Object.wait() [0x00002ad91c503000] 87.04/36.72 java.lang.Thread.State: WAITING (on object monitor) 87.04/36.72 at java.lang.Object.wait(Native Method) 87.04/36.72 - waiting on <0x000000069624af10> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.72 at java.lang.Object.wait(Object.java:502) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 87.04/36.72 - locked <0x000000069624af10> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 87.04/36.72 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread83" #127 daemon prio=6 os_prio=0 tid=0x00002ad964012000 nid=0x4fce waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread81" #119 daemon prio=6 os_prio=0 tid=0x00002ad96408f800 nid=0x4fb2 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "process reaper" #116 daemon prio=10 os_prio=0 tid=0x00002ad974014000 nid=0x4faa waiting on condition [0x00002ad91f76e000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:529) 87.04/36.72 - locked <0x00000007b848f018> (a java.lang.Object) 87.04/36.72 - locked <0x00000007b848cf90> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "process reaper" #113 daemon prio=10 os_prio=0 tid=0x00002ad95c067000 nid=0x4f9c waiting on condition [0x00002ad917ff2000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 87.04/36.72 - locked <0x0000000698449840> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.72 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.72 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread80" #112 daemon prio=6 os_prio=0 tid=0x00002ad96408d800 nid=0x4f9b waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread79" #111 daemon prio=6 os_prio=0 tid=0x00002ad96408b800 nid=0x4f9a waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread78" #110 daemon prio=6 os_prio=0 tid=0x00002ad964089800 nid=0x4f99 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread77" #109 daemon prio=6 os_prio=0 tid=0x00002ad964087800 nid=0x4f98 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread76" #108 daemon prio=6 os_prio=0 tid=0x00002ad964085800 nid=0x4f97 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread75" #107 daemon prio=6 os_prio=0 tid=0x00002ad964083800 nid=0x4f96 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread74" #106 daemon prio=6 os_prio=0 tid=0x00002ad964081000 nid=0x4f95 waiting on condition [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "ThreadPoolThread73" #105 daemon prio=6 os_prio=0 tid=0x00002ad96407f000 nid=0x4f94 runnable [0x00002ad91ee2b000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:361) 87.04/36.72 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) 87.04/36.72 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) 87.04/36.72 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) 87.04/36.72 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) 87.04/36.72 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 87.04/36.72 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 87.04/36.72 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 87.04/36.72 at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.72 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.72 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.72 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.72 at java.lang.Thread.run(Thread.java:748) 87.04/36.72 87.04/36.72 "ThreadPoolThread72" #104 daemon prio=6 os_prio=0 tid=0x00002ad96407d000 nid=0x4f93 runnable [0x00002ad91ed2a000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.implication(IntegerConstraintCleaner.java:148) 87.04/36.72 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:376) 87.04/36.72 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) 87.04/36.73 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread71" #103 daemon prio=6 os_prio=0 tid=0x00002ad96407b000 nid=0x4f92 runnable [0x00002ad91ec29000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.implication(IntegerConstraintCleaner.java:148) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:374) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) 87.04/36.73 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread70" #102 daemon prio=6 os_prio=0 tid=0x00002ad964079000 nid=0x4f91 runnable [0x00002ad91eb28000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:372) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) 87.04/36.73 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread69" #101 daemon prio=6 os_prio=0 tid=0x00002ad964077000 nid=0x4f90 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread68" #100 daemon prio=6 os_prio=0 tid=0x00002ad964075000 nid=0x4f8f waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread67" #99 daemon prio=6 os_prio=0 tid=0x00002ad964073000 nid=0x4f8e waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread66" #98 daemon prio=6 os_prio=0 tid=0x00002ad964071000 nid=0x4f8d waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread65" #97 daemon prio=6 os_prio=0 tid=0x00002ad96406f800 nid=0x4f8c waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread64" #96 daemon prio=6 os_prio=0 tid=0x00002ad96406d800 nid=0x4f8b waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread63" #95 daemon prio=6 os_prio=0 tid=0x00002ad96406b800 nid=0x4f8a waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread62" #94 daemon prio=6 os_prio=0 tid=0x00002ad964069800 nid=0x4f89 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread61" #93 daemon prio=6 os_prio=0 tid=0x00002ad964067000 nid=0x4f88 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread60" #92 daemon prio=6 os_prio=0 tid=0x00002ad964065000 nid=0x4f87 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread59" #91 daemon prio=6 os_prio=0 tid=0x00002ad964063000 nid=0x4f86 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread58" #90 daemon prio=6 os_prio=0 tid=0x00002ad964061000 nid=0x4f85 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread57" #89 daemon prio=6 os_prio=0 tid=0x00002ad96405f800 nid=0x4f84 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread56" #88 daemon prio=6 os_prio=0 tid=0x00002ad96405d800 nid=0x4f83 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread55" #87 daemon prio=6 os_prio=0 tid=0x00002ad96405b800 nid=0x4f82 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread54" #86 daemon prio=6 os_prio=0 tid=0x00002ad964059000 nid=0x4f81 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread53" #85 daemon prio=6 os_prio=0 tid=0x00002ad964057000 nid=0x4f80 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread52" #84 daemon prio=6 os_prio=0 tid=0x00002ad964055000 nid=0x4f7f waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread51" #83 daemon prio=6 os_prio=0 tid=0x00002ad964053800 nid=0x4f7e runnable [0x00002ad91d816000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.Object.getClass(Native Method) 87.04/36.73 at aprove.Strategies.Abortions.TrackProcessOnLinux.grabUnixPidThroughBlackMagic(TrackProcessOnLinux.java:89) 87.04/36.73 at aprove.Strategies.Abortions.TrackProcessOnLinux.(TrackProcessOnLinux.java:26) 87.04/36.73 at aprove.Strategies.Abortions.TrackProcess.create(TrackProcess.java:26) 87.04/36.73 at aprove.Strategies.Abortions.TrackerFactory.process(TrackerFactory.java:38) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:48) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread50" #82 daemon prio=6 os_prio=0 tid=0x00002ad964051800 nid=0x4f7d runnable [0x00002ad91d714000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintConstant.compareTo(IntegerConstraintCleaner.java:1368) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.implication(IntegerConstraintCleaner.java:181) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:372) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) 87.04/36.73 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread49" #81 daemon prio=6 os_prio=0 tid=0x00002ad96404f800 nid=0x4f7c waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread48" #80 daemon prio=6 os_prio=0 tid=0x00002ad96404d800 nid=0x4f7b runnable [0x00002ad91d511000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.Thread.setPriority0(Native Method) 87.04/36.73 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.73 at java.lang.Thread.init(Thread.java:417) 87.04/36.73 at java.lang.Thread.init(Thread.java:349) 87.04/36.73 at java.lang.Thread.(Thread.java:678) 87.04/36.73 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.73 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.73 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.73 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.73 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.73 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.73 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.73 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 87.04/36.73 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread47" #79 daemon prio=6 os_prio=0 tid=0x00002ad96404b000 nid=0x4f7a waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread46" #78 daemon prio=6 os_prio=0 tid=0x00002ad964049000 nid=0x4f79 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread45" #77 daemon prio=6 os_prio=0 tid=0x00002ad964047000 nid=0x4f78 runnable [0x00002ad91d20e000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.Thread.setPriority0(Native Method) 87.04/36.73 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.73 at java.lang.Thread.init(Thread.java:417) 87.04/36.73 at java.lang.Thread.init(Thread.java:349) 87.04/36.73 at java.lang.Thread.(Thread.java:678) 87.04/36.73 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.73 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.73 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.73 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.73 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.73 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.73 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread44" #76 daemon prio=6 os_prio=0 tid=0x00002ad964045000 nid=0x4f77 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread43" #75 daemon prio=6 os_prio=0 tid=0x00002ad964043000 nid=0x4f76 in Object.wait() [0x00002ad91d00e000] 87.04/36.73 java.lang.Thread.State: WAITING (on object monitor) 87.04/36.73 at java.lang.Object.wait(Native Method) 87.04/36.73 - waiting on <0x000000069cd01a60> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.73 at java.lang.Object.wait(Object.java:502) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 87.04/36.73 - locked <0x000000069cd01a60> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 87.04/36.73 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread42" #74 daemon prio=6 os_prio=0 tid=0x00002ad964041000 nid=0x4f75 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread41" #73 daemon prio=6 os_prio=0 tid=0x00002ad96403f000 nid=0x4f74 runnable [0x00002ad91ce0b000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.Thread.setPriority0(Native Method) 87.04/36.73 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.73 at java.lang.Thread.init(Thread.java:417) 87.04/36.73 at java.lang.Thread.init(Thread.java:349) 87.04/36.73 at java.lang.Thread.(Thread.java:678) 87.04/36.73 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.73 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.73 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.73 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.73 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.73 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.73 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 87.04/36.73 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread40" #72 daemon prio=6 os_prio=0 tid=0x00002ad96403d000 nid=0x4f73 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread39" #71 daemon prio=6 os_prio=0 tid=0x00002ad96403b000 nid=0x4f72 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread38" #70 daemon prio=6 os_prio=0 tid=0x00002ad964039000 nid=0x4f71 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread37" #69 daemon prio=6 os_prio=0 tid=0x00002ad964037000 nid=0x4f70 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread36" #68 daemon prio=6 os_prio=0 tid=0x00002ad964035000 nid=0x4f6f waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread35" #67 daemon prio=6 os_prio=0 tid=0x00002ad964033000 nid=0x4f6e in Object.wait() [0x00002ad91c806000] 87.04/36.73 java.lang.Thread.State: WAITING (on object monitor) 87.04/36.73 at java.lang.Object.wait(Native Method) 87.04/36.73 - waiting on <0x000000069d5a7970> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.73 at java.lang.Object.wait(Object.java:502) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 87.04/36.73 - locked <0x000000069d5a7970> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 87.04/36.73 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread34" #66 daemon prio=6 os_prio=0 tid=0x00002ad964031800 nid=0x4f6d waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread33" #65 daemon prio=6 os_prio=0 tid=0x00002ad96402f800 nid=0x4f6c in Object.wait() [0x00002ad91c604000] 87.04/36.73 java.lang.Thread.State: WAITING (on object monitor) 87.04/36.73 at java.lang.Object.wait(Native Method) 87.04/36.73 - waiting on <0x000000069e566748> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.73 at java.lang.Object.wait(Object.java:502) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 87.04/36.73 - locked <0x000000069e566748> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 87.04/36.73 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "process reaper" #60 daemon prio=10 os_prio=0 tid=0x00002ad9ac003800 nid=0x4f67 waiting on condition [0x00002ad917fb9000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:529) 87.04/36.73 - locked <0x00000007b84a2010> (a java.lang.Object) 87.04/36.73 - locked <0x00000007b8497a48> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.73 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread30" #57 daemon prio=6 os_prio=0 tid=0x00002ad964029800 nid=0x4f64 waiting on condition [0x00002ad917e7f000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.io.FileOutputStream.close(FileOutputStream.java:344) 87.04/36.73 - locked <0x00000007b845e698> (a java.lang.Object) 87.04/36.73 at java.io.FilterOutputStream.close(FilterOutputStream.java:159) 87.04/36.73 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 87.04/36.73 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 87.04/36.73 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 87.04/36.73 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "process reaper" #52 daemon prio=10 os_prio=0 tid=0x00002ad9600d1000 nid=0x4f5d waiting on condition [0x00002ad917c7d000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 87.04/36.73 - locked <0x000000069e562598> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.73 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread27" #51 daemon prio=6 os_prio=0 tid=0x00002ad964025000 nid=0x4f5b runnable [0x00002ad917c43000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner$IntegerConstraintConstant.equals(IntegerConstraintCleaner.java:1383) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.implication(IntegerConstraintCleaner.java:148) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:378) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) 87.04/36.73 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread26" #50 daemon prio=6 os_prio=0 tid=0x00002ad964023800 nid=0x4f59 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread25" #49 daemon prio=6 os_prio=0 tid=0x00002ad964021800 nid=0x4f57 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread24" #48 daemon prio=6 os_prio=0 tid=0x00002ad964020000 nid=0x4f56 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread23" #47 daemon prio=6 os_prio=0 tid=0x00002ad96401e000 nid=0x4f53 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread22" #46 daemon prio=6 os_prio=0 tid=0x00002ad96401d000 nid=0x4f50 runnable [0x00002ad9169c1000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:354) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.perform(IntegerConstraintCleaner.java:458) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.IntegerConstraintCleaner.clean(IntegerConstraintCleaner.java:80) 87.04/36.73 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:144) 87.04/36.73 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:83) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 87.04/36.73 at aprove.InputModules.Programs.llvm.processors.LLVMLassoToIntTRSProcessor.process(LLVMLassoToIntTRSProcessor.java:53) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "process reaper" #45 daemon prio=10 os_prio=0 tid=0x00002ad97c015800 nid=0x4f4d waiting on condition [0x00002ad917840000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 87.04/36.73 - locked <0x0000000731c2eff8> (a java.io.FileDescriptor) 87.04/36.73 at java.io.FileInputStream.close(FileInputStream.java:326) 87.04/36.73 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 87.04/36.73 - locked <0x0000000731c31060> (a java.lang.Object) 87.04/36.73 - locked <0x0000000731c2efb0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.73 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread21" #44 daemon prio=6 os_prio=0 tid=0x00002ad96401c000 nid=0x4f4b in Object.wait() [0x00002ad915ab8000] 87.04/36.73 java.lang.Thread.State: WAITING (on object monitor) 87.04/36.73 at java.lang.Object.wait(Native Method) 87.04/36.73 - waiting on <0x000000069844d9f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.73 at java.lang.Object.wait(Object.java:502) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 87.04/36.73 - locked <0x000000069844d9f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 87.04/36.73 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread20" #43 daemon prio=6 os_prio=0 tid=0x00002ad96401b000 nid=0x4f48 waiting on condition [0x0000000000000000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 87.04/36.73 "ThreadPoolThread19" #42 daemon prio=6 os_prio=0 tid=0x00002ad96400d800 nid=0x4f47 runnable [0x00002ad9156b2000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.Thread.setPriority0(Native Method) 87.04/36.73 at java.lang.Thread.setPriority(Thread.java:1095) 87.04/36.73 at java.lang.Thread.init(Thread.java:417) 87.04/36.73 at java.lang.Thread.init(Thread.java:349) 87.04/36.73 at java.lang.Thread.(Thread.java:678) 87.04/36.73 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 87.04/36.73 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 87.04/36.73 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 87.04/36.73 at java.security.AccessController.doPrivileged(Native Method) 87.04/36.73 at java.lang.UNIXProcess.(UNIXProcess.java:257) 87.04/36.73 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 87.04/36.73 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 87.04/36.73 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 87.04/36.73 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 87.04/36.73 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 87.04/36.73 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread17" #40 daemon prio=6 os_prio=0 tid=0x00002ad964017800 nid=0x4f41 waiting on condition [0x00002ad917505000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 87.04/36.73 - locked <0x0000000443704760> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 87.04/36.73 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 87.04/36.73 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 87.04/36.73 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 87.04/36.73 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 87.04/36.73 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 87.04/36.73 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 87.04/36.73 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "process reaper" #37 daemon prio=10 os_prio=0 tid=0x00002ad978021000 nid=0x4f38 runnable [0x00002ad917203000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 87.04/36.73 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 87.04/36.73 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.04/36.73 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "ThreadPoolThread16" #34 daemon prio=6 os_prio=0 tid=0x00002ad964014000 nid=0x4f30 waiting on condition [0x00002ad916dc6000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.04/36.73 - locked <0x00000007b84a40a8> (a java.lang.Object) 87.04/36.73 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:55) 87.04/36.73 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.04/36.73 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.04/36.73 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.04/36.73 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.04/36.73 at java.lang.Thread.run(Thread.java:748) 87.04/36.73 87.04/36.73 "process reaper" #31 daemon prio=10 os_prio=0 tid=0x00002ad974010000 nid=0x4f2b waiting on condition [0x00002ad90ffe8000] 87.04/36.73 java.lang.Thread.State: RUNNABLE 87.04/36.73 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 87.04/36.73 - locked <0x000000069ccfd8b0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.36/36.75 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 87.36/36.75 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.36/36.75 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.36/36.75 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.36/36.75 at java.lang.Thread.run(Thread.java:748) 87.36/36.75 87.36/36.75 "ThreadPoolThread13" #26 daemon prio=6 os_prio=0 tid=0x00002ad96400e800 nid=0x4f23 waiting on condition [0x00002ad9159b7000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 87.36/36.75 - locked <0x00000007b848f018> (a java.lang.Object) 87.36/36.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:56) 87.36/36.75 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.36/36.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.36/36.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.36/36.75 at java.lang.Thread.run(Thread.java:748) 87.36/36.75 87.36/36.75 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002ad95c013800 nid=0x4b1a runnable [0x00002ad8dbfe6000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 87.36/36.75 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 87.36/36.75 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 87.36/36.75 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 87.36/36.75 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 87.36/36.75 at java.lang.Thread.run(Thread.java:748) 87.36/36.75 87.36/36.75 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002ad96400b800 nid=0x4b18 runnable [0x00002ad9158b6000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 87.36/36.75 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 87.36/36.75 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 87.36/36.75 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 87.36/36.75 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 87.36/36.75 - locked <0x00000007b84a7698> (a aprove.Strategies.Abortions.TrackThreadPool) 87.36/36.75 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 87.36/36.75 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 87.36/36.75 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 87.36/36.75 87.36/36.75 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002ad8dc918800 nid=0x4b17 runnable [0x00002ad9157b4000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 at java.lang.Thread.setPriority0(Native Method) 87.36/36.75 at java.lang.Thread.setPriority(Thread.java:1095) 87.36/36.75 at java.lang.Thread.init(Thread.java:417) 87.36/36.75 at java.lang.Thread.init(Thread.java:349) 87.36/36.75 at java.lang.Thread.(Thread.java:464) 87.36/36.75 at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:405) 87.36/36.75 at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191) 87.36/36.75 - locked <0x000000044001c928> (a aprove.Strategies.Util.PrioritizableThreadPool) 87.36/36.75 at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26) 87.36/36.75 at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 87.36/36.75 at java.lang.Thread.run(Thread.java:748) 87.36/36.75 87.36/36.75 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002ad8dc24c000 nid=0x4ae9 in Object.wait() [0x00002ad9155b2000] 87.36/36.75 java.lang.Thread.State: WAITING (on object monitor) 87.36/36.75 at java.lang.Object.wait(Native Method) 87.36/36.75 - waiting on <0x00000006974b2378> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.36/36.75 at java.lang.Object.wait(Object.java:502) 87.36/36.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 87.36/36.75 - locked <0x00000006974b2378> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 87.36/36.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 87.36/36.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 87.36/36.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 87.36/36.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solveAndPutIntoFormula(SMTLIBEngine.java:98) 87.36/36.75 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.satisfiable(SMTLIBEngine.java:66) 87.36/36.75 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.checkSat(TerminationSCCToIDPv1Processor.java:785) 87.36/36.75 at aprove.Framework.Bytecode.Processors.ToIDPv1.TerminationSCCToIDPv1Processor.cleanConstraints(TerminationSCCToIDPv1Processor.java:128) 87.36/36.75 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:175) 87.36/36.75 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 87.36/36.75 at aprove.InputModules.Programs.llvm.processors.LLVMSEGraphToIntTRSProcessor.process(LLVMSEGraphToIntTRSProcessor.java:43) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.36/36.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.36/36.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.36/36.75 at java.lang.Thread.run(Thread.java:748) 87.36/36.75 87.36/36.75 "ThreadPoolThread0" #10 daemon prio=5 os_prio=0 tid=0x00002ad8dc245000 nid=0x4ae7 runnable [0x00002ad9153b1000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 at java.util.LinkedList.toArray(LinkedList.java:1052) 87.36/36.75 at java.util.LinkedList.addAll(LinkedList.java:408) 87.36/36.75 at java.util.LinkedList.addAll(LinkedList.java:387) 87.36/36.75 at java.util.LinkedList.(LinkedList.java:119) 87.36/36.75 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) 87.36/36.75 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 87.36/36.75 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 87.36/36.75 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 87.36/36.75 at java.lang.Thread.run(Thread.java:748) 87.36/36.75 87.36/36.75 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002ad8dc187800 nid=0x4ae3 runnable [0x0000000000000000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 87.36/36.75 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002ad8dc184000 nid=0x4ae2 waiting on condition [0x0000000000000000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 87.36/36.75 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002ad8dc182800 nid=0x4ae1 runnable [0x0000000000000000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 87.36/36.75 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002ad8dc17f800 nid=0x4ae0 runnable [0x0000000000000000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 87.36/36.75 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002ad8dc17e000 nid=0x4adf waiting on condition [0x0000000000000000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 87.36/36.75 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002ad8dc14a000 nid=0x4ade waiting on condition [0x00002ad914b09000] 87.36/36.75 java.lang.Thread.State: RUNNABLE 87.36/36.75 at java.io.FileInputStream.close(FileInputStream.java:317) 87.36/36.75 - locked <0x00000007baad9150> (a java.lang.Object) 87.36/36.75 at java.io.FileInputStream.finalize(FileInputStream.java:397) 87.36/36.75 at java.lang.System$2.invokeFinalize(System.java:1270) 87.36/36.75 at java.lang.ref.Finalizer.runFinalizer(Finalizer.java:98) 87.36/36.75 at java.lang.ref.Finalizer.access$100(Finalizer.java:34) 87.36/36.75 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:210) 87.36/36.75 87.36/36.75 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002ad8dc145800 nid=0x4add in Object.wait() [0x00002ad914a08000] 87.36/36.75 java.lang.Thread.State: WAITING (on object monitor) 87.36/36.75 at java.lang.Object.wait(Native Method) 87.36/36.75 - waiting on <0x000000044001ce38> (a java.lang.ref.Reference$Lock) 87.36/36.75 at java.lang.Object.wait(Object.java:502) 87.36/36.75 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 87.36/36.75 - locked <0x000000044001ce38> (a java.lang.ref.Reference$Lock) 87.36/36.75 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 87.36/36.75 87.36/36.75 "main" #1 prio=5 os_prio=0 tid=0x00002ad8dc008800 nid=0x4ad5 in Object.wait() [0x00002ad8d8261000] 87.36/36.75 java.lang.Thread.State: WAITING (on object monitor) 87.36/36.75 at java.lang.Object.wait(Native Method) 87.36/36.75 - waiting on <0x000000044000d5a8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 87.36/36.75 at java.lang.Object.wait(Object.java:502) 87.36/36.75 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 87.36/36.75 - locked <0x000000044000d5a8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 87.36/36.75 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 87.36/36.75 at aprove.Runtime.AProVE.run(AProVE.java:101) 87.36/36.75 at aprove.CommandLineInterface.Main.run(Main.java:94) 87.36/36.75 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 87.36/36.75 at aprove.Main.doMain(Main.java:54) 87.36/36.75 at aprove.Main.main(Main.java:20) 87.36/36.75 87.36/36.75 "VM Thread" os_prio=0 tid=0x00002ad8dc13e000 nid=0x4adc runnable 87.36/36.75 87.36/36.75 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002ad8dc01e000 nid=0x4ad8 runnable 87.36/36.75 87.36/36.75 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002ad8dc01f800 nid=0x4ad9 runnable 87.36/36.75 87.36/36.75 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002ad8dc021800 nid=0x4ada runnable 87.36/36.75 87.36/36.75 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002ad8dc023800 nid=0x4adb runnable 87.36/36.75 87.36/36.75 "VM Periodic Task Thread" os_prio=0 tid=0x00002ad8dc18a000 nid=0x4ae5 waiting on condition 87.36/36.75 98.70/39.66 JNI global references: 385 98.70/39.66 98.85/39.72 Heap 98.85/39.72 PSYoungGen total 4736000K, used 208358K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 98.85/39.72 eden space 4661760K, 2% used [0x0000000695580000,0x000000069d881030,0x00000007b1e00000) 98.85/39.72 from space 74240K, 99% used [0x00000007bb780000,0x00000007bfff89b8,0x00000007c0000000) 98.85/39.72 to space 115712K, 0% used [0x00000007b1e00000,0x00000007b1e00000,0x00000007b8f00000) 98.85/39.72 ParOldGen total 9786880K, used 166629K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 98.85/39.72 object space 9786880K, 1% used [0x0000000440000000,0x000000044a2b9580,0x0000000695580000) 98.85/39.72 Metaspace used 23408K, capacity 23650K, committed 23936K, reserved 1071104K 98.85/39.72 class space used 2542K, capacity 2619K, committed 2688K, reserved 1048576K 98.85/39.72 126.39/46.79 EOF