-
Notifications
You must be signed in to change notification settings - Fork 3
/
hs_err_pid742.log
421 lines (380 loc) · 30.5 KB
/
hs_err_pid742.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=0x0000000125d86810, pid=742, 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 (0x00007ffd72005800): JavaThread "main" [_thread_in_native, id=4867, stack(0x0000000108a14000,0x0000000108b14000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000004
Registers:
RAX=0x0000000000000008, RBX=0x0000000000000000, RCX=0x0000000000000000, RDX=0x0000000000000000
RSP=0x0000000108b13380, RBP=0x00007fff7af6f070, RSI=0x0000000000000000, RDI=0x00007ffd71d27238
R8 =0x0000000108b135b0, R9 =0x00007ffd71c00000, R10=0x000000000009e198, R11=0x0000000125538e90
R12=0x0000000108b135b0, R13=0x0000000121d13400, R14=0x0000000000000002, R15=0x00007ffd71d27238
RIP=0x0000000125d86810, EFLAGS=0x0000000000010246, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x0000000108b13380)
0x0000000108b13380: 0000000000000000 0000000000000000
0x0000000108b13390: cafebabecafebabe 0000000000000000
0x0000000108b133a0: 0000000000000000 0000000000000000
0x0000000108b133b0: 0000000000000000 0000000000000000
0x0000000108b133c0: 0000000000000000 0000000000000000
0x0000000108b133d0: 0000000000000000 0000000000000000
0x0000000108b133e0: 0000000000000000 0000000000000000
0x0000000108b133f0: 0000000000000000 0000000000000000
0x0000000108b13400: 0000000000000003 0000000000000000
0x0000000108b13410: 0000000000000000 0000000000000000
0x0000000108b13420: 0000000000000000 0000000000000000
0x0000000108b13430: 0000000000000000 0000000000000000
0x0000000108b13440: 0000000000000000 0000000000000000
0x0000000108b13450: 0000000000000000 0000000000000000
0x0000000108b13460: 0000000000000000 0000000000000000
0x0000000108b13470: 0000000000000000 0000000000000000
0x0000000108b13480: 0000000000000000 0000000000000000
0x0000000108b13490: 0000000000000000 0000000000000000
0x0000000108b134a0: 0000000000000000 0000000000000000
0x0000000108b134b0: 0000000000000000 0000000000000000
0x0000000108b134c0: 0000000000000000 0000000000000000
0x0000000108b134d0: 0000000000000000 0000000000000000
0x0000000108b134e0: 0000000000000000 0000000000000000
0x0000000108b134f0: 0000000000000000 0000000000000000
0x0000000108b13500: 0000000000000000 0000000000000000
0x0000000108b13510: 0000000000000000 0000000000000000
0x0000000108b13520: 0000000000000000 0000000000000000
0x0000000108b13530: 0000000000000000 0000000000000000
0x0000000108b13540: 0000000121d13410 0000000125504950
0x0000000108b13550: 0000000000000000 00007ffd72005800
0x0000000108b13560: 0000000108b135d0 0000000000000000
0x0000000108b13570: 0000000000000000 0000000121d13400
Instructions: (pc=0x0000000125d86810)
0x0000000125d867f0: e9 fe 00 00 00 31 c9 66 0f 1f 84 00 00 00 00 00
0x0000000125d86800: 41 83 7c 04 f8 01 0f 85 dc 00 00 00 49 8b 14 04
0x0000000125d86810: 0f b7 52 04 83 fa 03 0f 85 cb 00 00 00 ff c1 48
0x0000000125d86820: 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=0x0000000108b13380 is pointing into the stack for thread: 0x00007ffd72005800
RBP=0x00007fff7af6f070: __stack_chk_guard+0 in /usr/lib/system/libsystem_c.dylib at 0x00007fff98185000
RSI=0x0000000000000000 is an unknown value
RDI=0x00007ffd71d27238 is an unknown value
R8 =0x0000000108b135b0 is pointing into the stack for thread: 0x00007ffd72005800
R9 =0x00007ffd71c00000 is an unknown value
R10=0x000000000009e198 is an unknown value
R11=0x0000000125538e90: Z3_mk_set_sort+0 in /Users/najafzad/Downloads/Z3/build/libz3.dylib at 0x0000000125528000
R12=0x0000000108b135b0 is pointing into the stack for thread: 0x00007ffd72005800
R13=0x0000000121d13400 is pointing into metadata
R14=0x0000000000000002 is an unknown value
R15=0x00007ffd71d27238 is an unknown value
Stack: [0x0000000108a14000,0x0000000108b14000], sp=0x0000000108b13380, free space=1020k
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.auction.operations.AddToLot.test(Lcom/microsoft/z3/Context;)Lcom/microsoft/z3/Expr;+82
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 )
0x00007ffd7303e000 JavaThread "Service Thread" daemon [_thread_blocked, id=18179, stack(0x00000001252f8000,0x00000001253f8000)]
0x00007ffd72006000 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17667, stack(0x00000001251f5000,0x00000001252f5000)]
0x00007ffd73023800 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=17155, stack(0x00000001250f2000,0x00000001251f2000)]
0x00007ffd7301b000 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16643, stack(0x0000000124fef000,0x00000001250ef000)]
0x00007ffd72013000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=13335, stack(0x0000000124eec000,0x0000000124fec000)]
0x00007ffd73013800 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x00000001235a7000,0x00000001236a7000)]
0x00007ffd7384e800 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x00000001234a4000,0x00000001235a4000)]
=>0x00007ffd72005800 JavaThread "main" [_thread_in_native, id=4867, stack(0x0000000108a14000,0x0000000108b14000)]
Other Threads:
0x00007ffd7300d800 VMThread [stack: 0x00000001233a1000,0x00000001234a1000] [id=10499]
0x00007ffd72804800 WatcherThread [stack: 0x00000001253fb000,0x00000001254fb000] [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,0x000000076b01ec50,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 3416K, capacity 5080K, committed 5376K, reserved 1056768K
class space used 368K, capacity 456K, committed 512K, reserved 1048576K
Card table byte_map: [0x0000000117f21000,0x0000000118722000] byte_map_base: 0x0000000114921000
Marking Bits: (ParMarkBitMap*) 0x0000000107b73390
Begin Bits: [0x0000000119084000, 0x000000011d084000)
End Bits: [0x000000011d084000, 0x0000000121084000)
Polling page: 0x00000001081f6000
CodeCache: size=245760Kb used=1258Kb max_used=1258Kb free=244501Kb
bounds [0x0000000108b61000, 0x0000000108dd1000, 0x0000000117b61000]
total_blobs=377 nmethods=99 adapters=193
compilation: enabled
Compilation events (10 events):
Event: 0.133 Thread 0x00007ffd72006000 nmethod 92 0x0000000108c99110 code [0x0000000108c992c0, 0x0000000108c99a18]
Event: 0.133 Thread 0x00007ffd72006000 95 3 java.lang.System::getSecurityManager (4 bytes)
Event: 0.133 Thread 0x00007ffd72006000 nmethod 95 0x0000000108c99c90 code [0x0000000108c99de0, 0x0000000108c99f30]
Event: 0.133 Thread 0x00007ffd72006000 93 3 sun.misc.VM::allowArraySyntax (4 bytes)
Event: 0.133 Thread 0x00007ffd72006000 nmethod 93 0x0000000108c99f90 code [0x0000000108c9a0e0, 0x0000000108c9a230]
Event: 0.133 Thread 0x00007ffd72006000 94 1 java.lang.StringCoding$StringEncoder::requestedCharsetName (5 bytes)
Event: 0.133 Thread 0x00007ffd72006000 nmethod 94 0x0000000108c9a290 code [0x0000000108c9a3e0, 0x0000000108c9a4f0]
Event: 0.133 Thread 0x00007ffd72006000 96 1 java.security.CodeSource::getLocation (5 bytes)
Event: 0.133 Thread 0x00007ffd72006000 nmethod 96 0x0000000108c9a550 code [0x0000000108c9a6a0, 0x0000000108c9a7b0]
Event: 0.134 Thread 0x00007ffd72006000 98 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.128 Thread 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af51da8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.129 Thread 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af55638) 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 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af58230) 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 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af5bdf8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.131 Thread 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af5eeb8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.131 Thread 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af62338) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.132 Thread 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af65e38) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.132 Thread 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af6a060) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.132 Thread 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af6e448) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.133 Thread 0x00007ffd72005800 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af71908) 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.132 loading class com/microsoft/z3/enumerations/Z3_ast_kind
Event: 0.132 loading class com/microsoft/z3/enumerations/Z3_ast_kind done
Event: 0.132 loading class com/microsoft/z3/enumerations/Z3_sort_kind
Event: 0.132 loading class com/microsoft/z3/enumerations/Z3_sort_kind done
Event: 0.132 loading class com/microsoft/z3/Expr$1
Event: 0.132 loading class com/microsoft/z3/Expr$1 done
Event: 0.133 loading class java/lang/NoSuchFieldError
Event: 0.133 loading class java/lang/NoSuchFieldError done
Event: 0.133 loading class com/microsoft/z3/SetSort
Event: 0.133 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
0x00000001072d6000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x00000000089ff000 /usr/lib/libstdc++.6.dylib
0x0000000108b16000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x0000000108b24000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x0000000108b58000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x00000001236a9000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x00000001236bf000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x00000001236d3000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x00000001236df000 /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
0x0000000125502000 /Users/najafzad/Downloads/Z3/build/libz3java.dylib
0x0000000125528000 /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:2.03 1.93 1.70
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(2206460k 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:13:20 2015
elapsed time: 0 seconds (0d 0h 0m 0s)