97.43/42.04	2019-03-28 12:03:56
97.43/42.04	Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode):
97.43/42.04	
97.43/42.04	"Thread-143" #165 daemon prio=6 os_prio=0 tid=0x00002ac49000b800 nid=0xc400 runnable [0x0000000000000000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04	
97.43/42.04	"Thread-142" #163 daemon prio=6 os_prio=0 tid=0x00002ac490003000 nid=0xc3ff runnable [0x00002ac3d77f9000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x00000006b01439d8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x000000072409a948> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x000000072409ca08> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"Thread-140" #160 daemon prio=6 os_prio=0 tid=0x00002ac43c005000 nid=0xc3fe runnable [0x00002ac3d76f8000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x0000000699fee660> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x0000000721e4f2b0> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x0000000721e51370> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"Thread-137" #159 daemon prio=6 os_prio=0 tid=0x00002ac420024000 nid=0xc3fd runnable [0x00002ac3d75f7000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x0000000698b73c70> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x000000071f4cd8f0> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x000000071f4cf9b0> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"Thread-136" #158 daemon prio=6 os_prio=0 tid=0x00002ac438006800 nid=0xc3fc runnable [0x00002ac3d74f7000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x000000069adfdc08> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x000000071d282258> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x000000071d284318> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"Thread-134" #156 daemon prio=6 os_prio=0 tid=0x00002ac438004800 nid=0xc3fa runnable [0x00002ac3d73f6000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x000000069adfbb48> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x000000071b036bc0> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x000000071b038c80> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"Thread-133" #155 daemon prio=6 os_prio=0 tid=0x00002ac40400e800 nid=0xc3f8 runnable [0x00002ac3d72f5000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x00000006b94c22e0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x0000000718deb528> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x0000000718ded5e8> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"Thread-132" #154 daemon prio=6 os_prio=0 tid=0x00002ac404005000 nid=0xc3f0 runnable [0x00002ac3d71f4000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x00000006b94c0220> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x0000000718ac94f0> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x0000000718acb5b0> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"Thread-130" #153 daemon prio=6 os_prio=0 tid=0x00002ac420022800 nid=0xc3d3 runnable [0x00002ac3d70f3000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x00000006b8da7fa8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x000000071687de58> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x000000071687ff18> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"Thread-112" #152 daemon prio=6 os_prio=0 tid=0x00002ac420020000 nid=0xc3c0 runnable [0x00002ac3d6ff1000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.04		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x00000006b8da5ee8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.04		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.04		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.04		- locked <0x00000007146327c0> (a java.io.BufferedInputStream)
97.43/42.04		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.04		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.04		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.04		- locked <0x0000000714634880> (a java.io.InputStreamReader)
97.43/42.04		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.04		at java.io.Reader.read(Reader.java:100)
97.43/42.04		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.04		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.04		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.04	
97.43/42.04	"ThreadPoolThread97" #150 daemon prio=6 os_prio=0 tid=0x00002ac414092800 nid=0xc3bf runnable [0x00002ac3d6eef000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread96" #149 daemon prio=6 os_prio=0 tid=0x00002ac414090800 nid=0xc3be runnable [0x00002ac3d6dee000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread95" #148 daemon prio=6 os_prio=0 tid=0x00002ac41408e800 nid=0xc3bd runnable [0x00002ac3d6cee000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread94" #147 daemon prio=6 os_prio=0 tid=0x00002ac41408a800 nid=0xc3bc runnable [0x00002ac3d6bed000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread93" #146 daemon prio=6 os_prio=0 tid=0x00002ac414088000 nid=0xc3bb runnable [0x00002ac3d6aec000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread92" #145 daemon prio=6 os_prio=0 tid=0x00002ac414087000 nid=0xc3ba runnable [0x00002ac3c64f5000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread91" #144 daemon prio=6 os_prio=0 tid=0x00002ac414085800 nid=0xc3b9 runnable [0x00002ac3c7e0e000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread90" #143 daemon prio=6 os_prio=0 tid=0x00002ac414084000 nid=0xc3b8 runnable [0x00002ac3d4906000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread89" #142 daemon prio=6 os_prio=0 tid=0x00002ac414083000 nid=0xc3b7 runnable [0x00002ac3d40fd000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.04		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.04		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.04		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.04		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.04		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.04		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.04		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.04		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.04		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.04		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.04		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.04		at java.lang.Thread.run(Thread.java:748)
97.43/42.04	
97.43/42.04	"ThreadPoolThread88" #141 daemon prio=6 os_prio=0 tid=0x00002ac414081800 nid=0xc3b6 runnable [0x00002ac3d4501000]
97.43/42.04	   java.lang.Thread.State: RUNNABLE
97.43/42.04		at java.lang.Thread.setPriority0(Native Method)
97.43/42.04		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.04		at java.lang.Thread.init(Thread.java:417)
97.43/42.04		at java.lang.Thread.init(Thread.java:349)
97.43/42.04		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.04		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.04		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.04		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread87" #140 daemon prio=6 os_prio=0 tid=0x00002ac414080000 nid=0xc3b5 runnable [0x00002ac3c7b0b000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.05		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread86" #139 daemon prio=6 os_prio=0 tid=0x00002ac41407e800 nid=0xc3b4 runnable [0x00002ac3d4e09000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.05		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread85" #138 daemon prio=6 os_prio=0 tid=0x00002ac41407d800 nid=0xc3b3 runnable [0x00002ac3d4f0a000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.05		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread84" #137 daemon prio=6 os_prio=0 tid=0x00002ac41407c000 nid=0xc3b2 runnable [0x00002ac3d4300000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.05		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread83" #136 daemon prio=6 os_prio=0 tid=0x00002ac41407a800 nid=0xc3b1 runnable [0x00002ac3c7d0d000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.05		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread82" #135 daemon prio=6 os_prio=0 tid=0x00002ac414079000 nid=0xc3b0 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread81" #134 daemon prio=6 os_prio=0 tid=0x00002ac414078000 nid=0xc3af runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread80" #133 daemon prio=6 os_prio=0 tid=0x00002ac414077000 nid=0xc3aa waiting for monitor entry [0x00002ac3d4705000]
97.43/42.05	   java.lang.Thread.State: BLOCKED (on object monitor)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
97.43/42.05		- waiting to lock <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread79" #132 daemon prio=6 os_prio=0 tid=0x00002ac414076000 nid=0xc3a7 waiting for monitor entry [0x00002ac3d5566000]
97.43/42.05	   java.lang.Thread.State: BLOCKED (on object monitor)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
97.43/42.05		- waiting to lock <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread78" #131 daemon prio=6 os_prio=0 tid=0x00002ac414075000 nid=0xc3a2 waiting for monitor entry [0x00002ac3d5667000]
97.43/42.05	   java.lang.Thread.State: BLOCKED (on object monitor)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
97.43/42.05		- waiting to lock <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread77" #130 daemon prio=6 os_prio=0 tid=0x00002ac41402c000 nid=0xc39a waiting for monitor entry [0x00002ac3c7001000]
97.43/42.05	   java.lang.Thread.State: BLOCKED (on object monitor)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
97.43/42.05		- waiting to lock <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread76" #129 daemon prio=6 os_prio=0 tid=0x00002ac414074000 nid=0xc395 waiting for monitor entry [0x00002ac3d532b000]
97.43/42.05	   java.lang.Thread.State: BLOCKED (on object monitor)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
97.43/42.05		- waiting to lock <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread75" #128 daemon prio=6 os_prio=0 tid=0x00002ac414073000 nid=0xc394 waiting for monitor entry [0x00002ac3d542c000]
97.43/42.05	   java.lang.Thread.State: BLOCKED (on object monitor)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
97.43/42.05		- waiting to lock <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"Thread-105" #127 daemon prio=6 os_prio=0 tid=0x00002ac4b4004800 nid=0xc392 runnable [0x00002ac3c62f3000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.05		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.05		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.05		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.05		- locked <0x000000069aa62b90> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.05		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.05		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.05		- locked <0x00000006d0960b90> (a java.io.BufferedInputStream)
97.43/42.05		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.05		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.05		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.05		- locked <0x00000006d0962c50> (a java.io.InputStreamReader)
97.43/42.05		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.05		at java.io.Reader.read(Reader.java:100)
97.43/42.05		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.05		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.05		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.05	
97.43/42.05	"Thread-104" #126 daemon prio=6 os_prio=0 tid=0x00002ac4b4003000 nid=0xc391 runnable [0x00002ac3d58a1000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.FileInputStream.readBytes(Native Method)
97.43/42.05		at java.io.FileInputStream.read(FileInputStream.java:255)
97.43/42.05		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.05		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.05		- locked <0x000000069aa60ad0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.05		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.05		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.05		- locked <0x00000006ce7154f8> (a java.io.BufferedInputStream)
97.43/42.05		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.05		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.05		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.05		- locked <0x00000006ce7175b8> (a java.io.InputStreamReader)
97.43/42.05		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.05		at java.io.Reader.read(Reader.java:100)
97.43/42.05		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.05		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.05		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.05	
97.43/42.05	"Thread-103" #125 daemon prio=6 os_prio=0 tid=0x00002ac42c010000 nid=0xc38f waiting on condition [0x00002ac3c7a0b000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
97.43/42.05		- locked <0x00000006bdad55f8> (a java.io.FileDescriptor)
97.43/42.05		at java.io.FileInputStream.close(FileInputStream.java:326)
97.43/42.05		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
97.43/42.05		at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547)
97.43/42.05		- locked <0x00000006bdad7660> (a java.lang.Object)
97.43/42.05		at java.io.BufferedInputStream.close(BufferedInputStream.java:483)
97.43/42.05		at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378)
97.43/42.05		at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193)
97.43/42.05		- locked <0x00000006c48265a0> (a java.io.InputStreamReader)
97.43/42.05		at java.io.InputStreamReader.close(InputStreamReader.java:199)
97.43/42.05		at java.util.Scanner.close(Scanner.java:1093)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102)
97.43/42.05	
97.43/42.05	"Thread-102" #124 daemon prio=6 os_prio=0 tid=0x00002ac42c00e000 nid=0xc38e waiting on condition [0x00002ac3d57a1000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.BufferedInputStream.read(BufferedInputStream.java:336)
97.43/42.05		- locked <0x00000006bdad34f0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.05		at java.io.BufferedInputStream.read1(BufferedInputStream.java:284)
97.43/42.05		at java.io.BufferedInputStream.read(BufferedInputStream.java:345)
97.43/42.05		- locked <0x00000006c25d8e48> (a java.io.BufferedInputStream)
97.43/42.05		at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
97.43/42.05		at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
97.43/42.05		at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
97.43/42.05		- locked <0x00000006c25daf08> (a java.io.InputStreamReader)
97.43/42.05		at java.io.InputStreamReader.read(InputStreamReader.java:184)
97.43/42.05		at java.io.Reader.read(Reader.java:100)
97.43/42.05		at java.util.Scanner.readInput(Scanner.java:804)
97.43/42.05		at java.util.Scanner.findWithinHorizon(Scanner.java:1685)
97.43/42.05		at java.util.Scanner.hasNextLine(Scanner.java:1500)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98)
97.43/42.05	
97.43/42.05	"ThreadPoolThread74" #123 daemon prio=6 os_prio=0 tid=0x00002ac414071000 nid=0xc387 runnable [0x00002ac3d69eb000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.05		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread73" #122 daemon prio=6 os_prio=0 tid=0x00002ac41406f000 nid=0xc386 runnable [0x00002ac3d68ea000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.05		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread72" #121 daemon prio=6 os_prio=0 tid=0x00002ac41406d800 nid=0xc385 in Object.wait() [0x00002ac3d67ea000]
97.43/42.05	   java.lang.Thread.State: WAITING (on object monitor)
97.43/42.05		at java.lang.Object.wait(Native Method)
97.43/42.05		- waiting on <0x00000006b8da3db8> (a java.lang.UNIXProcess)
97.43/42.05		at java.lang.Object.wait(Object.java:502)
97.43/42.05		at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
97.43/42.05		- locked <0x00000006b8da3db8> (a java.lang.UNIXProcess)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread71" #120 daemon prio=6 os_prio=0 tid=0x00002ac41406b800 nid=0xc384 runnable [0x00002ac3d66e8000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:678)
97.43/42.05		at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.<init>(ThreadPoolExecutor.java:619)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378)
97.43/42.05		at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288)
97.43/42.05		at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source)
97.43/42.05		at java.security.AccessController.doPrivileged(Native Method)
97.43/42.05		at java.lang.UNIXProcess.<init>(UNIXProcess.java:257)
97.43/42.05		at java.lang.ProcessImpl.start(ProcessImpl.java:134)
97.43/42.05		at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread70" #119 daemon prio=6 os_prio=0 tid=0x00002ac414069800 nid=0xc383 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread69" #118 daemon prio=6 os_prio=0 tid=0x00002ac414067800 nid=0xc382 in Object.wait() [0x00002ac3d64e6000]
97.43/42.05	   java.lang.Thread.State: WAITING (on object monitor)
97.43/42.05		at java.lang.Object.wait(Native Method)
97.43/42.05		- waiting on <0x00000006bdad76a0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
97.43/42.05		at java.lang.Object.wait(Object.java:502)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81)
97.43/42.05		- locked <0x00000006bdad76a0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49)
97.43/42.05		at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155)
97.43/42.05		at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121)
97.43/42.05		at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79)
97.43/42.05		at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread68" #117 daemon prio=6 os_prio=0 tid=0x00002ac414065000 nid=0xc381 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread67" #116 daemon prio=6 os_prio=0 tid=0x00002ac414063000 nid=0xc380 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread66" #115 daemon prio=6 os_prio=0 tid=0x00002ac414061000 nid=0xc37f runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread65" #114 daemon prio=6 os_prio=0 tid=0x00002ac41405f000 nid=0xc37e runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread64" #113 daemon prio=6 os_prio=0 tid=0x00002ac41405d800 nid=0xc37d runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread63" #112 daemon prio=6 os_prio=0 tid=0x00002ac41405b800 nid=0xc37c runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread62" #111 daemon prio=6 os_prio=0 tid=0x00002ac414059800 nid=0xc37b runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread61" #110 daemon prio=6 os_prio=0 tid=0x00002ac414058000 nid=0xc37a runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread60" #109 daemon prio=6 os_prio=0 tid=0x00002ac414012000 nid=0xc379 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread59" #108 daemon prio=6 os_prio=0 tid=0x00002ac414017000 nid=0xc378 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread58" #107 daemon prio=6 os_prio=0 tid=0x00002ac414045000 nid=0xc377 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread57" #106 daemon prio=6 os_prio=0 tid=0x00002ac414046800 nid=0xc376 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread56" #105 daemon prio=6 os_prio=0 tid=0x00002ac414052800 nid=0xc375 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread55" #104 daemon prio=6 os_prio=0 tid=0x00002ac41404a800 nid=0xc374 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread54" #103 daemon prio=6 os_prio=0 tid=0x00002ac41403f000 nid=0xc373 in Object.wait() [0x00002ac3c4ba9000]
97.43/42.05	   java.lang.Thread.State: WAITING (on object monitor)
97.43/42.05		at java.lang.Object.wait(Native Method)
97.43/42.05		- waiting on <0x00000006b94be0f0> (a java.lang.UNIXProcess)
97.43/42.05		at java.lang.Object.wait(Object.java:502)
97.43/42.05		at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
97.43/42.05		- locked <0x00000006b94be0f0> (a java.lang.UNIXProcess)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #102 daemon prio=10 os_prio=0 tid=0x00002ac490006800 nid=0xc372 runnable [0x00002ac3d58db000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #99 daemon prio=10 os_prio=0 tid=0x00002ac430003000 nid=0xc36f waiting on condition [0x00002ac3d56a0000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
97.43/42.05		- locked <0x00000006bdad3538> (a java.io.FileDescriptor)
97.43/42.05		at java.io.FileInputStream.close(FileInputStream.java:326)
97.43/42.05		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
97.43/42.05		- locked <0x00000006bdad55a0> (a java.lang.Object)
97.43/42.05		- locked <0x00000006bdad34f0> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #96 daemon prio=10 os_prio=0 tid=0x00002ac488012000 nid=0xc36c runnable [0x00002ac3d5465000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #93 daemon prio=10 os_prio=0 tid=0x00002ac48c001000 nid=0xc369 runnable [0x00002ac3d522a000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #90 daemon prio=10 os_prio=0 tid=0x00002ac49c002800 nid=0xc366 runnable [0x00002ac3d51f1000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #77 daemon prio=10 os_prio=0 tid=0x00002ac428001000 nid=0xc363 waiting on condition [0x00002ac3d51b8000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.FileDescriptor.closeAll(FileDescriptor.java:195)
97.43/42.05		- locked <0x0000000695adc040> (a java.io.FileDescriptor)
97.43/42.05		at java.io.FileInputStream.close(FileInputStream.java:326)
97.43/42.05		at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533)
97.43/42.05		- locked <0x0000000695ade0a8> (a java.lang.Object)
97.43/42.05		- locked <0x0000000695adbff8> (a java.lang.UNIXProcess$ProcessPipeInputStream)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #82 daemon prio=10 os_prio=0 tid=0x00002ac420015800 nid=0xc360 runnable [0x00002ac3d517f000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #81 daemon prio=10 os_prio=0 tid=0x00002ac484015000 nid=0xc35d runnable [0x00002ac3d5146000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #78 daemon prio=10 os_prio=0 tid=0x00002ac43c002800 nid=0xc352 runnable [0x00002ac3c7ff4000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #74 daemon prio=10 os_prio=0 tid=0x00002ac4b4001000 nid=0xc34f waiting on condition [0x00002ac3c7fbb000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.FileOutputStream.close(FileOutputStream.java:344)
97.43/42.05		- locked <0x00000007bee5aba8> (a java.lang.Object)
97.43/42.05		at java.lang.UNIXProcess$ProcessPipeOutputStream.processExited(UNIXProcess.java:567)
97.43/42.05		- locked <0x00000007bee5ab50> (a java.lang.UNIXProcess$ProcessPipeOutputStream)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:304)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #71 daemon prio=10 os_prio=0 tid=0x00002ac4ac001000 nid=0xc34c waiting on condition [0x00002ac3c7f82000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.FileOutputStream.close(FileOutputStream.java:344)
97.43/42.05		- locked <0x00000007bee76d20> (a java.lang.Object)
97.43/42.05		at java.lang.UNIXProcess$ProcessPipeOutputStream.processExited(UNIXProcess.java:567)
97.43/42.05		- locked <0x00000007bee76cc8> (a java.lang.UNIXProcess$ProcessPipeOutputStream)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:304)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #68 daemon prio=10 os_prio=0 tid=0x00002ac438003800 nid=0xc347 runnable [0x00002ac3c7f49000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread52" #67 daemon prio=6 os_prio=0 tid=0x00002ac41400f000 nid=0xc346 waiting on condition [0x00002ac3c52b0000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140)
97.43/42.05		- locked <0x00000007bedd20b8> (a java.lang.UNIXProcess$ProcessPipeOutputStream)
97.43/42.05		at java.io.FilterOutputStream.close(FilterOutputStream.java:158)
97.43/42.05		at java.lang.UNIXProcess.destroy(UNIXProcess.java:445)
97.43/42.05		at java.lang.UNIXProcess.destroy(UNIXProcess.java:478)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread49" #62 daemon prio=6 os_prio=0 tid=0x00002ac414054800 nid=0xc335 in Object.wait() [0x00002ac3d4604000]
97.43/42.05	   java.lang.Thread.State: WAITING (on object monitor)
97.43/42.05		at java.lang.Object.wait(Native Method)
97.43/42.05		- waiting on <0x000000069aa5e9a0> (a java.lang.UNIXProcess)
97.43/42.05		at java.lang.Object.wait(Object.java:502)
97.43/42.05		at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
97.43/42.05		- locked <0x000000069aa5e9a0> (a java.lang.UNIXProcess)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread47" #60 daemon prio=6 os_prio=0 tid=0x00002ac414050800 nid=0xc32b runnable [0x00002ac3d4402000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.start0(Native Method)
97.43/42.05		at java.lang.Thread.start(Thread.java:717)
97.43/42.05		- locked <0x000000069bc0ec08> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:70)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread46" #59 daemon prio=6 os_prio=0 tid=0x00002ac414010800 nid=0xc32a runnable [0x00002ac3c61f3000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.start0(Native Method)
97.43/42.05		at java.lang.Thread.start(Thread.java:717)
97.43/42.05		- locked <0x00000006987dccc0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:70)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread43" #56 daemon prio=6 os_prio=0 tid=0x00002ac41404c800 nid=0xc327 waiting on condition [0x00002ac3d4200000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61)
97.43/42.05		- locked <0x00000007bed0cd88> (a aprove.Strategies.Abortions.Clock)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread41" #54 daemon prio=6 os_prio=0 tid=0x00002ac414048800 nid=0xc325 waiting on condition [0x00002ac3c7f10000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61)
97.43/42.05		- locked <0x00000007bed0daa0> (a aprove.Strategies.Abortions.Clock)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread38" #51 daemon prio=6 os_prio=0 tid=0x00002ac414043000 nid=0xc322 runnable [0x00002ac3c7c0d000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Object.getClass(Native Method)
97.43/42.05		at aprove.Strategies.Abortions.TrackProcessOnLinux.grabUnixPidThroughBlackMagic(TrackProcessOnLinux.java:89)
97.43/42.05		at aprove.Strategies.Abortions.TrackProcessOnLinux.<init>(TrackProcessOnLinux.java:26)
97.43/42.05		at aprove.Strategies.Abortions.TrackProcess.create(TrackProcess.java:26)
97.43/42.05		at aprove.Strategies.Abortions.TrackerFactory.process(TrackerFactory.java:38)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:48)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread34" #47 daemon prio=6 os_prio=0 tid=0x00002ac41403d800 nid=0xc31e waiting for monitor entry [0x00002ac3c790a000]
97.43/42.05	   java.lang.Thread.State: BLOCKED (on object monitor)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
97.43/42.05		- waiting to lock <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread33" #46 daemon prio=6 os_prio=0 tid=0x00002ac41403b800 nid=0xc31d runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread32" #45 daemon prio=6 os_prio=0 tid=0x00002ac414039800 nid=0xc31c runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread31" #44 daemon prio=6 os_prio=0 tid=0x00002ac414038000 nid=0xc31b runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread30" #43 daemon prio=6 os_prio=0 tid=0x00002ac414036000 nid=0xc31a runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread29" #42 daemon prio=6 os_prio=0 tid=0x00002ac414034000 nid=0xc319 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread28" #41 daemon prio=6 os_prio=0 tid=0x00002ac414032000 nid=0xc318 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread27" #40 daemon prio=6 os_prio=0 tid=0x00002ac41402f800 nid=0xc317 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread26" #39 daemon prio=6 os_prio=0 tid=0x00002ac41402e000 nid=0xc316 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread24" #37 daemon prio=6 os_prio=0 tid=0x00002ac41402a800 nid=0xc314 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread23" #36 daemon prio=6 os_prio=0 tid=0x00002ac414028800 nid=0xc313 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread22" #35 daemon prio=6 os_prio=0 tid=0x00002ac414026800 nid=0xc312 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread21" #34 daemon prio=6 os_prio=0 tid=0x00002ac414024800 nid=0xc311 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread20" #33 daemon prio=6 os_prio=0 tid=0x00002ac414022000 nid=0xc310 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread19" #32 daemon prio=6 os_prio=0 tid=0x00002ac414020000 nid=0xc30f runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread18" #31 daemon prio=6 os_prio=0 tid=0x00002ac41401e800 nid=0xc30e runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread17" #30 daemon prio=6 os_prio=0 tid=0x00002ac41401c800 nid=0xc30d runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread16" #29 daemon prio=6 os_prio=0 tid=0x00002ac41401a800 nid=0xc30c runnable [0x00002ac3c66f8000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.start0(Native Method)
97.43/42.05		at java.lang.Thread.start(Thread.java:717)
97.43/42.05		- locked <0x0000000699ff2a68> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:70)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread15" #28 daemon prio=6 os_prio=0 tid=0x00002ac414019000 nid=0xc30b in Object.wait() [0x00002ac3c65f7000]
97.43/42.05	   java.lang.Thread.State: WAITING (on object monitor)
97.43/42.05		at java.lang.Object.wait(Native Method)
97.43/42.05		- waiting on <0x000000069adf9a18> (a java.lang.UNIXProcess)
97.43/42.05		at java.lang.Object.wait(Object.java:502)
97.43/42.05		at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
97.43/42.05		- locked <0x000000069adf9a18> (a java.lang.UNIXProcess)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread13" #26 daemon prio=6 os_prio=0 tid=0x00002ac414015000 nid=0xc309 runnable [0x00002ac3c63f5000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.start0(Native Method)
97.43/42.05		at java.lang.Thread.start(Thread.java:717)
97.43/42.05		- locked <0x0000000695ae01a8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:70)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49)
97.43/42.05		at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155)
97.43/42.05		at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121)
97.43/42.05		at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79)
97.43/42.05		at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread12" #25 daemon prio=6 os_prio=0 tid=0x00002ac414014000 nid=0xc308 runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: TERMINATED
97.43/42.05	
97.43/42.05	"ThreadPoolThread8" #21 daemon prio=6 os_prio=0 tid=0x00002ac41400e800 nid=0xc304 runnable [0x00002ac3c51af000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.start0(Native Method)
97.43/42.05		at java.lang.Thread.start(Thread.java:717)
97.43/42.05		- locked <0x0000000698b78078> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.<init>(ExecHelper.java:70)
97.43/42.05		at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46)
97.43/42.05		at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002ac40c013800 nid=0xc26a runnable [0x00002ac3c5cf2000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.UNIXProcess.waitForProcessExit(Native Method)
97.43/42.05		at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289)
97.43/42.05		at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
97.43/42.05		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002ac41400d000 nid=0xc268 runnable [0x00002ac3c50ae000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method)
97.43/42.05		at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267)
97.43/42.05		at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226)
97.43/42.05		at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129)
97.43/42.05		at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121)
97.43/42.05		- locked <0x000000044206cca0> (a aprove.Strategies.Abortions.TrackThreadPool)
97.43/42.05		at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113)
97.43/42.05		at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65)
97.43/42.05		at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54)
97.43/42.05	
97.43/42.05	"DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002ac38c879000 nid=0xc267 runnable [0x00002ac3c4fac000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.lang.Thread.setPriority0(Native Method)
97.43/42.05		at java.lang.Thread.setPriority(Thread.java:1095)
97.43/42.05		at java.lang.Thread.init(Thread.java:417)
97.43/42.05		at java.lang.Thread.init(Thread.java:349)
97.43/42.05		at java.lang.Thread.<init>(Thread.java:464)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:405)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191)
97.43/42.05		- locked <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26)
97.43/42.05		at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread3" #13 daemon prio=5 os_prio=0 tid=0x00002ac38c24e000 nid=0xc262 waiting for monitor entry [0x00002ac3c4eac000]
97.43/42.05	   java.lang.Thread.State: BLOCKED (on object monitor)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312)
97.43/42.05		- waiting to lock <0x000000044000dce0> (a aprove.Strategies.Util.PrioritizableThreadPool)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002ac38c24c800 nid=0xc261 runnable [0x00002ac3c4dab000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05		at java.util.LinkedList.toArray(LinkedList.java:1052)
97.43/42.05		at java.util.LinkedList.addAll(LinkedList.java:408)
97.43/42.05		at java.util.LinkedList.addAll(LinkedList.java:387)
97.43/42.05		at java.util.LinkedList.<init>(LinkedList.java:119)
97.43/42.05		at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461)
97.43/42.05		at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
97.43/42.05		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
97.43/42.05		at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
97.43/42.05		at java.lang.Thread.run(Thread.java:748)
97.43/42.05	
97.43/42.05	"Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002ac38c18f800 nid=0xc25d runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05	
97.43/42.05	"C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002ac38c184000 nid=0xc25c waiting on condition [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05	
97.43/42.05	"C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002ac38c182000 nid=0xc25b runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05	
97.43/42.05	"C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002ac38c17f000 nid=0xc25a runnable [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05	
97.43/42.05	"Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002ac38c17d800 nid=0xc259 waiting on condition [0x0000000000000000]
97.43/42.05	   java.lang.Thread.State: RUNNABLE
97.43/42.05	
97.43/42.05	"Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002ac38c14a000 nid=0xc258 in Object.wait() [0x00002ac3c4301000]
97.43/42.05	   java.lang.Thread.State: WAITING (on object monitor)
97.43/42.05		at java.lang.Object.wait(Native Method)
97.43/42.05		- waiting on <0x00000004400c5fb0> (a java.lang.ref.ReferenceQueue$Lock)
97.43/42.05		at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143)
97.43/42.05		- locked <0x00000004400c5fb0> (a java.lang.ref.ReferenceQueue$Lock)
97.43/42.05		at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164)
97.43/42.05		at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209)
97.43/42.05	
97.43/42.05	"Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002ac38c145800 nid=0xc257 in Object.wait() [0x00002ac3c4200000]
97.43/42.05	   java.lang.Thread.State: WAITING (on object monitor)
97.43/42.05		at java.lang.Object.wait(Native Method)
97.43/42.05		- waiting on <0x00000004400c5598> (a java.lang.ref.Reference$Lock)
97.43/42.05		at java.lang.Object.wait(Object.java:502)
97.43/42.05		at java.lang.ref.Reference.tryHandlePending(Reference.java:191)
97.43/42.05		- locked <0x00000004400c5598> (a java.lang.ref.Reference$Lock)
97.43/42.05		at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153)
97.43/42.05	
97.43/42.05	"main" #1 prio=5 os_prio=0 tid=0x00002ac38c008800 nid=0xc250 in Object.wait() [0x00002ac387ab2000]
97.43/42.05	   java.lang.Thread.State: WAITING (on object monitor)
97.43/42.05		at java.lang.Object.wait(Native Method)
97.43/42.05		- waiting on <0x0000000440006128> (a aprove.Strategies.ExecutableStrategies.impl.Handle)
97.43/42.05		at java.lang.Object.wait(Object.java:502)
97.43/42.05		at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42)
97.43/42.05		- locked <0x0000000440006128> (a aprove.Strategies.ExecutableStrategies.impl.Handle)
97.43/42.05		at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32)
97.43/42.05		at aprove.Runtime.AProVE.run(AProVE.java:101)
97.43/42.05		at aprove.CommandLineInterface.Main.run(Main.java:94)
97.43/42.05		at aprove.CommandLineInterface.Main.doMain(Main.java:42)
97.43/42.05		at aprove.Main.doMain(Main.java:54)
97.43/42.05		at aprove.Main.main(Main.java:20)
97.43/42.05	
97.43/42.05	"VM Thread" os_prio=0 tid=0x00002ac38c13e000 nid=0xc256 runnable 
97.43/42.05	
97.43/42.05	"GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002ac38c01e000 nid=0xc252 runnable 
97.43/42.05	
97.43/42.05	"GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002ac38c01f800 nid=0xc253 runnable 
97.43/42.05	
97.43/42.05	"GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002ac38c021800 nid=0xc254 runnable 
97.43/42.05	
97.43/42.05	"GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002ac38c023800 nid=0xc255 runnable 
97.43/42.05	
97.43/42.05	"VM Periodic Task Thread" os_prio=0 tid=0x00002ac38c192000 nid=0xc25e waiting on condition 
97.43/42.05	
109.48/45.06	JNI global references: 386
109.48/45.06	
109.95/45.20	Heap
109.95/45.20	 PSYoungGen      total 4827648K, used 4643952K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000)
109.95/45.20	  eden space 4800000K, 96% used [0x0000000695580000,0x00000007af19c0b8,0x00000007ba500000)
109.95/45.20	  from space 27648K, 100% used [0x00000007be500000,0x00000007c0000000,0x00000007c0000000)
109.95/45.20	  to   space 46592K, 0% used [0x00000007ba500000,0x00000007ba500000,0x00000007bd280000)
109.95/45.20	 ParOldGen       total 9786880K, used 39036K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000)
109.95/45.20	  object space 9786880K, 0% used [0x0000000440000000,0x000000044261f3e8,0x0000000695580000)
109.95/45.20	 Metaspace       used 23335K, capacity 23650K, committed 23936K, reserved 1071104K
109.95/45.20	  class space    used 2533K, capacity 2619K, committed 2688K, reserved 1048576K
109.95/45.20	
135.45/51.72	EOF