-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathhs_err_pid721.log
421 lines (380 loc) · 30.5 KB
/
hs_err_pid721.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=0x000000012b0d5810, pid=721, 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 (0x00007fe6db000800): JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010c6bf000,0x000000010c7bf000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000004
Registers:
RAX=0x0000000000000008, RBX=0x0000000000000000, RCX=0x0000000000000000, RDX=0x0000000000000000
RSP=0x000000010c7be370, RBP=0x00007fff7af6f070, RSI=0x0000000000000000, RDI=0x00007fe6d9c54018
R8 =0x000000010c7be5a0, R9 =0x00007fe6d9f00000, R10=0x000000000009e198, R11=0x000000012a887e90
R12=0x000000010c7be5a0, R13=0x0000000127102400, R14=0x0000000000000002, R15=0x00007fe6d9c54018
RIP=0x000000012b0d5810, EFLAGS=0x0000000000010246, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x000000010c7be370)
0x000000010c7be370: 0000000000000000 0000000000000000
0x000000010c7be380: 0000000000000000 0000000000000000
0x000000010c7be390: 0000000000000000 0000000000000000
0x000000010c7be3a0: 0000000000000000 0000000000000000
0x000000010c7be3b0: 0000000000000000 0000000000000000
0x000000010c7be3c0: 0000000000000003 0000000000000000
0x000000010c7be3d0: 0000000000000000 0000000000000000
0x000000010c7be3e0: 0000000000000000 0000000000000000
0x000000010c7be3f0: 0000000000000000 0000000000000000
0x000000010c7be400: 0000000000000000 0000000000000000
0x000000010c7be410: 0000000000000000 0000000000000000
0x000000010c7be420: 0000000000000000 0000000000000000
0x000000010c7be430: 0000000000000000 0000000000000000
0x000000010c7be440: 0000000000000000 0000000000000000
0x000000010c7be450: 0000000000000000 0000000000000000
0x000000010c7be460: 0000000000000000 0000000000000000
0x000000010c7be470: 0000000000000000 0000000000000000
0x000000010c7be480: 0000000000000000 0000000000000000
0x000000010c7be490: 0000000000000000 0000000000000000
0x000000010c7be4a0: 0000000000000000 0000000000000000
0x000000010c7be4b0: 0000000000000000 0000000000000000
0x000000010c7be4c0: 0000000000000000 0000000000000000
0x000000010c7be4d0: 0000000000000000 0000000000000000
0x000000010c7be4e0: 0000000000000000 0000000000000000
0x000000010c7be4f0: 0000000000000000 0000000000000000
0x000000010c7be500: 00007fe6db000800 0000000127102410
0x000000010c7be510: 00007fe6db000800 0000000127102410
0x000000010c7be520: 0000000000000000 00007fe6db000800
0x000000010c7be530: 0000000127102410 000000012a853950
0x000000010c7be540: 0000000000000000 00007fe6db000800
0x000000010c7be550: 000000010c7be5c0 0000000000000000
0x000000010c7be560: 0000000000000000 0000000127102400
Instructions: (pc=0x000000012b0d5810)
0x000000012b0d57f0: e9 fe 00 00 00 31 c9 66 0f 1f 84 00 00 00 00 00
0x000000012b0d5800: 41 83 7c 04 f8 01 0f 85 dc 00 00 00 49 8b 14 04
0x000000012b0d5810: 0f b7 52 04 83 fa 03 0f 85 cb 00 00 00 ff c1 48
0x000000012b0d5820: 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=0x000000010c7be370 is pointing into the stack for thread: 0x00007fe6db000800
RBP=0x00007fff7af6f070: __stack_chk_guard+0 in /usr/lib/system/libsystem_c.dylib at 0x00007fff98185000
RSI=0x0000000000000000 is an unknown value
RDI=0x00007fe6d9c54018 is an unknown value
R8 =0x000000010c7be5a0 is pointing into the stack for thread: 0x00007fe6db000800
R9 =0x00007fe6d9f00000 is an unknown value
R10=0x000000000009e198 is an unknown value
R11=0x000000012a887e90: Z3_mk_set_sort+0 in /Users/najafzad/Downloads/Z3/build/libz3.dylib at 0x000000012a877000
R12=0x000000010c7be5a0 is pointing into the stack for thread: 0x00007fe6db000800
R13=0x0000000127102400 is pointing into metadata
R14=0x0000000000000002 is an unknown value
R15=0x00007fe6d9c54018 is an unknown value
Stack: [0x000000010c6bf000,0x000000010c7bf000], sp=0x000000010c7be370, 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.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 )
0x00007fe6db00a000 JavaThread "Service Thread" daemon [_thread_blocked, id=17923, stack(0x000000012a649000,0x000000012a749000)]
0x00007fe6da084000 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17411, stack(0x000000012a546000,0x000000012a646000)]
0x00007fe6da036800 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=16899, stack(0x000000012a443000,0x000000012a543000)]
0x00007fe6da078000 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16387, stack(0x000000012a340000,0x000000012a440000)]
0x00007fe6da077000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=12307, stack(0x000000012a23d000,0x000000012a33d000)]
0x00007fe6da05c000 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x0000000128995000,0x0000000128a95000)]
0x00007fe6da05b800 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x0000000128892000,0x0000000128992000)]
=>0x00007fe6db000800 JavaThread "main" [_thread_in_native, id=4867, stack(0x000000010c6bf000,0x000000010c7bf000)]
Other Threads:
0x00007fe6db808000 VMThread [stack: 0x000000012878f000,0x000000012888f000] [id=10499]
0x00007fe6db016000 WatcherThread [stack: 0x000000012a74c000,0x000000012a84c000] [id=18435]
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 3423K, capacity 5080K, committed 5376K, reserved 1056768K
class space used 368K, capacity 456K, committed 512K, reserved 1048576K
Card table byte_map: [0x000000011d310000,0x000000011db11000] byte_map_base: 0x0000000119d10000
Marking Bits: (ParMarkBitMap*) 0x000000010d89d390
Begin Bits: [0x000000011e473000, 0x0000000122473000)
End Bits: [0x0000000122473000, 0x0000000126473000)
Polling page: 0x000000010c7cf000
CodeCache: size=245760Kb used=1284Kb max_used=1284Kb free=244475Kb
bounds [0x000000010df50000, 0x000000010e1c0000, 0x000000011cf50000]
total_blobs=390 nmethods=112 adapters=193
compilation: enabled
Compilation events (10 events):
Event: 0.111 Thread 0x00007fe6da084000 nmethod 104 0x000000010e08eb10 code [0x000000010e08ec60, 0x000000010e08ed70]
Event: 0.112 Thread 0x00007fe6da084000 106 1 java.security.CodeSource::getLocation (5 bytes)
Event: 0.112 Thread 0x00007fe6da084000 nmethod 106 0x000000010e08f490 code [0x000000010e08f5e0, 0x000000010e08f6f0]
Event: 0.112 Thread 0x00007fe6da084000 108 s 3 sun.misc.PerfCounter::add (18 bytes)
Event: 0.112 Thread 0x00007fe6da084000 nmethod 108 0x000000010e08f750 code [0x000000010e08f8e0, 0x000000010e08ff58]
Event: 0.112 Thread 0x00007fe6da084000 109 s 3 sun.misc.PerfCounter::get (9 bytes)
Event: 0.112 Thread 0x00007fe6da084000 nmethod 109 0x000000010e090190 code [0x000000010e090300, 0x000000010e090688]
Event: 0.113 Thread 0x00007fe6da084000 110 3 java.nio.DirectLongBufferU::get (16 bytes)
Event: 0.113 Thread 0x00007fe6da084000 nmethod 110 0x000000010e090b10 code [0x000000010e090c80, 0x000000010e090ef0]
Event: 0.113 Thread 0x00007fe6da084000 112 3 java.nio.DirectLongBufferU::put (18 bytes)
GC Heap History (0 events):
No events
Deoptimization events (0 events):
No events
Internal exceptions (10 events):
Event: 0.108 Thread 0x00007fe6db000800 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.109 Thread 0x00007fe6db000800 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.109 Thread 0x00007fe6db000800 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.110 Thread 0x00007fe6db000800 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.110 Thread 0x00007fe6db000800 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.110 Thread 0x00007fe6db000800 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.111 Thread 0x00007fe6db000800 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.111 Thread 0x00007fe6db000800 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.112 Thread 0x00007fe6db000800 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.112 Thread 0x00007fe6db000800 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.111 loading class com/microsoft/z3/IntSymbol
Event: 0.111 loading class com/microsoft/z3/IntSymbol done
Event: 0.111 loading class com/microsoft/z3/enumerations/Z3_ast_kind
Event: 0.111 loading class com/microsoft/z3/enumerations/Z3_ast_kind done
Event: 0.112 loading class com/microsoft/z3/enumerations/Z3_sort_kind
Event: 0.112 loading class com/microsoft/z3/enumerations/Z3_sort_kind done
Event: 0.112 loading class com/microsoft/z3/Expr$1
Event: 0.112 loading class com/microsoft/z3/Expr$1 done
Event: 0.113 loading class java/lang/NoSuchFieldError
Event: 0.113 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
0x000000010d000000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x00000000089ff000 /usr/lib/libstdc++.6.dylib
0x000000010c7c1000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x000000010df1c000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x000000010c7d9000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x000000010c7e3000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x0000000128a97000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x0000000128aab000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x0000000128ab7000 /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
0x000000012a851000 /Users/najafzad/Downloads/Z3/build/libz3java.dylib
0x000000012a877000 /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.46 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(2049416k 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:05:59 2015
elapsed time: 0 seconds (0d 0h 0m 0s)