-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathhs_err_pid723.log
421 lines (380 loc) · 30.5 KB
/
hs_err_pid723.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=0x00000001201ff810, pid=723, 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 (0x00007fe229801000): JavaThread "main" [_thread_in_native, id=4867, stack(0x0000000102f1d000,0x000000010301d000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000004
Registers:
RAX=0x0000000000000008, RBX=0x0000000000000000, RCX=0x0000000000000000, RDX=0x0000000000000000
RSP=0x000000010301c370, RBP=0x00007fff7af6f070, RSI=0x0000000000000000, RDI=0x00007fe2286466a8
R8 =0x000000010301c5a0, R9 =0x00007fe228600000, R10=0x000000000009e198, R11=0x000000011f9b1e90
R12=0x000000010301c5a0, R13=0x000000011c1d1400, R14=0x0000000000000002, R15=0x00007fe2286466a8
RIP=0x00000001201ff810, EFLAGS=0x0000000000010246, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x000000010301c370)
0x000000010301c370: 0000000000000000 0000000000000000
0x000000010301c380: 0000000000000000 0000000000000000
0x000000010301c390: 0000000000000000 0000000000000000
0x000000010301c3a0: 0000000000000000 0000000000000000
0x000000010301c3b0: 0000000000000000 0000000000000000
0x000000010301c3c0: 0000000000000003 0000000000000000
0x000000010301c3d0: 0000000000000000 0000000000000000
0x000000010301c3e0: 0000000000000000 0000000000000000
0x000000010301c3f0: 0000000000000000 0000000000000000
0x000000010301c400: 0000000000000000 0000000000000000
0x000000010301c410: 0000000000000000 0000000000000000
0x000000010301c420: 0000000000000000 0000000000000000
0x000000010301c430: 0000000000000000 0000000000000000
0x000000010301c440: 0000000000000000 0000000000000000
0x000000010301c450: 0000000000000000 0000000000000000
0x000000010301c460: 0000000000000000 0000000000000000
0x000000010301c470: 0000000000000000 0000000000000000
0x000000010301c480: 0000000000000000 0000000000000000
0x000000010301c490: 0000000000000000 0000000000000000
0x000000010301c4a0: 0000000000000000 0000000000000000
0x000000010301c4b0: 0000000000000000 0000000000000000
0x000000010301c4c0: 0000000000000000 0000000000000000
0x000000010301c4d0: 0000000000000000 0000000000000000
0x000000010301c4e0: 0000000000000000 0000000000000000
0x000000010301c4f0: 0000000000000000 0000000000000000
0x000000010301c500: 00007fe229801000 000000011c1d1410
0x000000010301c510: 00007fe229801000 000000011c1d1410
0x000000010301c520: 0000000000000000 00007fe229801000
0x000000010301c530: 000000011c1d1410 000000011f97d950
0x000000010301c540: 0000000000000000 00007fe229801000
0x000000010301c550: 000000010301c5c0 0000000000000000
0x000000010301c560: 0000000000000000 000000011c1d1400
Instructions: (pc=0x00000001201ff810)
0x00000001201ff7f0: e9 fe 00 00 00 31 c9 66 0f 1f 84 00 00 00 00 00
0x00000001201ff800: 41 83 7c 04 f8 01 0f 85 dc 00 00 00 49 8b 14 04
0x00000001201ff810: 0f b7 52 04 83 fa 03 0f 85 cb 00 00 00 ff c1 48
0x00000001201ff820: 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=0x000000010301c370 is pointing into the stack for thread: 0x00007fe229801000
RBP=0x00007fff7af6f070: __stack_chk_guard+0 in /usr/lib/system/libsystem_c.dylib at 0x00007fff98185000
RSI=0x0000000000000000 is an unknown value
RDI=0x00007fe2286466a8 is an unknown value
R8 =0x000000010301c5a0 is pointing into the stack for thread: 0x00007fe229801000
R9 =0x00007fe228600000 is an unknown value
R10=0x000000000009e198 is an unknown value
R11=0x000000011f9b1e90: Z3_mk_set_sort+0 in /Users/najafzad/Downloads/Z3/build/libz3.dylib at 0x000000011f9a1000
R12=0x000000010301c5a0 is pointing into the stack for thread: 0x00007fe229801000
R13=0x000000011c1d1400 is pointing into metadata
R14=0x0000000000000002 is an unknown value
R15=0x00007fe2286466a8 is an unknown value
Stack: [0x0000000102f1d000,0x000000010301d000], sp=0x000000010301c370, 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.precondition(Lcom/microsoft/z3/Context;)Lcom/microsoft/z3/BoolExpr;+74
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 )
0x00007fe229844000 JavaThread "Service Thread" daemon [_thread_blocked, id=18179, stack(0x000000011f773000,0x000000011f873000)]
0x00007fe229055000 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17667, stack(0x000000011f670000,0x000000011f770000)]
0x00007fe229054000 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=17155, stack(0x000000011f56d000,0x000000011f66d000)]
0x00007fe229839000 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16643, stack(0x000000011f46a000,0x000000011f56a000)]
0x00007fe22980a000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=13335, stack(0x000000011f367000,0x000000011f467000)]
0x00007fe229028800 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x000000011da3c000,0x000000011db3c000)]
0x00007fe229028000 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x000000011d939000,0x000000011da39000)]
=>0x00007fe229801000 JavaThread "main" [_thread_in_native, id=4867, stack(0x0000000102f1d000,0x000000010301d000)]
Other Threads:
0x00007fe229023800 VMThread [stack: 0x000000011d836000,0x000000011d936000] [id=10499]
0x00007fe229038800 WatcherThread [stack: 0x000000011f876000,0x000000011f976000] [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 3421K, capacity 5080K, committed 5376K, reserved 1056768K
class space used 368K, capacity 456K, committed 512K, reserved 1048576K
Card table byte_map: [0x00000001123df000,0x0000000112be0000] byte_map_base: 0x000000010eddf000
Marking Bits: (ParMarkBitMap*) 0x000000010289d390
Begin Bits: [0x0000000113542000, 0x0000000117542000)
End Bits: [0x0000000117542000, 0x000000011b542000)
Polling page: 0x00000001017a6000
CodeCache: size=245760Kb used=1279Kb max_used=1279Kb free=244480Kb
bounds [0x000000010301f000, 0x000000010328f000, 0x000000011201f000]
total_blobs=385 nmethods=107 adapters=193
compilation: enabled
Compilation events (10 events):
Event: 0.102 Thread 0x00007fe229055000 nmethod 99 0x000000010315aad0 code [0x000000010315ac20, 0x000000010315ad70]
Event: 0.102 Thread 0x00007fe229055000 100 1 java.lang.StringCoding$StringEncoder::requestedCharsetName (5 bytes)
Event: 0.102 Thread 0x00007fe229055000 nmethod 100 0x000000010315add0 code [0x000000010315af20, 0x000000010315b030]
Event: 0.103 Thread 0x00007fe229055000 101 3 sun.net.www.ParseUtil::encodePath (336 bytes)
Event: 0.103 Thread 0x00007fe229055000 nmethod 101 0x000000010315b090 code [0x000000010315b300, 0x000000010315c2d8]
Event: 0.103 Thread 0x00007fe229055000 102 3 java.io.UnixFileSystem::normalize (75 bytes)
Event: 0.104 Thread 0x00007fe229055000 nmethod 102 0x000000010315ca50 code [0x000000010315cc20, 0x000000010315d268]
Event: 0.104 Thread 0x00007fe229055000 104 1 java.security.CodeSource::getLocation (5 bytes)
Event: 0.104 Thread 0x00007fe229055000 nmethod 104 0x000000010315dc50 code [0x000000010315dda0, 0x000000010315deb0]
Event: 0.104 Thread 0x00007fe229055000 106 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.101 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af51350) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.101 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af54af0) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.101 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af58380) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.102 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af5af78) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.102 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af5eb40) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.102 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af61c00) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.103 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af65080) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.103 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af68b80) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.103 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af6cda8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.104 Thread 0x00007fe229801000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af71190) 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.103 loading class com/microsoft/z3/IntSymbol
Event: 0.103 loading class com/microsoft/z3/IntSymbol done
Event: 0.103 loading class com/microsoft/z3/enumerations/Z3_ast_kind
Event: 0.103 loading class com/microsoft/z3/enumerations/Z3_ast_kind done
Event: 0.103 loading class com/microsoft/z3/enumerations/Z3_sort_kind
Event: 0.103 loading class com/microsoft/z3/enumerations/Z3_sort_kind done
Event: 0.104 loading class com/microsoft/z3/Expr$1
Event: 0.104 loading class com/microsoft/z3/Expr$1 done
Event: 0.104 loading class java/lang/NoSuchFieldError
Event: 0.104 loading class java/lang/NoSuchFieldError 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
0x0000000102000000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x00000000089ff000 /usr/lib/libstdc++.6.dylib
0x0000000101764000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x0000000101772000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x00000001017b0000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x00000001017e2000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x000000011db3e000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x000000011db52000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x000000011db5e000 /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
0x000000011f97b000 /Users/najafzad/Downloads/Z3/build/libz3java.dylib
0x000000011f9a1000 /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.48 1.50
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(1998568k 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:06:18 2015
elapsed time: 0 seconds (0d 0h 0m 0s)