238.18/61.59 2019-03-28 22:54:00 238.18/61.59 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 238.18/61.59 238.18/61.59 "Thread-2530" #2538 daemon prio=6 os_prio=0 tid=0x00002b3610008800 nid=0xc30d runnable [0x0000000000000000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 238.18/61.59 "Thread-2471" #2537 daemon prio=6 os_prio=0 tid=0x00002b3610008000 nid=0xc30c runnable [0x00002b361b533000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2529" #2536 daemon prio=6 os_prio=0 tid=0x00002b35e8004800 nid=0xc30b runnable [0x00002b361b432000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2472" #2535 daemon prio=6 os_prio=0 tid=0x00002b35e8003000 nid=0xc30a runnable [0x00002b361b331000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2473" #2534 daemon prio=6 os_prio=0 tid=0x00002b35fc001000 nid=0xc309 runnable [0x00002b361b230000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2527" #2533 daemon prio=6 os_prio=0 tid=0x00002b35ec001800 nid=0xc308 runnable [0x00002b361b12f000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2474" #2532 daemon prio=6 os_prio=0 tid=0x00002b35ec004000 nid=0xc307 runnable [0x00002b361b02e000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2526" #2531 daemon prio=6 os_prio=0 tid=0x00002b353c005000 nid=0xc306 runnable [0x00002b361ac2a000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2475" #2530 daemon prio=6 os_prio=0 tid=0x00002b353c003800 nid=0xc305 runnable [0x00002b361aa28000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2525" #2529 daemon prio=6 os_prio=0 tid=0x00002b3600009800 nid=0xc304 runnable [0x00002b361a725000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2476" #2528 daemon prio=6 os_prio=0 tid=0x00002b3600009000 nid=0xc303 runnable [0x00002b361a624000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2524" #2527 daemon prio=6 os_prio=0 tid=0x00002b35d400d800 nid=0xc302 runnable [0x00002b361a422000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2477" #2526 daemon prio=6 os_prio=0 tid=0x00002b35d400c800 nid=0xc301 runnable [0x00002b361a321000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2523" #2525 daemon prio=6 os_prio=0 tid=0x00002b35d4003000 nid=0xc300 runnable [0x00002b361a220000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2478" #2524 daemon prio=6 os_prio=0 tid=0x00002b35d4001000 nid=0xc2ff runnable [0x00002b361a11f000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2522" #2523 daemon prio=6 os_prio=0 tid=0x00002b360c00b800 nid=0xc2fe runnable [0x00002b361a01e000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2479" #2522 daemon prio=6 os_prio=0 tid=0x00002b360c008800 nid=0xc2fd runnable [0x00002b3619f1d000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2521" #2521 daemon prio=6 os_prio=0 tid=0x00002b3608002000 nid=0xc2fc runnable [0x00002b3619a18000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2480" #2520 daemon prio=6 os_prio=0 tid=0x00002b3608003000 nid=0xc2fb runnable [0x00002b3619917000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2520" #2519 daemon prio=6 os_prio=0 tid=0x00002b35f8002000 nid=0xc2fa runnable [0x00002b3619816000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2481" #2518 daemon prio=6 os_prio=0 tid=0x00002b35f8007000 nid=0xc2f9 runnable [0x00002b361910f000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2519" #2517 daemon prio=6 os_prio=0 tid=0x00002b35a8004800 nid=0xc2f8 runnable [0x00002b361900e000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2482" #2516 daemon prio=6 os_prio=0 tid=0x00002b35a8004000 nid=0xc2f7 runnable [0x00002b3618e0c000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2483" #2515 daemon prio=6 os_prio=0 tid=0x00002b35c8001000 nid=0xc2f6 runnable [0x00002b3618d0b000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2517" #2514 daemon prio=6 os_prio=0 tid=0x00002b3610007000 nid=0xc2f5 runnable [0x00002b361a927000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2484" #2513 daemon prio=6 os_prio=0 tid=0x00002b361000c800 nid=0xc2f4 runnable [0x00002b35c2b43000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2516" #2512 daemon prio=6 os_prio=0 tid=0x00002b35e4005000 nid=0xc2f3 runnable [0x00002b3618b09000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2486" #2511 daemon prio=6 os_prio=0 tid=0x00002b35e4004000 nid=0xc2f2 runnable [0x00002b3618a08000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2515" #2510 daemon prio=6 os_prio=0 tid=0x00002b35a8001800 nid=0xc2f1 runnable [0x00002b3618907000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2487" #2509 daemon prio=6 os_prio=0 tid=0x00002b35a8001000 nid=0xc2f0 runnable [0x00002b3618806000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2488" #2508 daemon prio=6 os_prio=0 tid=0x00002b35cc001000 nid=0xc2ef runnable [0x00002b3618503000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2513" #2507 daemon prio=6 os_prio=0 tid=0x00002b35d8001800 nid=0xc2ee runnable [0x00002b35c3d5c000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2489" #2506 daemon prio=6 os_prio=0 tid=0x00002b35d8001000 nid=0xc2ec runnable [0x00002b35c304f000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.io.FileInputStream.readBytes(Native Method) 238.18/61.60 at java.io.FileInputStream.read(FileInputStream.java:255) 238.18/61.60 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 238.18/61.60 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 238.18/61.60 - locked <0x00000006bdab7288> (a java.lang.UNIXProcess$ProcessPipeInputStream) 238.18/61.60 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 238.18/61.60 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 238.18/61.60 - locked <0x00000007b81bf9c0> (a java.io.BufferedInputStream) 238.18/61.60 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 238.18/61.60 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 238.18/61.60 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 238.18/61.60 - locked <0x00000007b81c1a80> (a java.io.InputStreamReader) 238.18/61.60 at java.io.InputStreamReader.read(InputStreamReader.java:184) 238.18/61.60 at java.io.Reader.read(Reader.java:100) 238.18/61.60 at java.util.Scanner.readInput(Scanner.java:804) 238.18/61.60 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 238.18/61.60 at java.util.Scanner.hasNextLine(Scanner.java:1500) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 238.18/61.60 238.18/61.60 "Thread-2509" #2505 daemon prio=6 os_prio=0 tid=0x00002b35e0004000 nid=0xc2eb runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2491" #2504 daemon prio=6 os_prio=0 tid=0x00002b35e0001000 nid=0xc2e8 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2508" #2503 daemon prio=6 os_prio=0 tid=0x00002b35d400b000 nid=0xc2e7 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2494" #2502 daemon prio=6 os_prio=0 tid=0x00002b35d400a000 nid=0xc2e6 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2496" #2501 daemon prio=6 os_prio=0 tid=0x00002b35ac007000 nid=0xc2e5 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2499" #2499 daemon prio=6 os_prio=0 tid=0x00002b35a4007000 nid=0xc2e2 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2504" #2498 daemon prio=6 os_prio=0 tid=0x00002b361c006000 nid=0xc2e1 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2501" #2497 daemon prio=6 os_prio=0 tid=0x00002b361c008000 nid=0xc2df runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2502" #2496 daemon prio=6 os_prio=0 tid=0x00002b3528002000 nid=0xc2de runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2395" #2495 daemon prio=6 os_prio=0 tid=0x00002b3528004800 nid=0xc2dc runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2500" #2494 daemon prio=6 os_prio=0 tid=0x00002b3554029800 nid=0xc2db runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2493" #2485 daemon prio=6 os_prio=0 tid=0x00002b353c002000 nid=0xc2d0 runnable [0x00002b35c3ecf000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.io.FileInputStream.readBytes(Native Method) 238.18/61.60 at java.io.FileInputStream.read(FileInputStream.java:255) 238.18/61.60 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 238.18/61.60 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 238.18/61.60 - locked <0x00000007beb55ed8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 238.18/61.60 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 238.18/61.60 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 238.18/61.60 - locked <0x00000007018a94d8> (a java.io.BufferedInputStream) 238.18/61.60 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 238.18/61.60 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 238.18/61.60 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 238.18/61.60 - locked <0x00000007018ab598> (a java.io.InputStreamReader) 238.18/61.60 at java.io.InputStreamReader.read(InputStreamReader.java:184) 238.18/61.60 at java.io.Reader.read(Reader.java:100) 238.18/61.60 at java.util.Scanner.readInput(Scanner.java:804) 238.18/61.60 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 238.18/61.60 at java.util.Scanner.hasNextLine(Scanner.java:1500) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 238.18/61.60 238.18/61.60 "Thread-2415" #2484 daemon prio=6 os_prio=0 tid=0x00002b353c001000 nid=0xc2ce runnable [0x00002b353beb1000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.io.FileInputStream.readBytes(Native Method) 238.18/61.60 at java.io.FileInputStream.read(FileInputStream.java:255) 238.18/61.60 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 238.18/61.60 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 238.18/61.60 - locked <0x00000007beb0aa70> (a java.lang.UNIXProcess$ProcessPipeInputStream) 238.18/61.60 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 238.18/61.60 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 238.18/61.60 - locked <0x00000006fc144ec8> (a java.io.BufferedInputStream) 238.18/61.60 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 238.18/61.60 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 238.18/61.60 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 238.18/61.60 - locked <0x00000006fc146f88> (a java.io.InputStreamReader) 238.18/61.60 at java.io.InputStreamReader.read(InputStreamReader.java:184) 238.18/61.60 at java.io.Reader.read(Reader.java:100) 238.18/61.60 at java.util.Scanner.readInput(Scanner.java:804) 238.18/61.60 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 238.18/61.60 at java.util.Scanner.hasNextLine(Scanner.java:1500) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 238.18/61.60 238.18/61.60 "Thread-2468" #2477 daemon prio=6 os_prio=0 tid=0x00002b3508009000 nid=0xc2bc runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2421" #2476 daemon prio=6 os_prio=0 tid=0x00002b3508007800 nid=0xc2b2 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2462" #2475 daemon prio=6 os_prio=0 tid=0x00002b3528013800 nid=0xc2ab runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2424" #2474 daemon prio=6 os_prio=0 tid=0x00002b3528012800 nid=0xc2aa runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2461" #2473 daemon prio=6 os_prio=0 tid=0x00002b352c008800 nid=0xc2a9 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 238.18/61.60 "Thread-2439" #2466 daemon prio=6 os_prio=0 tid=0x00002b3598006000 nid=0xc2a2 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2455" #2465 daemon prio=6 os_prio=0 tid=0x00002b358c013800 nid=0xc29f runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2453" #2464 daemon prio=6 os_prio=0 tid=0x00002b358c003800 nid=0xc29e runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread663" #2463 daemon prio=6 os_prio=0 tid=0x00002b356407e000 nid=0xc29d in Object.wait() [0x00002b35c0d0a000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000006c036a4b8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread662" #2462 daemon prio=6 os_prio=0 tid=0x00002b356407c800 nid=0xc29b runnable [0x00002b35c0b08000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread659" #2459 daemon prio=6 os_prio=0 tid=0x00002b3564078000 nid=0xc298 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread658" #2458 daemon prio=6 os_prio=0 tid=0x00002b3564076800 nid=0xc297 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread657" #2457 daemon prio=6 os_prio=0 tid=0x00002b3564075800 nid=0xc296 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread656" #2456 daemon prio=6 os_prio=0 tid=0x00002b3564074800 nid=0xc295 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread655" #2455 daemon prio=6 os_prio=0 tid=0x00002b3564056800 nid=0xc294 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread654" #2454 daemon prio=6 os_prio=0 tid=0x00002b3564056000 nid=0xc293 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread653" #2453 daemon prio=6 os_prio=0 tid=0x00002b356401c800 nid=0xc292 in Object.wait() [0x00002b35c208d000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 238.18/61.60 - locked <0x00000006aca575d8> (a java.lang.UNIXProcess) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread652" #2452 daemon prio=6 os_prio=0 tid=0x00002b356401c000 nid=0xc291 in Object.wait() [0x00002b35c0e0b000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 238.18/61.60 - locked <0x00000006bdab5160> (a java.lang.UNIXProcess) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread651" #2451 daemon prio=6 os_prio=0 tid=0x00002b3564059800 nid=0xc290 waiting for monitor entry [0x00002b35c100e000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread650" #2450 daemon prio=6 os_prio=0 tid=0x00002b3564058800 nid=0xc28f waiting for monitor entry [0x00002b35c0604000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread649" #2449 daemon prio=6 os_prio=0 tid=0x00002b3564066000 nid=0xc28e in Object.wait() [0x00002b35c0401000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000006c032ece0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread648" #2448 daemon prio=6 os_prio=0 tid=0x00002b3564065000 nid=0xc28c runnable [0x00002b361af2c000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at immutables.Immutable.DefaultImmutableSet.create(Unknown Source) 238.18/61.60 at immutables.Immutable.ImmutableCreator.create(Unknown Source) 238.18/61.60 at immutables.Immutable.DefaultImmutableMap.entrySet(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688) 238.18/61.60 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread647" #2447 daemon prio=6 os_prio=0 tid=0x00002b3564019800 nid=0xc28b in Object.wait() [0x00002b353b6a8000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000006b774d4a8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread646" #2446 daemon prio=6 os_prio=0 tid=0x00002b3564018800 nid=0xc28a runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread645" #2445 daemon prio=6 os_prio=0 tid=0x00002b3564067800 nid=0xc288 in Object.wait() [0x00002b353aea2000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000006a26626c0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread644" #2444 daemon prio=6 os_prio=0 tid=0x00002b3564066800 nid=0xc287 runnable [0x00002b34ff5b6000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread643" #2443 daemon prio=6 os_prio=0 tid=0x00002b356405f000 nid=0xc286 in Object.wait() [0x00002b35c393a000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000006a12dcff8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread642" #2442 daemon prio=6 os_prio=0 tid=0x00002b3564072800 nid=0xc285 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread641" #2441 daemon prio=6 os_prio=0 tid=0x00002b3564070800 nid=0xc283 in Object.wait() [0x00002b36181ff000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000006a0a98220> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread640" #2440 daemon prio=6 os_prio=0 tid=0x00002b3564064000 nid=0xc281 in Object.wait() [0x00002b35c1986000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x000000069fa86508> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread639" #2439 daemon prio=6 os_prio=0 tid=0x00002b356406b000 nid=0xc280 in Object.wait() [0x00002b35c228f000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x000000069f760da8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread638" #2438 daemon prio=6 os_prio=0 tid=0x00002b3564069000 nid=0xc27f in Object.wait() [0x00002b35c2e4c000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x000000069ccb8f18> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread637" #2437 daemon prio=6 os_prio=0 tid=0x00002b3564025000 nid=0xc27d runnable [0x00002b35c2491000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread636" #2436 daemon prio=6 os_prio=0 tid=0x00002b356405b800 nid=0xc27b waiting on condition [0x00002b35c3c5b000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.HashMap.resize(HashMap.java:703) 238.18/61.60 at java.util.HashMap.putVal(HashMap.java:628) 238.18/61.60 at java.util.HashMap.put(HashMap.java:611) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:485) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread635" #2435 daemon prio=6 os_prio=0 tid=0x00002b3564053800 nid=0xc279 runnable [0x00002b35c0805000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread634" #2434 daemon prio=6 os_prio=0 tid=0x00002b356406f000 nid=0xc276 runnable [0x00002b35c2940000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread633" #2433 daemon prio=6 os_prio=0 tid=0x00002b356402a000 nid=0xc272 runnable [0x00002b361a825000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread632" #2432 daemon prio=6 os_prio=0 tid=0x00002b3564011800 nid=0xc26f waiting for monitor entry [0x00002b35c3b3d000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread631" #2431 daemon prio=6 os_prio=0 tid=0x00002b3564014800 nid=0xc26e waiting for monitor entry [0x00002b35c00ff000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread630" #2430 daemon prio=6 os_prio=0 tid=0x00002b3564013800 nid=0xc26d runnable [0x00002b3618300000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.LinkedHashMap$LinkedEntrySet.iterator(LinkedHashMap.java:642) 238.18/61.60 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread629" #2429 daemon prio=6 os_prio=0 tid=0x00002b3564052800 nid=0xc26c waiting for monitor entry [0x00002b35c1b89000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread628" #2428 daemon prio=6 os_prio=0 tid=0x00002b3564041000 nid=0xc26b runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread627" #2427 daemon prio=6 os_prio=0 tid=0x00002b356403b000 nid=0xc26a in Object.wait() [0x00002b35c1d8a000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000007be8573d0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 238.18/61.60 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread625" #2425 daemon prio=6 os_prio=0 tid=0x00002b356403f000 nid=0xc268 in Object.wait() [0x00002b35c1a87000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x000000069fe13748> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread624" #2424 daemon prio=6 os_prio=0 tid=0x00002b356402c000 nid=0xc267 runnable [0x00002b3619512000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at immutables.Immutable.DefaultImmutableSet.create(Unknown Source) 238.18/61.60 at immutables.Immutable.ImmutableCreator.create(Unknown Source) 238.18/61.60 at immutables.Immutable.DefaultImmutableMap.entrySet(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:479) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread623" #2423 daemon prio=6 os_prio=0 tid=0x00002b3564055000 nid=0xc266 waiting for monitor entry [0x00002b35c0705000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread622" #2422 daemon prio=6 os_prio=0 tid=0x00002b356404e800 nid=0xc265 runnable [0x00002b353b8aa000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread621" #2421 daemon prio=6 os_prio=0 tid=0x00002b356400f000 nid=0xc264 in Object.wait() [0x00002b361ab28000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000006a3bcb470> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 238.18/61.60 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread620" #2420 daemon prio=6 os_prio=0 tid=0x00002b3564009000 nid=0xc263 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread619" #2419 daemon prio=6 os_prio=0 tid=0x00002b3564030800 nid=0xc261 runnable [0x00002b3618603000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "Thread-2391" #2415 daemon prio=6 os_prio=0 tid=0x00002b35c8004000 nid=0xc25c runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2390" #2411 daemon prio=6 os_prio=0 tid=0x00002b35d0005800 nid=0xc258 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2383" #2410 daemon prio=6 os_prio=0 tid=0x00002b35d0004800 nid=0xc257 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2379" #2395 daemon prio=6 os_prio=0 tid=0x00002b35cc007800 nid=0xc245 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2360" #2394 daemon prio=6 os_prio=0 tid=0x00002b35cc006800 nid=0xc244 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2378" #2393 daemon prio=6 os_prio=0 tid=0x00002b35dc001800 nid=0xc243 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "Thread-2361" #2392 daemon prio=6 os_prio=0 tid=0x00002b35dc001000 nid=0xc242 runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread617" #2365 daemon prio=6 os_prio=0 tid=0x00002b3564051000 nid=0xc215 runnable [0x00002b35c0502000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread616" #2364 daemon prio=6 os_prio=0 tid=0x00002b3564049000 nid=0xc214 runnable [0x00002b34ffabb000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread615" #2363 daemon prio=6 os_prio=0 tid=0x00002b3564027000 nid=0xc213 runnable [0x00002b34ff7b8000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread614" #2362 daemon prio=6 os_prio=0 tid=0x00002b356406c800 nid=0xc212 waiting for monitor entry [0x00002b353b3a6000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread613" #2361 daemon prio=6 os_prio=0 tid=0x00002b3564039000 nid=0xc211 in Object.wait() [0x00002b35c1481000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x000000069f078e00> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread611" #2359 daemon prio=6 os_prio=0 tid=0x00002b3564035800 nid=0xc20e runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread603" #2319 daemon prio=6 os_prio=0 tid=0x00002b356402e000 nid=0xc1db runnable [0x00002b35c01ff000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread602" #2301 daemon prio=6 os_prio=0 tid=0x00002b3564022000 nid=0xc1d9 in Object.wait() [0x00002b35c3351000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 238.18/61.60 - locked <0x00000007beb0aa48> (a java.lang.UNIXProcess) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread592" #2249 daemon prio=6 os_prio=0 tid=0x00002b356405d000 nid=0xc172 runnable [0x00002b3618402000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.LinkedHashMap$LinkedEntrySet.iterator(LinkedHashMap.java:642) 238.18/61.60 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread590" #2237 daemon prio=6 os_prio=0 tid=0x00002b3564043000 nid=0xc165 runnable [0x00002b35c2693000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.LinkedHashMap.newNode(LinkedHashMap.java:256) 238.18/61.60 at java.util.HashMap.putVal(HashMap.java:630) 238.18/61.60 at java.util.HashMap.put(HashMap.java:611) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:485) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread569" #2133 daemon prio=6 os_prio=0 tid=0x00002b3564029800 nid=0xc0d6 waiting for monitor entry [0x00002b3619412000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread568" #2132 daemon prio=6 os_prio=0 tid=0x00002b356404d800 nid=0xc0d5 runnable [0x00002b35c2593000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.Collections.singletonIterator(Collections.java:4671) 238.18/61.60 at java.util.Collections$SingletonSet.iterator(Collections.java:4757) 238.18/61.60 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:479) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread564" #2128 daemon prio=6 os_prio=0 tid=0x00002b356401a000 nid=0xc0d1 runnable [0x00002b35c0f0c000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.LinkedHashMap$LinkedEntrySet.iterator(LinkedHashMap.java:642) 238.18/61.60 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.plus(SimplePolynomial.java:268) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:616) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread561" #2125 daemon prio=6 os_prio=0 tid=0x00002b3564026000 nid=0xc0ce runnable [0x00002b353bfb1000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread549" #2037 daemon prio=6 os_prio=0 tid=0x00002b3564043800 nid=0xc04c runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: TERMINATED 238.18/61.60 238.18/61.60 "ThreadPoolThread533" #2021 daemon prio=6 os_prio=0 tid=0x00002b356403d000 nid=0xc03c runnable [0x00002b35c2c43000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.LinkedHashMap$LinkedEntrySet.iterator(LinkedHashMap.java:642) 238.18/61.60 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread529" #2017 daemon prio=6 os_prio=0 tid=0x00002b3564062000 nid=0xc038 runnable [0x00002b36180ff000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.LinkedHashMap$LinkedValues.iterator(LinkedHashMap.java:596) 238.18/61.60 at immutables.Immutable.DefaultImmutableCollection.iterator(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial$1.iterator(VarPolynomial.java:1042) 238.18/61.60 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:57) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread526" #2014 daemon prio=6 os_prio=0 tid=0x00002b3564034000 nid=0xc035 runnable [0x00002b35c2d4b000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread524" #2012 daemon prio=6 os_prio=0 tid=0x00002b3564028000 nid=0xc033 runnable [0x00002b361920f000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:267) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:200) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread522" #2010 daemon prio=6 os_prio=0 tid=0x00002b3564024000 nid=0xc031 in Object.wait() [0x00002b35c2f4d000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 238.18/61.60 - locked <0x00000006a87cf030> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:254) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:173) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread492" #1846 daemon prio=6 os_prio=0 tid=0x00002b3564017800 nid=0xbf4b runnable [0x00002b3619e1b000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:267) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:200) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread482" #1836 daemon prio=6 os_prio=0 tid=0x00002b3564047000 nid=0xbf3d runnable [0x00002b35c314f000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:448) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 238.18/61.60 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread480" #1832 daemon prio=6 os_prio=0 tid=0x00002b3564045800 nid=0xbf39 runnable [0x00002b3619d1a000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.math.MutableBigInteger.(MutableBigInteger.java:103) 238.18/61.60 at java.math.MutableBigInteger.hybridGCD(MutableBigInteger.java:1876) 238.18/61.60 at java.math.BigInteger.gcd(BigInteger.java:2340) 238.18/61.60 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread463" #1727 daemon prio=6 os_prio=0 tid=0x00002b356404c000 nid=0xbeb1 waiting for monitor entry [0x00002b353bdb0000] 238.18/61.60 java.lang.Thread.State: BLOCKED (on object monitor) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 238.18/61.60 - waiting to lock <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread456" #1720 daemon prio=6 os_prio=0 tid=0x00002b3564033000 nid=0xbea9 runnable [0x00002b3619c19000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.LinkedHashMap.newNode(LinkedHashMap.java:256) 238.18/61.60 at java.util.HashMap.putVal(HashMap.java:630) 238.18/61.60 at java.util.HashMap.put(HashMap.java:611) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:614) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread400" #1515 daemon prio=6 os_prio=0 tid=0x00002b3564015800 nid=0xbd89 runnable [0x00002b35c0907000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.util.Arrays.copyOf(Arrays.java:3284) 238.18/61.60 at java.math.MutableBigInteger.(MutableBigInteger.java:132) 238.18/61.60 at java.math.BigInteger.gcd(BigInteger.java:2337) 238.18/61.60 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread374" #1341 daemon prio=6 os_prio=0 tid=0x00002b3564041800 nid=0xbc90 runnable [0x00002b3618f0d000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at immutables.Immutable.ImmutableLinkedHashMap.create(Unknown Source) 238.18/61.60 at immutables.Immutable.ImmutableCreator.create(Unknown Source) 238.18/61.60 at immutables.Immutable.ImmutableCreator.create(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.IndefinitePart.(IndefinitePart.java:72) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:222) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread364" #1331 daemon prio=6 os_prio=0 tid=0x00002b356401f800 nid=0xbc86 runnable [0x00002b35c0c0a000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.create(SimplePolynomial.java:164) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:497) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread334" #1202 daemon prio=6 os_prio=0 tid=0x00002b3564029000 nid=0xbbd4 runnable [0x00002b34ffbbd000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.math.MutableBigInteger.(MutableBigInteger.java:103) 238.18/61.60 at java.math.MutableBigInteger.binaryGCD(MutableBigInteger.java:1896) 238.18/61.60 at java.math.MutableBigInteger.hybridGCD(MutableBigInteger.java:1880) 238.18/61.60 at java.math.BigInteger.gcd(BigInteger.java:2340) 238.18/61.60 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1172 daemon prio=10 os_prio=0 tid=0x00002b3610001800 nid=0xbbb5 waiting on condition [0x00002b35c3f08000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1169 daemon prio=10 os_prio=0 tid=0x00002b3614001800 nid=0xbbb2 waiting on condition [0x00002b35c3dce000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1166 daemon prio=10 os_prio=0 tid=0x0000000000985800 nid=0xbbaf waiting on condition [0x00002b35c3d95000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1163 daemon prio=10 os_prio=0 tid=0x00002b3598003800 nid=0xbbab waiting on condition [0x00002b35c3739000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1160 daemon prio=10 os_prio=0 tid=0x00002b360c001000 nid=0xbba8 runnable [0x00002b35c3700000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 238.18/61.60 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 238.18/61.60 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1157 daemon prio=10 os_prio=0 tid=0x00002b35f0005000 nid=0xbba4 waiting on condition [0x00002b35c34c5000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1154 daemon prio=10 os_prio=0 tid=0x00002b35ec002800 nid=0xbba1 waiting on condition [0x00002b35c338b000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1149 daemon prio=10 os_prio=0 tid=0x00002b34e423e800 nid=0xbb9c runnable [0x00002b35c2840000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 238.18/61.60 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 238.18/61.60 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1146 daemon prio=10 os_prio=0 tid=0x00002b357c001000 nid=0xbb99 waiting on condition [0x00002b35c2807000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #1143 daemon prio=10 os_prio=0 tid=0x00002b35e8002000 nid=0xbb96 runnable [0x00002b35c27ce000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 238.18/61.60 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 238.18/61.60 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread184" #639 daemon prio=6 os_prio=0 tid=0x00002b3564032800 nid=0xb8d9 runnable [0x00002b353b9ab000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at immutables.Immutable.DefaultImmutableSet.create(Unknown Source) 238.18/61.60 at immutables.Immutable.ImmutableCreator.create(Unknown Source) 238.18/61.60 at immutables.Immutable.ImmutableLinkedHashMap.entrySet(Unknown Source) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 238.18/61.60 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 238.18/61.60 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #280 daemon prio=10 os_prio=0 tid=0x00002b35d800a000 nid=0xb645 runnable [0x00002b35c1181000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 238.18/61.60 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 238.18/61.60 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #275 daemon prio=10 os_prio=0 tid=0x00002b35f8001000 nid=0xb63e waiting on condition [0x00002b35c1148000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #164 daemon prio=10 os_prio=0 tid=0x00002b35bc001000 nid=0xb5ac waiting on condition [0x00002b353bfeb000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #24 daemon prio=10 os_prio=0 tid=0x00002b355800f000 nid=0xb4e1 waiting on condition [0x00002b353ada2000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #21 daemon prio=10 os_prio=0 tid=0x00002b3554015000 nid=0xb4db waiting on condition [0x00002b353ab69000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b355c01d800 nid=0xb4d8 waiting on condition [0x00002b34ffff6000] 238.18/61.60 java.lang.Thread.State: TIMED_WAITING (parking) 238.18/61.60 at sun.misc.Unsafe.park(Native Method) 238.18/61.60 - parking to wait for <0x000000044000b9f8> (a java.util.concurrent.SynchronousQueue$TransferStack) 238.18/61.60 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 238.18/61.60 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 238.18/61.60 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 238.18/61.60 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b356400d000 nid=0xb4d5 runnable [0x00002b34ff9bb000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 238.18/61.60 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 238.18/61.60 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 238.18/61.60 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 238.18/61.60 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 238.18/61.60 - locked <0x0000000440016600> (a aprove.Strategies.Abortions.TrackThreadPool) 238.18/61.60 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 238.18/61.60 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 238.18/61.60 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 238.18/61.60 238.18/61.60 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b34e48a1000 nid=0xb4d4 runnable [0x00002b34ff8b9000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.lang.Thread.setPriority0(Native Method) 238.18/61.60 at java.lang.Thread.setPriority(Thread.java:1095) 238.18/61.60 at java.lang.Thread.init(Thread.java:417) 238.18/61.60 at java.lang.Thread.init(Thread.java:349) 238.18/61.60 at java.lang.Thread.(Thread.java:464) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:405) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191) 238.18/61.60 - locked <0x000000044002b068> (a aprove.Strategies.Util.PrioritizableThreadPool) 238.18/61.60 at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26) 238.18/61.60 at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b34e424c800 nid=0xb4ce runnable [0x00002b34ff6b7000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at java.math.BigInteger.smallToString(BigInteger.java:3729) 238.18/61.60 at java.math.BigInteger.toString(BigInteger.java:3697) 238.18/61.60 at java.math.BigInteger.toString(BigInteger.java:3858) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMHeuristicConstRef.(LLVMHeuristicConstRef.java:36) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMHeuristicTermFactory.createNormalized(LLVMHeuristicTermFactory.java:560) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMHeuristicTermFactory.create(LLVMHeuristicTermFactory.java:283) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMHeuristicTermFactory.operation(LLVMHeuristicTermFactory.java:407) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMHeuristicTermFactory.operation(LLVMHeuristicTermFactory.java:19) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMTermCombinator.combine(LLVMTermCombinator.java:27) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.LLVMTermCombinator.combine(LLVMTermCombinator.java:11) 238.18/61.60 at aprove.Framework.Utility.GenericStructures.ObjectUtils.binaryFold(ObjectUtils.java:25) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.relations.LLVMHeuristicRelation.buildExpression(LLVMHeuristicRelation.java:1792) 238.18/61.60 at aprove.InputModules.Programs.llvm.internalStructures.expressions.relations.LLVMHeuristicRelation.solveFor(LLVMHeuristicRelation.java:1220) 238.18/61.60 at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.adjustValues(LLVMHeuristicState.java:3044) 238.18/61.60 at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.adjustValues(LLVMHeuristicState.java:505) 238.18/61.60 at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.postProcess(LLVMHeuristicState.java:2197) 238.18/61.60 at aprove.InputModules.Programs.llvm.states.LLVMHeuristicState.postProcessAfterRefinement(LLVMHeuristicState.java:1655) 238.18/61.60 at aprove.InputModules.Programs.llvm.states.LLVMAbstractState.evaluate(LLVMAbstractState.java:517) 238.18/61.60 at aprove.InputModules.Programs.llvm.segraph.graphConstructionSteps.LLVMStandardStep.perform(LLVMStandardStep.java:98) 238.18/61.60 at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.executeStepAndPutSucessorStepsInQueue(LLVMSEGraph.java:1147) 238.18/61.60 at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.buildFullGraph(LLVMSEGraph.java:274) 238.18/61.60 at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.buildFullGraph(LLVMSEGraph.java:247) 238.18/61.60 at aprove.InputModules.Programs.llvm.segraph.LLVMGraphBuilder.buildGraph(LLVMGraphBuilder.java:84) 238.18/61.60 at aprove.InputModules.Programs.llvm.processors.LLVMToSEGraphProcessor.process(LLVMToSEGraphProcessor.java:89) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 238.18/61.60 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 238.18/61.60 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 238.18/61.60 at java.lang.Thread.run(Thread.java:748) 238.18/61.60 238.18/61.60 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b34e4187800 nid=0xb4ca runnable [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 238.18/61.60 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b34e4184000 nid=0xb4c9 waiting on condition [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 238.18/61.60 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b34e4182800 nid=0xb4c8 waiting on condition [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 238.18/61.60 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b34e417f800 nid=0xb4c7 waiting on condition [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 238.18/61.60 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b34e417e000 nid=0xb4c6 waiting on condition [0x0000000000000000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 238.18/61.60 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b34e414a000 nid=0xb4c5 in Object.wait() [0x00002b34fec0e000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 238.18/61.60 - locked <0x000000044003b630> (a java.lang.ref.ReferenceQueue$Lock) 238.18/61.60 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 238.18/61.60 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 238.18/61.60 238.18/61.60 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b34e4145800 nid=0xb4c4 in Object.wait() [0x00002b34feb0d000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 238.18/61.60 - locked <0x0000000440057428> (a java.lang.ref.Reference$Lock) 238.18/61.60 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 238.18/61.60 238.18/61.60 "main" #1 prio=5 os_prio=0 tid=0x00002b34e4008800 nid=0xb4bd in Object.wait() [0x00002b34de3cd000] 238.18/61.60 java.lang.Thread.State: WAITING (on object monitor) 238.18/61.60 at java.lang.Object.wait(Native Method) 238.18/61.60 - waiting on <0x000000044003b6e8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 238.18/61.60 at java.lang.Object.wait(Object.java:502) 238.18/61.60 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 238.18/61.60 - locked <0x000000044003b6e8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 238.18/61.60 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 238.18/61.60 at aprove.Runtime.AProVE.run(AProVE.java:101) 238.18/61.60 at aprove.CommandLineInterface.Main.run(Main.java:94) 238.18/61.60 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 238.18/61.60 at aprove.Main.doMain(Main.java:54) 238.18/61.60 at aprove.Main.main(Main.java:20) 238.18/61.60 238.18/61.60 "VM Thread" os_prio=0 tid=0x00002b34e413e000 nid=0xb4c3 runnable 238.18/61.60 238.18/61.60 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b34e401e000 nid=0xb4bf runnable 238.18/61.60 238.18/61.60 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b34e401f800 nid=0xb4c0 runnable 238.18/61.60 238.18/61.60 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b34e4021800 nid=0xb4c1 runnable 238.18/61.60 238.18/61.60 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b34e4023800 nid=0xb4c2 runnable 238.18/61.60 238.18/61.60 "VM Periodic Task Thread" os_prio=0 tid=0x00002b34e418a000 nid=0xb4cb waiting on condition 238.18/61.60 238.73/61.74 JNI global references: 332 238.73/61.74 257.18/66.46 Heap 257.18/66.46 PSYoungGen total 4859904K, used 62366K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 257.18/66.46 eden space 4828672K, 0% used [0x0000000695580000,0x0000000697adca60,0x00000007bc100000) 257.18/66.46 from space 31232K, 77% used [0x00000007be180000,0x00000007bf90b050,0x00000007c0000000) 257.18/66.46 to space 32256K, 0% used [0x00000007bc100000,0x00000007bc100000,0x00000007be080000) 257.18/66.46 ParOldGen total 9786880K, used 30650K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 257.18/66.46 object space 9786880K, 0% used [0x0000000440000000,0x0000000441deeb60,0x0000000695580000) 257.18/66.46 Metaspace used 23164K, capacity 23442K, committed 23680K, reserved 1071104K 257.18/66.46 class space used 2523K, capacity 2617K, committed 2688K, reserved 1048576K 257.18/66.46 266.65/68.88 EOF