-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathhs_err_pid1069.log
420 lines (379 loc) · 30.1 KB
/
hs_err_pid1069.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
#
# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x000000012ca1b20c, pid=1069, tid=4867
#
# JRE version: Java(TM) SE Runtime Environment (8.0_25-b17) (build 1.8.0_25-b17)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (25.25-b02 mixed mode bsd-amd64 compressed oops)
# Problematic frame:
# C [libz3.dylib+0x3b120c] smt::context::internalize_term(app*)+0x13c
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# If you would like to submit a bug report, please visit:
# http://bugreport.sun.com/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
#
--------------- T H R E A D ---------------
Current thread (0x00007fd87b001000): JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010e430000,0x000000010e530000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000018
Registers:
RAX=0x0000000000000000, RBX=0x0000000000000000, RCX=0x00007fd87d7db410, RDX=0x0000000000000000
RSP=0x000000010e52ebb0, RBP=0x00007fd87a86d018, RSI=0x00007fd87a866778, RDI=0x00007fd87d6ec408
R8 =0x0000000000000065, R9 =0x0080000010000000, R10=0x0000000000000000, R11=0x0000000000000001
R12=0x00007fd87d6ec408, R13=0x00007fd87e064b70, R14=0x00007fd87a866778, R15=0x0000000000000000
RIP=0x000000012ca1b20c, EFLAGS=0x0000000000010202, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x000000010e52ebb0)
0x000000010e52ebb0: 0000000000000000 00007fd87d6ec408
0x000000010e52ebc0: 00007fd87e064a08 00007fd87a866778
0x000000010e52ebd0: 00007fd87a86d018 000000012ca57f9c
0x000000010e52ebe0: 00007fd87a86d000 00007fd87e064a08
0x000000010e52ebf0: 00007fd87a866838 00007fd87d6ec408
0x000000010e52ec00: 00007fd87a86d018 000000012ca5e5db
0x000000010e52ec10: 000000010e334000 0000000000000090
0x000000010e52ec20: 000000010e52ec50 000000010e334000
0x000000010e52ec30: 000000010e52ec80 0000000000000000
0x000000010e52ec40: 00007fd87db09c20 000000010e337a00
0x000000010e52ec50: 000000010e334000 00007fd87db0ae30
0x000000010e52ec60: 00007fd87db09c20 0000000000000000
0x000000010e52ec70: 00007fd87db09c20 00007fd87a86d018
0x000000010e52ec80: 0000000000000001 00007fd87d6ec408
0x000000010e52ec90: 00007fd87d6ec408 0080000010000000
0x000000010e52eca0: 0000000000000001 000000012ca1b89a
0x000000010e52ecb0: 00007fd87e060798 000000012ca44859
0x000000010e52ecc0: 0000000000000000 00007fd87a86d018
0x000000010e52ecd0: 0000000000000001 00007fd87d6ec408
0x000000010e52ece0: 00007fd87d6ec408 0080000010000000
0x000000010e52ecf0: 0000000000000000 000000012ca1b060
0x000000010e52ed00: 00007fd87a865c01 00007fd87a86d0c0
0x000000010e52ed10: 0000000000000003 00007fd87d6ec408
0x000000010e52ed20: 0000000000000001 0000000000000010
0x000000010e52ed30: 00007fd87a8685c8 000000012ca19845
0x000000010e52ed40: 00007fd87d6ec5f0 00007fd800000002
0x000000010e52ed50: 000000000e52edd0 0000000000000000
0x000000010e52ed60: 00007fd87d6ec4b8 000000010e52ed78
0x000000010e52ed70: 0000001000000001 0000001500000003
0x000000010e52ed80: 00007fd87d6ecf38 0000000000000000
0x000000010e52ed90: 00007fd87d6ec940 00007fd87d6ec4b8
0x000000010e52eda0: 00007fd87a865c58 00007fd879720278
Instructions: (pc=0x000000012ca1b20c)
0x000000012ca1b1ec: 00 00 39 08 75 16 83 78 04 04 75 10 4c 89 f6 e8
0x000000012ca1b1fc: f0 d7 4b 00 84 c0 0f 84 52 01 00 00 49 8b 46 10
0x000000012ca1b20c: 48 8b 40 18 48 85 c0 74 38 8b 00 b9 ff ff ff ff
0x000000012ca1b21c: 48 39 c8 74 2c 49 8b 8c 24 b8 09 00 00 48 85 c9
Register to memory mapping:
RAX=0x0000000000000000 is an unknown value
RBX=0x0000000000000000 is an unknown value
RCX=0x00007fd87d7db410 is an unknown value
RDX=0x0000000000000000 is an unknown value
RSP=0x000000010e52ebb0 is pointing into the stack for thread: 0x00007fd87b001000
RBP=0x00007fd87a86d018 is an unknown value
RSI=0x00007fd87a866778 is an unknown value
RDI=0x00007fd87d6ec408 is an unknown value
R8 =0x0000000000000065 is an unknown value
R9 =0x0080000010000000 is an unknown value
R10=0x0000000000000000 is an unknown value
R11=0x0000000000000001 is an unknown value
R12=0x00007fd87d6ec408 is an unknown value
R13=0x00007fd87e064b70 is an unknown value
R14=0x00007fd87a866778 is an unknown value
R15=0x0000000000000000 is an unknown value
Stack: [0x000000010e430000,0x000000010e530000], sp=0x000000010e52ebb0, free space=1018k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
C [libz3.dylib+0x3b120c] smt::context::internalize_term(app*)+0x13c
Java frames: (J=compiled Java code, j=interpreted, Vv=VM code)
j com.microsoft.z3.Native.INTERNALsolverCheck(JJ)I+0
j com.microsoft.z3.Native.solverCheck(JJ)I+2
j com.microsoft.z3.Solver.Check([Lcom/microsoft/z3/Expr;)Lcom/microsoft/z3/Status;+15
j com.microsoft.z3.Solver.Check()Lcom/microsoft/z3/Status;+2
j analyzer.Stability.main([Ljava/lang/String;)V+681
v ~StubRoutines::call_stub
--------------- P R O C E S S ---------------
Java Threads: ( => current thread )
0x00007fd87a02d000 JavaThread "Service Thread" daemon [_thread_blocked, id=18179, stack(0x000000012c43a000,0x000000012c53a000)]
0x00007fd87a827000 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17667, stack(0x000000012c337000,0x000000012c437000)]
0x00007fd87a826000 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=17155, stack(0x000000012c234000,0x000000012c334000)]
0x00007fd87a81b000 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16643, stack(0x000000012c131000,0x000000012c231000)]
0x00007fd87a81d000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=12811, stack(0x000000012c02e000,0x000000012c12e000)]
0x00007fd87b00e800 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x000000012a6e9000,0x000000012a7e9000)]
0x00007fd87b00d800 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x000000012a5e6000,0x000000012a6e6000)]
=>0x00007fd87b001000 JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010e430000,0x000000010e530000)]
Other Threads:
0x00007fd87a03f800 VMThread [stack: 0x000000012a4e3000,0x000000012a5e3000] [id=10499]
0x00007fd87a02e000 WatcherThread [stack: 0x000000012c53d000,0x000000012c63d000] [id=18691]
VM state:not at safepoint (normal execution)
VM Mutex/Monitor currently owned by a thread: None
Heap:
PSYoungGen total 76288K, used 6561K [0x000000076ab00000, 0x0000000770000000, 0x00000007c0000000)
eden space 65536K, 10% used [0x000000076ab00000,0x000000076b168740,0x000000076eb00000)
from space 10752K, 0% used [0x000000076f580000,0x000000076f580000,0x0000000770000000)
to space 10752K, 0% used [0x000000076eb00000,0x000000076eb00000,0x000000076f580000)
ParOldGen total 175104K, used 0K [0x00000006c0000000, 0x00000006cab00000, 0x000000076ab00000)
object space 175104K, 0% used [0x00000006c0000000,0x00000006c0000000,0x00000006cab00000)
Metaspace used 3560K, capacity 5166K, committed 5376K, reserved 1056768K
class space used 386K, capacity 482K, committed 512K, reserved 1048576K
Card table byte_map: [0x000000011f0dc000,0x000000011f8dd000] byte_map_base: 0x000000011badc000
Marking Bits: (ParMarkBitMap*) 0x000000010f69d390
Begin Bits: [0x000000012023f000, 0x000000012423f000)
End Bits: [0x000000012423f000, 0x000000012823f000)
Polling page: 0x000000010e574000
CodeCache: size=245760Kb used=1393Kb max_used=1393Kb free=244366Kb
bounds [0x000000010fd1c000, 0x000000010ff8c000, 0x000000011ed1c000]
total_blobs=456 nmethods=176 adapters=195
compilation: enabled
Compilation events (10 events):
Event: 0.299 Thread 0x00007fd87a827000 172 3 com.microsoft.z3.Context::MkSymbol (10 bytes)
Event: 0.299 Thread 0x00007fd87a827000 nmethod 172 0x000000010fe75490 code [0x000000010fe75620, 0x000000010fe75998]
Event: 0.299 Thread 0x00007fd87a827000 173 3 com.microsoft.z3.StringSymbol::<init> (14 bytes)
Event: 0.299 Thread 0x00007fd87a827000 nmethod 173 0x000000010fe75b90 code [0x000000010fe75d20, 0x000000010fe75fb8]
Event: 0.315 Thread 0x00007fd87a827000 174 3 java.lang.AbstractStringBuilder::<init> (12 bytes)
Event: 0.315 Thread 0x00007fd87a827000 nmethod 174 0x000000010fe76150 code [0x000000010fe762c0, 0x000000010fe76510]
Event: 0.317 Thread 0x00007fd87a827000 175 3 java.nio.Buffer::limit (62 bytes)
Event: 0.318 Thread 0x00007fd87a827000 nmethod 175 0x000000010fe765d0 code [0x000000010fe76740, 0x000000010fe76a28]
Event: 0.318 Thread 0x00007fd87a827000 176 3 java.nio.Buffer::<init> (121 bytes)
Event: 0.319 Thread 0x00007fd87a827000 nmethod 176 0x000000010fe76ad0 code [0x000000010fe76da0, 0x000000010fe781c8]
GC Heap History (0 events):
No events
Deoptimization events (0 events):
No events
Internal exceptions (10 events):
Event: 0.141 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afb0250) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.142 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afb5768) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.142 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afb9480) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.143 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afbb328) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.145 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afc1fc8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.148 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afc7918) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.153 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afd0f78) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.162 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afd7490) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.162 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afdaf30) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.162 Thread 0x00007fd87b001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076afddec8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Events (10 events):
Event: 0.148 loading class com/microsoft/z3/Native$LongPtr
Event: 0.148 loading class com/microsoft/z3/Native$LongPtr done
Event: 0.153 loading class com/microsoft/z3/Solver
Event: 0.153 loading class com/microsoft/z3/Solver done
Event: 0.162 loading class com/microsoft/z3/enumerations/Z3_lbool
Event: 0.162 loading class com/microsoft/z3/enumerations/Z3_lbool done
Event: 0.162 loading class com/microsoft/z3/Solver$1
Event: 0.162 loading class com/microsoft/z3/Solver$1 done
Event: 0.162 loading class com/microsoft/z3/ASTVector
Event: 0.162 loading class com/microsoft/z3/ASTVector done
Dynamic libraries:
0x000000000389a000 /System/Library/Frameworks/Cocoa.framework/Versions/A/Cocoa
0x000000000389a000 /System/Library/Frameworks/Security.framework/Versions/A/Security
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/ApplicationServices
0x000000000389a000 /usr/lib/libz.1.dylib
0x000000000389a000 /usr/lib/libSystem.B.dylib
0x000000000389a000 /usr/lib/libobjc.A.dylib
0x000000000389a000 /System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation
0x000000000389a000 /System/Library/Frameworks/Foundation.framework/Versions/C/Foundation
0x000000000389a000 /System/Library/Frameworks/AppKit.framework/Versions/C/AppKit
0x000000000389a000 /System/Library/Frameworks/CoreData.framework/Versions/A/CoreData
0x000000000389a000 /System/Library/PrivateFrameworks/RemoteViewServices.framework/Versions/A/RemoteViewServices
0x000000000389a000 /System/Library/PrivateFrameworks/UIFoundation.framework/Versions/A/UIFoundation
0x000000000389a000 /System/Library/Frameworks/IOSurface.framework/Versions/A/IOSurface
0x000000000389a000 /System/Library/Frameworks/AudioToolbox.framework/Versions/A/AudioToolbox
0x000000000389a000 /System/Library/Frameworks/AudioUnit.framework/Versions/A/AudioUnit
0x000000000389a000 /System/Library/PrivateFrameworks/DataDetectorsCore.framework/Versions/A/DataDetectorsCore
0x000000000389a000 /System/Library/PrivateFrameworks/DesktopServicesPriv.framework/Versions/A/DesktopServicesPriv
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/HIToolbox.framework/Versions/A/HIToolbox
0x000000000389a000 /System/Library/Frameworks/QuartzCore.framework/Versions/A/QuartzCore
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SpeechRecognition.framework/Versions/A/SpeechRecognition
0x000000000389a000 /usr/lib/libauto.dylib
0x000000000389a000 /usr/lib/libicucore.A.dylib
0x000000000389a000 /usr/lib/libxml2.2.dylib
0x000000000389a000 /System/Library/PrivateFrameworks/CoreUI.framework/Versions/A/CoreUI
0x000000000389a000 /System/Library/Frameworks/CoreAudio.framework/Versions/A/CoreAudio
0x000000000389a000 /System/Library/Frameworks/DiskArbitration.framework/Versions/A/DiskArbitration
0x000000000389a000 /usr/lib/liblangid.dylib
0x000000000389a000 /System/Library/PrivateFrameworks/MultitouchSupport.framework/Versions/A/MultitouchSupport
0x000000000389a000 /System/Library/Frameworks/IOKit.framework/Versions/A/IOKit
0x000000000389a000 /usr/lib/libDiagnosticMessagesClient.dylib
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/CoreServices
0x000000000389a000 /System/Library/PrivateFrameworks/PerformanceAnalysis.framework/Versions/A/PerformanceAnalysis
0x000000000389a000 /System/Library/PrivateFrameworks/GenerationalStorage.framework/Versions/A/GenerationalStorage
0x000000000389a000 /System/Library/Frameworks/OpenGL.framework/Versions/A/OpenGL
0x000000000389a000 /System/Library/PrivateFrameworks/Sharing.framework/Versions/A/Sharing
0x000000000389a000 /System/Library/Frameworks/CoreGraphics.framework/Versions/A/CoreGraphics
0x000000000389a000 /System/Library/Frameworks/CoreText.framework/Versions/A/CoreText
0x000000000389a000 /System/Library/Frameworks/ImageIO.framework/Versions/A/ImageIO
0x000000000389a000 /usr/lib/libextension.dylib
0x000000000389a000 /System/Library/PrivateFrameworks/Backup.framework/Versions/A/Backup
0x000000000389a000 /usr/lib/libarchive.2.dylib
0x000000000389a000 /System/Library/Frameworks/CFNetwork.framework/Versions/A/CFNetwork
0x000000000389a000 /System/Library/Frameworks/SystemConfiguration.framework/Versions/A/SystemConfiguration
0x000000000389a000 /usr/lib/libCRFSuite.dylib
0x000000000389a000 /usr/lib/libc++.1.dylib
0x000000000389a000 /usr/lib/libc++abi.dylib
0x000000000389a000 /usr/lib/system/libcache.dylib
0x000000000389a000 /usr/lib/system/libcommonCrypto.dylib
0x000000000389a000 /usr/lib/system/libcompiler_rt.dylib
0x000000000389a000 /usr/lib/system/libcopyfile.dylib
0x000000000389a000 /usr/lib/system/libcorecrypto.dylib
0x000000000389a000 /usr/lib/system/libdispatch.dylib
0x000000000389a000 /usr/lib/system/libdyld.dylib
0x000000000389a000 /usr/lib/system/libkeymgr.dylib
0x000000000389a000 /usr/lib/system/liblaunch.dylib
0x000000000389a000 /usr/lib/system/libmacho.dylib
0x000000000389a000 /usr/lib/system/libquarantine.dylib
0x000000000389a000 /usr/lib/system/libremovefile.dylib
0x000000000389a000 /usr/lib/system/libsystem_asl.dylib
0x000000000389a000 /usr/lib/system/libsystem_blocks.dylib
0x000000000389a000 /usr/lib/system/libsystem_c.dylib
0x000000000389a000 /usr/lib/system/libsystem_configuration.dylib
0x000000000389a000 /usr/lib/system/libsystem_coreservices.dylib
0x000000000389a000 /usr/lib/system/libsystem_coretls.dylib
0x000000000389a000 /usr/lib/system/libsystem_dnssd.dylib
0x000000000389a000 /usr/lib/system/libsystem_info.dylib
0x000000000389a000 /usr/lib/system/libsystem_kernel.dylib
0x000000000389a000 /usr/lib/system/libsystem_m.dylib
0x000000000389a000 /usr/lib/system/libsystem_malloc.dylib
0x000000000389a000 /usr/lib/system/libsystem_network.dylib
0x000000000389a000 /usr/lib/system/libsystem_networkextension.dylib
0x000000000389a000 /usr/lib/system/libsystem_notify.dylib
0x000000000389a000 /usr/lib/system/libsystem_platform.dylib
0x000000000389a000 /usr/lib/system/libsystem_pthread.dylib
0x000000000389a000 /usr/lib/system/libsystem_sandbox.dylib
0x000000000389a000 /usr/lib/system/libsystem_secinit.dylib
0x000000000389a000 /usr/lib/system/libsystem_stats.dylib
0x000000000389a000 /usr/lib/system/libsystem_trace.dylib
0x000000000389a000 /usr/lib/system/libunc.dylib
0x000000000389a000 /usr/lib/system/libunwind.dylib
0x000000000389a000 /usr/lib/system/libxpc.dylib
0x000000000389a000 /usr/lib/libbz2.1.0.dylib
0x000000000389a000 /usr/lib/liblzma.5.dylib
0x000000000389a000 /usr/lib/libbsm.0.dylib
0x000000000389a000 /usr/lib/libsqlite3.dylib
0x000000000389a000 /usr/lib/system/libkxld.dylib
0x000000000389a000 /usr/lib/libxar.1.dylib
0x000000000389a000 /usr/lib/libpam.2.dylib
0x000000000389a000 /usr/lib/libOpenScriptingUtil.dylib
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/FSEvents.framework/Versions/A/FSEvents
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/CarbonCore.framework/Versions/A/CarbonCore
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/Metadata.framework/Versions/A/Metadata
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/OSServices.framework/Versions/A/OSServices
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/SearchKit.framework/Versions/A/SearchKit
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/AE.framework/Versions/A/AE
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/LaunchServices.framework/Versions/A/LaunchServices
0x000000000389a000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/DictionaryServices.framework/Versions/A/DictionaryServices
0x000000000389a000 /System/Library/Frameworks/NetFS.framework/Versions/A/NetFS
0x000000000389a000 /System/Library/PrivateFrameworks/NetAuth.framework/Versions/A/NetAuth
0x000000000389a000 /System/Library/PrivateFrameworks/login.framework/Versions/A/Frameworks/loginsupport.framework/Versions/A/loginsupport
0x000000000389a000 /System/Library/PrivateFrameworks/TCC.framework/Versions/A/TCC
0x000000000389a000 /usr/lib/libmecabra.dylib
0x000000000389a000 /System/Library/PrivateFrameworks/LanguageModeling.framework/Versions/A/LanguageModeling
0x000000000389a000 /usr/lib/libcmph.dylib
0x000000000389a000 /usr/lib/libiconv.2.dylib
0x000000000389a000 /System/Library/Frameworks/OpenDirectory.framework/Versions/A/Frameworks/CFOpenDirectory.framework/Versions/A/CFOpenDirectory
0x000000000389a000 /System/Library/Frameworks/ServiceManagement.framework/Versions/A/ServiceManagement
0x000000000389a000 /usr/lib/libxslt.1.dylib
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Ink.framework/Versions/A/Ink
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/ATS
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ColorSync.framework/Versions/A/ColorSync
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/HIServices.framework/Versions/A/HIServices
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/LangAnalysis.framework/Versions/A/LangAnalysis
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/PrintCore.framework/Versions/A/PrintCore
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/QD.framework/Versions/A/QD
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/SpeechSynthesis.framework/Versions/A/SpeechSynthesis
0x000000000389a000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Accelerate
0x000000000389a000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vImage.framework/Versions/A/vImage
0x000000000389a000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/vecLib
0x000000000389a000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvDSP.dylib
0x000000000389a000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvMisc.dylib
0x000000000389a000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLAPACK.dylib
0x000000000389a000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libBLAS.dylib
0x000000000389a000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLinearAlgebra.dylib
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontParser.dylib
0x000000000389a000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontRegistry.dylib
0x000000000389a000 /System/Library/PrivateFrameworks/AppleVPA.framework/Versions/A/AppleVPA
0x000000000389a000 /System/Library/PrivateFrameworks/AppleJPEG.framework/Versions/A/AppleJPEG
0x000000000389a000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJPEG.dylib
0x000000000389a000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libTIFF.dylib
0x000000000389a000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libPng.dylib
0x000000000389a000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libGIF.dylib
0x000000000389a000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJP2.dylib
0x000000000389a000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libRadiance.dylib
0x000000000389a000 /System/Library/Frameworks/CoreVideo.framework/Versions/A/CoreVideo
0x000000000389a000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLU.dylib
0x000000000389a000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGFXShared.dylib
0x000000000389a000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGL.dylib
0x000000000389a000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLImage.dylib
0x000000000389a000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCVMSPluginSupport.dylib
0x000000000389a000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCoreVMClient.dylib
0x000000000389a000 /usr/lib/libcups.2.dylib
0x000000000389a000 /System/Library/Frameworks/Kerberos.framework/Versions/A/Kerberos
0x000000000389a000 /System/Library/Frameworks/GSS.framework/Versions/A/GSS
0x000000000389a000 /usr/lib/libresolv.9.dylib
0x000000000389a000 /System/Library/PrivateFrameworks/Heimdal.framework/Versions/A/Heimdal
0x000000000389a000 /usr/lib/libheimdal-asn1.dylib
0x000000000389a000 /System/Library/Frameworks/OpenDirectory.framework/Versions/A/OpenDirectory
0x000000000389a000 /System/Library/PrivateFrameworks/CommonAuth.framework/Versions/A/CommonAuth
0x000000000389a000 /System/Library/Frameworks/SecurityFoundation.framework/Versions/A/SecurityFoundation
0x000000000389a000 /System/Library/Frameworks/QuartzCore.framework/Versions/A/Frameworks/CoreImage.framework/Versions/A/CoreImage
0x000000000389a000 /System/Library/PrivateFrameworks/CrashReporterSupport.framework/Versions/A/CrashReporterSupport
0x000000000389a000 /System/Library/Frameworks/OpenCL.framework/Versions/A/OpenCL
0x000000000389a000 /System/Library/PrivateFrameworks/FaceCore.framework/Versions/A/FaceCore
0x000000000389a000 /System/Library/PrivateFrameworks/Ubiquity.framework/Versions/A/Ubiquity
0x000000000389a000 /System/Library/PrivateFrameworks/IconServices.framework/Versions/A/IconServices
0x000000000389a000 /System/Library/PrivateFrameworks/ChunkingLibrary.framework/Versions/A/ChunkingLibrary
0x000000000389a000 /System/Library/PrivateFrameworks/Apple80211.framework/Versions/A/Apple80211
0x000000000389a000 /System/Library/Frameworks/CoreWLAN.framework/Versions/A/CoreWLAN
0x000000000389a000 /System/Library/Frameworks/IOBluetooth.framework/Versions/A/IOBluetooth
0x000000000389a000 /System/Library/PrivateFrameworks/CoreWiFi.framework/Versions/A/CoreWiFi
0x000000000389a000 /System/Library/Frameworks/CoreBluetooth.framework/Versions/A/CoreBluetooth
0x000000000389a000 /System/Library/PrivateFrameworks/DebugSymbols.framework/Versions/A/DebugSymbols
0x000000000389a000 /System/Library/PrivateFrameworks/CoreSymbolication.framework/Versions/A/CoreSymbolication
0x000000000389a000 /System/Library/PrivateFrameworks/Symbolication.framework/Versions/A/Symbolication
0x000000000389a000 /System/Library/PrivateFrameworks/SpeechRecognitionCore.framework/Versions/A/SpeechRecognitionCore
0x000000010ee00000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x000000000389a000 /usr/lib/libstdc++.6.dylib
0x000000010e532000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x000000010e540000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x000000010e57e000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x000000012a7eb000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x000000012a801000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x000000012a815000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x000000012a821000 /System/Library/PrivateFrameworks/JavaLaunching.framework/Versions/A/JavaLaunching
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/CommonPanels.framework/Versions/A/CommonPanels
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Help.framework/Versions/A/Help
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/ImageCapture.framework/Versions/A/ImageCapture
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/OpenScripting.framework/Versions/A/OpenScripting
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Print.framework/Versions/A/Print
0x000000000389a000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SecurityHI.framework/Versions/A/SecurityHI
0x000000012c644000 /Users/najafzad/Downloads/z3/build/libz3java.dylib
0x000000012c66a000 /Users/najafzad/Downloads/z3/build/libz3.dylib
VM Arguments:
jvm_args: -Dfile.encoding=UTF-8
java_command: analyzer.Stability -w evaluation.courseware.courseware
java_class_path (initial): /Users/najafzad/Documents/workspace-static/StaticTool/bin:/Users/najafzad/Downloads/home/z3/build/com.microsoft.z3.jar
Launcher Type: SUN_STANDARD
Environment Variables:
PATH=/usr/bin:/bin:/usr/sbin:/sbin
SHELL=/bin/bash
DYLD_LIBRARY_PATH=/Users/najafzad/Downloads/z3/build
Signal Handlers:
SIGSEGV: [libjvm.dylib+0x579dc7], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_ONSTACK|SA_RESTART|SA_SIGINFO
SIGBUS: [libjvm.dylib+0x579dc7], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGFPE: [libjvm.dylib+0x45b030], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGPIPE: [libjvm.dylib+0x45b030], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGXFSZ: [libjvm.dylib+0x45b030], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGILL: [libjvm.dylib+0x45b030], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none
SIGUSR2: [libjvm.dylib+0x45ab4e], sa_mask[0]=00100000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO
SIGHUP: [libjvm.dylib+0x459121], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGINT: [libjvm.dylib+0x459121], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGTERM: [libjvm.dylib+0x459121], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
SIGQUIT: [libjvm.dylib+0x459121], sa_mask[0]=11111111011111110111111111111111, sa_flags=SA_RESTART|SA_SIGINFO
--------------- S Y S T E M ---------------
OS:Bsduname:Darwin 14.0.0 Darwin Kernel Version 14.0.0: Fri Sep 19 00:26:44 PDT 2014; root:xnu-2782.1.97~2/RELEASE_X86_64 x86_64
rlimit: STACK 8192k, CORE 0k, NPROC 709, NOFILE 10240, AS infinity
load average:1.39 1.76 1.75
CPU:total 4 (2 cores per cpu, 2 threads per core) family 6 model 69 stepping 1, cmov, cx8, fxsr, mmx, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, avx, avx2, aes, clmul, erms, lzcnt, ht, tsc, tscinvbit, bmi1, bmi2
Memory: 4k page, physical 16777216k(736492k free)
/proc/meminfo:
vm_info: Java HotSpot(TM) 64-Bit Server VM (25.25-b02) for bsd-amd64 JRE (1.8.0_25-b17), built on Sep 17 2014 16:56:50 by "java_re" with gcc 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00)
time: Tue Jun 16 19:50:12 2015
elapsed time: 0 seconds (0d 0h 0m 0s)