649.48/226.26 2019-03-28 11:56:58 649.48/226.26 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 649.48/226.26 649.48/226.26 "Thread-2476" #2509 daemon prio=6 os_prio=0 tid=0x00002acb18007800 nid=0x3a24 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 649.48/226.26 "Thread-2443" #2508 daemon prio=6 os_prio=0 tid=0x00002acb18006800 nid=0x3a22 runnable [0x00002aca5a5f8000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000007bf1f7190> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000006c978b4d8> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x00000006c978d598> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2474" #2507 daemon prio=6 os_prio=0 tid=0x00002acaec003800 nid=0x3a21 runnable [0x00002aca59df0000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000006983d4040> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000006bf550d18> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x00000006bf552dd8> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2467" #2506 daemon prio=6 os_prio=0 tid=0x00002acac400d000 nid=0x3a1e runnable [0x00002aca551b8000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000007bf23f0e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000006b40bd920> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x00000006b40bf9e0> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2445" #2471 daemon prio=6 os_prio=0 tid=0x00002acac400c800 nid=0x3a19 runnable [0x00002aca46bc4000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000007bf23d050> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x000000069c1572d8> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x000000069c159398> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2464" #2505 daemon prio=6 os_prio=0 tid=0x00002acb4000b800 nid=0x3a18 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2447" #2504 daemon prio=6 os_prio=0 tid=0x00002acb4000a800 nid=0x3a17 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2463" #2503 daemon prio=6 os_prio=0 tid=0x00002acb24008800 nid=0x3a16 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2448" #2502 daemon prio=6 os_prio=0 tid=0x00002acb24003800 nid=0x3a15 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2462" #2501 daemon prio=6 os_prio=0 tid=0x00002acb14009000 nid=0x3a14 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2437" #2477 daemon prio=6 os_prio=0 tid=0x00002acb14008000 nid=0x3a13 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2461" #2500 daemon prio=6 os_prio=0 tid=0x00002acb1c010800 nid=0x3a12 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2451" #2499 daemon prio=6 os_prio=0 tid=0x00002acb1c00b000 nid=0x3a11 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2460" #2498 daemon prio=6 os_prio=0 tid=0x00002acad800c000 nid=0x3a10 runnable [0x00002aca7292b000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000007bed6f1f8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x0000000698081510> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x00000006980835d0> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2453" #2497 daemon prio=6 os_prio=0 tid=0x00002acad800b000 nid=0x3a0f runnable [0x00002aca7282a000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bed6d160> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x000000069815f1c8> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000698161288> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2459" #2496 daemon prio=6 os_prio=0 tid=0x00002acaec002800 nid=0x3a0e runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "Thread-2432" #2486 daemon prio=6 os_prio=0 tid=0x00002acaec001800 nid=0x3a0d runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "Thread-2408" #2448 daemon prio=6 os_prio=0 tid=0x00002acb14003800 nid=0x3a0c runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "Thread-2404" #2453 daemon prio=6 os_prio=0 tid=0x00002acb0c002000 nid=0x3a0b runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "Thread-2421" #2495 daemon prio=6 os_prio=0 tid=0x00002aca84001000 nid=0x3a0a runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "Thread-2426" #2493 daemon prio=6 os_prio=0 tid=0x00002acadc001800 nid=0x3a08 runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "Thread-2427" #2492 daemon prio=6 os_prio=0 tid=0x00002acae0003000 nid=0x3a07 runnable [0x00002aca5a7fa000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454a43ed0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x000000069cd5f908> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x000000069cd619c8> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2458" #2491 daemon prio=6 os_prio=0 tid=0x00002aca98004800 nid=0x3a06 runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "Thread-2429" #2490 daemon prio=6 os_prio=0 tid=0x00002aca98003800 nid=0x3a05 runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "Thread-2456" #2487 daemon prio=6 os_prio=0 tid=0x00002acaa8003000 nid=0x3a02 runnable [0x00002aca72f31000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bed42020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf1040e0> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf104168> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2433" #2485 daemon prio=6 os_prio=0 tid=0x00002acaa8005000 nid=0x3a01 runnable [0x00002aca72e30000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bed3e358> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf109aa8> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf109b30> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2454" #2482 daemon prio=6 os_prio=0 tid=0x00002aca88006800 nid=0x39fe runnable [0x00002aca72b2d000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bed3a020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf10f1e0> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf10f268> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2435" #2481 daemon prio=6 os_prio=0 tid=0x00002aca88001000 nid=0x39fd runnable [0x00002aca72a2c000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bed36428> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf114810> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf114898> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2440" #2473 daemon prio=6 os_prio=0 tid=0x00002acaf0001000 nid=0x39f4 runnable [0x00002aca56d44000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454a8a6c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf11a5e0> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf11a668> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2446" #2472 daemon prio=6 os_prio=0 tid=0x00002acb14004800 nid=0x39f3 runnable [0x00002aca56c43000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf0a10f8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf121240> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf1212c8> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2444" #2470 daemon prio=6 os_prio=0 tid=0x00002acb14001800 nid=0x39f0 runnable [0x00002aca590e3000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf09f060> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf127060> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf1270e8> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2441" #2467 daemon prio=6 os_prio=0 tid=0x00002acb1c00c800 nid=0x39ea runnable [0x00002aca5be10000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454b00be0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf12f060> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf12f0e8> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2386" #2466 daemon prio=6 os_prio=0 tid=0x00002acb1c00a800 nid=0x39e9 runnable [0x00002aca5b507000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454b00b58> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf134510> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf134598> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2389" #2465 daemon prio=6 os_prio=0 tid=0x00002acaf0006800 nid=0x39e8 runnable [0x00002aca5b406000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454a8a640> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf139988> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf139a10> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2431" #2464 daemon prio=6 os_prio=0 tid=0x00002acb40008000 nid=0x39e7 runnable [0x00002aca54804000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454b00e70> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf13f060> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf13f0e8> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2390" #2463 daemon prio=6 os_prio=0 tid=0x00002acb40006800 nid=0x39e6 runnable [0x00002aca5b80a000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454b00de8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf144510> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf144598> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2424" #2460 daemon prio=6 os_prio=0 tid=0x00002acb10003000 nid=0x39da runnable [0x00002aca5b90b000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454ae0d70> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf149b08> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf149b90> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2394" #2459 daemon prio=6 os_prio=0 tid=0x00002acb10001000 nid=0x39d8 runnable [0x00002aca471ca000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454ae0ce8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf14f060> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf14f0e8> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2423" #2458 daemon prio=6 os_prio=0 tid=0x00002acb34002800 nid=0x39d7 runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "ThreadPoolThread589" #2454 daemon prio=6 os_prio=0 tid=0x00002aca9c06f800 nid=0x39d3 in Object.wait() [0x00002aca5b102000] 649.48/226.27 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.27 at java.lang.Object.wait(Native Method) 649.48/226.27 at java.lang.Object.wait(Object.java:502) 649.48/226.27 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.27 - locked <0x00000007bed3c2b8> (a java.lang.UNIXProcess) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.27 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "Thread-2359" #2441 daemon prio=6 os_prio=0 tid=0x00002acae0009800 nid=0x39c8 runnable [0x00002aca5500c000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000004548dd378> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000007bf16f6b0> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x00000007bf16f738> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2414" #2436 daemon prio=6 os_prio=0 tid=0x00002acaf4002000 nid=0x39c3 runnable [0x00002aca58cdf000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454423fa0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454f51f58> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000454f51fe0> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2365" #2435 daemon prio=6 os_prio=0 tid=0x00002acaf4001800 nid=0x39c2 runnable [0x00002aca47d80000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454423f18> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454f5b6a0> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000454f5b728> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2375" #2432 daemon prio=6 os_prio=0 tid=0x00002acad800a000 nid=0x39be runnable [0x00002aca56e45000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x00000004548156d8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454f5cae0> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000454f5cb68> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2405" #2430 daemon prio=6 os_prio=0 tid=0x00002acac0005000 nid=0x39ba runnable [0x00002aca59cef000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454aca098> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454f66348> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000454f663d0> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2378" #2429 daemon prio=6 os_prio=0 tid=0x00002acac000c000 nid=0x39b4 runnable [0x00002aca58de0000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454aca010> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454f6b988> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000454f6ba10> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "ThreadPoolThread588" #2428 daemon prio=6 os_prio=0 tid=0x00002aca9c06e000 nid=0x39b3 runnable [0x00002aca55f52000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.lang.Thread.setPriority0(Native Method) 649.48/226.27 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.27 at java.lang.Thread.init(Thread.java:417) 649.48/226.27 at java.lang.Thread.init(Thread.java:349) 649.48/226.27 at java.lang.Thread.(Thread.java:448) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 649.48/226.27 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 649.48/226.27 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 649.48/226.27 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 649.48/226.27 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 649.48/226.27 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread578" #2418 daemon prio=6 os_prio=0 tid=0x00002aca9c068800 nid=0x39a4 runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "ThreadPoolThread577" #2417 daemon prio=6 os_prio=0 tid=0x00002aca9c061000 nid=0x39a1 runnable [0x00002aca59bed000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at immutables.Immutable.DefaultImmutableMap.size(Unknown Source) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.negate(SimplePolynomial.java:537) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:691) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:63) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "Thread-2384" #2416 daemon prio=6 os_prio=0 tid=0x00002acaf0003800 nid=0x39a0 runnable [0x00002aca552b9000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454b02388> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454ff83a8> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000454ff8430> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2381" #2415 daemon prio=6 os_prio=0 tid=0x00002acaf0005000 nid=0x399f runnable [0x00002aca54400000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454b02300> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454ffb9e8> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000454ffba70> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "Thread-2344" #2405 daemon prio=6 os_prio=0 tid=0x00002acad8001000 nid=0x3993 runnable [0x00002aca54703000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.27 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000454815650> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.27 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.27 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.27 - locked <0x0000000455004ee8> (a java.io.BufferedInputStream) 649.48/226.27 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.27 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.27 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.27 - locked <0x0000000455004f70> (a java.io.InputStreamReader) 649.48/226.27 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.27 at java.io.Reader.read(Reader.java:100) 649.48/226.27 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.27 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.27 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.27 649.48/226.27 "ThreadPoolThread576" #2398 daemon prio=6 os_prio=0 tid=0x00002aca9c064000 nid=0x398c runnable [0x00002aca55d17000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.util.Objects.hashCode(Objects.java:98) 649.48/226.27 at java.util.HashMap$Node.hashCode(HashMap.java:296) 649.48/226.27 at java.util.AbstractMap.hashCode(AbstractMap.java:530) 649.48/226.27 at immutables.Immutable.ImmutableLinkedHashMap.hashCode(Unknown Source) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.IndefinitePart.computeHashValue(IndefinitePart.java:1160) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.IndefinitePart.hashCode(IndefinitePart.java:1155) 649.48/226.27 at java.util.HashMap.hash(HashMap.java:338) 649.48/226.27 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:612) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread574" #2396 daemon prio=6 os_prio=0 tid=0x00002aca9c027000 nid=0x398a runnable [0x0000000000000000] 649.48/226.27 java.lang.Thread.State: TERMINATED 649.48/226.27 649.48/226.27 "ThreadPoolThread573" #2395 daemon prio=6 os_prio=0 tid=0x00002aca9c013000 nid=0x3988 in Object.wait() [0x00002aca591e3000] 649.48/226.27 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.27 at java.lang.Object.wait(Native Method) 649.48/226.27 at java.lang.Object.wait(Object.java:502) 649.48/226.27 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.27 - locked <0x00000007bed34388> (a java.lang.UNIXProcess) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.27 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread570" #2392 daemon prio=6 os_prio=0 tid=0x00002aca9c05d000 nid=0x3984 runnable [0x00002aca54e09000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.util.Objects.hashCode(Objects.java:98) 649.48/226.27 at java.util.HashMap$Node.hashCode(HashMap.java:296) 649.48/226.27 at java.util.AbstractMap.hashCode(AbstractMap.java:530) 649.48/226.27 at immutables.Immutable.ImmutableLinkedHashMap.hashCode(Unknown Source) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.IndefinitePart.computeHashValue(IndefinitePart.java:1160) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.IndefinitePart.hashCode(IndefinitePart.java:1155) 649.48/226.27 at java.util.HashMap.hash(HashMap.java:338) 649.48/226.27 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:612) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread569" #2391 daemon prio=6 os_prio=0 tid=0x00002aca9c036800 nid=0x3983 waiting for monitor entry [0x00002aca5a8fb000] 649.48/226.27 java.lang.Thread.State: BLOCKED (on object monitor) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 649.48/226.27 - waiting to lock <0x000000044000c7c8> (a aprove.Strategies.Util.PrioritizableThreadPool) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread563" #2375 daemon prio=6 os_prio=0 tid=0x00002aca9c011800 nid=0x3967 in Object.wait() [0x00002aca59ff1000] 649.48/226.27 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.27 at java.lang.Object.wait(Native Method) 649.48/226.27 at java.lang.Object.wait(Object.java:502) 649.48/226.27 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.27 - locked <0x00000004548155c0> (a java.lang.UNIXProcess) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.27 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread562" #2374 daemon prio=6 os_prio=0 tid=0x00002aca9c049000 nid=0x3966 runnable [0x00002aca562c7000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.lang.Thread.setPriority0(Native Method) 649.48/226.27 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.27 at java.lang.Thread.init(Thread.java:417) 649.48/226.27 at java.lang.Thread.init(Thread.java:349) 649.48/226.27 at java.lang.Thread.(Thread.java:448) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.27 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread561" #2373 daemon prio=6 os_prio=0 tid=0x00002aca9c03f800 nid=0x3965 runnable [0x00002aca58fe1000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.27 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread558" #2370 daemon prio=6 os_prio=0 tid=0x00002aca9c063800 nid=0x3960 runnable [0x00002aca5693f000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at java.lang.Thread.setPriority0(Native Method) 649.48/226.27 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.27 at java.lang.Thread.init(Thread.java:417) 649.48/226.27 at java.lang.Thread.init(Thread.java:349) 649.48/226.27 at java.lang.Thread.(Thread.java:448) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread556" #2368 daemon prio=6 os_prio=0 tid=0x00002aca9c03a800 nid=0x395d in Object.wait() [0x00002aca5aafc000] 649.48/226.27 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.27 at java.lang.Object.wait(Native Method) 649.48/226.27 at java.lang.Object.wait(Object.java:502) 649.48/226.27 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.27 - locked <0x0000000454423e88> (a java.lang.UNIXProcess) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.27 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread554" #2344 daemon prio=6 os_prio=0 tid=0x00002aca9c04f800 nid=0x393f runnable [0x00002aca5b708000] 649.48/226.27 java.lang.Thread.State: RUNNABLE 649.48/226.27 at immutables.Immutable.ImmutableIterator.next(Unknown Source) 649.48/226.27 at aprove.Framework.Algebra.Polynomials.VarPolynomial.isConcrete(VarPolynomial.java:979) 649.48/226.27 at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.divideByGGT(PolynomialConstraint.java:368) 649.48/226.27 at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.(PolynomialConstraint.java:105) 649.48/226.27 at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.contradicts(PolynomialConstraint.java:545) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyCondition(RuleSimplification.java:243) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyCondition(RuleSimplification.java:171) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.runSimplification(RuleSimplification.java:115) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplify(RuleSimplification.java:99) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyRules(RuleSimplification.java:80) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.getSimplifiedSCCs(TerminationGraph.java:253) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:134) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 649.48/226.27 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread553" #2343 daemon prio=6 os_prio=0 tid=0x00002aca9c05b000 nid=0x393e in Object.wait() [0x00002aca476ce000] 649.48/226.27 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.27 at java.lang.Object.wait(Native Method) 649.48/226.27 at java.lang.Object.wait(Object.java:502) 649.48/226.27 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.27 - locked <0x00000007bf1f7168> (a java.lang.UNIXProcess) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.27 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "ThreadPoolThread552" #2342 daemon prio=6 os_prio=0 tid=0x00002aca9c04d800 nid=0x393d in Object.wait() [0x00002aca46fc8000] 649.48/226.27 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.27 at java.lang.Object.wait(Native Method) 649.48/226.27 at java.lang.Object.wait(Object.java:502) 649.48/226.27 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.27 - locked <0x0000000454ae0c58> (a java.lang.UNIXProcess) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.27 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.27 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.27 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.27 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.27 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.27 at java.lang.Thread.run(Thread.java:748) 649.48/226.27 649.48/226.27 "process reaper" #2267 daemon prio=10 os_prio=0 tid=0x00002acb0c001000 nid=0x3919 runnable [0x00002aca47304000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #2266 daemon prio=10 os_prio=0 tid=0x00002acb18001000 nid=0x3900 runnable [0x00002aca56301000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread546" #2291 daemon prio=6 os_prio=0 tid=0x00002aca9c040800 nid=0x38f3 in Object.wait() [0x00002aca59ef0000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x0000000454b02270> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #2262 daemon prio=10 os_prio=0 tid=0x00002acb1c007000 nid=0x38de runnable [0x00002aca55f8c000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread541" #2212 daemon prio=6 os_prio=0 tid=0x00002aca9c05a000 nid=0x3880 runnable [0x00002aca479d1000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.Thread.setPriority0(Native Method) 649.48/226.28 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.28 at java.lang.Thread.init(Thread.java:417) 649.48/226.28 at java.lang.Thread.init(Thread.java:349) 649.48/226.28 at java.lang.Thread.(Thread.java:448) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread539" #2210 daemon prio=6 os_prio=0 tid=0x00002aca9c04e000 nid=0x387e runnable [0x00002aca5b607000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.Thread.setPriority0(Native Method) 649.48/226.28 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.28 at java.lang.Thread.init(Thread.java:417) 649.48/226.28 at java.lang.Thread.init(Thread.java:349) 649.48/226.28 at java.lang.Thread.(Thread.java:448) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread537" #2208 daemon prio=6 os_prio=0 tid=0x00002aca9c065800 nid=0x387c in Object.wait() [0x00002aca5663c000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x00000007bf0a9468> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread522" #2193 daemon prio=6 os_prio=0 tid=0x00002aca9c017800 nid=0x3866 runnable [0x00002aca45cb9000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:475) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #2118 daemon prio=10 os_prio=0 tid=0x00002acadc003800 nid=0x37fd runnable [0x00002aca557a1000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread511" #2085 daemon prio=6 os_prio=0 tid=0x00002aca9c03b800 nid=0x37d8 runnable [0x00002aca477cf000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial$1$1.hasNext(VarPolynomial.java:1047) 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:57) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread500" #2048 daemon prio=6 os_prio=0 tid=0x00002aca9c03f000 nid=0x37a3 runnable [0x00002aca54500000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.Thread.setPriority0(Native Method) 649.48/226.28 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.28 at java.lang.Thread.init(Thread.java:417) 649.48/226.28 at java.lang.Thread.init(Thread.java:349) 649.48/226.28 at java.lang.Thread.(Thread.java:448) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread490" #2038 daemon prio=6 os_prio=0 tid=0x00002aca9c039000 nid=0x3796 runnable [0x00002aca5bd0e000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.DefaultImmutableMap.get(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:676) 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.(GEConstraint.java:42) 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:81) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread472" #1948 daemon prio=6 os_prio=0 tid=0x00002aca9c062000 nid=0x3685 runnable [0x00002aca594e6000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.ImmutableIterator.next(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread455" #1922 daemon prio=6 os_prio=0 tid=0x00002aca9c029800 nid=0x3658 in Object.wait() [0x00002aca46cc4000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x0000000454ac9f80> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #1827 daemon prio=10 os_prio=0 tid=0x00002aca9405b000 nid=0x3602 runnable [0x00002aca5552d000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread438" #1852 daemon prio=6 os_prio=0 tid=0x00002aca9c051800 nid=0x35fc runnable [0x00002aca5a1f3000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.Thread.setPriority0(Native Method) 649.48/226.28 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.28 at java.lang.Thread.init(Thread.java:417) 649.48/226.28 at java.lang.Thread.init(Thread.java:349) 649.48/226.28 at java.lang.Thread.(Thread.java:448) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.DecreasingInterpretationFinder.findInterpretation(DecreasingInterpretationFinder.java:231) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.DecreasingInterpretationFinder.findInductiveCondition(DecreasingInterpretationFinder.java:143) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:194) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread437" #1851 daemon prio=6 os_prio=0 tid=0x00002aca9c00f800 nid=0x35fb in Object.wait() [0x00002aca47e80000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x0000000454a26fa8> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #1830 daemon prio=10 os_prio=0 tid=0x00002aca9c03e000 nid=0x35de runnable [0x00002aca47c7f000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #1824 daemon prio=10 os_prio=0 tid=0x00002acaa4007000 nid=0x35d8 waiting on condition [0x00002aca46da9000] 649.48/226.28 java.lang.Thread.State: TIMED_WAITING (parking) 649.48/226.28 at sun.misc.Unsafe.park(Native Method) 649.48/226.28 - parking to wait for <0x000000044000a730> (a java.util.concurrent.SynchronousQueue$TransferStack) 649.48/226.28 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 649.48/226.28 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 649.48/226.28 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 649.48/226.28 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread428" #1801 daemon prio=6 os_prio=0 tid=0x00002aca9c044000 nid=0x35b2 runnable [0x00002aca56f45000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:475) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread422" #1795 daemon prio=6 os_prio=0 tid=0x00002aca9c03d000 nid=0x35aa runnable [0x00002aca554f3000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread418" #1791 daemon prio=6 os_prio=0 tid=0x00002aca9c058000 nid=0x35a4 runnable [0x00002aca5a4f6000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.math.MutableBigInteger.hybridGCD(MutableBigInteger.java:1880) 649.48/226.28 at java.math.BigInteger.gcd(BigInteger.java:2340) 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #1726 daemon prio=10 os_prio=0 tid=0x00002acaac006800 nid=0x3552 runnable [0x00002aca46d70000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #1723 daemon prio=10 os_prio=0 tid=0x00002acac400a800 nid=0x354f waiting on condition [0x00002aca46d37000] 649.48/226.28 java.lang.Thread.State: TIMED_WAITING (parking) 649.48/226.28 at sun.misc.Unsafe.park(Native Method) 649.48/226.28 - parking to wait for <0x000000044000a730> (a java.util.concurrent.SynchronousQueue$TransferStack) 649.48/226.28 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 649.48/226.28 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 649.48/226.28 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 649.48/226.28 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #1720 daemon prio=10 os_prio=0 tid=0x00002acad4001800 nid=0x354b runnable [0x00002aca46cfe000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread398" #1702 daemon prio=6 os_prio=0 tid=0x00002aca9c053800 nid=0x352b in Object.wait() [0x00002aca5673d000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x00000007bed6b0c0> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:254) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:200) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread391" #1695 daemon prio=6 os_prio=0 tid=0x00002aca9c01f800 nid=0x3523 runnable [0x00002aca455b2000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.ImmutableLinkedHashMap.equals(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) 649.48/226.28 at java.util.HashMap.getNode(HashMap.java:571) 649.48/226.28 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 649.48/226.28 at immutables.Immutable.ImmutableLinkedHashMap.get(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.getNumericalAddend(SimplePolynomial.java:893) 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "Thread-1627" #1656 daemon prio=6 os_prio=0 tid=0x00002acb28010000 nid=0x34eb runnable [0x00002aca592e5000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.28 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.28 - locked <0x000000044e6cb268> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.28 - locked <0x000000044f6febe0> (a java.io.BufferedInputStream) 649.48/226.28 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.28 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.28 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.28 - locked <0x000000044f6fec68> (a java.io.InputStreamReader) 649.48/226.28 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.28 at java.io.Reader.read(Reader.java:100) 649.48/226.28 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.28 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.28 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.28 649.48/226.28 "Thread-1619" #1655 daemon prio=6 os_prio=0 tid=0x00002acb2800f000 nid=0x34ea runnable [0x00002aca54602000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.28 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.28 - locked <0x000000044e6cb1e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.28 - locked <0x000000044f70c318> (a java.io.BufferedInputStream) 649.48/226.28 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.28 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.28 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.28 - locked <0x000000044f70c3a0> (a java.io.InputStreamReader) 649.48/226.28 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.28 at java.io.Reader.read(Reader.java:100) 649.48/226.28 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.28 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.28 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.28 649.48/226.28 "ThreadPoolThread381" #1611 daemon prio=6 os_prio=0 tid=0x00002aca9c02d000 nid=0x34ab runnable [0x00002aca5abfd000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread379" #1609 daemon prio=6 os_prio=0 tid=0x00002aca9c048000 nid=0x34a8 runnable [0x00002aca45bb8000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.plus(SimplePolynomial.java:283) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:616) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread372" #1596 daemon prio=6 os_prio=0 tid=0x00002aca9c05f800 nid=0x3491 in Object.wait() [0x00002aca56a41000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x000000044e6cb150> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread358" #1495 daemon prio=6 os_prio=0 tid=0x00002aca9c041000 nid=0x3405 runnable [0x00002aca5acfe000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:64) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread348" #1414 daemon prio=6 os_prio=0 tid=0x00002aca9c055800 nid=0x3392 in Object.wait() [0x00002aca542fe000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x00000007bf22e9b8> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread342" #1408 daemon prio=6 os_prio=0 tid=0x00002aca9c02b000 nid=0x338a runnable [0x00002aca58ee0000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.math.MutableBigInteger.binaryGcd(MutableBigInteger.java:1969) 649.48/226.28 at java.math.MutableBigInteger.binaryGCD(MutableBigInteger.java:1926) 649.48/226.28 at java.math.MutableBigInteger.hybridGCD(MutableBigInteger.java:1880) 649.48/226.28 at java.math.BigInteger.gcd(BigInteger.java:2340) 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread337" #1403 daemon prio=6 os_prio=0 tid=0x00002aca9c019800 nid=0x3385 in Object.wait() [0x00002aca5a9fb000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x0000000454a8a5b0> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread318" #1265 daemon prio=6 os_prio=0 tid=0x00002aca9c046800 nid=0x32bf runnable [0x00002aca458b5000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.util.HashMap.putVal(HashMap.java:630) 649.48/226.28 at java.util.HashMap.put(HashMap.java:611) 649.48/226.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:683) 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.(GEConstraint.java:42) 649.48/226.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:81) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread294" #1137 daemon prio=6 os_prio=0 tid=0x00002aca9c045800 nid=0x3203 runnable [0x00002aca474cc000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.Thread.setPriority0(Native Method) 649.48/226.28 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.28 at java.lang.Thread.init(Thread.java:417) 649.48/226.28 at java.lang.Thread.init(Thread.java:349) 649.48/226.28 at java.lang.Thread.(Thread.java:448) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 649.48/226.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread292" #1135 daemon prio=6 os_prio=0 tid=0x00002aca9c043000 nid=0x3201 in Object.wait() [0x00002aca470c8000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x0000000454b00ac8> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread283" #1126 daemon prio=6 os_prio=0 tid=0x00002aca9c016800 nid=0x31f7 in Object.wait() [0x00002aca560c5000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x0000000454b00d58> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "ThreadPoolThread258" #1030 daemon prio=6 os_prio=0 tid=0x00002aca9c020000 nid=0x3175 in Object.wait() [0x00002aca5643a000] 649.48/226.28 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.28 at java.lang.Object.wait(Native Method) 649.48/226.28 at java.lang.Object.wait(Object.java:502) 649.48/226.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 649.48/226.28 - locked <0x00000007bed97180> (a java.lang.UNIXProcess) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 649.48/226.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 649.48/226.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.28 at java.lang.Thread.run(Thread.java:748) 649.48/226.28 649.48/226.28 "process reaper" #145 daemon prio=10 os_prio=0 tid=0x00002acac8005000 nid=0x2bf3 runnable [0x00002aca55fc5000] 649.48/226.28 java.lang.Thread.State: RUNNABLE 649.48/226.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #141 daemon prio=10 os_prio=0 tid=0x00002acb24005800 nid=0x2bec runnable [0x00002aca55d51000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #138 daemon prio=10 os_prio=0 tid=0x00002acaa4003000 nid=0x2be9 runnable [0x00002aca55b16000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #135 daemon prio=10 os_prio=0 tid=0x00002acb34001800 nid=0x2be6 runnable [0x00002aca559dc000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #127 daemon prio=10 os_prio=0 tid=0x00002acb30001000 nid=0x2bd7 runnable [0x00002aca55566000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #79 daemon prio=10 os_prio=0 tid=0x00002aca94059000 nid=0x2b80 runnable [0x00002aca552f2000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #76 daemon prio=10 os_prio=0 tid=0x00002acab0003000 nid=0x2b78 runnable [0x00002aca550b7000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #73 daemon prio=10 os_prio=0 tid=0x00002acb20001000 nid=0x2b75 runnable [0x00002aca5507e000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #70 daemon prio=10 os_prio=0 tid=0x00002acaac005800 nid=0x2b72 waiting on condition [0x00002aca55045000] 649.48/226.29 java.lang.Thread.State: TIMED_WAITING (parking) 649.48/226.29 at sun.misc.Unsafe.park(Native Method) 649.48/226.29 - parking to wait for <0x000000044000a730> (a java.util.concurrent.SynchronousQueue$TransferStack) 649.48/226.29 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 649.48/226.29 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 649.48/226.29 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 649.48/226.29 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #49 daemon prio=10 os_prio=0 tid=0x00002acabc001000 nid=0x2b5a runnable [0x00002aca47ff4000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #52 daemon prio=10 os_prio=0 tid=0x00002acaa8004000 nid=0x2b50 runnable [0x00002aca47eba000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #47 daemon prio=10 os_prio=0 tid=0x00002acac4008800 nid=0x2b4c runnable [0x00002aca47c46000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #44 daemon prio=10 os_prio=0 tid=0x00002acae0001000 nid=0x2b45 runnable [0x00002aca47a0b000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #41 daemon prio=10 os_prio=0 tid=0x00002acaa0020800 nid=0x2b3f runnable [0x00002aca0bfcc000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "process reaper" #34 daemon prio=10 os_prio=0 tid=0x00002acac4003000 nid=0x2b33 runnable [0x00002aca0bf93000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 649.48/226.29 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 649.48/226.29 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 649.48/226.29 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002aca9c009800 nid=0x29ea sleeping[0x00002aca459b7000] 649.48/226.29 java.lang.Thread.State: TIMED_WAITING (sleeping) 649.48/226.29 at java.lang.Thread.sleep(Native Method) 649.48/226.29 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55) 649.48/226.29 649.48/226.29 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002aca0c906800 nid=0x29e9 runnable [0x00002aca45ab6000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at java.lang.Thread.setPriority0(Native Method) 649.48/226.29 at java.lang.Thread.setPriority(Thread.java:1095) 649.48/226.29 at java.lang.Thread.init(Thread.java:417) 649.48/226.29 at java.lang.Thread.init(Thread.java:349) 649.48/226.29 at java.lang.Thread.(Thread.java:464) 649.48/226.29 at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:405) 649.48/226.29 at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191) 649.48/226.29 - locked <0x000000044000c7c8> (a aprove.Strategies.Util.PrioritizableThreadPool) 649.48/226.29 at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26) 649.48/226.29 at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSimple.exec(ExecSimple.java:40) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002aca0c26c000 nid=0x29e3 runnable [0x00002aca457b5000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:465) 649.48/226.29 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 649.48/226.29 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 649.48/226.29 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 649.48/226.29 at java.lang.Thread.run(Thread.java:748) 649.48/226.29 649.48/226.29 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002aca0c1a1800 nid=0x29df runnable [0x0000000000000000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 649.48/226.29 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002aca0c184000 nid=0x29de waiting on condition [0x0000000000000000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 649.48/226.29 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002aca0c182800 nid=0x29dd runnable [0x0000000000000000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 649.48/226.29 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002aca0c17f800 nid=0x29dc waiting on condition [0x0000000000000000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 649.48/226.29 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002aca0c17e000 nid=0x29db waiting on condition [0x0000000000000000] 649.48/226.29 java.lang.Thread.State: RUNNABLE 649.48/226.29 649.48/226.29 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002aca0c14a000 nid=0x29da in Object.wait() [0x00002aca44d0b000] 649.48/226.29 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.29 at java.lang.Object.wait(Native Method) 649.48/226.29 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 649.48/226.29 - locked <0x000000044000cca0> (a java.lang.ref.ReferenceQueue$Lock) 649.48/226.29 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 649.48/226.29 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 649.48/226.29 649.48/226.29 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002aca0c145800 nid=0x29d9 in Object.wait() [0x00002aca44c0a000] 649.48/226.29 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.29 at java.lang.Object.wait(Native Method) 649.48/226.29 at java.lang.Object.wait(Object.java:502) 649.48/226.29 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 649.48/226.29 - locked <0x000000044000b100> (a java.lang.ref.Reference$Lock) 649.48/226.29 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 649.48/226.29 649.48/226.29 "main" #1 prio=5 os_prio=0 tid=0x00002aca0c008800 nid=0x29d2 in Object.wait() [0x00002aca0a036000] 649.48/226.29 java.lang.Thread.State: WAITING (on object monitor) 649.48/226.29 at java.lang.Object.wait(Native Method) 649.48/226.29 - waiting on <0x000000044000cce0> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 649.48/226.29 at java.lang.Object.wait(Object.java:502) 649.48/226.29 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 649.48/226.29 - locked <0x000000044000cce0> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 649.48/226.29 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 649.48/226.29 at aprove.Runtime.AProVE.run(AProVE.java:101) 649.48/226.29 at aprove.CommandLineInterface.Main.run(Main.java:94) 649.48/226.29 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 649.48/226.29 at aprove.Main.doMain(Main.java:54) 649.48/226.29 at aprove.Main.main(Main.java:20) 649.48/226.29 649.48/226.29 "VM Thread" os_prio=0 tid=0x00002aca0c13e000 nid=0x29d8 runnable 649.48/226.29 649.48/226.29 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002aca0c01e000 nid=0x29d4 runnable 649.48/226.29 649.48/226.29 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002aca0c01f800 nid=0x29d5 runnable 649.48/226.29 649.48/226.29 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002aca0c021800 nid=0x29d6 runnable 649.48/226.29 649.48/226.29 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002aca0c023800 nid=0x29d7 runnable 649.48/226.29 649.48/226.29 "VM Periodic Task Thread" os_prio=0 tid=0x00002aca0c1a4000 nid=0x29e0 waiting on condition 649.48/226.29 656.41/228.12 JNI global references: 319 656.41/228.12 660.15/229.05 Heap 660.15/229.05 PSYoungGen total 4874240K, used 2738202K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 660.15/229.05 eden space 4854784K, 56% used [0x0000000695580000,0x000000073bfcbe70,0x00000007bda80000) 660.15/229.05 from space 19456K, 40% used [0x00000007bed00000,0x00000007bf4bab40,0x00000007c0000000) 660.15/229.05 to space 18944K, 0% used [0x00000007bda80000,0x00000007bda80000,0x00000007bed00000) 660.15/229.05 ParOldGen total 9786880K, used 346187K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 660.15/229.05 object space 9786880K, 3% used [0x0000000440000000,0x0000000455212fd8,0x0000000695580000) 660.15/229.05 Metaspace used 24087K, capacity 24402K, committed 24704K, reserved 1071104K 660.15/229.05 class space used 2564K, capacity 2657K, committed 2688K, reserved 1048576K 660.15/229.05 687.89/236.15 EOF