-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathhs_err_pid744.log
421 lines (380 loc) · 30.5 KB
/
hs_err_pid744.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
#
# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x000000011ef7f810, pid=744, 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 (0x00007ff5d3001000): JavaThread "main" [_thread_in_native, id=4867, stack(0x00000001004e7000,0x00000001005e7000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000004
Registers:
RAX=0x0000000000000008, RBX=0x0000000000000000, RCX=0x0000000000000000, RDX=0x0000000000000000
RSP=0x00000001005e6370, RBP=0x00007fff7af6f070, RSI=0x0000000000000000, RDI=0x00007ff5d1f19a48
R8 =0x00000001005e65a0, R9 =0x00007ff5d1c00000, R10=0x000000000009e198, R11=0x000000011e731e90
R12=0x00000001005e65a0, R13=0x000000011af13400, R14=0x0000000000000002, R15=0x00007ff5d1f19a48
RIP=0x000000011ef7f810, EFLAGS=0x0000000000010246, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x00000001005e6370)
0x00000001005e6370: 0000000000000000 0000000000000000
0x00000001005e6380: 0000000000000000 0000000000000000
0x00000001005e6390: 0000000000000000 0000000000000000
0x00000001005e63a0: 0000000000000000 0000000000000000
0x00000001005e63b0: 0000000000000000 0000000000000000
0x00000001005e63c0: 0000000000000003 0000000000000000
0x00000001005e63d0: 0000000000000000 0000000000000000
0x00000001005e63e0: 0000000000000000 0000000000000000
0x00000001005e63f0: 0000000000000000 0000000000000000
0x00000001005e6400: 0000000000000000 0000000000000000
0x00000001005e6410: 0000000000000000 0000000000000000
0x00000001005e6420: 0000000000000000 0000000000000000
0x00000001005e6430: 0000000000000000 0000000000000000
0x00000001005e6440: 0000000000000000 0000000000000000
0x00000001005e6450: 0000000000000000 0000000000000000
0x00000001005e6460: 0000000000000000 0000000000000000
0x00000001005e6470: 0000000000000000 0000000000000000
0x00000001005e6480: 0000000000000000 0000000000000000
0x00000001005e6490: 0000000000000000 0000000000000000
0x00000001005e64a0: 0000000000000000 0000000000000000
0x00000001005e64b0: 0000000000000000 0000000000000000
0x00000001005e64c0: 0000000000000000 0000000000000000
0x00000001005e64d0: 0000000000000000 0000000000000000
0x00000001005e64e0: 0000000000000000 0000000000000000
0x00000001005e64f0: 0000000000000000 0000000000000000
0x00000001005e6500: 00007ff5d3001000 000000011af13410
0x00000001005e6510: 00007ff5d3001000 000000011af13410
0x00000001005e6520: 0000000000000000 00007ff5d3001000
0x00000001005e6530: 000000011af13410 000000011e6fd950
0x00000001005e6540: 0000000000000000 00007ff5d3001000
0x00000001005e6550: 00000001005e65c0 0000000000000000
0x00000001005e6560: 0000000000000000 000000011af13400
Instructions: (pc=0x000000011ef7f810)
0x000000011ef7f7f0: e9 fe 00 00 00 31 c9 66 0f 1f 84 00 00 00 00 00
0x000000011ef7f800: 41 83 7c 04 f8 01 0f 85 dc 00 00 00 49 8b 14 04
0x000000011ef7f810: 0f b7 52 04 83 fa 03 0f 85 cb 00 00 00 ff c1 48
0x000000011ef7f820: 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=0x00000001005e6370 is pointing into the stack for thread: 0x00007ff5d3001000
RBP=0x00007fff7af6f070: __stack_chk_guard+0 in /usr/lib/system/libsystem_c.dylib at 0x00007fff98185000
RSI=0x0000000000000000 is an unknown value
RDI=0x00007ff5d1f19a48 is an unknown value
R8 =0x00000001005e65a0 is pointing into the stack for thread: 0x00007ff5d3001000
R9 =0x00007ff5d1c00000 is an unknown value
R10=0x000000000009e198 is an unknown value
R11=0x000000011e731e90: Z3_mk_set_sort+0 in /Users/najafzad/Downloads/Z3/build/libz3.dylib at 0x000000011e721000
R12=0x00000001005e65a0 is pointing into the stack for thread: 0x00007ff5d3001000
R13=0x000000011af13400 is pointing into metadata
R14=0x0000000000000002 is an unknown value
R15=0x00007ff5d1f19a48 is an unknown value
Stack: [0x00000001004e7000,0x00000001005e7000], sp=0x00000001005e6370, free space=1020k
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.auction.operations.AddToLot.test(Lcom/microsoft/z3/Context;)Lcom/microsoft/z3/Expr;+86
j evaluation.auction.operations.AddToLot.main([Ljava/lang/String;)V+18
v ~StubRoutines::call_stub
--------------- P R O C E S S ---------------
Java Threads: ( => current thread )
0x00007ff5d3808800 JavaThread "Service Thread" daemon [_thread_blocked, id=18179, stack(0x000000011e4f3000,0x000000011e5f3000)]
0x00007ff5d3034800 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17667, stack(0x000000011e3f0000,0x000000011e4f0000)]
0x00007ff5d2036800 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=17155, stack(0x000000011e2ed000,0x000000011e3ed000)]
0x00007ff5d2034800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16643, stack(0x000000011e1ea000,0x000000011e2ea000)]
0x00007ff5d201a800 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=13335, stack(0x000000011e0e7000,0x000000011e1e7000)]
0x00007ff5d3054000 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x000000011c7a6000,0x000000011c8a6000)]
0x00007ff5d3053800 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x000000011c6a3000,0x000000011c7a3000)]
=>0x00007ff5d3001000 JavaThread "main" [_thread_in_native, id=4867, stack(0x00000001004e7000,0x00000001005e7000)]
Other Threads:
0x00007ff5d3050800 VMThread [stack: 0x000000011c5a0000,0x000000011c6a0000] [id=10499]
0x00007ff5d3805000 WatcherThread [stack: 0x000000011e5f6000,0x000000011e6f6000] [id=18691]
VM state:not at safepoint (normal execution)
VM Mutex/Monitor currently owned by a thread: None
Heap:
PSYoungGen total 76288K, used 5243K [0x000000076ab00000, 0x0000000770000000, 0x00000007c0000000)
eden space 65536K, 8% used [0x000000076ab00000,0x000000076b01ec88,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 3421K, capacity 5080K, committed 5376K, reserved 1056768K
class space used 368K, capacity 456K, committed 512K, reserved 1048576K
Card table byte_map: [0x0000000111121000,0x0000000111922000] byte_map_base: 0x000000010db21000
Marking Bits: (ParMarkBitMap*) 0x000000010169d390
Begin Bits: [0x0000000112284000, 0x0000000116284000)
End Bits: [0x0000000116284000, 0x000000011a284000)
Polling page: 0x00000001005f7000
CodeCache: size=245760Kb used=1275Kb max_used=1275Kb free=244484Kb
bounds [0x0000000101d61000, 0x0000000101fd1000, 0x0000000110d61000]
total_blobs=387 nmethods=109 adapters=193
compilation: enabled
Compilation events (10 events):
Event: 0.109 Thread 0x00007ff5d3034800 nmethod 100 0x0000000101e9b710 code [0x0000000101e9b8c0, 0x0000000101e9c018]
Event: 0.109 Thread 0x00007ff5d3034800 101 3 sun.misc.VM::allowArraySyntax (4 bytes)
Event: 0.109 Thread 0x00007ff5d3034800 nmethod 101 0x0000000101e9c290 code [0x0000000101e9c3e0, 0x0000000101e9c530]
Event: 0.109 Thread 0x00007ff5d3034800 102 1 java.lang.StringCoding$StringEncoder::requestedCharsetName (5 bytes)
Event: 0.109 Thread 0x00007ff5d3034800 nmethod 102 0x0000000101e9c590 code [0x0000000101e9c6e0, 0x0000000101e9c7f0]
Event: 0.110 Thread 0x00007ff5d3034800 103 3 sun.net.www.ParseUtil::encodePath (336 bytes)
Event: 0.111 Thread 0x00007ff5d3034800 nmethod 103 0x0000000101e9c850 code [0x0000000101e9cac0, 0x0000000101e9da98]
Event: 0.112 Thread 0x00007ff5d3034800 105 1 java.security.CodeSource::getLocation (5 bytes)
Event: 0.112 Thread 0x00007ff5d3034800 nmethod 105 0x0000000101e9e8d0 code [0x0000000101e9ea20, 0x0000000101e9eb30]
Event: 0.112 Thread 0x00007ff5d3034800 107 s 3 sun.misc.PerfCounter::add (18 bytes)
GC Heap History (0 events):
No events
Deoptimization events (0 events):
No events
Internal exceptions (10 events):
Event: 0.107 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af520b8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.108 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af55948) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.108 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af58540) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.109 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af5c108) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.109 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af5f1c8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.109 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af62648) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.110 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af66148) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.110 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af6a370) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.111 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af6e758) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.112 Thread 0x00007ff5d3001000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af71c18) 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.110 loading class com/microsoft/z3/enumerations/Z3_ast_kind
Event: 0.110 loading class com/microsoft/z3/enumerations/Z3_ast_kind done
Event: 0.110 loading class com/microsoft/z3/enumerations/Z3_sort_kind
Event: 0.110 loading class com/microsoft/z3/enumerations/Z3_sort_kind done
Event: 0.111 loading class com/microsoft/z3/Expr$1
Event: 0.111 loading class com/microsoft/z3/Expr$1 done
Event: 0.111 loading class java/lang/NoSuchFieldError
Event: 0.111 loading class java/lang/NoSuchFieldError done
Event: 0.112 loading class com/microsoft/z3/SetSort
Event: 0.112 loading class com/microsoft/z3/SetSort done
Dynamic libraries:
0x00000000089ff000 /System/Library/Frameworks/Cocoa.framework/Versions/A/Cocoa
0x00000000089ff000 /System/Library/Frameworks/Security.framework/Versions/A/Security
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/ApplicationServices
0x00000000089ff000 /usr/lib/libz.1.dylib
0x00000000089ff000 /usr/lib/libSystem.B.dylib
0x00000000089ff000 /usr/lib/libobjc.A.dylib
0x00000000089ff000 /System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation
0x00000000089ff000 /System/Library/Frameworks/Foundation.framework/Versions/C/Foundation
0x00000000089ff000 /System/Library/Frameworks/AppKit.framework/Versions/C/AppKit
0x00000000089ff000 /System/Library/Frameworks/CoreData.framework/Versions/A/CoreData
0x00000000089ff000 /System/Library/PrivateFrameworks/RemoteViewServices.framework/Versions/A/RemoteViewServices
0x00000000089ff000 /System/Library/PrivateFrameworks/UIFoundation.framework/Versions/A/UIFoundation
0x00000000089ff000 /System/Library/Frameworks/IOSurface.framework/Versions/A/IOSurface
0x00000000089ff000 /System/Library/Frameworks/AudioToolbox.framework/Versions/A/AudioToolbox
0x00000000089ff000 /System/Library/Frameworks/AudioUnit.framework/Versions/A/AudioUnit
0x00000000089ff000 /System/Library/PrivateFrameworks/DataDetectorsCore.framework/Versions/A/DataDetectorsCore
0x00000000089ff000 /System/Library/PrivateFrameworks/DesktopServicesPriv.framework/Versions/A/DesktopServicesPriv
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/HIToolbox.framework/Versions/A/HIToolbox
0x00000000089ff000 /System/Library/Frameworks/QuartzCore.framework/Versions/A/QuartzCore
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SpeechRecognition.framework/Versions/A/SpeechRecognition
0x00000000089ff000 /usr/lib/libauto.dylib
0x00000000089ff000 /usr/lib/libicucore.A.dylib
0x00000000089ff000 /usr/lib/libxml2.2.dylib
0x00000000089ff000 /System/Library/PrivateFrameworks/CoreUI.framework/Versions/A/CoreUI
0x00000000089ff000 /System/Library/Frameworks/CoreAudio.framework/Versions/A/CoreAudio
0x00000000089ff000 /System/Library/Frameworks/DiskArbitration.framework/Versions/A/DiskArbitration
0x00000000089ff000 /usr/lib/liblangid.dylib
0x00000000089ff000 /System/Library/PrivateFrameworks/MultitouchSupport.framework/Versions/A/MultitouchSupport
0x00000000089ff000 /System/Library/Frameworks/IOKit.framework/Versions/A/IOKit
0x00000000089ff000 /usr/lib/libDiagnosticMessagesClient.dylib
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/CoreServices
0x00000000089ff000 /System/Library/PrivateFrameworks/PerformanceAnalysis.framework/Versions/A/PerformanceAnalysis
0x00000000089ff000 /System/Library/PrivateFrameworks/GenerationalStorage.framework/Versions/A/GenerationalStorage
0x00000000089ff000 /System/Library/Frameworks/OpenGL.framework/Versions/A/OpenGL
0x00000000089ff000 /System/Library/PrivateFrameworks/Sharing.framework/Versions/A/Sharing
0x00000000089ff000 /System/Library/Frameworks/CoreGraphics.framework/Versions/A/CoreGraphics
0x00000000089ff000 /System/Library/Frameworks/CoreText.framework/Versions/A/CoreText
0x00000000089ff000 /System/Library/Frameworks/ImageIO.framework/Versions/A/ImageIO
0x00000000089ff000 /usr/lib/libextension.dylib
0x00000000089ff000 /System/Library/PrivateFrameworks/Backup.framework/Versions/A/Backup
0x00000000089ff000 /usr/lib/libarchive.2.dylib
0x00000000089ff000 /System/Library/Frameworks/CFNetwork.framework/Versions/A/CFNetwork
0x00000000089ff000 /System/Library/Frameworks/SystemConfiguration.framework/Versions/A/SystemConfiguration
0x00000000089ff000 /usr/lib/libCRFSuite.dylib
0x00000000089ff000 /usr/lib/libc++.1.dylib
0x00000000089ff000 /usr/lib/libc++abi.dylib
0x00000000089ff000 /usr/lib/system/libcache.dylib
0x00000000089ff000 /usr/lib/system/libcommonCrypto.dylib
0x00000000089ff000 /usr/lib/system/libcompiler_rt.dylib
0x00000000089ff000 /usr/lib/system/libcopyfile.dylib
0x00000000089ff000 /usr/lib/system/libcorecrypto.dylib
0x00000000089ff000 /usr/lib/system/libdispatch.dylib
0x00000000089ff000 /usr/lib/system/libdyld.dylib
0x00000000089ff000 /usr/lib/system/libkeymgr.dylib
0x00000000089ff000 /usr/lib/system/liblaunch.dylib
0x00000000089ff000 /usr/lib/system/libmacho.dylib
0x00000000089ff000 /usr/lib/system/libquarantine.dylib
0x00000000089ff000 /usr/lib/system/libremovefile.dylib
0x00000000089ff000 /usr/lib/system/libsystem_asl.dylib
0x00000000089ff000 /usr/lib/system/libsystem_blocks.dylib
0x00000000089ff000 /usr/lib/system/libsystem_c.dylib
0x00000000089ff000 /usr/lib/system/libsystem_configuration.dylib
0x00000000089ff000 /usr/lib/system/libsystem_coreservices.dylib
0x00000000089ff000 /usr/lib/system/libsystem_coretls.dylib
0x00000000089ff000 /usr/lib/system/libsystem_dnssd.dylib
0x00000000089ff000 /usr/lib/system/libsystem_info.dylib
0x00000000089ff000 /usr/lib/system/libsystem_kernel.dylib
0x00000000089ff000 /usr/lib/system/libsystem_m.dylib
0x00000000089ff000 /usr/lib/system/libsystem_malloc.dylib
0x00000000089ff000 /usr/lib/system/libsystem_network.dylib
0x00000000089ff000 /usr/lib/system/libsystem_networkextension.dylib
0x00000000089ff000 /usr/lib/system/libsystem_notify.dylib
0x00000000089ff000 /usr/lib/system/libsystem_platform.dylib
0x00000000089ff000 /usr/lib/system/libsystem_pthread.dylib
0x00000000089ff000 /usr/lib/system/libsystem_sandbox.dylib
0x00000000089ff000 /usr/lib/system/libsystem_secinit.dylib
0x00000000089ff000 /usr/lib/system/libsystem_stats.dylib
0x00000000089ff000 /usr/lib/system/libsystem_trace.dylib
0x00000000089ff000 /usr/lib/system/libunc.dylib
0x00000000089ff000 /usr/lib/system/libunwind.dylib
0x00000000089ff000 /usr/lib/system/libxpc.dylib
0x00000000089ff000 /usr/lib/libbz2.1.0.dylib
0x00000000089ff000 /usr/lib/liblzma.5.dylib
0x00000000089ff000 /usr/lib/libbsm.0.dylib
0x00000000089ff000 /usr/lib/libsqlite3.dylib
0x00000000089ff000 /usr/lib/system/libkxld.dylib
0x00000000089ff000 /usr/lib/libxar.1.dylib
0x00000000089ff000 /usr/lib/libpam.2.dylib
0x00000000089ff000 /usr/lib/libOpenScriptingUtil.dylib
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/FSEvents.framework/Versions/A/FSEvents
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/CarbonCore.framework/Versions/A/CarbonCore
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/Metadata.framework/Versions/A/Metadata
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/OSServices.framework/Versions/A/OSServices
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/SearchKit.framework/Versions/A/SearchKit
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/AE.framework/Versions/A/AE
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/LaunchServices.framework/Versions/A/LaunchServices
0x00000000089ff000 /System/Library/Frameworks/CoreServices.framework/Versions/A/Frameworks/DictionaryServices.framework/Versions/A/DictionaryServices
0x00000000089ff000 /System/Library/Frameworks/NetFS.framework/Versions/A/NetFS
0x00000000089ff000 /System/Library/PrivateFrameworks/NetAuth.framework/Versions/A/NetAuth
0x00000000089ff000 /System/Library/PrivateFrameworks/login.framework/Versions/A/Frameworks/loginsupport.framework/Versions/A/loginsupport
0x00000000089ff000 /System/Library/PrivateFrameworks/TCC.framework/Versions/A/TCC
0x00000000089ff000 /usr/lib/libmecabra.dylib
0x00000000089ff000 /System/Library/PrivateFrameworks/LanguageModeling.framework/Versions/A/LanguageModeling
0x00000000089ff000 /usr/lib/libcmph.dylib
0x00000000089ff000 /usr/lib/libiconv.2.dylib
0x00000000089ff000 /System/Library/Frameworks/OpenDirectory.framework/Versions/A/Frameworks/CFOpenDirectory.framework/Versions/A/CFOpenDirectory
0x00000000089ff000 /System/Library/Frameworks/ServiceManagement.framework/Versions/A/ServiceManagement
0x00000000089ff000 /usr/lib/libxslt.1.dylib
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Ink.framework/Versions/A/Ink
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/ATS
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ColorSync.framework/Versions/A/ColorSync
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/HIServices.framework/Versions/A/HIServices
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/LangAnalysis.framework/Versions/A/LangAnalysis
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/PrintCore.framework/Versions/A/PrintCore
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/QD.framework/Versions/A/QD
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/SpeechSynthesis.framework/Versions/A/SpeechSynthesis
0x00000000089ff000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Accelerate
0x00000000089ff000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vImage.framework/Versions/A/vImage
0x00000000089ff000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/vecLib
0x00000000089ff000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvDSP.dylib
0x00000000089ff000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libvMisc.dylib
0x00000000089ff000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLAPACK.dylib
0x00000000089ff000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libBLAS.dylib
0x00000000089ff000 /System/Library/Frameworks/Accelerate.framework/Versions/A/Frameworks/vecLib.framework/Versions/A/libLinearAlgebra.dylib
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontParser.dylib
0x00000000089ff000 /System/Library/Frameworks/ApplicationServices.framework/Versions/A/Frameworks/ATS.framework/Versions/A/Resources/libFontRegistry.dylib
0x00000000089ff000 /System/Library/PrivateFrameworks/AppleVPA.framework/Versions/A/AppleVPA
0x00000000089ff000 /System/Library/PrivateFrameworks/AppleJPEG.framework/Versions/A/AppleJPEG
0x00000000089ff000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJPEG.dylib
0x00000000089ff000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libTIFF.dylib
0x00000000089ff000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libPng.dylib
0x00000000089ff000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libGIF.dylib
0x00000000089ff000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libJP2.dylib
0x00000000089ff000 /System/Library/Frameworks/ImageIO.framework/Versions/A/Resources/libRadiance.dylib
0x00000000089ff000 /System/Library/Frameworks/CoreVideo.framework/Versions/A/CoreVideo
0x00000000089ff000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLU.dylib
0x00000000089ff000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGFXShared.dylib
0x00000000089ff000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGL.dylib
0x00000000089ff000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libGLImage.dylib
0x00000000089ff000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCVMSPluginSupport.dylib
0x00000000089ff000 /System/Library/Frameworks/OpenGL.framework/Versions/A/Libraries/libCoreVMClient.dylib
0x00000000089ff000 /usr/lib/libcups.2.dylib
0x00000000089ff000 /System/Library/Frameworks/Kerberos.framework/Versions/A/Kerberos
0x00000000089ff000 /System/Library/Frameworks/GSS.framework/Versions/A/GSS
0x00000000089ff000 /usr/lib/libresolv.9.dylib
0x00000000089ff000 /System/Library/PrivateFrameworks/Heimdal.framework/Versions/A/Heimdal
0x00000000089ff000 /usr/lib/libheimdal-asn1.dylib
0x00000000089ff000 /System/Library/Frameworks/OpenDirectory.framework/Versions/A/OpenDirectory
0x00000000089ff000 /System/Library/PrivateFrameworks/CommonAuth.framework/Versions/A/CommonAuth
0x00000000089ff000 /System/Library/Frameworks/SecurityFoundation.framework/Versions/A/SecurityFoundation
0x00000000089ff000 /System/Library/Frameworks/QuartzCore.framework/Versions/A/Frameworks/CoreImage.framework/Versions/A/CoreImage
0x00000000089ff000 /System/Library/PrivateFrameworks/CrashReporterSupport.framework/Versions/A/CrashReporterSupport
0x00000000089ff000 /System/Library/Frameworks/OpenCL.framework/Versions/A/OpenCL
0x00000000089ff000 /System/Library/PrivateFrameworks/FaceCore.framework/Versions/A/FaceCore
0x00000000089ff000 /System/Library/PrivateFrameworks/Ubiquity.framework/Versions/A/Ubiquity
0x00000000089ff000 /System/Library/PrivateFrameworks/IconServices.framework/Versions/A/IconServices
0x00000000089ff000 /System/Library/PrivateFrameworks/ChunkingLibrary.framework/Versions/A/ChunkingLibrary
0x00000000089ff000 /System/Library/PrivateFrameworks/Apple80211.framework/Versions/A/Apple80211
0x00000000089ff000 /System/Library/Frameworks/CoreWLAN.framework/Versions/A/CoreWLAN
0x00000000089ff000 /System/Library/Frameworks/IOBluetooth.framework/Versions/A/IOBluetooth
0x00000000089ff000 /System/Library/PrivateFrameworks/CoreWiFi.framework/Versions/A/CoreWiFi
0x00000000089ff000 /System/Library/Frameworks/CoreBluetooth.framework/Versions/A/CoreBluetooth
0x00000000089ff000 /System/Library/PrivateFrameworks/DebugSymbols.framework/Versions/A/DebugSymbols
0x00000000089ff000 /System/Library/PrivateFrameworks/CoreSymbolication.framework/Versions/A/CoreSymbolication
0x00000000089ff000 /System/Library/PrivateFrameworks/Symbolication.framework/Versions/A/Symbolication
0x00000000089ff000 /System/Library/PrivateFrameworks/SpeechRecognitionCore.framework/Versions/A/SpeechRecognitionCore
0x0000000100e00000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x00000000089ff000 /usr/lib/libstdc++.6.dylib
0x00000001005e9000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x0000000101d1c000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x0000000101d58000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x000000011c8a8000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x000000011c8be000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x000000011c8d2000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x000000011c8de000 /System/Library/PrivateFrameworks/JavaLaunching.framework/Versions/A/JavaLaunching
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/CommonPanels.framework/Versions/A/CommonPanels
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Help.framework/Versions/A/Help
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/ImageCapture.framework/Versions/A/ImageCapture
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/OpenScripting.framework/Versions/A/OpenScripting
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/Print.framework/Versions/A/Print
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Frameworks/SecurityHI.framework/Versions/A/SecurityHI
0x000000011e6fb000 /Users/najafzad/Downloads/Z3/build/libz3java.dylib
0x000000011e721000 /Users/najafzad/Downloads/Z3/build/libz3.dylib
VM Arguments:
jvm_args: -Dfile.encoding=UTF-8
java_command: evaluation.auction.operations.AddToLot
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.81 1.72
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(2072068k 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: Fri Jun 5 17:17:36 2015
elapsed time: 0 seconds (0d 0h 0m 0s)