-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathhs_err_pid850.log
427 lines (386 loc) · 31 KB
/
hs_err_pid850.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
420
421
422
423
424
425
426
#
# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x000000011f60d810, pid=850, 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+0x85e810] array_decl_plugin::mk_sort(int, unsigned int, parameter const*)+0x50
#
# 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 (0x00007fe0b900a800): JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010231d000,0x000000010241d000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000004
Registers:
RAX=0x0000000000000008, RBX=0x0000000000000000, RCX=0x0000000000000000, RDX=0x0000000000000000
RSP=0x000000010241b970, RBP=0x00007fff75043070, RSI=0x0000000000000000, RDI=0x00007fe0b8d2c318
R8 =0x000000010241bba0, R9 =0x000000010241d000, R10=0x0000000000000008, R11=0x0000000000000246
R12=0x000000010241bba0, R13=0x000000011b5cbf01, R14=0x0000000000000002, R15=0x00007fe0b8d2c318
RIP=0x000000011f60d810, EFLAGS=0x0000000000010246, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x000000010241b970)
0x000000010241b970: 000000010241b9d8 00012068ba071a00
0x000000010241b980: 0004c2000004c200 0000000000000005
0x000000010241b990: 0000000000000005 000000010241b9d8
0x000000010241b9a0: 000000010241ba10 00007fff8fce6e68
0x000000010241b9b0: 0000000000000005 0000000000000000
0x000000010241b9c0: 000000010241ba3c 000000010241ba40
0x000000010241b9d0: 000000010241ba44 00007fff750472a8
0x000000010241b9e0: ffffffffffffffff 0001206800000040
0x000000010241b9f0: 00007fff750472c0 00007fff750472a8
0x000000010241ba00: 00007fe0b8e22fa0 00000000ffffffff
0x000000010241ba10: 0000000000000000 000000010241ba98
0x000000010241ba20: 000000010241ba60 00007fff8fce6be2
0x000000010241ba30: 000000010241ba60 00012068922954c7
0x000000010241ba40: 0004c3000004c300 00007fff75048070
0x000000010241ba50: 0000000000000000 000000010241ba98
0x000000010241ba60: 000000010241ba80 00007fff92295420
0x000000010241ba70: 0000000000000003 00007fe0b8e23028
0x000000010241ba80: 0000000000000000 000000011ede48d2
0x000000010241ba90: 3962306566003633 00007fe0ba071a00
0x000000010241baa0: 0000003000000020 00007fff72ad78f0
0x000000010241bab0: bd0083753e5f9222 00007fe0b8e22f98
0x000000010241bac0: 00000000000001a0 000000011f948d5c
0x000000010241bad0: 00007fe0b8e22fa0 00007fe0b8e22f98
0x000000010241bae0: 00007fe0b8e23138 000000011edbc694
0x000000010241baf0: 0000000000000000 00007fff72ad7c70
0x000000010241bb00: 0000000000000001 00007fe0b8e22f98
0x000000010241bb10: 000000010241bb40 00007fe0b9025e08
0x000000010241bb20: bd0083753e5f9222 00007fe0b8e22f98
0x000000010241bb30: 0000000000000000 000000011b5cbf01
0x000000010241bb40: 0000000000000000 00007fe0b8e22f98
0x000000010241bb50: 000000010241bb80 0000000000000000
0x000000010241bb60: 0000000000000000 000000011b5cbf01
Instructions: (pc=0x000000011f60d810)
0x000000011f60d7f0: e9 fe 00 00 00 31 c9 66 0f 1f 84 00 00 00 00 00
0x000000011f60d800: 41 83 7c 04 f8 01 0f 85 dc 00 00 00 49 8b 14 04
0x000000011f60d810: 0f b7 52 04 83 fa 03 0f 85 cb 00 00 00 ff c1 48
0x000000011f60d820: 83 c0 28 44 39 f1 72 d8 41 8d 46 ff 48 89 44 24
Register to memory mapping:
RAX=0x0000000000000008 is an unknown value
RBX=0x0000000000000000 is an unknown value
RCX=0x0000000000000000 is an unknown value
RDX=0x0000000000000000 is an unknown value
RSP=0x000000010241b970 is pointing into the stack for thread: 0x00007fe0b900a800
RBP=0x00007fff75043070: __stack_chk_guard+0 in /usr/lib/system/libsystem_c.dylib at 0x00007fff92259000
RSI=0x0000000000000000 is an unknown value
RDI=0x00007fe0b8d2c318 is an unknown value
R8 =0x000000010241bba0 is pointing into the stack for thread: 0x00007fe0b900a800
R9 =0x000000010241d000 is pointing into the stack for thread: 0x00007fe0b900a800
R10=0x0000000000000008 is an unknown value
R11=0x0000000000000246 is an unknown value
R12=0x000000010241bba0 is pointing into the stack for thread: 0x00007fe0b900a800
R13=0x000000011b5cbf01 is pointing into metadata
R14=0x0000000000000002 is an unknown value
R15=0x00007fe0b8d2c318 is an unknown value
Stack: [0x000000010231d000,0x000000010241d000], sp=0x000000010241b970, free space=1018k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
C [libz3.dylib+0x85e810] array_decl_plugin::mk_sort(int, unsigned int, parameter const*)+0x50
Java frames: (J=compiled Java code, j=interpreted, Vv=VM code)
j com.microsoft.z3.Native.INTERNALmkSetSort(JJ)J+0
j com.microsoft.z3.Native.mkSetSort(JJ)J+2
j com.microsoft.z3.SetSort.<init>(Lcom/microsoft/z3/Context;Lcom/microsoft/z3/Sort;)V+10
j com.microsoft.z3.Context.MkSetSort(Lcom/microsoft/z3/Sort;)Lcom/microsoft/z3/SetSort;+11
j evaluation.courseware.courseware.initializeState(Lcom/microsoft/z3/Context;)V+265
v ~StubRoutines::call_stub
j sun.reflect.NativeMethodAccessorImpl.invoke0(Ljava/lang/reflect/Method;Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;+0
j sun.reflect.NativeMethodAccessorImpl.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;+100
j sun.reflect.DelegatingMethodAccessorImpl.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;+6
j java.lang.reflect.Method.invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;+56
j analyzer.Stability.LoadApplication(Ljava/lang/Class;Lcom/microsoft/z3/Context;Ljava/lang/Object;)V+28
j analyzer.Stability.main([Ljava/lang/String;)V+158
v ~StubRoutines::call_stub
--------------- P R O C E S S ---------------
Java Threads: ( => current thread )
0x00007fe0ba01f800 JavaThread "Service Thread" daemon [_thread_blocked, id=18179, stack(0x000000011eb7f000,0x000000011ec7f000)]
0x00007fe0ba016800 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17667, stack(0x000000011ea7c000,0x000000011eb7c000)]
0x00007fe0ba016000 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=17155, stack(0x000000011e979000,0x000000011ea79000)]
0x00007fe0ba001000 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16643, stack(0x000000011e876000,0x000000011e976000)]
0x00007fe0ba010000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=13331, stack(0x000000011e773000,0x000000011e873000)]
0x00007fe0b980e800 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x000000011ce3c000,0x000000011cf3c000)]
0x00007fe0b980e000 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x000000011cd39000,0x000000011ce39000)]
=>0x00007fe0b900a800 JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010231d000,0x000000010241d000)]
Other Threads:
0x00007fe0b980b800 VMThread [stack: 0x000000011cc36000,0x000000011cd36000] [id=10499]
0x00007fe0ba000800 WatcherThread [stack: 0x000000011ec82000,0x000000011ed82000] [id=18691]
VM state:not at safepoint (normal execution)
VM Mutex/Monitor currently owned by a thread: None
Heap:
PSYoungGen total 76288K, used 5251K [0x000000076ab00000, 0x0000000770000000, 0x00000007c0000000)
eden space 65536K, 8% used [0x000000076ab00000,0x000000076b020c60,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 3463K, capacity 5102K, committed 5376K, reserved 1056768K
class space used 375K, capacity 482K, committed 512K, reserved 1048576K
Card table byte_map: [0x00000001117df000,0x0000000111fe0000] byte_map_base: 0x000000010e1df000
Marking Bits: (ParMarkBitMap*) 0x0000000101c9d390
Begin Bits: [0x0000000112942000, 0x0000000116942000)
End Bits: [0x0000000116942000, 0x000000011a942000)
Polling page: 0x0000000100bb6000
CodeCache: size=245760Kb used=1296Kb max_used=1308Kb free=244463Kb
bounds [0x000000010241f000, 0x000000010268f000, 0x000000011141f000]
total_blobs=401 nmethods=123 adapters=193
compilation: enabled
Compilation events (10 events):
Event: 0.126 Thread 0x00007fe0ba016000 nmethod 108 0x0000000102564b50 code [0x0000000102564ca0, 0x0000000102564e48]
Event: 0.127 Thread 0x00007fe0ba016800 120 3 java.util.BitSet::wordIndex (5 bytes)
Event: 0.127 Thread 0x00007fe0ba016800 nmethod 120 0x0000000102564850 code [0x00000001025649a0, 0x0000000102564ad0]
Event: 0.127 Thread 0x00007fe0ba016800 121 3 java.util.BitSet::checkInvariants (111 bytes)
Event: 0.127 Thread 0x00007fe0ba016800 nmethod 121 0x00000001025644d0 code [0x0000000102564640, 0x00000001025647d0]
Event: 0.127 Thread 0x00007fe0ba016800 122 3 java.util.zip.Inflater::ensureOpen (47 bytes)
Event: 0.127 Thread 0x00007fe0ba001000 nmethod 115 0x0000000102562b90 code [0x0000000102562ce0, 0x0000000102562e98]
Event: 0.127 Thread 0x00007fe0ba016000 123 4 java.lang.String::hashCode (55 bytes)
Event: 0.127 Thread 0x00007fe0ba016800 nmethod 122 0x0000000102562610 code [0x00000001025627a0, 0x0000000102562a68]
Event: 0.129 Thread 0x00007fe0ba016000 nmethod 123 0x0000000102562290 code [0x00000001025623e0, 0x0000000102562558]
GC Heap History (0 events):
No events
Deoptimization events (0 events):
No events
Internal exceptions (10 events):
Event: 0.123 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af77d68) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.124 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af7b510) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.124 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af7e4a0) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.125 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af81c50) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.125 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af853f0) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.125 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af88c80) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.126 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af8ba00) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.127 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af8fc28) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.127 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af94010) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.130 Thread 0x00007fe0b900a800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af98e08) 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.126 loading class com/microsoft/z3/enumerations/Z3_ast_kind
Event: 0.126 loading class com/microsoft/z3/enumerations/Z3_ast_kind done
Event: 0.127 loading class com/microsoft/z3/enumerations/Z3_sort_kind
Event: 0.127 loading class com/microsoft/z3/enumerations/Z3_sort_kind done
Event: 0.127 loading class com/microsoft/z3/Expr$1
Event: 0.127 loading class com/microsoft/z3/Expr$1 done
Event: 0.127 loading class java/lang/NoSuchFieldError
Event: 0.127 loading class java/lang/NoSuchFieldError done
Event: 0.129 loading class com/microsoft/z3/Native$LongPtr
Event: 0.129 loading class com/microsoft/z3/Native$LongPtr done
Dynamic libraries:
0x0000000002ad3000 /System/Library/Frameworks/Cocoa.framework/Versions/A/Cocoa
0x0000000002ad3000 /System/Library/Frameworks/Security.framework/Versions/A/Security
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/ApplicationServices
0x0000000002ad3000 /usr/lib/libz.1.dylib
0x0000000002ad3000 /usr/lib/libSystem.B.dylib
0x0000000002ad3000 /usr/lib/libobjc.A.dylib
0x0000000002ad3000 /System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation
0x0000000002ad3000 /System/Library/Frameworks/Foundation.framework/Versions/C/Foundation
0x0000000002ad3000 /System/Library/Frameworks/AppKit.framework/Versions/C/AppKit
0x0000000002ad3000 /System/Library/Frameworks/CoreData.framework/Versions/A/CoreData
0x0000000002ad3000 /System/Library/PrivateFrameworks/RemoteViewServices.framework/Versions/A/RemoteViewServices
0x0000000002ad3000 /System/Library/PrivateFrameworks/UIFoundation.framework/Versions/A/UIFoundation
0x0000000002ad3000 /System/Library/Frameworks/IOSurface.framework/Versions/A/IOSurface
0x0000000002ad3000 /System/Library/Frameworks/AudioToolbox.framework/Versions/A/AudioToolbox
0x0000000002ad3000 /System/Library/Frameworks/AudioUnit.framework/Versions/A/AudioUnit
0x0000000002ad3000 /System/Library/PrivateFrameworks/DataDetectorsCore.framework/Versions/A/DataDetectorsCore
0x0000000002ad3000 /System/Library/PrivateFrameworks/DesktopServicesPriv.framework/Versions/A/DesktopServicesPriv
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/HIToolbox.framework/Versions/A/HIToolbox
0x0000000002ad3000 /System/Library/Frameworks/QuartzCore.framework/Versions/A/QuartzCore
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SpeechRecognition.framework/Versions/A/SpeechRecognition
0x0000000002ad3000 /usr/lib/libauto.dylib
0x0000000002ad3000 /usr/lib/libicucore.A.dylib
0x0000000002ad3000 /usr/lib/libxml2.2.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/CoreUI.framework/Versions/A/CoreUI
0x0000000002ad3000 /System/Library/Frameworks/CoreAudio.framework/Versions/A/CoreAudio
0x0000000002ad3000 /System/Library/Frameworks/DiskArbitration.framework/Versions/A/DiskArbitration
0x0000000002ad3000 /usr/lib/liblangid.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/MultitouchSupport.framework/Versions/A/MultitouchSupport
0x0000000002ad3000 /System/Library/Frameworks/IOKit.framework/Versions/A/IOKit
0x0000000002ad3000 /usr/lib/libDiagnosticMessagesClient.dylib
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/CoreServices
0x0000000002ad3000 /System/Library/PrivateFrameworks/PerformanceAnalysis.framework/Versions/A/PerformanceAnalysis
0x0000000002ad3000 /System/Library/PrivateFrameworks/GenerationalStorage.framework/Versions/A/GenerationalStorage
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/OpenGL
0x0000000002ad3000 /System/Library/PrivateFrameworks/Sharing.framework/Versions/A/Sharing
0x0000000002ad3000 /System/Library/Frameworks/CoreGraphics.framework/Versions/A/CoreGraphics
0x0000000002ad3000 /System/Library/Frameworks/CoreText.framework/Versions/A/CoreText
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/ImageIO
0x0000000002ad3000 /usr/lib/libextension.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/Backup.framework/Versions/A/Backup
0x0000000002ad3000 /usr/lib/libarchive.2.dylib
0x0000000002ad3000 /System/Library/Frameworks/CFNetwork.framework/Versions/A/CFNetwork
0x0000000002ad3000 /System/Library/Frameworks/SystemConfiguration.framework/Versions/A/SystemConfiguration
0x0000000002ad3000 /usr/lib/libCRFSuite.dylib
0x0000000002ad3000 /usr/lib/libc++.1.dylib
0x0000000002ad3000 /usr/lib/libc++abi.dylib
0x0000000002ad3000 /usr/lib/system/libcache.dylib
0x0000000002ad3000 /usr/lib/system/libcommonCrypto.dylib
0x0000000002ad3000 /usr/lib/system/libcompiler_rt.dylib
0x0000000002ad3000 /usr/lib/system/libcopyfile.dylib
0x0000000002ad3000 /usr/lib/system/libcorecrypto.dylib
0x0000000002ad3000 /usr/lib/system/libdispatch.dylib
0x0000000002ad3000 /usr/lib/system/libdyld.dylib
0x0000000002ad3000 /usr/lib/system/libkeymgr.dylib
0x0000000002ad3000 /usr/lib/system/liblaunch.dylib
0x0000000002ad3000 /usr/lib/system/libmacho.dylib
0x0000000002ad3000 /usr/lib/system/libquarantine.dylib
0x0000000002ad3000 /usr/lib/system/libremovefile.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_asl.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_blocks.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_c.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_configuration.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_coreservices.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_coretls.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_dnssd.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_info.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_kernel.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_m.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_malloc.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_network.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_networkextension.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_notify.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_platform.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_pthread.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_sandbox.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_secinit.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_stats.dylib
0x0000000002ad3000 /usr/lib/system/libsystem_trace.dylib
0x0000000002ad3000 /usr/lib/system/libunc.dylib
0x0000000002ad3000 /usr/lib/system/libunwind.dylib
0x0000000002ad3000 /usr/lib/system/libxpc.dylib
0x0000000002ad3000 /usr/lib/libbz2.1.0.dylib
0x0000000002ad3000 /usr/lib/liblzma.5.dylib
0x0000000002ad3000 /usr/lib/libbsm.0.dylib
0x0000000002ad3000 /usr/lib/libsqlite3.dylib
0x0000000002ad3000 /usr/lib/system/libkxld.dylib
0x0000000002ad3000 /usr/lib/libxar.1.dylib
0x0000000002ad3000 /usr/lib/libpam.2.dylib
0x0000000002ad3000 /usr/lib/libOpenScriptingUtil.dylib
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/FSEvents.framework/Versions/A/FSEvents
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/CarbonCore.framework/Versions/A/CarbonCore
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/Metadata.framework/Versions/A/Metadata
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/OSServices.framework/Versions/A/OSServices
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/SearchKit.framework/Versions/A/SearchKit
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/AE.framework/Versions/A/AE
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/LaunchServices.framework/Versions/A/LaunchServices
0x0000000002ad3000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/DictionaryServices.framework/Versions/A/DictionaryServices
0x0000000002ad3000 /System/Library/Frameworks/NetFS.framework/Versions/A/NetFS
0x0000000002ad3000 /System/Library/PrivateFrameworks/NetAuth.framework/Versions/A/NetAuth
0x0000000002ad3000 /System/Library/PrivateFrameworks/login.framework/Versions/A/Frameworks/loginsupport.framework/Versions/A/loginsupport
0x0000000002ad3000 /System/Library/PrivateFrameworks/TCC.framework/Versions/A/TCC
0x0000000002ad3000 /usr/lib/libmecabra.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/LanguageModeling.framework/Versions/A/LanguageModeling
0x0000000002ad3000 /usr/lib/libcmph.dylib
0x0000000002ad3000 /usr/lib/libiconv.2.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenDirectory.framework/Versions/A/Frameworks/CFOpenDirectory.framework/Versions/A/CFOpenDirectory
0x0000000002ad3000 /System/Library/Frameworks/ServiceManagement.framework/Versions/A/ServiceManagement
0x0000000002ad3000 /usr/lib/libxslt.1.dylib
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Ink.framework/Versions/A/Ink
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/ATS
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ColorSync.framework/Versions/A/ColorSync
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/HIServices.framework/Versions/A/HIServices
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/LangAnalysis.framework/Versions/A/LangAnalysis
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/PrintCore.framework/Versions/A/PrintCore
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/QD.framework/Versions/A/QD
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/SpeechSynthesis.framework/Versions/A/SpeechSynthesis
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Accelerate
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vImage.framework/Versions/A/vImage
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/vecLib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvDSP.dylib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvMisc.dylib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLAPACK.dylib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libBLAS.dylib
0x0000000002ad3000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLinearAlgebra.dylib
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontParser.dylib
0x0000000002ad3000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontRegistry.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/AppleVPA.framework/Versions/A/AppleVPA
0x0000000002ad3000 /System/Library/PrivateFrameworks/AppleJPEG.framework/Versions/A/AppleJPEG
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJPEG.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libTIFF.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libPng.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libGIF.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJP2.dylib
0x0000000002ad3000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libRadiance.dylib
0x0000000002ad3000 /System/Library/Frameworks/CoreVideo.framework/Versions/A/CoreVideo
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLU.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGFXShared.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGL.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLImage.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCVMSPluginSupport.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCoreVMClient.dylib
0x0000000002ad3000 /usr/lib/libcups.2.dylib
0x0000000002ad3000 /System/Library/Frameworks/Kerberos.framework/Versions/A/Kerberos
0x0000000002ad3000 /System/Library/Frameworks/GSS.framework/Versions/A/GSS
0x0000000002ad3000 /usr/lib/libresolv.9.dylib
0x0000000002ad3000 /System/Library/PrivateFrameworks/Heimdal.framework/Versions/A/Heimdal
0x0000000002ad3000 /usr/lib/libheimdal-asn1.dylib
0x0000000002ad3000 /System/Library/Frameworks/OpenDirectory.framework/Versions/A/OpenDirectory
0x0000000002ad3000 /System/Library/PrivateFrameworks/CommonAuth.framework/Versions/A/CommonAuth
0x0000000002ad3000 /System/Library/Frameworks/SecurityFoundation.framework/Versions/A/SecurityFoundation
0x0000000002ad3000 /System/Library/Frameworks/QuartzCore.framework/Versions/A/Frameworks/CoreImage.framework/Versions/A/CoreImage
0x0000000002ad3000 /System/Library/PrivateFrameworks/CrashReporterSupport.framework/Versions/A/CrashReporterSupport
0x0000000002ad3000 /System/Library/Frameworks/OpenCL.framework/Versions/A/OpenCL
0x0000000002ad3000 /System/Library/PrivateFrameworks/FaceCore.framework/Versions/A/FaceCore
0x0000000002ad3000 /System/Library/PrivateFrameworks/Ubiquity.framework/Versions/A/Ubiquity
0x0000000002ad3000 /System/Library/PrivateFrameworks/IconServices.framework/Versions/A/IconServices
0x0000000002ad3000 /System/Library/PrivateFrameworks/ChunkingLibrary.framework/Versions/A/ChunkingLibrary
0x0000000002ad3000 /System/Library/PrivateFrameworks/Apple80211.framework/Versions/A/Apple80211
0x0000000002ad3000 /System/Library/Frameworks/CoreWLAN.framework/Versions/A/CoreWLAN
0x0000000002ad3000 /System/Library/Frameworks/IOBluetooth.framework/Versions/A/IOBluetooth
0x0000000002ad3000 /System/Library/PrivateFrameworks/CoreWiFi.framework/Versions/A/CoreWiFi
0x0000000002ad3000 /System/Library/Frameworks/CoreBluetooth.framework/Versions/A/CoreBluetooth
0x0000000002ad3000 /System/Library/PrivateFrameworks/DebugSymbols.framework/Versions/A/DebugSymbols
0x0000000002ad3000 /System/Library/PrivateFrameworks/CoreSymbolication.framework/Versions/A/CoreSymbolication
0x0000000002ad3000 /System/Library/PrivateFrameworks/Symbolication.framework/Versions/A/Symbolication
0x0000000002ad3000 /System/Library/PrivateFrameworks/SpeechRecognitionCore.framework/Versions/A/SpeechRecognitionCore
0x0000000101400000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x0000000002ad3000 /usr/lib/libstdc++.6.dylib
0x0000000100b74000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x0000000100b82000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x0000000100bc0000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x000000011cf3e000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x000000011cf54000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x0000000100bf2000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x000000011cf68000 /System/Library/PrivateFrameworks/JavaLaunching.framework/Versions/A/JavaLaunching
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/CommonPanels.framework/Versions/A/CommonPanels
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Help.framework/Versions/A/Help
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/ImageCapture.framework/Versions/A/ImageCapture
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/OpenScripting.framework/Versions/A/OpenScripting
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Print.framework/Versions/A/Print
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SecurityHI.framework/Versions/A/SecurityHI
0x000000011ed89000 /Users/najafzad/Downloads/z3/build/libz3java.dylib
0x000000011edaf000 /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.47 1.62 1.56
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(1991732k 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: Mon Jun 15 16:35:26 2015
elapsed time: 0 seconds (0d 0h 0m 0s)