85.27/23.51 2019-03-28 12:21:37 85.27/23.51 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 85.27/23.51 85.27/23.51 "Thread-395" #462 daemon prio=6 os_prio=0 tid=0x00002b9bc4005800 nid=0x4f42 runnable [0x0000000000000000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 85.27/23.51 "Thread-394" #461 daemon prio=6 os_prio=0 tid=0x00002b9c2800b000 nid=0x4f41 runnable [0x00002b9c45b1b000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000695b6eb20> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000715197660> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000715199720> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-366" #460 daemon prio=6 os_prio=0 tid=0x00002b9c28009000 nid=0x4f3f runnable [0x00002b9c45a1b000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000695b6ca60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000007150b1fb8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000007150b4078> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-392" #459 daemon prio=6 os_prio=0 tid=0x00002b9bbc002000 nid=0x4f3d runnable [0x00002b9c44a45000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e174f5a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000711fc6fd0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000711fc9090> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-367" #458 daemon prio=6 os_prio=0 tid=0x00002b9bbc005000 nid=0x4f3c runnable [0x00002b9c412f3000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e174d4e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000070eedbfe8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x000000070eede0a8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-391" #457 daemon prio=6 os_prio=0 tid=0x00002b9c1c009800 nid=0x4f3a runnable [0x00002b9c4176a000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069e87b130> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000070edf6940> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x000000070edf8a00> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-388" #456 daemon prio=6 os_prio=0 tid=0x00002b9c1c008000 nid=0x4f39 runnable [0x00002b9b2e11c000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069e879070> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000070bd0b958> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x000000070bd0da18> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-387" #455 daemon prio=6 os_prio=0 tid=0x00002b9c20003800 nid=0x4f38 runnable [0x00002b9c40e7d000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e2634c78> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000708c20970> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000708c22a30> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-386" #454 daemon prio=6 os_prio=0 tid=0x00002b9c20005800 nid=0x4f37 runnable [0x00002b9c40c42000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e2632bb8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000708b3b2c8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000708b3d388> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-385" #453 daemon prio=6 os_prio=0 tid=0x00002b9c18006800 nid=0x4f36 runnable [0x00002b9bdfe9b000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e2b9d6f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000705a38680> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000705a3a740> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-384" #452 daemon prio=6 os_prio=0 tid=0x00002b9c18006000 nid=0x4f35 runnable [0x00002b9c458a8000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e2b9b630> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000702935b48> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000702937c08> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-383" #451 daemon prio=6 os_prio=0 tid=0x00002b9b50004800 nid=0x4f34 runnable [0x00002b9c419a5000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069e7a0958> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000007028504a0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000702852560> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-382" #450 daemon prio=6 os_prio=0 tid=0x00002b9b50003000 nid=0x4f33 runnable [0x00002b9c44158000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069e79e898> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006ff7654b8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006ff767578> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-381" #449 daemon prio=6 os_prio=0 tid=0x00002b9c00019000 nid=0x4f32 runnable [0x00002b9c40301000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e08571b0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006fc67a4d0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006fc67c590> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-380" #448 daemon prio=6 os_prio=0 tid=0x00002b9c00011800 nid=0x4f31 runnable [0x00002b9c44b45000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e08550f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006fc594e28> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006fc596ee8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-379" #447 daemon prio=6 os_prio=0 tid=0x00002b9bfc011000 nid=0x4f30 runnable [0x00002b9c445ce000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006df942c08> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006fc4af780> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006fc4b1840> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-378" #446 daemon prio=6 os_prio=0 tid=0x00002b9bfc00a000 nid=0x4f2f runnable [0x00002b9c44d80000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006df940b48> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006f93c4798> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006f93c6858> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-377" #445 daemon prio=6 os_prio=0 tid=0x00002b9be8005000 nid=0x4f2e runnable [0x00002b9c44809000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006df883910> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006f92df0f0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006f92e11b0> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-376" #444 daemon prio=6 os_prio=0 tid=0x00002b9be8003800 nid=0x4f2d runnable [0x00002b9c44495000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006df881850> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006f61f4108> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006f61f61c8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-375" #443 daemon prio=6 os_prio=0 tid=0x00002b9bcc004000 nid=0x4f2c runnable [0x00002b9c42ff3000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e125a000> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006f610ea60> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006f6110b20> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-368" #442 daemon prio=6 os_prio=0 tid=0x00002b9bcc002000 nid=0x4f2b runnable [0x00002b9b2c1ff000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e1257f40> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006f300c470> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006f300e530> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-374" #441 daemon prio=6 os_prio=0 tid=0x00002b9bfc00f800 nid=0x4f2a runnable [0x00002b9c40503000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e66bfc48> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006eff21488> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006eff23548> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-372" #440 daemon prio=6 os_prio=0 tid=0x00002b9bfc00c000 nid=0x4f29 runnable [0x00002b9c40401000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e66bdb88> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006efe3bde0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006efe3dea0> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-371" #439 daemon prio=6 os_prio=0 tid=0x00002b9bc000b000 nid=0x4f28 runnable [0x00002b9bdfb38000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006df7c4618> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006ecd50df8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006ecd52eb8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-370" #438 daemon prio=6 os_prio=0 tid=0x00002b9bc0009000 nid=0x4f22 runnable [0x00002b9b2c401000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006df7c2558> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006ecc6b750> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006ecc6d810> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-369" #437 daemon prio=6 os_prio=0 tid=0x00002b9c0c016800 nid=0x4f1a runnable [0x00002b9b2e31e000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a0d48520> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e9b80768> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006e9b82828> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-350" #436 daemon prio=6 os_prio=0 tid=0x00002b9c0c007000 nid=0x4f02 runnable [0x00002b9c410b9000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a0d46460> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e9a9b0c0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006e9a9d180> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-365" #435 daemon prio=6 os_prio=0 tid=0x00002b9c3800b800 nid=0x4eef runnable [0x00002b9b2cf0d000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e180e8a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e99b5a18> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006e99b7ad8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-364" #434 daemon prio=6 os_prio=0 tid=0x00002b9c38009800 nid=0x4eee runnable [0x00002b9b2ef2a000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e180c7e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e2e25208> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006e2e272c8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-363" #433 daemon prio=6 os_prio=0 tid=0x00002b9b30009800 nid=0x4edf runnable [0x0000000000000000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 85.27/23.51 "Thread-359" #432 daemon prio=6 os_prio=0 tid=0x00002b9b30008800 nid=0x4eb9 runnable [0x00002b9b62e2f000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069f471488> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e2d3db50> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006e2d3fc10> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-307" #403 daemon prio=6 os_prio=0 tid=0x00002b9c18004000 nid=0x4e95 runnable [0x0000000000000000] 85.27/23.51 java.lang.Thread.State: TERMINATED 85.27/23.51 85.27/23.51 "Thread-357" #429 daemon prio=6 os_prio=0 tid=0x00002b9c00006800 nid=0x4e88 runnable [0x00002b9c40d44000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a0e07830> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006d313ed90> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006d3140e50> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-356" #428 daemon prio=6 os_prio=0 tid=0x00002b9c00004800 nid=0x4e87 runnable [0x00002b9c40907000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a0e05770> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006d0051d98> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006d0053e58> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-355" #427 daemon prio=6 os_prio=0 tid=0x00002b9c30004000 nid=0x4e86 runnable [0x00002b9c40805000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069ee63180> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006cff6a6e0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006cff6c7a0> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-354" #426 daemon prio=6 os_prio=0 tid=0x00002b9c30003000 nid=0x4e85 runnable [0x00002b9c40705000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069ee610c0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006cce7d6e8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006cce7f7a8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-353" #425 daemon prio=6 os_prio=0 tid=0x00002b9c0000c000 nid=0x4e84 runnable [0x00002b9c40603000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a0c88cd0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006c9d906f0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006c9d927b0> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-352" #424 daemon prio=6 os_prio=0 tid=0x00002b9c0000a000 nid=0x4e83 runnable [0x00002b9b2e722000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a0c86c10> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006c9ca9038> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006c9cab0f8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-351" #423 daemon prio=6 os_prio=0 tid=0x00002b9b20011000 nid=0x4e82 runnable [0x00002b9b2fb36000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069f0efa48> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006c6bbc040> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006c6bbe100> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-349" #422 daemon prio=6 os_prio=0 tid=0x00002b9b2000f000 nid=0x4e81 runnable [0x00002b9bdfc72000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069f0ed988> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006c6ad4988> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006c6ad6a48> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-348" #421 daemon prio=6 os_prio=0 tid=0x00002b9bd800e800 nid=0x4e80 runnable [0x00002b9c400ff000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a12871f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006c39e7990> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006c39e9a50> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-347" #420 daemon prio=6 os_prio=0 tid=0x00002b9bd8008800 nid=0x4e7f runnable [0x00002b9b2df1b000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a1285130> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006c08e43f8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006c08e64b8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-346" #419 daemon prio=6 os_prio=0 tid=0x00002b9c14012000 nid=0x4e7e runnable [0x00002b9c44fbb000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a15f5ee0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006c07fcd40> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006c07fee00> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-345" #418 daemon prio=6 os_prio=0 tid=0x00002b9c1400a800 nid=0x4e7d runnable [0x00002b9c4576e000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a15f3e20> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006bd70fd48> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006bd711e08> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-344" #417 daemon prio=6 os_prio=0 tid=0x00002b9c04019000 nid=0x4e7c runnable [0x00002b9b2ed28000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a16b5208> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006ba622d50> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006ba624e10> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-343" #416 daemon prio=6 os_prio=0 tid=0x00002b9c04001000 nid=0x4e7b runnable [0x00002b9c401ff000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006a16b3148> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006ba53b698> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000006ba53d758> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "process reaper" #384 daemon prio=10 os_prio=0 tid=0x00002b9c1c007000 nid=0x4e76 waiting on condition [0x00002b9b2c070000] 85.27/23.51 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.51 at sun.misc.Unsafe.park(Native Method) 85.27/23.51 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #388 daemon prio=10 os_prio=0 tid=0x00002b9b24006800 nid=0x4e73 waiting on condition [0x00002b9b2c037000] 85.27/23.51 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.51 at sun.misc.Unsafe.park(Native Method) 85.27/23.51 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #387 daemon prio=10 os_prio=0 tid=0x00002b9b58001800 nid=0x4e6c runnable [0x00002b9b1ec91000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #375 daemon prio=10 os_prio=0 tid=0x00002b9b2800b000 nid=0x4e52 runnable [0x00002b9b1ec58000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #371 daemon prio=10 os_prio=0 tid=0x00002b9c2c004000 nid=0x4e51 runnable [0x00002b9b1ec1f000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #374 daemon prio=10 os_prio=0 tid=0x00002b9b30007800 nid=0x4e4e waiting on condition [0x00002b9b1ebe6000] 85.27/23.51 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.51 at sun.misc.Unsafe.park(Native Method) 85.27/23.51 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #376 daemon prio=10 os_prio=0 tid=0x00002b9b2000d800 nid=0x4e4b waiting on condition [0x00002b9b1ea8f000] 85.27/23.51 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.51 at sun.misc.Unsafe.park(Native Method) 85.27/23.51 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #380 daemon prio=10 os_prio=0 tid=0x00002b9c30001800 nid=0x4e48 waiting on condition [0x00002b9b1ea56000] 85.27/23.51 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.51 at sun.misc.Unsafe.park(Native Method) 85.27/23.51 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #382 daemon prio=10 os_prio=0 tid=0x00002b9c24001800 nid=0x4e47 runnable [0x00002b9b1ea1d000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #392 daemon prio=10 os_prio=0 tid=0x00002b9b50002000 nid=0x4e44 runnable [0x00002b9b1e9e4000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #391 daemon prio=10 os_prio=0 tid=0x00002b9b54007000 nid=0x4e41 waiting on condition [0x00002b9c45b8e000] 85.27/23.51 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.51 at sun.misc.Unsafe.park(Native Method) 85.27/23.51 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.51 at java.lang.Thread.run(Thread.java:748) 85.27/23.51 85.27/23.51 "process reaper" #386 daemon prio=10 os_prio=0 tid=0x00002b9c3c00f000 nid=0x4e3e waiting on condition [0x00002b9c45b55000] 85.27/23.51 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.51 at sun.misc.Unsafe.park(Native Method) 85.27/23.51 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #381 daemon prio=10 os_prio=0 tid=0x00002b9c28001800 nid=0x4e3b waiting on condition [0x00002b9c4591a000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #377 daemon prio=10 os_prio=0 tid=0x0000000001790800 nid=0x4e38 waiting on condition [0x00002b9c458e1000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #370 daemon prio=10 os_prio=0 tid=0x00002b9b0024e800 nid=0x4e35 waiting on condition [0x00002b9c457a7000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #367 daemon prio=10 os_prio=0 tid=0x00002b9c20001800 nid=0x4e32 runnable [0x00002b9c4556c000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #364 daemon prio=10 os_prio=0 tid=0x00002b9b1800b000 nid=0x4e2f runnable [0x00002b9c45331000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #252 daemon prio=10 os_prio=0 tid=0x00002b9be0002000 nid=0x4e2b runnable [0x00002b9c44ff5000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #298 daemon prio=10 os_prio=0 tid=0x00002b9bb0006800 nid=0x4e28 runnable [0x00002b9c44dba000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #299 daemon prio=10 os_prio=0 tid=0x00002b9bb8008000 nid=0x4e25 runnable [0x00002b9c44b7f000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #309 daemon prio=10 os_prio=0 tid=0x00002b9c10011000 nid=0x4e22 runnable [0x00002b9c44944000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #311 daemon prio=10 os_prio=0 tid=0x00002b9ba8011000 nid=0x4e1f runnable [0x00002b9c44709000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #317 daemon prio=10 os_prio=0 tid=0x00002b9bcc001000 nid=0x4e1c runnable [0x00002b9c444ce000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #319 daemon prio=10 os_prio=0 tid=0x00002b9c0c014800 nid=0x4e19 runnable [0x00002b9c44293000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #338 daemon prio=10 os_prio=0 tid=0x00002b9bf000e800 nid=0x4e14 runnable [0x00002b9c43e56000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #337 daemon prio=10 os_prio=0 tid=0x00002b9bfc00d800 nid=0x4e0d runnable [0x00002b9c43817000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #334 daemon prio=10 os_prio=0 tid=0x00002b9c08004800 nid=0x4e0a runnable [0x00002b9c435dc000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #331 daemon prio=10 os_prio=0 tid=0x00002b9c0000d800 nid=0x4e07 runnable [0x00002b9c433a1000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #330 daemon prio=10 os_prio=0 tid=0x00002b9bbc009000 nid=0x4e06 waiting on condition [0x00002b9c43368000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #327 daemon prio=10 os_prio=0 tid=0x00002b9bc800d800 nid=0x4dff runnable [0x00002b9c4312d000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #324 daemon prio=10 os_prio=0 tid=0x00002b9bbc003800 nid=0x4dfc waiting on condition [0x00002b9c42ef2000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #321 daemon prio=10 os_prio=0 tid=0x00002b9bf0004000 nid=0x4df9 runnable [0x00002b9c42cb7000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #316 daemon prio=10 os_prio=0 tid=0x00002b9c1400e000 nid=0x4df6 waiting on condition [0x00002b9c42a7c000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #313 daemon prio=10 os_prio=0 tid=0x000000000178a800 nid=0x4df3 waiting on condition [0x00002b9c42841000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #308 daemon prio=10 os_prio=0 tid=0x00002b9ba8003800 nid=0x4df0 waiting on condition [0x00002b9c42606000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #305 daemon prio=10 os_prio=0 tid=0x00002b9c1000b800 nid=0x4dec waiting on condition [0x00002b9c423cb000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #302 daemon prio=10 os_prio=0 tid=0x00002b9c3c00a000 nid=0x4de9 waiting on condition [0x00002b9c42190000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #297 daemon prio=10 os_prio=0 tid=0x00002b9bd0002000 nid=0x4de6 waiting on condition [0x00002b9c41f55000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #294 daemon prio=10 os_prio=0 tid=0x00002b9bec002000 nid=0x4de3 waiting on condition [0x00002b9c41d1a000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #291 daemon prio=10 os_prio=0 tid=0x00002b9bfc002000 nid=0x4de0 waiting on condition [0x00002b9c41adf000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #288 daemon prio=10 os_prio=0 tid=0x00002b9be8001800 nid=0x4ddd runnable [0x00002b9c418a4000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #285 daemon prio=10 os_prio=0 tid=0x00002b9bc0001800 nid=0x4dda waiting on condition [0x00002b9c41669000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #282 daemon prio=10 os_prio=0 tid=0x00002b9bb4001800 nid=0x4dd7 waiting on condition [0x00002b9c4142e000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #279 daemon prio=10 os_prio=0 tid=0x00002b9bc4001000 nid=0x4dd4 waiting on condition [0x00002b9c411f3000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #276 daemon prio=10 os_prio=0 tid=0x00002b9bd4002000 nid=0x4dd1 waiting on condition [0x00002b9c40fb8000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #273 daemon prio=10 os_prio=0 tid=0x00002b9bf800f800 nid=0x4dce waiting on condition [0x00002b9c40d7d000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #270 daemon prio=10 os_prio=0 tid=0x00002b9be4001800 nid=0x4dcb runnable [0x00002b9c40b42000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #267 daemon prio=10 os_prio=0 tid=0x00002b9c0400a000 nid=0x4dc8 waiting on condition [0x00002b9bdffd6000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #264 daemon prio=10 os_prio=0 tid=0x00002b9c0c003000 nid=0x4dc5 waiting on condition [0x00002b9bdfd90000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #261 daemon prio=10 os_prio=0 tid=0x00002b9c00008800 nid=0x4dc2 waiting on condition [0x00002b9bdfd57000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #258 daemon prio=10 os_prio=0 tid=0x00002b9c00003800 nid=0x4dbf waiting on condition [0x00002b9bdfd1e000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #255 daemon prio=10 os_prio=0 tid=0x00002b9bf4002800 nid=0x4dbc runnable [0x00002b9bdfce5000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #251 daemon prio=10 os_prio=0 tid=0x00002b9bd800c800 nid=0x4db9 waiting on condition [0x00002b9bdfcac000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #248 daemon prio=10 os_prio=0 tid=0x00002b9c14009000 nid=0x4db6 waiting on condition [0x00002b9bdfb72000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #247 daemon prio=10 os_prio=0 tid=0x00002b9c18001800 nid=0x4db5 waiting on condition [0x00002b9b63fec000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #244 daemon prio=10 os_prio=0 tid=0x00002b9b94020800 nid=0x4d7f runnable [0x00002b9b63fb3000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.52 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "process reaper" #241 daemon prio=10 os_prio=0 tid=0x00002b9c04004800 nid=0x4d7b waiting on condition [0x00002b9b63f7a000] 85.27/23.52 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.52 at sun.misc.Unsafe.park(Native Method) 85.27/23.52 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.52 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.52 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread193" #236 daemon prio=6 os_prio=0 tid=0x00002b9b88088000 nid=0x4cfa runnable [0x00002b9b2e21d000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread192" #231 daemon prio=6 os_prio=0 tid=0x00002b9b88086800 nid=0x4cec in Object.wait() [0x00002b9b2f430000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006e174b3b8> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006e174b3b8> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread191" #230 daemon prio=6 os_prio=0 tid=0x00002b9b8800f800 nid=0x4ceb in Object.wait() [0x00002b9b2ce0c000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006df7c0428> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006df7c0428> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread190" #229 daemon prio=6 os_prio=0 tid=0x00002b9b8800e800 nid=0x4cea runnable [0x00002b9b2cd0b000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.security.AccessController.getStackAccessControlContext(Native Method) 85.27/23.52 at java.security.AccessController.getContext(AccessController.java:820) 85.27/23.52 at java.lang.Thread.init(Thread.java:415) 85.27/23.52 at java.lang.Thread.init(Thread.java:349) 85.27/23.52 at java.lang.Thread.(Thread.java:448) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread189" #228 daemon prio=6 os_prio=0 tid=0x00002b9b88038000 nid=0x4ce9 runnable [0x00002b9b2ee29000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread188" #227 daemon prio=6 os_prio=0 tid=0x00002b9b88015000 nid=0x4ce8 in Object.wait() [0x00002b9b6282a000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006e1255e10> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006e1255e10> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread187" #226 daemon prio=6 os_prio=0 tid=0x00002b9b88046800 nid=0x4ce7 runnable [0x00002b9b1ebad000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.Thread.setPriority0(Native Method) 85.27/23.52 at java.lang.Thread.setPriority(Thread.java:1095) 85.27/23.52 at java.lang.Thread.init(Thread.java:417) 85.27/23.52 at java.lang.Thread.init(Thread.java:349) 85.27/23.52 at java.lang.Thread.(Thread.java:448) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread186" #225 daemon prio=6 os_prio=0 tid=0x00002b9b88019000 nid=0x4ce6 runnable [0x00002b9b62728000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread185" #224 daemon prio=6 os_prio=0 tid=0x00002b9b8802b800 nid=0x4ce5 runnable [0x00002b9b62628000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.Thread.setPriority0(Native Method) 85.27/23.52 at java.lang.Thread.setPriority(Thread.java:1095) 85.27/23.52 at java.lang.Thread.init(Thread.java:417) 85.27/23.52 at java.lang.Thread.init(Thread.java:349) 85.27/23.52 at java.lang.Thread.(Thread.java:448) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread184" #223 daemon prio=6 os_prio=0 tid=0x00002b9b88029800 nid=0x4ce4 in Object.wait() [0x00002b9b2fc38000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006a1283000> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006a1283000> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread183" #222 daemon prio=6 os_prio=0 tid=0x00002b9b8808c000 nid=0x4ce3 runnable [0x00002b9b2fd38000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread182" #221 daemon prio=6 os_prio=0 tid=0x00002b9b8808a800 nid=0x4ce2 in Object.wait() [0x00002b9b2cc0a000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006df87f720> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006df87f720> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread181" #220 daemon prio=6 os_prio=0 tid=0x00002b9b8803f800 nid=0x4ce1 runnable [0x00002b9b2db16000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread180" #219 daemon prio=6 os_prio=0 tid=0x00002b9b88034800 nid=0x4ce0 runnable [0x00002b9b2e621000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread179" #218 daemon prio=6 os_prio=0 tid=0x00002b9b8802f000 nid=0x4cdf runnable [0x00002b9b1ffbb000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread178" #217 daemon prio=6 os_prio=0 tid=0x00002b9b88022000 nid=0x4cde runnable [0x00002b9b2ff3b000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.Thread.setPriority0(Native Method) 85.27/23.52 at java.lang.Thread.setPriority(Thread.java:1095) 85.27/23.52 at java.lang.Thread.init(Thread.java:417) 85.27/23.52 at java.lang.Thread.init(Thread.java:349) 85.27/23.52 at java.lang.Thread.(Thread.java:448) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread177" #216 daemon prio=6 os_prio=0 tid=0x00002b9b88031000 nid=0x4cdc in Object.wait() [0x00002b9b2d311000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006df93ea18> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006df93ea18> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread176" #215 daemon prio=6 os_prio=0 tid=0x00002b9b8803a000 nid=0x4cdb in Object.wait() [0x00002b9b2d00e000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006a0c84ae0> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006a0c84ae0> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread175" #214 daemon prio=6 os_prio=0 tid=0x00002b9b8804e800 nid=0x4cda in Object.wait() [0x00002b9b2e521000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006a16b1018> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006a16b1018> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread174" #211 daemon prio=6 os_prio=0 tid=0x00002b9b8804a800 nid=0x4cd6 in Object.wait() [0x00002b9b2d614000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006a0d44330> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006a0d44330> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread173" #210 daemon prio=6 os_prio=0 tid=0x00002b9b88056800 nid=0x4cd4 runnable [0x00002b9b1f0b1000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread172" #209 daemon prio=6 os_prio=0 tid=0x00002b9b8807f000 nid=0x4cd3 in Object.wait() [0x00002b9b2d10f000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006a15f1cf0> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006a15f1cf0> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread171" #208 daemon prio=6 os_prio=0 tid=0x00002b9b88068800 nid=0x4cd2 in Object.wait() [0x00002b9b2d513000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006e2b99500> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006e2b99500> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread170" #207 daemon prio=6 os_prio=0 tid=0x00002b9b88048800 nid=0x4cd1 in Object.wait() [0x00002b9b63032000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x000000069e876f40> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x000000069e876f40> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread169" #206 daemon prio=6 os_prio=0 tid=0x00002b9b8804c800 nid=0x4cd0 in Object.wait() [0x00002b9b2ca08000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x00000006e2630a88> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x00000006e2630a88> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread168" #205 daemon prio=6 os_prio=0 tid=0x00002b9b88062800 nid=0x4ccf runnable [0x00002b9b6292a000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread167" #204 daemon prio=6 os_prio=0 tid=0x00002b9b88070800 nid=0x4cce in Object.wait() [0x00002b9b2e420000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x0000000695b6a930> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x0000000695b6a930> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread166" #203 daemon prio=6 os_prio=0 tid=0x00002b9b88064800 nid=0x4ccd runnable [0x00002b9b2f12c000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread165" #201 daemon prio=6 os_prio=0 tid=0x00002b9b88027800 nid=0x4ccc in Object.wait() [0x00002b9b2f22e000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x000000069ee5ef90> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x000000069ee5ef90> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread164" #199 daemon prio=6 os_prio=0 tid=0x00002b9b8811e000 nid=0x4cc9 runnable [0x00002b9bdfa38000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at java.lang.Thread.setPriority0(Native Method) 85.27/23.52 at java.lang.Thread.setPriority(Thread.java:1095) 85.27/23.52 at java.lang.Thread.init(Thread.java:417) 85.27/23.52 at java.lang.Thread.init(Thread.java:349) 85.27/23.52 at java.lang.Thread.(Thread.java:448) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread163" #198 daemon prio=6 os_prio=0 tid=0x00002b9b8811c000 nid=0x4cc8 runnable [0x00002b9bdf936000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread162" #197 daemon prio=6 os_prio=0 tid=0x00002b9b8811a000 nid=0x4cc7 runnable [0x00002b9bdf835000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread161" #196 daemon prio=6 os_prio=0 tid=0x00002b9b88118000 nid=0x4cc6 in Object.wait() [0x00002b9bdf735000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x000000069f0eb858> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x000000069f0eb858> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread160" #195 daemon prio=6 os_prio=0 tid=0x00002b9b88115800 nid=0x4cc5 runnable [0x00002b9bdf633000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread159" #194 daemon prio=6 os_prio=0 tid=0x00002b9b88114000 nid=0x4cc4 in Object.wait() [0x00002b9bdf533000] 85.27/23.52 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.52 at java.lang.Object.wait(Native Method) 85.27/23.52 - waiting on <0x000000069f46f358> (a java.lang.UNIXProcess) 85.27/23.52 at java.lang.Object.wait(Object.java:502) 85.27/23.52 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.52 - locked <0x000000069f46f358> (a java.lang.UNIXProcess) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.52 at java.lang.Thread.run(Thread.java:748) 85.27/23.52 85.27/23.52 "ThreadPoolThread158" #193 daemon prio=6 os_prio=0 tid=0x00002b9b88112000 nid=0x4cc3 runnable [0x00002b9bdf431000] 85.27/23.52 java.lang.Thread.State: RUNNABLE 85.27/23.52 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.52 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.52 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.52 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.52 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.52 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.52 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.52 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.52 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.52 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.52 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.52 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.52 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.52 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.52 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.52 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.52 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread157" #192 daemon prio=6 os_prio=0 tid=0x00002b9b88110000 nid=0x4cc2 in Object.wait() [0x00002b9bdf331000] 85.27/23.53 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.53 at java.lang.Object.wait(Native Method) 85.27/23.53 - waiting on <0x000000069e79c768> (a java.lang.UNIXProcess) 85.27/23.53 at java.lang.Object.wait(Object.java:502) 85.27/23.53 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.53 - locked <0x000000069e79c768> (a java.lang.UNIXProcess) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread156" #191 daemon prio=6 os_prio=0 tid=0x00002b9b8810e000 nid=0x4cc1 runnable [0x00002b9bdf22f000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread155" #190 daemon prio=6 os_prio=0 tid=0x00002b9b8810c000 nid=0x4cc0 runnable [0x00002b9bdf12e000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread154" #189 daemon prio=6 os_prio=0 tid=0x00002b9b8810a000 nid=0x4cbf runnable [0x00002b9bdf02d000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "process reaper" #178 daemon prio=10 os_prio=0 tid=0x00002b9bac005800 nid=0x4cb4 waiting on condition [0x00002b9b2ffe6000] 85.27/23.53 java.lang.Thread.State: TIMED_WAITING (parking) 85.27/23.53 at sun.misc.Unsafe.park(Native Method) 85.27/23.53 - parking to wait for <0x0000000440014620> (a java.util.concurrent.SynchronousQueue$TransferStack) 85.27/23.53 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 85.27/23.53 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "process reaper" #177 daemon prio=10 os_prio=0 tid=0x00002b9c04002800 nid=0x4cb3 runnable [0x00002b9b2ffad000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "process reaper" #174 daemon prio=10 os_prio=0 tid=0x00002b9c2c002800 nid=0x4cb0 runnable [0x00002b9b2ff74000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "process reaper" #171 daemon prio=10 os_prio=0 tid=0x00002b9bb0003800 nid=0x4cad runnable [0x00002b9b1fff5000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "process reaper" #166 daemon prio=10 os_prio=0 tid=0x00002b9b94002000 nid=0x4c9f runnable [0x00002b9b17ff9000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread83" #101 daemon prio=6 os_prio=0 tid=0x00002b9b88095800 nid=0x4c56 waiting on condition [0x00002b9b62d2f000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 85.27/23.53 - locked <0x0000000777f9a110> (a aprove.Strategies.Abortions.Clock) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread82" #100 daemon prio=6 os_prio=0 tid=0x00002b9b88093800 nid=0x4c55 runnable [0x00002b9b62c2d000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread81" #99 daemon prio=6 os_prio=0 tid=0x00002b9b88091800 nid=0x4c54 runnable [0x00002b9b62b2c000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread80" #98 daemon prio=6 os_prio=0 tid=0x00002b9b88090000 nid=0x4c53 runnable [0x00002b9b62a2b000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "process reaper" #86 daemon prio=10 os_prio=0 tid=0x00002b9b94016800 nid=0x4c46 runnable [0x00002b9b17fc0000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread69" #84 daemon prio=6 os_prio=0 tid=0x00002b9b88081000 nid=0x4c43 runnable [0x00002b9b2fe39000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.Thread.setPriority0(Native Method) 85.27/23.53 at java.lang.Thread.setPriority(Thread.java:1095) 85.27/23.53 at java.lang.Thread.init(Thread.java:417) 85.27/23.53 at java.lang.Thread.init(Thread.java:349) 85.27/23.53 at java.lang.Thread.(Thread.java:448) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 85.27/23.53 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 85.27/23.53 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 85.27/23.53 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 85.27/23.53 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread67" #80 daemon prio=6 os_prio=0 tid=0x00002b9b8807c800 nid=0x4c3e in Object.wait() [0x00002b9b2fa36000] 85.27/23.53 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.53 at java.lang.Object.wait(Native Method) 85.27/23.53 - waiting on <0x00000006e0852fc0> (a java.lang.UNIXProcess) 85.27/23.53 at java.lang.Object.wait(Object.java:502) 85.27/23.53 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.53 - locked <0x00000006e0852fc0> (a java.lang.UNIXProcess) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread64" #77 daemon prio=6 os_prio=0 tid=0x00002b9b88076800 nid=0x4c3b runnable [0x00002b9b2f733000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.Thread.setPriority0(Native Method) 85.27/23.53 at java.lang.Thread.setPriority(Thread.java:1095) 85.27/23.53 at java.lang.Thread.init(Thread.java:417) 85.27/23.53 at java.lang.Thread.init(Thread.java:349) 85.27/23.53 at java.lang.Thread.(Thread.java:448) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread63" #76 daemon prio=6 os_prio=0 tid=0x00002b9b88074800 nid=0x4c3a runnable [0x00002b9b2f631000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread62" #75 daemon prio=6 os_prio=0 tid=0x00002b9b88072800 nid=0x4c39 runnable [0x00002b9b2f530000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread53" #66 daemon prio=6 os_prio=0 tid=0x00002b9b88060800 nid=0x4c30 in Object.wait() [0x00002b9b2ec28000] 85.27/23.53 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.53 at java.lang.Object.wait(Native Method) 85.27/23.53 - waiting on <0x00000006e180a6b0> (a java.lang.UNIXProcess) 85.27/23.53 at java.lang.Object.wait(Object.java:502) 85.27/23.53 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.53 - locked <0x00000006e180a6b0> (a java.lang.UNIXProcess) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread51" #64 daemon prio=6 os_prio=0 tid=0x00002b9b8805c800 nid=0x4c2e runnable [0x00002b9b2ea26000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.Thread.setPriority0(Native Method) 85.27/23.53 at java.lang.Thread.setPriority(Thread.java:1095) 85.27/23.53 at java.lang.Thread.init(Thread.java:417) 85.27/23.53 at java.lang.Thread.init(Thread.java:349) 85.27/23.53 at java.lang.Thread.(Thread.java:448) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread50" #63 daemon prio=6 os_prio=0 tid=0x00002b9b8805a800 nid=0x4c2d runnable [0x00002b9b2e924000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread38" #51 daemon prio=6 os_prio=0 tid=0x00002b9b88043000 nid=0x4c21 runnable [0x00002b9b2dd18000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread37" #50 daemon prio=6 os_prio=0 tid=0x00002b9b88041000 nid=0x4c20 runnable [0x00002b9b2dc17000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread35" #48 daemon prio=6 os_prio=0 tid=0x00002b9b8803d800 nid=0x4c1e in Object.wait() [0x00002b9b2d816000] 85.27/23.53 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.53 at java.lang.Object.wait(Native Method) 85.27/23.53 - waiting on <0x00000006a0e03640> (a java.lang.UNIXProcess) 85.27/23.53 at java.lang.Object.wait(Object.java:502) 85.27/23.53 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.53 - locked <0x00000006a0e03640> (a java.lang.UNIXProcess) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread34" #47 daemon prio=6 os_prio=0 tid=0x00002b9b8803c000 nid=0x4c1d in Object.wait() [0x00002b9b2d715000] 85.27/23.53 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.53 at java.lang.Object.wait(Native Method) 85.27/23.53 - waiting on <0x00000006e66bba58> (a java.lang.UNIXProcess) 85.27/23.53 at java.lang.Object.wait(Object.java:502) 85.27/23.53 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 85.27/23.53 - locked <0x00000006e66bba58> (a java.lang.UNIXProcess) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread22" #35 daemon prio=6 os_prio=0 tid=0x00002b9b88025800 nid=0x4c11 runnable [0x00002b9b2cb08000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread17" #30 daemon prio=6 os_prio=0 tid=0x00002b9b8801c800 nid=0x4c0c runnable [0x00002b9b2c603000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.misc.Unsafe.unpark(Native Method) 85.27/23.53 at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) 85.27/23.53 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) 85.27/23.53 at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) 85.27/23.53 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 85.27/23.53 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 85.27/23.53 at java.security.AccessController.doPrivileged(Native Method) 85.27/23.53 at java.lang.UNIXProcess.(UNIXProcess.java:257) 85.27/23.53 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 85.27/23.53 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread14" #27 daemon prio=6 os_prio=0 tid=0x00002b9b88017000 nid=0x4c09 runnable [0x00002b9b2c301000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.Thread.setPriority0(Native Method) 85.27/23.53 at java.lang.Thread.setPriority(Thread.java:1095) 85.27/23.53 at java.lang.Thread.init(Thread.java:417) 85.27/23.53 at java.lang.Thread.init(Thread.java:349) 85.27/23.53 at java.lang.Thread.(Thread.java:448) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 85.27/23.53 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 85.27/23.53 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread8" #21 daemon prio=6 os_prio=0 tid=0x00002b9b8800d800 nid=0x4c03 runnable [0x0000000000000000] 85.27/23.53 java.lang.Thread.State: TERMINATED 85.27/23.53 85.27/23.53 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b9b8001f800 nid=0x4c01 runnable [0x00002b9afffce000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 85.27/23.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 85.27/23.53 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 85.27/23.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b9b8800b800 nid=0x4bff runnable [0x00002b9b1edaf000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 85.27/23.53 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 85.27/23.53 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 85.27/23.53 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 85.27/23.53 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 85.27/23.53 - locked <0x0000000778a03520> (a aprove.Strategies.Abortions.TrackThreadPool) 85.27/23.53 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 85.27/23.53 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 85.27/23.53 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 85.27/23.53 85.27/23.53 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b9b008c1000 nid=0x4bfe waiting on condition [0x00002b9b1eeaf000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at aprove.ProofTree.Obligations.ObligationNode.addTruthValueListener(ObligationNode.java:60) 85.27/23.53 - locked <0x000000069fe8e920> (a aprove.ProofTree.Obligations.JunctorObligationNode) 85.27/23.53 at aprove.ProofTree.Obligations.BasicObligationNode.addTechnique(BasicObligationNode.java:120) 85.27/23.53 - locked <0x000000077851c110> (a aprove.ProofTree.Obligations.BasicObligationNode) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecResult.exec(ExecResult.java:37) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.finish(ExecProcessorStrategy.java:83) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:64) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "ThreadPoolThread0" #10 daemon prio=5 os_prio=0 tid=0x00002b9b0024d000 nid=0x4bf6 runnable [0x00002b9b1e9ab000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) 85.27/23.53 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 85.27/23.53 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 85.27/23.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 85.27/23.53 at java.lang.Thread.run(Thread.java:748) 85.27/23.53 85.27/23.53 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b9b00187800 nid=0x4bf4 runnable [0x0000000000000000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 85.27/23.53 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b9b00184000 nid=0x4bf3 waiting on condition [0x0000000000000000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 85.27/23.53 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b9b00182800 nid=0x4bf2 waiting on condition [0x0000000000000000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 85.27/23.53 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b9b0017f800 nid=0x4bf1 waiting on condition [0x0000000000000000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 85.27/23.53 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b9b0017e000 nid=0x4bf0 waiting on condition [0x0000000000000000] 85.27/23.53 java.lang.Thread.State: RUNNABLE 85.27/23.53 85.27/23.53 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b9b0014a000 nid=0x4bef in Object.wait() [0x00002b9b1e103000] 85.27/23.53 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.53 at java.lang.Object.wait(Native Method) 85.27/23.53 - waiting on <0x0000000440011648> (a java.lang.ref.ReferenceQueue$Lock) 85.27/23.53 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 85.27/23.53 - locked <0x0000000440011648> (a java.lang.ref.ReferenceQueue$Lock) 85.27/23.53 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 85.27/23.53 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 85.27/23.53 85.27/23.53 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b9b00145800 nid=0x4bee in Object.wait() [0x00002b9b1e002000] 85.27/23.53 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.53 at java.lang.Object.wait(Native Method) 85.27/23.53 - waiting on <0x000000044000cf88> (a java.lang.ref.Reference$Lock) 85.27/23.53 at java.lang.Object.wait(Object.java:502) 85.27/23.53 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 85.27/23.53 - locked <0x000000044000cf88> (a java.lang.ref.Reference$Lock) 85.27/23.53 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 85.27/23.53 85.27/23.53 "main" #1 prio=5 os_prio=0 tid=0x00002b9b00008800 nid=0x4be7 in Object.wait() [0x00002b9afd81b000] 85.27/23.53 java.lang.Thread.State: WAITING (on object monitor) 85.27/23.53 at java.lang.Object.wait(Native Method) 85.27/23.53 - waiting on <0x0000000440014708> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 85.27/23.53 at java.lang.Object.wait(Object.java:502) 85.27/23.53 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 85.27/23.53 - locked <0x0000000440014708> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 85.27/23.53 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 85.27/23.53 at aprove.Runtime.AProVE.run(AProVE.java:101) 85.27/23.53 at aprove.CommandLineInterface.Main.run(Main.java:94) 85.27/23.53 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 85.27/23.53 at aprove.Main.doMain(Main.java:54) 85.27/23.53 at aprove.Main.main(Main.java:20) 85.27/23.53 85.27/23.53 "VM Thread" os_prio=0 tid=0x00002b9b0013e000 nid=0x4bed runnable 85.27/23.53 85.27/23.53 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b9b0001e000 nid=0x4be9 runnable 85.27/23.53 85.27/23.53 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b9b0001f800 nid=0x4bea runnable 85.27/23.53 85.27/23.53 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b9b00021800 nid=0x4beb runnable 85.27/23.53 85.27/23.53 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b9b00023800 nid=0x4bec runnable 85.27/23.53 85.27/23.53 "VM Periodic Task Thread" os_prio=0 tid=0x00002b9b0018a000 nid=0x4bf5 waiting on condition 85.27/23.53 85.27/23.55 JNI global references: 414 85.27/23.55 85.27/23.55 Heap 85.27/23.55 PSYoungGen total 4281856K, used 2705385K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 85.27/23.55 eden space 3670528K, 57% used [0x0000000695580000,0x000000071527cd08,0x0000000775600000) 85.27/23.55 from space 611328K, 99% used [0x0000000775600000,0x000000079aafd930,0x000000079ab00000) 85.27/23.55 to space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) 85.27/23.55 ParOldGen total 9786880K, used 29924K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 85.27/23.55 object space 9786880K, 0% used [0x0000000440000000,0x0000000441d39238,0x0000000695580000) 85.27/23.55 Metaspace used 23952K, capacity 24394K, committed 24576K, reserved 1071104K 85.27/23.55 class space used 2626K, capacity 2741K, committed 2816K, reserved 1048576K 85.27/23.55 112.48/30.19 EOF