97.75/33.10 2019-03-28 12:32:46 97.75/33.10 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 97.75/33.10 97.75/33.10 "Thread-469" #536 daemon prio=6 os_prio=0 tid=0x00002b4778002800 nid=0xde05 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-514" #535 daemon prio=6 os_prio=0 tid=0x00002b47a801a800 nid=0xde04 runnable [0x00002b470b334000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a26cfe58> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x0000000713eb69a8> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x0000000713eb8a68> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-512" #534 daemon prio=6 os_prio=0 tid=0x00002b47a8001000 nid=0xddff runnable [0x00002b46cf7d0000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a26cdd98> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x000000071571ad88> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x000000071571ce48> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-511" #533 daemon prio=6 os_prio=0 tid=0x00002b474000b800 nid=0xddfc runnable [0x00002b46cf9d1000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x000000069d0619a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000007127e69e8> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000007127e8aa8> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-471" #532 daemon prio=6 os_prio=0 tid=0x00002b474000a800 nid=0xddfb runnable [0x00002b46cf5cd000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x000000069d05f8e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x000000070d70ac00> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x000000070d70ccc0> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-510" #531 daemon prio=6 os_prio=0 tid=0x00002b47a801d800 nid=0xddfa runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-474" #530 daemon prio=6 os_prio=0 tid=0x00002b47a8004000 nid=0xddf9 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-509" #529 daemon prio=6 os_prio=0 tid=0x00002b4794002800 nid=0xddf8 runnable [0x00002b470b133000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a2b24b10> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x0000000701355810> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000007013578d0> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-475" #528 daemon prio=6 os_prio=0 tid=0x00002b4794001000 nid=0xddf6 runnable [0x00002b47e8979000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a2b22a50> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006ffc85b08> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000006ffc87bc8> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-507" #527 daemon prio=6 os_prio=0 tid=0x00002b4788003000 nid=0xddf5 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-476" #526 daemon prio=6 os_prio=0 tid=0x00002b4788008800 nid=0xddf4 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-505" #525 daemon prio=6 os_prio=0 tid=0x00002b47a4008000 nid=0xddf3 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-478" #524 daemon prio=6 os_prio=0 tid=0x00002b47a4006800 nid=0xddf1 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-503" #523 daemon prio=6 os_prio=0 tid=0x00002b47e4004000 nid=0xddf0 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-479" #522 daemon prio=6 os_prio=0 tid=0x00002b47e4001000 nid=0xddee runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-501" #521 daemon prio=6 os_prio=0 tid=0x00002b4780005000 nid=0xdded runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-480" #520 daemon prio=6 os_prio=0 tid=0x00002b4780004000 nid=0xddeb runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-499" #519 daemon prio=6 os_prio=0 tid=0x00002b4784006000 nid=0xddea runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-481" #518 daemon prio=6 os_prio=0 tid=0x00002b4784005000 nid=0xdde8 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-497" #517 daemon prio=6 os_prio=0 tid=0x00002b47dc005800 nid=0xdde7 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-482" #516 daemon prio=6 os_prio=0 tid=0x00002b47dc003000 nid=0xdde5 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-496" #515 daemon prio=6 os_prio=0 tid=0x00002b475c02d000 nid=0xdde4 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-483" #514 daemon prio=6 os_prio=0 tid=0x00002b475c030800 nid=0xdde3 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-484" #513 daemon prio=6 os_prio=0 tid=0x00002b47a0007000 nid=0xdde2 runnable [0x00002b47e8cee000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a289f988> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006d6482f48> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000006d6485008> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-494" #512 daemon prio=6 os_prio=0 tid=0x00002b4754008800 nid=0xdde1 runnable [0x00002b46cf0c9000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a8ed6fc0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006d45ca000> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000006d45cc0c0> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-486" #511 daemon prio=6 os_prio=0 tid=0x00002b4754001800 nid=0xdde0 runnable [0x00002b47ea31f000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a8ed4f00> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006d12b52d0> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000006d12b7390> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-492" #510 daemon prio=6 os_prio=0 tid=0x00002b46dc014800 nid=0xdddc runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-487" #509 daemon prio=6 os_prio=0 tid=0x00002b46dc013800 nid=0xdddb runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-488" #508 daemon prio=6 os_prio=0 tid=0x00002b4768010000 nid=0xddd9 runnable [0x00002b470a728000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a1eb23f8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006c243d620> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000006c243f6e0> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-485" #505 daemon prio=6 os_prio=0 tid=0x00002b4798008000 nid=0xddd5 runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-477" #504 daemon prio=6 os_prio=0 tid=0x00002b47a0005000 nid=0xddd3 runnable [0x00002b47eb010000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a289d8c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006b39ff978> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000006b3a01a38> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "Thread-449" #483 daemon prio=6 os_prio=0 tid=0x00002b47e4002000 nid=0xdd9d runnable [0x00002b470ac9f000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000007abc47d80> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000006a1f8d6a0> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000006a1f8f760> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "ThreadPoolThread114" #481 daemon prio=6 os_prio=0 tid=0x00002b4734056000 nid=0xdd98 runnable [0x00002b46cebc3000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.lang.Thread.setPriority0(Native Method) 97.75/33.10 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.10 at java.lang.Thread.init(Thread.java:417) 97.75/33.10 at java.lang.Thread.init(Thread.java:349) 97.75/33.10 at java.lang.Thread.(Thread.java:448) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.10 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.10 at java.lang.Thread.run(Thread.java:748) 97.75/33.10 97.75/33.10 "ThreadPoolThread112" #479 daemon prio=6 os_prio=0 tid=0x00002b4734046000 nid=0xdd96 waiting for monitor entry [0x00002b46ceac3000] 97.75/33.10 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.10 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.10 at java.lang.Thread.run(Thread.java:748) 97.75/33.10 97.75/33.10 "Thread-451" #472 daemon prio=6 os_prio=0 tid=0x00002b47e000a800 nid=0xdd8f runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-429" #471 daemon prio=6 os_prio=0 tid=0x00002b47e0009800 nid=0xdd8e runnable [0x0000000000000000] 97.75/33.10 java.lang.Thread.State: TERMINATED 97.75/33.10 97.75/33.10 "Thread-430" #470 daemon prio=6 os_prio=0 tid=0x00002b47e4006800 nid=0xdd8c runnable [0x00002b470ab2c000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.10 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000007abc45ce8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.10 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.10 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.10 - locked <0x00000007b5b5d210> (a java.io.BufferedInputStream) 97.75/33.10 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.10 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.10 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.10 - locked <0x00000007b5b5d298> (a java.io.InputStreamReader) 97.75/33.10 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.10 at java.io.Reader.read(Reader.java:100) 97.75/33.10 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.10 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.10 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.10 97.75/33.10 "ThreadPoolThread111" #447 daemon prio=6 os_prio=0 tid=0x00002b4734065000 nid=0xdd5f runnable [0x00002b46ce8c1000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.util.ArrayList$SubList.size(ArrayList.java:1040) 97.75/33.10 at java.util.AbstractCollection.toArray(AbstractCollection.java:176) 97.75/33.10 at java.lang.String.split(String.java:2378) 97.75/33.10 at java.lang.String.split(String.java:2422) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:219) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.10 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.10 at java.lang.Thread.run(Thread.java:748) 97.75/33.10 97.75/33.10 "ThreadPoolThread110" #446 daemon prio=6 os_prio=0 tid=0x00002b4734064000 nid=0xdd5e waiting on condition [0x00002b46cd9b7000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 97.75/33.10 - locked <0x00000007abcbe8e8> (a aprove.Strategies.Abortions.Clock) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.10 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.10 at java.lang.Thread.run(Thread.java:748) 97.75/33.10 97.75/33.10 "ThreadPoolThread109" #445 daemon prio=6 os_prio=0 tid=0x00002b4734063800 nid=0xdd5d runnable [0x00002b46cd8b5000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.lang.Thread.setPriority0(Native Method) 97.75/33.10 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.10 at java.lang.Thread.init(Thread.java:417) 97.75/33.10 at java.lang.Thread.init(Thread.java:349) 97.75/33.10 at java.lang.Thread.(Thread.java:448) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.10 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.10 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.10 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.10 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.10 at java.lang.Thread.run(Thread.java:748) 97.75/33.10 97.75/33.10 "ThreadPoolThread108" #444 daemon prio=6 os_prio=0 tid=0x00002b4734024800 nid=0xdd5c waiting for monitor entry [0x00002b46cd5b3000] 97.75/33.10 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.10 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.10 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.10 at java.lang.Thread.run(Thread.java:748) 97.75/33.10 97.75/33.10 "ThreadPoolThread107" #443 daemon prio=6 os_prio=0 tid=0x00002b473402c000 nid=0xdd5b runnable [0x00002b47eabd2000] 97.75/33.10 java.lang.Thread.State: RUNNABLE 97.75/33.10 at java.lang.Thread.setPriority0(Native Method) 97.75/33.10 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.10 at java.lang.Thread.init(Thread.java:417) 97.75/33.10 at java.lang.Thread.init(Thread.java:349) 97.75/33.10 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread106" #442 daemon prio=6 os_prio=0 tid=0x00002b4734023000 nid=0xdd5a waiting for monitor entry [0x00002b47e93f5000] 97.75/33.11 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.11 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread105" #441 daemon prio=6 os_prio=0 tid=0x00002b4734052000 nid=0xdd59 waiting for monitor entry [0x00002b47ea695000] 97.75/33.11 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.11 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread104" #440 daemon prio=6 os_prio=0 tid=0x00002b4734015800 nid=0xdd58 in Object.wait() [0x00002b47ea21f000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x00000006a2b20920> (a java.lang.UNIXProcess) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 97.75/33.11 - locked <0x00000006a2b20920> (a java.lang.UNIXProcess) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread103" #439 daemon prio=6 os_prio=0 tid=0x00002b4734028800 nid=0xdd57 runnable [0x00002b47ea01c000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread102" #438 daemon prio=6 os_prio=0 tid=0x00002b473401d000 nid=0xdd56 waiting for monitor entry [0x00002b47ea796000] 97.75/33.11 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.11 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread101" #437 daemon prio=6 os_prio=0 tid=0x00002b473400c800 nid=0xdd55 in Object.wait() [0x00002b47ea45a000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x00000006a289b798> (a java.lang.UNIXProcess) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 97.75/33.11 - locked <0x00000006a289b798> (a java.lang.UNIXProcess) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread100" #436 daemon prio=6 os_prio=0 tid=0x00002b473402a000 nid=0xdd54 runnable [0x00002b47e9d1a000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread99" #435 daemon prio=6 os_prio=0 tid=0x00002b4734054000 nid=0xdd53 in Object.wait() [0x00002b47e8def000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x00000006a26cbc68> (a java.lang.UNIXProcess) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 97.75/33.11 - locked <0x00000006a26cbc68> (a java.lang.UNIXProcess) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread98" #434 daemon prio=6 os_prio=0 tid=0x00002b4734010800 nid=0xdd52 waiting for monitor entry [0x00002b470bde8000] 97.75/33.11 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.11 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread86" #422 daemon prio=6 os_prio=0 tid=0x00002b4734059800 nid=0xdd3c runnable [0x00002b470bce7000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread85" #421 daemon prio=6 os_prio=0 tid=0x00002b4734020800 nid=0xdd3b in Object.wait() [0x00002b470b871000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x00000006a8ed2dd0> (a java.lang.UNIXProcess) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 97.75/33.11 - locked <0x00000006a8ed2dd0> (a java.lang.UNIXProcess) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread83" #413 daemon prio=6 os_prio=0 tid=0x00002b473403e800 nid=0xdd32 waiting on condition [0x00002b46cfcd5000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 97.75/33.11 - locked <0x00000007abc235f8> (a aprove.Strategies.Abortions.Clock) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread82" #412 daemon prio=6 os_prio=0 tid=0x00002b4734033800 nid=0xdd31 in Object.wait() [0x00002b47e976a000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x00000007abc43c48> (a java.lang.UNIXProcess) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 97.75/33.11 - locked <0x00000007abc43c48> (a java.lang.UNIXProcess) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread81" #411 daemon prio=6 os_prio=0 tid=0x00002b4734057800 nid=0xdd30 waiting on condition [0x00002b470af31000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 97.75/33.11 - locked <0x00000007abccdc20> (a aprove.Strategies.Abortions.Clock) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread78" #408 daemon prio=6 os_prio=0 tid=0x00002b4734035800 nid=0xdd2d in Object.wait() [0x00002b46cf8d1000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x000000069d05d7b0> (a java.lang.UNIXProcess) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 97.75/33.11 - locked <0x000000069d05d7b0> (a java.lang.UNIXProcess) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread77" #407 daemon prio=6 os_prio=0 tid=0x00002b473401f000 nid=0xdd2c runnable [0x00002b47e9c18000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread76" #406 daemon prio=6 os_prio=0 tid=0x00002b473403b000 nid=0xdd2b waiting on condition [0x00002b470a628000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 97.75/33.11 - locked <0x00000007abcc6180> (a aprove.Strategies.Abortions.Clock) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread74" #404 daemon prio=6 os_prio=0 tid=0x00002b473405f800 nid=0xdd29 runnable [0x00002b47e996b000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread73" #403 daemon prio=6 os_prio=0 tid=0x00002b473404c000 nid=0xdd28 waiting for monitor entry [0x00002b46cfed7000] 97.75/33.11 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.11 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread67" #259 daemon prio=6 os_prio=0 tid=0x00002b4734017800 nid=0xdc55 runnable [0x00002b47eb211000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "Thread-222" #247 daemon prio=6 os_prio=0 tid=0x00002b47b0009800 nid=0xdc17 runnable [0x00002b46cefc8000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.11 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.11 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.11 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.11 - locked <0x00000007abbed0c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.11 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.11 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.11 - locked <0x00000007b62db030> (a java.io.BufferedInputStream) 97.75/33.11 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.11 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.11 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.11 - locked <0x00000007b62db0b8> (a java.io.InputStreamReader) 97.75/33.11 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.11 at java.io.Reader.read(Reader.java:100) 97.75/33.11 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.11 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.11 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.11 97.75/33.11 "Thread-211" #246 daemon prio=6 os_prio=0 tid=0x00002b47b0008800 nid=0xdc11 runnable [0x00002b470bbac000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.io.FileInputStream.readBytes(Native Method) 97.75/33.11 at java.io.FileInputStream.read(FileInputStream.java:255) 97.75/33.11 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.11 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.11 - locked <0x00000007abbeb030> (a java.lang.UNIXProcess$ProcessPipeInputStream) 97.75/33.11 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 97.75/33.11 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 97.75/33.11 - locked <0x00000007b62e0660> (a java.io.BufferedInputStream) 97.75/33.11 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 97.75/33.11 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 97.75/33.11 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 97.75/33.11 - locked <0x00000007b62e06e8> (a java.io.InputStreamReader) 97.75/33.11 at java.io.InputStreamReader.read(InputStreamReader.java:184) 97.75/33.11 at java.io.Reader.read(Reader.java:100) 97.75/33.11 at java.util.Scanner.readInput(Scanner.java:804) 97.75/33.11 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 97.75/33.11 at java.util.Scanner.hasNextLine(Scanner.java:1500) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 97.75/33.11 97.75/33.11 "process reaper" #153 daemon prio=10 os_prio=0 tid=0x00002b47d4006800 nid=0xdb5d runnable [0x00002b470ab9f000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #158 daemon prio=10 os_prio=0 tid=0x00002b47a0003000 nid=0xdb5a waiting on condition [0x00002b470ab66000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #180 daemon prio=10 os_prio=0 tid=0x00002b47b8004800 nid=0xdb2b waiting on condition [0x00002b47eae0e000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #173 daemon prio=10 os_prio=0 tid=0x00002b476c00a800 nid=0xdb24 waiting on condition [0x00002b47ea7cf000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #170 daemon prio=10 os_prio=0 tid=0x00002b47d8003800 nid=0xdb21 waiting on condition [0x00002b47ea594000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #167 daemon prio=10 os_prio=0 tid=0x00002b47b4005800 nid=0xdb1e runnable [0x00002b47ea359000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #147 daemon prio=10 os_prio=0 tid=0x00002b476800d000 nid=0xdb08 runnable [0x00002b47e9b18000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #144 daemon prio=10 os_prio=0 tid=0x00002b4764017800 nid=0xdafd runnable [0x00002b47e9adf000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #121 daemon prio=10 os_prio=0 tid=0x00002b4798007000 nid=0xdac0 runnable [0x00002b47e99a5000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002b4768009000 nid=0xdaac waiting on condition [0x00002b47e9467000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #106 daemon prio=10 os_prio=0 tid=0x00002b474c004800 nid=0xdaa0 waiting on condition [0x00002b47e942e000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread55" #103 daemon prio=6 os_prio=0 tid=0x00002b473405d800 nid=0xda9d runnable [0x00002b47e91f2000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread54" #102 daemon prio=6 os_prio=0 tid=0x00002b473405b000 nid=0xda9c waiting on condition [0x00002b47e90f2000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 97.75/33.11 - locked <0x00000007abc6d5e0> (a aprove.Strategies.Abortions.Clock) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #95 daemon prio=10 os_prio=0 tid=0x00002b47b4004800 nid=0xda92 runnable [0x00002b47e89eb000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #93 daemon prio=10 os_prio=0 tid=0x00002b47a8009000 nid=0xda91 waiting on condition [0x00002b47e89b2000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #91 daemon prio=10 os_prio=0 tid=0x00002b4740004800 nid=0xda8f runnable [0x00002b47e8878000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002b47bc001800 nid=0xda8c runnable [0x00002b47e863d000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #85 daemon prio=10 os_prio=0 tid=0x00002b47b8003800 nid=0xda89 waiting on condition [0x00002b470bfcd000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #83 daemon prio=10 os_prio=0 tid=0x00002b47b0001000 nid=0xda87 waiting on condition [0x00002b470bf94000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #80 daemon prio=10 os_prio=0 tid=0x00002b476c001800 nid=0xda84 waiting on condition [0x00002b470bf5b000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #77 daemon prio=10 os_prio=0 tid=0x00002b47a0001000 nid=0xda81 waiting on condition [0x00002b470be21000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #74 daemon prio=10 os_prio=0 tid=0x00002b4788001000 nid=0xda7e waiting on condition [0x00002b470bbe6000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #71 daemon prio=10 os_prio=0 tid=0x00002b4790001000 nid=0xda7b waiting on condition [0x00002b470b9ab000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #68 daemon prio=10 os_prio=0 tid=0x00002b4754003000 nid=0xda71 runnable [0x00002b470b570000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 97.75/33.11 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 97.75/33.11 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread48" #66 daemon prio=6 os_prio=0 tid=0x00002b4734050000 nid=0xda6e runnable [0x00002b470b435000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #57 daemon prio=10 os_prio=0 tid=0x00002b47a8002800 nid=0xda61 waiting on condition [0x00002b46c7fe8000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread42" #55 daemon prio=6 os_prio=0 tid=0x00002b4734044000 nid=0xda5c waiting for monitor entry [0x00002b470aa2c000] 97.75/33.11 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.11 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread40" #53 daemon prio=6 os_prio=0 tid=0x00002b4734040800 nid=0xda5a in Object.wait() [0x00002b470a82a000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x00000007abbd8070> (a java.lang.UNIXProcess) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 97.75/33.11 - locked <0x00000007abbd8070> (a java.lang.UNIXProcess) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 97.75/33.11 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread32" #45 daemon prio=6 os_prio=0 tid=0x00002b4734031800 nid=0xda52 waiting for monitor entry [0x00002b46cfad3000] 97.75/33.11 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.11 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread11" #24 daemon prio=6 os_prio=0 tid=0x00002b4734012000 nid=0xda3c waiting for monitor entry [0x00002b46ce9c2000] 97.75/33.11 java.lang.Thread.State: BLOCKED (on object monitor) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 97.75/33.11 - waiting to lock <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b472c013800 nid=0xda35 waiting on condition [0x00002b46affe2000] 97.75/33.11 java.lang.Thread.State: TIMED_WAITING (parking) 97.75/33.11 at sun.misc.Unsafe.park(Native Method) 97.75/33.11 - parking to wait for <0x00000004400013a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 97.75/33.11 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 97.75/33.11 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 97.75/33.11 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 97.75/33.11 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b473400b800 nid=0xda33 runnable [0x00002b46cd7b5000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 97.75/33.11 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 97.75/33.11 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 97.75/33.11 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 97.75/33.11 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 97.75/33.11 - locked <0x000000045b257c78> (a aprove.Strategies.Abortions.TrackThreadPool) 97.75/33.11 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 97.75/33.11 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 97.75/33.11 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 97.75/33.11 97.75/33.11 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b46b08d9800 nid=0xda32 runnable [0x00002b46cd6b3000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.start0(Native Method) 97.75/33.11 at java.lang.Thread.start(Thread.java:717) 97.75/33.11 - locked <0x00000007b6378ae0> (a java.lang.Thread) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:410) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191) 97.75/33.11 - locked <0x0000000440001608> (a aprove.Strategies.Util.PrioritizableThreadPool) 97.75/33.11 at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26) 97.75/33.11 at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b46b025c000 nid=0xda2c runnable [0x00002b46cd4b2000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.util.LinkedList.toArray(LinkedList.java:1052) 97.75/33.11 at java.util.LinkedList.addAll(LinkedList.java:408) 97.75/33.11 at java.util.LinkedList.addAll(LinkedList.java:387) 97.75/33.11 at java.util.LinkedList.(LinkedList.java:119) 97.75/33.11 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) 97.75/33.11 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b46b024e000 nid=0xda2b runnable [0x00002b46cd3b0000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.lang.Thread.setPriority0(Native Method) 97.75/33.11 at java.lang.Thread.setPriority(Thread.java:1095) 97.75/33.11 at java.lang.Thread.init(Thread.java:417) 97.75/33.11 at java.lang.Thread.init(Thread.java:349) 97.75/33.11 at java.lang.Thread.(Thread.java:448) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 97.75/33.11 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 97.75/33.11 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "ThreadPoolThread0" #10 daemon prio=5 os_prio=0 tid=0x00002b46b024d000 nid=0xda2a runnable [0x00002b46cd2af000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 at java.util.LinkedList.toArray(LinkedList.java:1052) 97.75/33.11 at java.util.LinkedList.addAll(LinkedList.java:408) 97.75/33.11 at java.util.LinkedList.addAll(LinkedList.java:387) 97.75/33.11 at java.util.LinkedList.(LinkedList.java:119) 97.75/33.11 at aprove.Framework.Utility.Graph.SimpleGraph.getAllPaths(SimpleGraph.java:1174) 97.75/33.11 at aprove.Framework.Utility.Graph.SimpleGraph.getAllPaths(SimpleGraph.java:1133) 97.75/33.11 at aprove.InputModules.Programs.llvm.processors.LLVMSEGraphToLassoProcessor.process(LLVMSEGraphToLassoProcessor.java:59) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 97.75/33.11 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 97.75/33.11 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 97.75/33.11 at java.lang.Thread.run(Thread.java:748) 97.75/33.11 97.75/33.11 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b46b0191800 nid=0xda28 runnable [0x0000000000000000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 97.75/33.11 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b46b0184000 nid=0xda27 runnable [0x0000000000000000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 97.75/33.11 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b46b0182800 nid=0xda26 waiting on condition [0x0000000000000000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 97.75/33.11 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b46b017f800 nid=0xda25 waiting on condition [0x0000000000000000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 97.75/33.11 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b46b017e000 nid=0xda24 waiting on condition [0x0000000000000000] 97.75/33.11 java.lang.Thread.State: RUNNABLE 97.75/33.11 97.75/33.11 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b46b014a000 nid=0xda23 in Object.wait() [0x00002b46cca08000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x0000000440008ac0> (a java.lang.ref.ReferenceQueue$Lock) 97.75/33.11 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 97.75/33.11 - locked <0x0000000440008ac0> (a java.lang.ref.ReferenceQueue$Lock) 97.75/33.11 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 97.75/33.11 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 97.75/33.11 97.75/33.11 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b46b0145800 nid=0xda22 in Object.wait() [0x00002b46cc907000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x0000000440001fe8> (a java.lang.ref.Reference$Lock) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 97.75/33.11 - locked <0x0000000440001fe8> (a java.lang.ref.Reference$Lock) 97.75/33.11 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 97.75/33.11 97.75/33.11 "main" #1 prio=5 os_prio=0 tid=0x00002b46b0008800 nid=0xda1b in Object.wait() [0x00002b46ac15c000] 97.75/33.11 java.lang.Thread.State: WAITING (on object monitor) 97.75/33.11 at java.lang.Object.wait(Native Method) 97.75/33.11 - waiting on <0x0000000440010d58> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 97.75/33.11 at java.lang.Object.wait(Object.java:502) 97.75/33.11 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 97.75/33.11 - locked <0x0000000440010d58> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 97.75/33.11 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 97.75/33.11 at aprove.Runtime.AProVE.run(AProVE.java:101) 97.75/33.11 at aprove.CommandLineInterface.Main.run(Main.java:94) 97.75/33.11 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 97.75/33.11 at aprove.Main.doMain(Main.java:54) 97.75/33.11 at aprove.Main.main(Main.java:20) 97.75/33.11 97.75/33.11 "VM Thread" os_prio=0 tid=0x00002b46b013e000 nid=0xda21 runnable 97.75/33.11 97.75/33.11 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b46b001e000 nid=0xda1d runnable 97.75/33.11 97.75/33.11 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b46b001f800 nid=0xda1e runnable 97.75/33.11 97.75/33.11 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b46b0021800 nid=0xda1f runnable 97.75/33.11 97.75/33.11 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b46b0023800 nid=0xda20 runnable 97.75/33.11 97.75/33.11 "VM Periodic Task Thread" os_prio=0 tid=0x00002b46b019c000 nid=0xda29 waiting on condition 97.75/33.11 103.69/34.61 JNI global references: 432 103.69/34.61 111.06/36.50 Heap 111.06/36.50 PSYoungGen total 4111872K, used 804205K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 111.06/36.50 eden space 3397120K, 2% used [0x0000000695580000,0x000000069ad53b90,0x0000000764b00000) 111.06/36.50 from space 714752K, 99% used [0x0000000764b00000,0x0000000790487900,0x0000000790500000) 111.06/36.50 to space 781312K, 0% used [0x0000000790500000,0x0000000790500000,0x00000007c0000000) 111.06/36.50 ParOldGen total 9786880K, used 811354K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 111.06/36.50 object space 9786880K, 8% used [0x0000000440000000,0x0000000471856bb0,0x0000000695580000) 111.06/36.50 Metaspace used 23398K, capacity 23676K, committed 24192K, reserved 1071104K 111.06/36.50 class space used 2512K, capacity 2586K, committed 2688K, reserved 1048576K 111.06/36.50 132.49/42.10 EOF