101.70/41.39 2019-03-28 12:37:40 101.70/41.39 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 101.70/41.39 101.70/41.39 "Thread-304" #338 daemon prio=6 os_prio=0 tid=0x00002b5e5c01b800 nid=0x2d25 runnable [0x0000000000000000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 101.70/41.39 "Thread-262" #337 daemon prio=6 os_prio=0 tid=0x00002b5e5c01d800 nid=0x2d24 runnable [0x00002b5da6cf0000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-303" #336 daemon prio=6 os_prio=0 tid=0x00002b5e08007800 nid=0x2d23 runnable [0x00002b5d9dec2000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-263" #335 daemon prio=6 os_prio=0 tid=0x00002b5e08006800 nid=0x2d22 runnable [0x00002b5d9e7cb000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-302" #333 daemon prio=6 os_prio=0 tid=0x00002b5e50012800 nid=0x2d21 runnable [0x00002b5da4e28000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-268" #332 daemon prio=6 os_prio=0 tid=0x00002b5e5000b800 nid=0x2d20 runnable [0x00002b5da6bef000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-301" #331 daemon prio=6 os_prio=0 tid=0x00002b5e54006800 nid=0x2d1f runnable [0x00002b5da73f7000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-273" #330 daemon prio=6 os_prio=0 tid=0x00002b5e54008800 nid=0x2d1e runnable [0x00002b5da72f6000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-300" #329 daemon prio=6 os_prio=0 tid=0x00002b5e74005800 nid=0x2d1d runnable [0x00002b5da4940000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-275" #328 daemon prio=6 os_prio=0 tid=0x00002b5e74004800 nid=0x2d1c runnable [0x00002b5da67eb000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-299" #327 daemon prio=6 os_prio=0 tid=0x00002b5e4c009800 nid=0x2d1b runnable [0x00002b5d9d8bc000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-277" #326 daemon prio=6 os_prio=0 tid=0x00002b5e4c003000 nid=0x2d1a runnable [0x00002b5da4f29000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-298" #325 daemon prio=6 os_prio=0 tid=0x00002b5e58016000 nid=0x2d19 runnable [0x00002b5da66ea000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-279" #324 daemon prio=6 os_prio=0 tid=0x00002b5e58006800 nid=0x2d16 runnable [0x00002b5da65e9000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-297" #323 daemon prio=6 os_prio=0 tid=0x00002b5de0013000 nid=0x2d15 runnable [0x00002b5da69ed000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-282" #322 daemon prio=6 os_prio=0 tid=0x00002b5de0012800 nid=0x2d14 runnable [0x00002b5da68ec000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-296" #321 daemon prio=6 os_prio=0 tid=0x00002b5e08005000 nid=0x2d13 runnable [0x00002b5d9f1d5000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-285" #320 daemon prio=6 os_prio=0 tid=0x00002b5e08004000 nid=0x2d12 runnable [0x00002b5da62e6000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-295" #319 daemon prio=6 os_prio=0 tid=0x00002b5e58011000 nid=0x2d11 runnable [0x00002b5d9cfb3000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-287" #318 daemon prio=6 os_prio=0 tid=0x00002b5e58013000 nid=0x2d10 runnable [0x00002b5da532d000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-294" #317 daemon prio=6 os_prio=0 tid=0x00002b5e5c01c000 nid=0x2d0f runnable [0x00002b5da4c43000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-288" #316 daemon prio=6 os_prio=0 tid=0x00002b5e5c019800 nid=0x2d0e runnable [0x00002b5d9fbdd000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-293" #315 daemon prio=6 os_prio=0 tid=0x00002b5e10009800 nid=0x2d0c runnable [0x00002b5d9d3b7000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-202" #311 daemon prio=6 os_prio=0 tid=0x00002b5e10008000 nid=0x2d0b runnable [0x00002b5d9e0c4000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-292" #314 daemon prio=6 os_prio=0 tid=0x00002b5df0003800 nid=0x2d09 runnable [0x00002b5d9fadc000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-203" #313 daemon prio=6 os_prio=0 tid=0x00002b5df0002800 nid=0x2d08 runnable [0x00002b5da4a41000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-291" #312 daemon prio=6 os_prio=0 tid=0x00002b5de0011800 nid=0x2d07 runnable [0x00002b5d9dfc3000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-204" #310 daemon prio=6 os_prio=0 tid=0x00002b5de000b800 nid=0x2d06 runnable [0x00002b5d9edd1000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-205" #309 daemon prio=6 os_prio=0 tid=0x00002b5e14002800 nid=0x2d05 runnable [0x00002b5d9e8cc000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-290" #308 daemon prio=6 os_prio=0 tid=0x00002b5dd4002000 nid=0x2d04 runnable [0x00002b5d7b761000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-210" #240 daemon prio=6 os_prio=0 tid=0x00002b5dd4001000 nid=0x2d03 runnable [0x00002b5d7be68000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-281" #299 daemon prio=6 os_prio=0 tid=0x00002b5e68001000 nid=0x2cf7 runnable [0x00002b5da4b41000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.39 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000006959fca50> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000007897d4d60> (a java.io.BufferedInputStream) 101.70/41.39 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.39 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.39 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.39 - locked <0x00000007897d6e20> (a java.io.InputStreamReader) 101.70/41.39 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.39 at java.io.Reader.read(Reader.java:100) 101.70/41.39 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.39 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.39 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.39 101.70/41.39 "Thread-231" #257 daemon prio=6 os_prio=0 tid=0x00002b5e68006000 nid=0x2cf5 runnable [0x00002b5da64e7000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.39 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000006959fa990> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x0000000786089318> (a java.io.BufferedInputStream) 101.70/41.39 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.39 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.39 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.39 - locked <0x000000078608b3d8> (a java.io.InputStreamReader) 101.70/41.39 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.39 at java.io.Reader.read(Reader.java:100) 101.70/41.39 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.39 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.39 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.39 101.70/41.39 "Thread-270" #287 daemon prio=6 os_prio=0 tid=0x00002b5e6c007800 nid=0x2ce4 runnable [0x0000000000000000] 101.70/41.39 java.lang.Thread.State: TERMINATED 101.70/41.39 101.70/41.39 "Thread-251" #286 daemon prio=6 os_prio=0 tid=0x00002b5e6c007000 nid=0x2ce3 runnable [0x0000000000000000] 101.70/41.39 java.lang.Thread.State: TERMINATED 101.70/41.39 101.70/41.39 "Thread-269" #285 daemon prio=6 os_prio=0 tid=0x00002b5e6c006000 nid=0x2ce2 runnable [0x00002b5da70f3000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.39 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000006a4ec6c90> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000007410705e8> (a java.io.BufferedInputStream) 101.70/41.39 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.39 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.39 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.39 - locked <0x00000007410726a8> (a java.io.InputStreamReader) 101.70/41.39 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.39 at java.io.Reader.read(Reader.java:100) 101.70/41.39 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.39 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.39 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.39 101.70/41.39 "Thread-252" #284 daemon prio=6 os_prio=0 tid=0x00002b5e6c00e800 nid=0x2ce0 runnable [0x00002b5da6df0000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.39 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000006a4ec4bd0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x0000000739cda5a8> (a java.io.BufferedInputStream) 101.70/41.39 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.39 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.39 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.39 - locked <0x0000000739cdc668> (a java.io.InputStreamReader) 101.70/41.39 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.39 at java.io.Reader.read(Reader.java:100) 101.70/41.39 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.39 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.39 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.39 101.70/41.39 "Thread-255" #273 daemon prio=6 os_prio=0 tid=0x00002b5e64009000 nid=0x2cd0 runnable [0x00002b5da6ff3000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.39 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x000000069b1b2ae8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x0000000710bdd5d0> (a java.io.BufferedInputStream) 101.70/41.39 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.39 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.39 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.39 - locked <0x0000000710bdf690> (a java.io.InputStreamReader) 101.70/41.39 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.39 at java.io.Reader.read(Reader.java:100) 101.70/41.39 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.39 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.39 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.39 101.70/41.39 "Thread-254" #272 daemon prio=6 os_prio=0 tid=0x00002b5e64008000 nid=0x2ccf runnable [0x00002b5da6ef2000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.39 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x000000069b1b0a28> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x000000070e2b1fc8> (a java.io.BufferedInputStream) 101.70/41.39 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.39 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.39 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.39 - locked <0x000000070e2b4088> (a java.io.InputStreamReader) 101.70/41.39 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.39 at java.io.Reader.read(Reader.java:100) 101.70/41.39 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.39 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.39 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.39 101.70/41.39 "Thread-208" #238 daemon prio=6 os_prio=0 tid=0x00002b5e78001800 nid=0x2ca6 runnable [0x00002b5d9dbbf000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.39 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000006a823a1c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000006b7bb2b40> (a java.io.BufferedInputStream) 101.70/41.39 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.39 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.39 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.39 - locked <0x00000006b7bb4c00> (a java.io.InputStreamReader) 101.70/41.39 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.39 at java.io.Reader.read(Reader.java:100) 101.70/41.39 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.39 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.39 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.39 101.70/41.39 "Thread-207" #237 daemon prio=6 os_prio=0 tid=0x00002b5e78003800 nid=0x2ca5 runnable [0x00002b5d9d9bd000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.39 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000006a8238108> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.39 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.39 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.39 - locked <0x00000006b7574ba0> (a java.io.BufferedInputStream) 101.70/41.39 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.39 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.39 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.39 - locked <0x00000006b7576c60> (a java.io.InputStreamReader) 101.70/41.39 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.39 at java.io.Reader.read(Reader.java:100) 101.70/41.39 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.39 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.39 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.39 101.70/41.39 "ThreadPoolThread98" #224 daemon prio=6 os_prio=0 tid=0x00002b5dec07b000 nid=0x2c69 runnable [0x00002b5da61e4000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:179) 101.70/41.39 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.39 at java.lang.Thread.run(Thread.java:748) 101.70/41.39 101.70/41.39 "ThreadPoolThread94" #220 daemon prio=6 os_prio=0 tid=0x00002b5dec073800 nid=0x2c64 runnable [0x00002b5d9dabd000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.math.BigInteger.shiftLeft(BigInteger.java:3099) 101.70/41.39 at java.math.BigInteger.multiplyByInt(BigInteger.java:1519) 101.70/41.39 at java.math.BigInteger.multiply(BigInteger.java:1499) 101.70/41.39 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:482) 101.70/41.39 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 101.70/41.39 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.39 at java.lang.Thread.run(Thread.java:748) 101.70/41.39 101.70/41.39 "ThreadPoolThread93" #219 daemon prio=6 os_prio=0 tid=0x00002b5dec012000 nid=0x2c63 waiting on condition [0x0000000000000000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 101.70/41.39 "ThreadPoolThread92" #215 daemon prio=6 os_prio=0 tid=0x00002b5dec072800 nid=0x2c5d waiting on condition [0x00002b5d9f9d9000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.util.concurrent.ConcurrentHashMap.putVal(ConcurrentHashMap.java:1027) 101.70/41.39 - locked <0x00000006a6792c58> (a java.util.concurrent.ConcurrentHashMap$Node) 101.70/41.39 at java.util.concurrent.ConcurrentHashMap.putIfAbsent(ConcurrentHashMap.java:1535) 101.70/41.39 at java.lang.ClassLoader.getClassLoadingLock(ClassLoader.java:463) 101.70/41.39 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 101.70/41.39 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 101.70/41.39 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 101.70/41.39 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.rewriteSimplePolynomialToSMTLIBRatValue(ToolBox.java:1132) 101.70/41.39 at aprove.Framework.IntTRS.PoloRedPair.CoefficientConstraint.toSMTLIBRatTheoryAtom(CoefficientConstraint.java:109) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.toTheoryAtoms(RankingRedPairWorker.java:701) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:649) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.39 at java.lang.Thread.run(Thread.java:748) 101.70/41.39 101.70/41.39 "ThreadPoolThread91" #214 daemon prio=6 os_prio=0 tid=0x00002b5dec071000 nid=0x2c5b in Object.wait() [0x00002b5d9f2d6000] 101.70/41.39 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.39 at java.lang.Object.wait(Native Method) 101.70/41.39 - waiting on <0x00000006a5d8e770> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.39 at java.lang.Object.wait(Object.java:502) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.39 - locked <0x00000006a5d8e770> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 101.70/41.39 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.39 at java.lang.Thread.run(Thread.java:748) 101.70/41.39 101.70/41.39 "ThreadPoolThread90" #213 daemon prio=6 os_prio=0 tid=0x00002b5dec06f800 nid=0x2c5a waiting on condition [0x0000000000000000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 101.70/41.39 "ThreadPoolThread89" #212 daemon prio=6 os_prio=0 tid=0x00002b5dec06e000 nid=0x2c59 waiting on condition [0x0000000000000000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 101.70/41.39 "ThreadPoolThread88" #211 daemon prio=6 os_prio=0 tid=0x00002b5dec06d000 nid=0x2c58 in Object.wait() [0x00002b5d9f4d8000] 101.70/41.39 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.39 at java.lang.Object.wait(Native Method) 101.70/41.39 - waiting on <0x00000006a60da2c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.39 at java.lang.Object.wait(Object.java:502) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.39 - locked <0x00000006a60da2c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 101.70/41.39 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.39 at java.lang.Thread.run(Thread.java:748) 101.70/41.39 101.70/41.39 "ThreadPoolThread87" #210 daemon prio=6 os_prio=0 tid=0x00002b5dec06c000 nid=0x2c57 waiting on condition [0x00002b5d9f7d4000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.util.concurrent.ConcurrentHashMap.putVal(ConcurrentHashMap.java:1027) 101.70/41.39 - locked <0x00000004458dea88> (a java.util.concurrent.ConcurrentHashMap$Node) 101.70/41.39 at java.util.concurrent.ConcurrentHashMap.putIfAbsent(ConcurrentHashMap.java:1535) 101.70/41.39 at java.lang.ClassLoader.checkCerts(ClassLoader.java:895) 101.70/41.39 at java.lang.ClassLoader.preDefineClass(ClassLoader.java:668) 101.70/41.39 at java.lang.ClassLoader.defineClass(ClassLoader.java:761) 101.70/41.39 at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) 101.70/41.39 at java.net.URLClassLoader.defineClass(URLClassLoader.java:467) 101.70/41.39 at java.net.URLClassLoader.access$100(URLClassLoader.java:73) 101.70/41.39 at java.net.URLClassLoader$1.run(URLClassLoader.java:368) 101.70/41.39 at java.net.URLClassLoader$1.run(URLClassLoader.java:362) 101.70/41.39 at java.security.AccessController.doPrivileged(Native Method) 101.70/41.39 at java.net.URLClassLoader.findClass(URLClassLoader.java:361) 101.70/41.39 at java.lang.ClassLoader.loadClass(ClassLoader.java:424) 101.70/41.39 - locked <0x00000006a78d3808> (a java.lang.Object) 101.70/41.39 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 101.70/41.39 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 101.70/41.39 at java.lang.ClassLoader.defineClass1(Native Method) 101.70/41.39 at java.lang.ClassLoader.defineClass(ClassLoader.java:763) 101.70/41.39 at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) 101.70/41.39 at java.net.URLClassLoader.defineClass(URLClassLoader.java:467) 101.70/41.39 at java.net.URLClassLoader.access$100(URLClassLoader.java:73) 101.70/41.39 at java.net.URLClassLoader$1.run(URLClassLoader.java:368) 101.70/41.39 at java.net.URLClassLoader$1.run(URLClassLoader.java:362) 101.70/41.39 at java.security.AccessController.doPrivileged(Native Method) 101.70/41.39 at java.net.URLClassLoader.findClass(URLClassLoader.java:361) 101.70/41.39 at java.lang.ClassLoader.loadClass(ClassLoader.java:424) 101.70/41.39 - locked <0x00000006a78cfa70> (a java.lang.Object) 101.70/41.39 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 101.70/41.39 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 101.70/41.39 at aprove.Framework.IntTRS.PoloRedPair.CoefficientConstraint.toSMTLIBRatTheoryAtom(CoefficientConstraint.java:117) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.toTheoryAtoms(RankingRedPairWorker.java:701) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:649) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.39 at java.lang.Thread.run(Thread.java:748) 101.70/41.39 101.70/41.39 "ThreadPoolThread86" #209 daemon prio=6 os_prio=0 tid=0x00002b5dec06b000 nid=0x2c56 waiting on condition [0x00002b5da55a1000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) 101.70/41.39 - locked <0x00000007be7c4828> (a aprove.Strategies.Abortions.Clock) 101.70/41.39 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 101.70/41.39 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 101.70/41.39 at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) 101.70/41.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.39 at java.lang.Thread.run(Thread.java:748) 101.70/41.39 101.70/41.39 "ThreadPoolThread85" #208 daemon prio=6 os_prio=0 tid=0x00002b5dec06a000 nid=0x2c55 runnable [0x00002b5d9d7ba000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at java.util.LinkedHashMap.values(LinkedHashMap.java:586) 101.70/41.39 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.(SimplePolynomial.java:105) 101.70/41.39 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.create(SimplePolynomial.java:164) 101.70/41.39 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:497) 101.70/41.39 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 101.70/41.39 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 101.70/41.39 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.39 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.39 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.39 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.39 at java.lang.Thread.run(Thread.java:748) 101.70/41.39 101.70/41.39 "ThreadPoolThread84" #207 daemon prio=6 os_prio=0 tid=0x00002b5dec02a800 nid=0x2c54 in Object.wait() [0x00002b5da54a0000] 101.70/41.39 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.39 at java.lang.Object.wait(Native Method) 101.70/41.39 - waiting on <0x00000006a8044f50> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.39 at java.lang.Object.wait(Object.java:502) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.39 - locked <0x00000006a8044f50> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 101.70/41.39 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 101.70/41.39 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 101.70/41.39 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 101.70/41.39 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread83" #206 daemon prio=6 os_prio=0 tid=0x00002b5dec021800 nid=0x2c53 waiting for monitor entry [0x00002b5da5c17000] 101.70/41.40 java.lang.Thread.State: BLOCKED (on object monitor) 101.70/41.40 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 101.70/41.40 - waiting to lock <0x00000006a78cfa70> (a java.lang.Object) 101.70/41.40 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 101.70/41.40 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.CoefficientConstraint.toSMTLIBRatTheoryAtom(CoefficientConstraint.java:117) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.toTheoryAtoms(RankingRedPairWorker.java:701) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:649) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread82" #205 daemon prio=6 os_prio=0 tid=0x00002b5dec023000 nid=0x2c52 waiting on condition [0x00002b5da5b18000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) 101.70/41.40 - locked <0x00000007be7c3310> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 101.70/41.40 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 101.70/41.40 at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread81" #204 daemon prio=6 os_prio=0 tid=0x00002b5dec05f000 nid=0x2c51 waiting on condition [0x00002b5da5a16000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:169) 101.70/41.40 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:695) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:63) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread80" #203 daemon prio=6 os_prio=0 tid=0x00002b5dec01e000 nid=0x2c50 waiting on condition [0x00002b5da57dc000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) 101.70/41.40 - locked <0x00000007be7dc6c0> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 101.70/41.40 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 101.70/41.40 at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread79" #202 daemon prio=6 os_prio=0 tid=0x00002b5dec061000 nid=0x2c4f waiting on condition [0x0000000000000000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 101.70/41.40 "ThreadPoolThread78" #201 daemon prio=6 os_prio=0 tid=0x00002b5dec031800 nid=0x2c4e in Object.wait() [0x00002b5da5d1a000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a7b32578> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x00000006a7b32578> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 101.70/41.40 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread77" #200 daemon prio=6 os_prio=0 tid=0x00002b5dec05b800 nid=0x2c4d waiting on condition [0x00002b5da5efd000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.util.concurrent.ConcurrentHashMap.putVal(ConcurrentHashMap.java:1027) 101.70/41.40 - locked <0x00000006a6792c58> (a java.util.concurrent.ConcurrentHashMap$Node) 101.70/41.40 at java.util.concurrent.ConcurrentHashMap.putIfAbsent(ConcurrentHashMap.java:1535) 101.70/41.40 at java.lang.ClassLoader.getClassLoadingLock(ClassLoader.java:463) 101.70/41.40 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 101.70/41.40 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 101.70/41.40 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.rewriteSimplePolynomialToSMTLIBRatValue(ToolBox.java:1132) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.CoefficientConstraint.toSMTLIBRatTheoryAtom(CoefficientConstraint.java:109) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.toTheoryAtoms(RankingRedPairWorker.java:701) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:649) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 101.70/41.40 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread76" #199 daemon prio=6 os_prio=0 tid=0x00002b5dec067000 nid=0x2c4c in Object.wait() [0x00002b5d9ecd0000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a79f8020> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x00000006a79f8020> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread75" #198 daemon prio=6 os_prio=0 tid=0x00002b5dec063000 nid=0x2c4b runnable [0x00002b5d9e9cd000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 101.70/41.40 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "Thread-163" #193 daemon prio=6 os_prio=0 tid=0x00002b5e70004800 nid=0x2c46 runnable [0x00002b5d9d5b8000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.40 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.40 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.40 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.40 - locked <0x00000007bea940a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.40 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.40 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.40 - locked <0x0000000445827e88> (a java.io.BufferedInputStream) 101.70/41.40 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.40 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.40 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.40 - locked <0x0000000445827f10> (a java.io.InputStreamReader) 101.70/41.40 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.40 at java.io.Reader.read(Reader.java:100) 101.70/41.40 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.40 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.40 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.40 101.70/41.40 "Thread-162" #192 daemon prio=6 os_prio=0 tid=0x00002b5e70003800 nid=0x2c45 runnable [0x00002b5d9efd3000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.io.FileInputStream.readBytes(Native Method) 101.70/41.40 at java.io.FileInputStream.read(FileInputStream.java:255) 101.70/41.40 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.40 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.40 - locked <0x00000007bea92010> (a java.lang.UNIXProcess$ProcessPipeInputStream) 101.70/41.40 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 101.70/41.40 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 101.70/41.40 - locked <0x000000044582b338> (a java.io.BufferedInputStream) 101.70/41.40 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 101.70/41.40 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 101.70/41.40 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 101.70/41.40 - locked <0x000000044582b3c0> (a java.io.InputStreamReader) 101.70/41.40 at java.io.InputStreamReader.read(InputStreamReader.java:184) 101.70/41.40 at java.io.Reader.read(Reader.java:100) 101.70/41.40 at java.util.Scanner.readInput(Scanner.java:804) 101.70/41.40 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 101.70/41.40 at java.util.Scanner.hasNextLine(Scanner.java:1500) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 101.70/41.40 101.70/41.40 "process reaper" #182 daemon prio=10 os_prio=0 tid=0x00002b5e6400c000 nid=0x2c3c waiting on condition [0x00002b5da60e4000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #187 daemon prio=10 os_prio=0 tid=0x00002b5e54001000 nid=0x2c34 waiting on condition [0x00002b5da60ab000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #181 daemon prio=10 os_prio=0 tid=0x00002b5e5c015800 nid=0x2c2f waiting on condition [0x00002b5da6072000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #178 daemon prio=10 os_prio=0 tid=0x00002b5e0002e800 nid=0x2c2c runnable [0x00002b5da6039000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 101.70/41.40 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 101.70/41.40 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread70" #164 daemon prio=6 os_prio=0 tid=0x00002b5dec068800 nid=0x2c0c waiting on condition [0x00002b5d9f3d7000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 101.70/41.40 - locked <0x00000007bea7ca88> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread69" #163 daemon prio=6 os_prio=0 tid=0x00002b5dec043800 nid=0x2c06 waiting on condition [0x00002b5da6000000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 101.70/41.40 - locked <0x00000007bea7d8d8> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread67" #161 daemon prio=6 os_prio=0 tid=0x00002b5dec041800 nid=0x2bfa in Object.wait() [0x00002b5d9fddf000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a4ec2aa0> (a java.lang.UNIXProcess) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 101.70/41.40 - locked <0x00000006a4ec2aa0> (a java.lang.UNIXProcess) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 101.70/41.40 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #156 daemon prio=10 os_prio=0 tid=0x00002b5e6400a000 nid=0x2bf5 runnable [0x00002b5da5dfe000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 101.70/41.40 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 101.70/41.40 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #153 daemon prio=10 os_prio=0 tid=0x00002b5e6c004000 nid=0x2bf2 waiting on condition [0x00002b5da5dc5000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #150 daemon prio=10 os_prio=0 tid=0x00002b5e70002800 nid=0x2bef waiting on condition [0x00002b5da5d8c000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #146 daemon prio=10 os_prio=0 tid=0x00002b5e54003000 nid=0x2beb waiting on condition [0x00002b5da5d53000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #140 daemon prio=10 os_prio=0 tid=0x00002b5e5800f800 nid=0x2be4 runnable [0x00002b5da5815000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 101.70/41.40 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 101.70/41.40 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #137 daemon prio=10 os_prio=0 tid=0x00002b5e6000d800 nid=0x2be1 runnable [0x00002b5da55da000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 101.70/41.40 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 101.70/41.40 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #134 daemon prio=10 os_prio=0 tid=0x00002b5e58003000 nid=0x2bda waiting on condition [0x00002b5da539f000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #133 daemon prio=10 os_prio=0 tid=0x00002b5e5000f800 nid=0x2bd8 waiting on condition [0x00002b5da5366000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread65" #131 daemon prio=6 os_prio=0 tid=0x00002b5dec065000 nid=0x2bd2 in Object.wait() [0x00002b5da522b000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a04876f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x00000006a04876f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #122 daemon prio=10 os_prio=0 tid=0x00002b5e50008800 nid=0x2bc3 waiting on condition [0x00002b5da4d27000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #117 daemon prio=10 os_prio=0 tid=0x00002b5e0c007000 nid=0x2bbc waiting on condition [0x00002b5da4cee000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #114 daemon prio=10 os_prio=0 tid=0x00002b5e70001000 nid=0x2bb9 waiting on condition [0x00002b5da4cb5000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #111 daemon prio=10 os_prio=0 tid=0x00002b5e18001800 nid=0x2bb6 waiting on condition [0x00002b5da4c7c000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #105 daemon prio=10 os_prio=0 tid=0x00002b5e10002000 nid=0x2bb0 waiting on condition [0x00002b5da483f000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #101 daemon prio=10 os_prio=0 tid=0x00002b5e20001800 nid=0x2ba9 waiting on condition [0x00002b5d802a9000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #97 daemon prio=10 os_prio=0 tid=0x00002b5e64006800 nid=0x2ba2 waiting on condition [0x00002b5d80270000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread57" #94 daemon prio=6 os_prio=0 tid=0x00002b5dec055800 nid=0x2b8d waiting on condition [0x00002b5da4806000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 101.70/41.40 - locked <0x00000007bea9c2b0> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread56" #93 daemon prio=6 os_prio=0 tid=0x00002b5dec053800 nid=0x2b8c in Object.wait() [0x00002b5da4705000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a9a21418> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x00000006a9a21418> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread55" #92 daemon prio=6 os_prio=0 tid=0x00002b5dec051800 nid=0x2b8b in Object.wait() [0x00002b5da4603000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a869fa78> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x00000006a869fa78> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread54" #91 daemon prio=6 os_prio=0 tid=0x00002b5dec04f800 nid=0x2b8a waiting on condition [0x00002b5da4503000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 101.70/41.40 - locked <0x00000007bea7d3d8> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread53" #90 daemon prio=6 os_prio=0 tid=0x00002b5dec04d800 nid=0x2b89 in Object.wait() [0x00002b5da4402000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x000000069b1ae8f8> (a java.lang.UNIXProcess) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 101.70/41.40 - locked <0x000000069b1ae8f8> (a java.lang.UNIXProcess) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 101.70/41.40 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread52" #89 daemon prio=6 os_prio=0 tid=0x00002b5dec04c000 nid=0x2b88 in Object.wait() [0x00002b5da4301000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006959f8860> (a java.lang.UNIXProcess) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 101.70/41.40 - locked <0x00000006959f8860> (a java.lang.UNIXProcess) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 101.70/41.40 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread51" #88 daemon prio=6 os_prio=0 tid=0x00002b5dec04a000 nid=0x2b87 in Object.wait() [0x00002b5da4200000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000007bea7e280> (a java.lang.UNIXProcess) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 101.70/41.40 - locked <0x00000007bea7e280> (a java.lang.UNIXProcess) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 101.70/41.40 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread50" #87 daemon prio=6 os_prio=0 tid=0x00002b5dec048000 nid=0x2b86 waiting on condition [0x00002b5da40ff000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 101.70/41.40 - locked <0x00000007beaccdd8> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread49" #86 daemon prio=6 os_prio=0 tid=0x00002b5dec00e800 nid=0x2b85 in Object.wait() [0x00002b5d9ffe1000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a2ca7908> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x00000006a2ca7908> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread48" #85 daemon prio=6 os_prio=0 tid=0x00002b5dec027000 nid=0x2b84 in Object.wait() [0x00002b5d9fee0000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a8235fd8> (a java.lang.UNIXProcess) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 101.70/41.40 - locked <0x00000006a8235fd8> (a java.lang.UNIXProcess) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 101.70/41.40 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #82 daemon prio=10 os_prio=0 tid=0x00002b5e5c013800 nid=0x2b81 waiting on condition [0x00002b5d80237000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #81 daemon prio=10 os_prio=0 tid=0x00002b5e44005000 nid=0x2b80 waiting on condition [0x00002b5d7bfdb000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #70 daemon prio=10 os_prio=0 tid=0x00002b5e4c001000 nid=0x2b75 waiting on condition [0x00002b5d7bfa2000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #58 daemon prio=10 os_prio=0 tid=0x00002b5e68002800 nid=0x2b5d runnable [0x00002b5d63ff7000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 101.70/41.40 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 101.70/41.40 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread42" #55 daemon prio=6 os_prio=0 tid=0x00002b5dec045000 nid=0x2b58 waiting on condition [0x00002b5d9eace000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 101.70/41.40 - locked <0x00000007bead8240> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread38" #51 daemon prio=6 os_prio=0 tid=0x00002b5dec03d000 nid=0x2b54 runnable [0x00002b5d9e6c9000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.lang.Thread.start0(Native Method) 101.70/41.40 at java.lang.Thread.start(Thread.java:717) 101.70/41.40 - locked <0x000000069d1e1360> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread37" #50 daemon prio=6 os_prio=0 tid=0x00002b5dec03b000 nid=0x2b53 in Object.wait() [0x00002b5d9e5c8000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x000000069fa64e58> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x000000069fa64e58> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread36" #49 daemon prio=6 os_prio=0 tid=0x00002b5dec039000 nid=0x2b52 in Object.wait() [0x00002b5d9e4c7000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x000000069eb43f80> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x000000069eb43f80> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread35" #48 daemon prio=6 os_prio=0 tid=0x00002b5dec037800 nid=0x2b51 in Object.wait() [0x00002b5d9e3c6000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x000000069e137be8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x000000069e137be8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread34" #47 daemon prio=6 os_prio=0 tid=0x00002b5dec035800 nid=0x2b50 in Object.wait() [0x00002b5d9e2c5000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006984a3208> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x00000006984a3208> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread33" #46 daemon prio=6 os_prio=0 tid=0x00002b5dec033800 nid=0x2b4f in Object.wait() [0x00002b5d9e1c5000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x000000069c285f20> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x000000069c285f20> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread16" #29 daemon prio=6 os_prio=0 tid=0x00002b5dec01c000 nid=0x2b3e waiting on condition [0x00002b5d9d4b8000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 101.70/41.40 - locked <0x00000007be127ca8> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread14" #27 daemon prio=6 os_prio=0 tid=0x00002b5dec018000 nid=0x2b3c waiting on condition [0x00002b5d9d2b6000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 101.70/41.40 - locked <0x00000007beabe240> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread12" #25 daemon prio=6 os_prio=0 tid=0x00002b5dec014000 nid=0x2b3a in Object.wait() [0x00002b5d9d0b3000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x00000006a52c0698> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 101.70/41.40 - locked <0x00000006a52c0698> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 101.70/41.40 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 101.70/41.40 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b5de401d800 nid=0x2a9b waiting on condition [0x00002b5d63fbe000] 101.70/41.40 java.lang.Thread.State: TIMED_WAITING (parking) 101.70/41.40 at sun.misc.Unsafe.park(Native Method) 101.70/41.40 - parking to wait for <0x0000000440006690> (a java.util.concurrent.SynchronousQueue$TransferStack) 101.70/41.40 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 101.70/41.40 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 101.70/41.40 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 101.70/41.40 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b5dec00b800 nid=0x2a99 waiting on condition [0x00002b5d7bb65000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) 101.70/41.40 - locked <0x00000007be7c4828> (a aprove.Strategies.Abortions.Clock) 101.70/41.40 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 101.70/41.40 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 101.70/41.40 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 101.70/41.40 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 101.70/41.40 101.70/41.40 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b5d647f9000 nid=0x2a98 waiting on condition [0x00002b5d7bc65000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.ProofTree.Obligations.ObligationNode.addTruthValueListener(ObligationNode.java:60) 101.70/41.40 - locked <0x00000006a8fa5cf0> (a aprove.ProofTree.Obligations.JunctorObligationNode) 101.70/41.40 at aprove.ProofTree.Obligations.BasicObligationNode.addTechnique(BasicObligationNode.java:120) 101.70/41.40 - locked <0x00000007be68c490> (a aprove.ProofTree.Obligations.BasicObligationNode) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecResult.exec(ExecResult.java:37) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.finish(ExecProcessorStrategy.java:83) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:64) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread3" #13 daemon prio=5 os_prio=0 tid=0x00002b5d64266000 nid=0x2a93 runnable [0x00002b5d7ba63000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at aprove.DPFramework.BasicStructures.TRSVariable.renumberVariables(TRSVariable.java:235) 101.70/41.40 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 101.70/41.40 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 101.70/41.40 at aprove.DPFramework.BasicStructures.GeneralizedRule.(GeneralizedRule.java:110) 101.70/41.40 at aprove.DPFramework.BasicStructures.GeneralizedRule.create(GeneralizedRule.java:132) 101.70/41.40 at aprove.DPFramework.IDPProblem.IGeneralizedRule.toFullGeneralizedRule(IGeneralizedRule.java:161) 101.70/41.40 at aprove.DPFramework.IDPProblem.IGeneralizedRule.hashCode(IGeneralizedRule.java:313) 101.70/41.40 at java.util.HashMap.hash(HashMap.java:338) 101.70/41.40 at java.util.HashMap.put(HashMap.java:611) 101.70/41.40 at java.util.HashSet.add(HashSet.java:219) 101.70/41.40 at aprove.Framework.Utility.GenericStructures.CollectionMap.add(CollectionMap.java:90) 101.70/41.40 at aprove.Framework.IntTRS.Compression.RuleMaps.update(RuleMaps.java:39) 101.70/41.40 at aprove.Framework.IntTRS.Compression.SymbolRemover.tryToRemoveSymbol(SymbolRemover.java:300) 101.70/41.40 at aprove.Framework.IntTRS.Compression.RuleCombiner.combineRules(RuleCombiner.java:72) 101.70/41.40 at aprove.InputModules.Programs.llvm.processors.LLVMGraphProcessor.simplifyRuleSet(LLVMGraphProcessor.java:121) 101.70/41.40 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.transformGraphToIRS(LLVMGraphToIntTRSProcessor.java:143) 101.70/41.40 at aprove.InputModules.Programs.llvm.processors.LLVMGraphToIntTRSProcessor.process(LLVMGraphToIntTRSProcessor.java:91) 101.70/41.40 at aprove.InputModules.Programs.llvm.processors.LLVMSEGraphToIntTRSProcessor.process(LLVMSEGraphToIntTRSProcessor.java:43) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b5d64264800 nid=0x2a92 runnable [0x00002b5d7b963000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.util.LinkedList.addAll(LinkedList.java:424) 101.70/41.40 at java.util.LinkedList.addAll(LinkedList.java:387) 101.70/41.40 at java.util.LinkedList.(LinkedList.java:119) 101.70/41.40 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) 101.70/41.40 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b5d6425e800 nid=0x2a91 runnable [0x00002b5d7b862000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 at java.util.LinkedList.addAll(LinkedList.java:424) 101.70/41.40 at java.util.LinkedList.addAll(LinkedList.java:387) 101.70/41.40 at java.util.LinkedList.(LinkedList.java:119) 101.70/41.40 at aprove.Framework.Utility.Graph.SimpleGraph.getAllPaths(SimpleGraph.java:1174) 101.70/41.40 at aprove.Framework.Utility.Graph.SimpleGraph.getAllPaths(SimpleGraph.java:1133) 101.70/41.40 at aprove.InputModules.Programs.llvm.processors.LLVMSEGraphToLassoProcessor.process(LLVMSEGraphToLassoProcessor.java:59) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 101.70/41.40 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 101.70/41.40 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 101.70/41.40 at java.lang.Thread.run(Thread.java:748) 101.70/41.40 101.70/41.40 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b5d64187800 nid=0x2a8e runnable [0x0000000000000000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 101.70/41.40 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b5d64184000 nid=0x2a8d waiting on condition [0x0000000000000000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 101.70/41.40 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b5d64182800 nid=0x2a8c runnable [0x0000000000000000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 101.70/41.40 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b5d6417f800 nid=0x2a8b runnable [0x0000000000000000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 101.70/41.40 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b5d6417e000 nid=0x2a8a waiting on condition [0x0000000000000000] 101.70/41.40 java.lang.Thread.State: RUNNABLE 101.70/41.40 101.70/41.40 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b5d6414a000 nid=0x2a89 in Object.wait() [0x00002b5d7aeb9000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x0000000440036e20> (a java.lang.ref.ReferenceQueue$Lock) 101.70/41.40 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 101.70/41.40 - locked <0x0000000440036e20> (a java.lang.ref.ReferenceQueue$Lock) 101.70/41.40 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 101.70/41.40 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 101.70/41.40 101.70/41.40 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b5d64145800 nid=0x2a88 in Object.wait() [0x00002b5d7adb8000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x000000044000f5b8> (a java.lang.ref.Reference$Lock) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 101.70/41.40 - locked <0x000000044000f5b8> (a java.lang.ref.Reference$Lock) 101.70/41.40 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 101.70/41.40 101.70/41.40 "main" #1 prio=5 os_prio=0 tid=0x00002b5d64008800 nid=0x2a81 in Object.wait() [0x00002b5d5e638000] 101.70/41.40 java.lang.Thread.State: WAITING (on object monitor) 101.70/41.40 at java.lang.Object.wait(Native Method) 101.70/41.40 - waiting on <0x0000000440037220> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 101.70/41.40 at java.lang.Object.wait(Object.java:502) 101.70/41.40 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 101.70/41.40 - locked <0x0000000440037220> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 101.70/41.40 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 101.70/41.40 at aprove.Runtime.AProVE.run(AProVE.java:101) 101.70/41.40 at aprove.CommandLineInterface.Main.run(Main.java:94) 101.70/41.40 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 101.70/41.40 at aprove.Main.doMain(Main.java:54) 101.70/41.40 at aprove.Main.main(Main.java:20) 101.70/41.40 101.70/41.40 "VM Thread" os_prio=0 tid=0x00002b5d6413e000 nid=0x2a87 runnable 101.70/41.40 101.70/41.40 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b5d6401e000 nid=0x2a83 runnable 101.70/41.40 101.70/41.40 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b5d6401f800 nid=0x2a84 runnable 101.70/41.40 101.70/41.40 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b5d64021800 nid=0x2a85 runnable 101.70/41.40 101.70/41.40 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b5d64023800 nid=0x2a86 runnable 101.70/41.40 101.70/41.40 "VM Periodic Task Thread" os_prio=0 tid=0x00002b5d6418a000 nid=0x2a8f waiting on condition 101.70/41.40 103.92/41.95 JNI global references: 340 103.92/41.95 105.95/42.49 Heap 105.95/42.49 PSYoungGen total 4806656K, used 400181K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 105.95/42.49 eden space 4720128K, 6% used [0x0000000695580000,0x00000006a87d0ef0,0x00000007b5700000) 105.95/42.49 from space 86528K, 99% used [0x00000007b5700000,0x00000007bab7c8b8,0x00000007bab80000) 105.95/42.49 to space 86528K, 0% used [0x00000007bab80000,0x00000007bab80000,0x00000007c0000000) 105.95/42.49 ParOldGen total 9786880K, used 141741K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 105.95/42.49 object space 9786880K, 1% used [0x0000000440000000,0x0000000448a6b508,0x0000000695580000) 105.95/42.49 Metaspace used 23612K, capacity 23906K, committed 24192K, reserved 1071104K 105.95/42.49 class space used 2541K, capacity 2619K, committed 2688K, reserved 1048576K 105.95/42.49 126.78/47.79 /export/starexec/sandbox/solver/bin/starexec_run_c: line 3: 10880 Killed LD_LIBRARY_PATH=../lib:../c_lib:$LD_LIBRARY_PATH PATH=.:$PATH T2_PATH=../t2 C_INCLUDE_PATH=../fake_include ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -m wst -w 4 -p plain $1 2> /dev/null 126.78/47.79 EOF