-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathhs_err_pid846.log
427 lines (386 loc) · 31 KB
/
hs_err_pid846.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=0x000000012931c810, pid=846, 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] _ZN17array_decl_plugin7mk_sortEijPK9parameter+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 (0x00007fa40c001000): JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010a883000,0x000000010a983000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000004
Registers:
RAX=0x0000000000000008, RBX=0x0000000000000000, RCX=0x0000000000000000, RDX=0x0000000000000000
RSP=0x000000010a981970, RBP=0x00007fff75043070, RSI=0x0000000000000000, RDI=0x00007fa40ae53098
R8 =0x000000010a981ba0, R9 =0x000000010a983000, R10=0x0000000000000008, R11=0x0000000000000246
R12=0x000000010a981ba0, R13=0x00000001252c8f01, R14=0x0000000000000002, R15=0x00007fa40ae53098
RIP=0x000000012931c810, EFLAGS=0x0000000000010246, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x000000010a981970)
0x000000010a981970: 000000010a9819d8 000120680c0e2a00
0x000000010a981980: 0004c2000004c200 0000000000000005
0x000000010a981990: 0000000000000005 000000010a9819d8
0x000000010a9819a0: 000000010a981a10 00007fff8fce6e68
0x000000010a9819b0: 0000000000000005 0000000000000000
0x000000010a9819c0: 000000010a981a3c 000000010a981a40
0x000000010a9819d0: 000000010a981a44 00007fff750472a8
0x000000010a9819e0: ffffffffffffffff 0001206800000040
0x000000010a9819f0: 00007fff750472c0 00007fff750472a8
0x000000010a981a00: 00007fa40ae4c9d0 00000000ffffffff
0x000000010a981a10: 0000000000000000 000000010a981a98
0x000000010a981a20: 000000010a981a60 00007fff8fce6be2
0x000000010a981a30: 000000010a981a60 00012068922954c7
0x000000010a981a40: 0004c3000004c300 00007fff75048070
0x000000010a981a50: 0000000000000000 000000010a981a98
0x000000010a981a60: 000000010a981a80 00007fff92295420
0x000000010a981a70: 0000000000000003 00007fa40ae4ca58
0x000000010a981a80: 0000000000000000 0000000128af38d2
0x000000010a981a90: 6330346166003633 00007fa40c0e2a00
0x000000010a981aa0: 0000003000000020 00007fff72ad78f0
0x000000010a981ab0: d00006b5d9f9ef01 00007fa40ae4c9c8
0x000000010a981ac0: 00000000000001a0 0000000129657d5c
0x000000010a981ad0: 00007fa40ae4c9d0 00007fa40ae4c9c8
0x000000010a981ae0: 00007fa40ae4cb68 0000000128acb694
0x000000010a981af0: 0000000000000000 00007fff72ad7c70
0x000000010a981b00: 0000000000000001 00007fa40ae4c9c8
0x000000010a981b10: 000000010a981b40 00007fa40c003608
0x000000010a981b20: d00006b5d9f9ef01 00007fa40ae4c9c8
0x000000010a981b30: 0000000000000000 00000001252c8f01
0x000000010a981b40: 0000000000000000 00007fa40ae4c9c8
0x000000010a981b50: 000000010a981b80 0000000000000000
0x000000010a981b60: 0000000000000000 00000001252c8f01
Instructions: (pc=0x000000012931c810)
0x000000012931c7f0: e9 fe 00 00 00 31 c9 66 0f 1f 84 00 00 00 00 00
0x000000012931c800: 41 83 7c 04 f8 01 0f 85 dc 00 00 00 49 8b 14 04
0x000000012931c810: 0f b7 52 04 83 fa 03 0f 85 cb 00 00 00 ff c1 48
0x000000012931c820: 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=0x000000010a981970 is pointing into the stack for thread: 0x00007fa40c001000
RBP=0x00007fff75043070: __stack_chk_guard+0 in /usr/lib/system/libsystem_c.dylib at 0x00007fff92259000
RSI=0x0000000000000000 is an unknown value
RDI=0x00007fa40ae53098 is an unknown value
R8 =0x000000010a981ba0 is pointing into the stack for thread: 0x00007fa40c001000
R9 =0x000000010a983000 is pointing into the stack for thread: 0x00007fa40c001000
R10=0x0000000000000008 is an unknown value
R11=0x0000000000000246 is an unknown value
R12=0x000000010a981ba0 is pointing into the stack for thread: 0x00007fa40c001000
R13=0x00000001252c8f01 is pointing into metadata
R14=0x0000000000000002 is an unknown value
R15=0x00007fa40ae53098 is an unknown value
Stack: [0x000000010a883000,0x000000010a983000], sp=0x000000010a981970, free space=1018k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
C [libz3.dylib+0x85e810] _ZN17array_decl_plugin7mk_sortEijPK9parameter+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 )
0x00007fa40c077800 JavaThread "Service Thread" daemon [_thread_blocked, id=18179, stack(0x000000012888e000,0x000000012898e000)]
0x00007fa40c05a000 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17667, stack(0x000000012878b000,0x000000012888b000)]
0x00007fa40c059800 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=17155, stack(0x0000000128688000,0x0000000128788000)]
0x00007fa40c066000 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16643, stack(0x0000000128585000,0x0000000128685000)]
0x00007fa40c065800 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=13335, stack(0x0000000128482000,0x0000000128582000)]
0x00007fa40b81b800 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x0000000126b41000,0x0000000126c41000)]
0x00007fa40c04a000 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x0000000126a3e000,0x0000000126b3e000)]
=>0x00007fa40c001000 JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010a883000,0x000000010a983000)]
Other Threads:
0x00007fa40c045800 VMThread [stack: 0x000000012693b000,0x0000000126a3b000] [id=10499]
0x00007fa40b00f000 WatcherThread [stack: 0x0000000128991000,0x0000000128a91000] [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: [0x000000011b4dc000,0x000000011bcdd000] byte_map_base: 0x0000000117edc000
Marking Bits: (ParMarkBitMap*) 0x000000010ba9d390
Begin Bits: [0x000000011c63f000, 0x000000012063f000)
End Bits: [0x000000012063f000, 0x000000012463f000)
Polling page: 0x000000010a9c7000
CodeCache: size=245760Kb used=1297Kb max_used=1308Kb free=244462Kb
bounds [0x000000010c11c000, 0x000000010c38c000, 0x000000011b11c000]
total_blobs=402 nmethods=124 adapters=193
compilation: enabled
Compilation events (10 events):
Event: 0.117 Thread 0x00007fa40c05a000 120 3 java.util.BitSet::checkInvariants (111 bytes)
Event: 0.117 Thread 0x00007fa40c05a000 nmethod 120 0x000000010c25f4d0 code [0x000000010c25f640, 0x000000010c25f7d0]
Event: 0.117 Thread 0x00007fa40c05a000 121 3 java.util.zip.Inflater::ensureOpen (47 bytes)
Event: 0.117 Thread 0x00007fa40c05a000 nmethod 121 0x000000010c25ef50 code [0x000000010c25f0e0, 0x000000010c25f3a8]
Event: 0.117 Thread 0x00007fa40c066000 122 4 java.lang.String::hashCode (55 bytes)
Event: 0.117 Thread 0x00007fa40c05a000 123 3 java.lang.StringBuilder::toString (17 bytes)
Event: 0.117 Thread 0x00007fa40c05a000 nmethod 123 0x000000010c25eb10 code [0x000000010c25ec80, 0x000000010c25ee88]
Event: 0.117 Thread 0x00007fa40c05a000 124 3 java.lang.ref.Reference::<init> (25 bytes)
Event: 0.118 Thread 0x00007fa40c05a000 nmethod 124 0x000000010c261010 code [0x000000010c261180, 0x000000010c2613d0]
Event: 0.119 Thread 0x00007fa40c066000 nmethod 122 0x000000010c261890 code [0x000000010c2619e0, 0x000000010c261b58]
GC Heap History (0 events):
No events
Deoptimization events (0 events):
No events
Internal exceptions (10 events):
Event: 0.112 Thread 0x00007fa40c001000 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.113 Thread 0x00007fa40c001000 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.114 Thread 0x00007fa40c001000 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.114 Thread 0x00007fa40c001000 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.114 Thread 0x00007fa40c001000 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.115 Thread 0x00007fa40c001000 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.116 Thread 0x00007fa40c001000 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.117 Thread 0x00007fa40c001000 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.117 Thread 0x00007fa40c001000 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.119 Thread 0x00007fa40c001000 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.116 loading class com/microsoft/z3/enumerations/Z3_ast_kind
Event: 0.116 loading class com/microsoft/z3/enumerations/Z3_ast_kind done
Event: 0.117 loading class com/microsoft/z3/enumerations/Z3_sort_kind
Event: 0.117 loading class com/microsoft/z3/enumerations/Z3_sort_kind done
Event: 0.117 loading class com/microsoft/z3/Expr$1
Event: 0.117 loading class com/microsoft/z3/Expr$1 done
Event: 0.117 loading class java/lang/NoSuchFieldError
Event: 0.117 loading class java/lang/NoSuchFieldError done
Event: 0.119 loading class com/microsoft/z3/Native$LongPtr
Event: 0.119 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
0x000000010b200000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x0000000002ad3000 /usr/lib/libstdc++.6.dylib
0x000000010a985000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x000000010a993000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x000000010a9d1000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x0000000126c43000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x0000000126c59000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x0000000126c6d000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x0000000002ad3000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x0000000126c79000 /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
0x0000000128a98000 /Users/najafzad/Downloads/z3/build/libz3java.dylib
0x0000000128abe000 /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.73 1.69 1.59
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(2053780k 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:34:29 2015
elapsed time: 0 seconds (0d 0h 0m 0s)