-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathhs_err_pid734.log
421 lines (380 loc) · 30.5 KB
/
hs_err_pid734.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=0x000000012300b810, pid=734, 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 (0x00007fb25100c000): JavaThread "main" [_thread_in_native, id=4867, stack(0x0000000105d1d000,0x0000000105e1d000)]
siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x0000000000000004
Registers:
RAX=0x0000000000000008, RBX=0x0000000000000000, RCX=0x0000000000000000, RDX=0x0000000000000000
RSP=0x0000000105e1c370, RBP=0x00007fff7af6f070, RSI=0x0000000000000000, RDI=0x00007fb250d1b0d8
R8 =0x0000000105e1c5a0, R9 =0x00007fb250e00000, R10=0x000000000009e198, R11=0x00000001227bde90
R12=0x0000000105e1c5a0, R13=0x000000011f01c400, R14=0x0000000000000002, R15=0x00007fb250d1b0d8
RIP=0x000000012300b810, EFLAGS=0x0000000000010246, ERR=0x0000000000000004
TRAPNO=0x000000000000000e
Top of Stack: (sp=0x0000000105e1c370)
0x0000000105e1c370: 0000000000000000 0000000000000000
0x0000000105e1c380: 0000000000000000 0000000000000000
0x0000000105e1c390: 0000000000000000 0000000000000000
0x0000000105e1c3a0: 0000000000000000 0000000000000000
0x0000000105e1c3b0: 0000000000000000 0000000000000000
0x0000000105e1c3c0: 0000000000000003 0000000000000000
0x0000000105e1c3d0: 0000000000000000 0000000000000000
0x0000000105e1c3e0: 0000000000000000 0000000000000000
0x0000000105e1c3f0: 0000000000000000 0000000000000000
0x0000000105e1c400: 0000000000000000 0000000000000000
0x0000000105e1c410: 0000000000000000 0000000000000000
0x0000000105e1c420: 0000000000000000 0000000000000000
0x0000000105e1c430: 0000000000000000 0000000000000000
0x0000000105e1c440: 0000000000000000 0000000000000000
0x0000000105e1c450: 0000000000000000 0000000000000000
0x0000000105e1c460: 0000000000000000 0000000000000000
0x0000000105e1c470: 0000000000000000 0000000000000000
0x0000000105e1c480: 0000000000000000 0000000000000000
0x0000000105e1c490: 0000000000000000 0000000000000000
0x0000000105e1c4a0: 0000000000000000 0000000000000000
0x0000000105e1c4b0: 0000000000000000 0000000000000000
0x0000000105e1c4c0: 0000000000000000 0000000000000000
0x0000000105e1c4d0: 0000000000000000 0000000000000000
0x0000000105e1c4e0: 0000000000000000 0000000000000000
0x0000000105e1c4f0: 0000000000000000 0000000000000000
0x0000000105e1c500: 00007fb25100c000 000000011f01c410
0x0000000105e1c510: 00007fb25100c000 000000011f01c410
0x0000000105e1c520: 0000000000000000 00007fb25100c000
0x0000000105e1c530: 000000011f01c410 0000000122789950
0x0000000105e1c540: 0000000000000000 00007fb25100c000
0x0000000105e1c550: 0000000105e1c5c0 0000000000000000
0x0000000105e1c560: 0000000000000000 000000011f01c400
Instructions: (pc=0x000000012300b810)
0x000000012300b7f0: e9 fe 00 00 00 31 c9 66 0f 1f 84 00 00 00 00 00
0x000000012300b800: 41 83 7c 04 f8 01 0f 85 dc 00 00 00 49 8b 14 04
0x000000012300b810: 0f b7 52 04 83 fa 03 0f 85 cb 00 00 00 ff c1 48
0x000000012300b820: 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=0x0000000105e1c370 is pointing into the stack for thread: 0x00007fb25100c000
RBP=0x00007fff7af6f070: __stack_chk_guard+0 in /usr/lib/system/libsystem_c.dylib at 0x00007fff98185000
RSI=0x0000000000000000 is an unknown value
RDI=0x00007fb250d1b0d8 is an unknown value
R8 =0x0000000105e1c5a0 is pointing into the stack for thread: 0x00007fb25100c000
R9 =0x00007fb250e00000 is an unknown value
R10=0x000000000009e198 is an unknown value
R11=0x00000001227bde90: Z3_mk_set_sort+0 in /Users/najafzad/Downloads/Z3/build/libz3.dylib at 0x00000001227ad000
R12=0x0000000105e1c5a0 is pointing into the stack for thread: 0x00007fb25100c000
R13=0x000000011f01c400 is pointing into metadata
R14=0x0000000000000002 is an unknown value
R15=0x00007fb250d1b0d8 is an unknown value
Stack: [0x0000000105d1d000,0x0000000105e1d000], sp=0x0000000105e1c370, 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 )
0x00007fb25202f000 JavaThread "Service Thread" daemon [_thread_blocked, id=17923, stack(0x000000012257d000,0x000000012267d000)]
0x00007fb252804000 JavaThread "C1 CompilerThread2" daemon [_thread_blocked, id=17411, stack(0x000000012247a000,0x000000012257a000)]
0x00007fb251041000 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=16899, stack(0x0000000122377000,0x0000000122477000)]
0x00007fb252001000 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=16387, stack(0x0000000122274000,0x0000000122374000)]
0x00007fb252044000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=12307, stack(0x0000000122171000,0x0000000122271000)]
0x00007fb251024800 JavaThread "Finalizer" daemon [_thread_blocked, id=11523, stack(0x00000001208af000,0x00000001209af000)]
0x00007fb251023800 JavaThread "Reference Handler" daemon [_thread_blocked, id=11011, stack(0x00000001207ac000,0x00000001208ac000)]
=>0x00007fb25100c000 JavaThread "main" [_thread_in_native, id=4867, stack(0x0000000105d1d000,0x0000000105e1d000)]
Other Threads:
0x00007fb25180e000 VMThread [stack: 0x00000001206a9000,0x00000001207a9000] [id=10499]
0x00007fb251815000 WatcherThread [stack: 0x0000000122680000,0x0000000122780000] [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,0x000000076b01eca8,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 3420K, capacity 5080K, committed 5376K, reserved 1056768K
class space used 368K, capacity 456K, committed 512K, reserved 1048576K
Card table byte_map: [0x000000011522a000,0x0000000115a2b000] byte_map_base: 0x0000000111c2a000
Marking Bits: (ParMarkBitMap*) 0x000000010569d390
Begin Bits: [0x000000011638d000, 0x000000011a38d000)
End Bits: [0x000000011a38d000, 0x000000011e38d000)
Polling page: 0x00000001045f5000
CodeCache: size=245760Kb used=1274Kb max_used=1274Kb free=244486Kb
bounds [0x0000000105e6a000, 0x00000001060da000, 0x0000000114e6a000]
total_blobs=386 nmethods=108 adapters=193
compilation: enabled
Compilation events (10 events):
Event: 0.167 Thread 0x00007fb252804000 nmethod 100 0x0000000105fa4350 code [0x0000000105fa4500, 0x0000000105fa4c58]
Event: 0.167 Thread 0x00007fb252804000 101 3 sun.misc.VM::allowArraySyntax (4 bytes)
Event: 0.168 Thread 0x00007fb252804000 nmethod 101 0x0000000105fa4ed0 code [0x0000000105fa5020, 0x0000000105fa5170]
Event: 0.168 Thread 0x00007fb252804000 102 1 java.lang.StringCoding$StringEncoder::requestedCharsetName (5 bytes)
Event: 0.168 Thread 0x00007fb252804000 nmethod 102 0x0000000105fa51d0 code [0x0000000105fa5320, 0x0000000105fa5430]
Event: 0.169 Thread 0x00007fb252804000 103 3 sun.net.www.ParseUtil::encodePath (336 bytes)
Event: 0.170 Thread 0x00007fb252804000 nmethod 103 0x0000000105fa5490 code [0x0000000105fa5700, 0x0000000105fa66d8]
Event: 0.172 Thread 0x00007fb252804000 105 1 java.security.CodeSource::getLocation (5 bytes)
Event: 0.172 Thread 0x00007fb252804000 nmethod 105 0x0000000105fa7510 code [0x0000000105fa7660, 0x0000000105fa7770]
Event: 0.172 Thread 0x00007fb252804000 107 s 3 sun.misc.PerfCounter::add (18 bytes)
GC Heap History (0 events):
No events
Deoptimization events (0 events):
No events
Internal exceptions (10 events):
Event: 0.164 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af51eb8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.164 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af55748) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.166 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af58340) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.167 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af5bf08) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.167 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af5efc8) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.168 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af62448) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.169 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af65f48) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.170 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af6a170) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.171 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af6e558) thrown at [/HUDSON3/workspace/8-2-build-macosx-x86_64/jdk8u25/1514/hotspot/src/share/vm/prims/jvm.cpp, line 1312]
Event: 0.172 Thread 0x00007fb25100c000 Exception <a 'java/security/PrivilegedActionException'> (0x000000076af71718) 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.169 loading class com/microsoft/z3/enumerations/Z3_ast_kind
Event: 0.169 loading class com/microsoft/z3/enumerations/Z3_ast_kind done
Event: 0.170 loading class com/microsoft/z3/enumerations/Z3_sort_kind
Event: 0.170 loading class com/microsoft/z3/enumerations/Z3_sort_kind done
Event: 0.171 loading class com/microsoft/z3/Expr$1
Event: 0.171 loading class com/microsoft/z3/Expr$1 done
Event: 0.171 loading class java/lang/NoSuchFieldError
Event: 0.171 loading class java/lang/NoSuchFieldError done
Event: 0.172 loading class com/microsoft/z3/SetSort
Event: 0.172 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
0x0000000104e00000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/server/libjvm.dylib
0x00000000089ff000 /usr/lib/libstdc++.6.dylib
0x0000000105e1f000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libverify.dylib
0x0000000105e2d000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libjava.dylib
0x0000000105e61000 /Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/libzip.dylib
0x00000001209b1000 /System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/JavaRuntimeSupport
0x00000001209c7000 /System/Library/Frameworks/JavaVM.framework/Versions/A/Frameworks/JavaNativeFoundation.framework/Versions/A/JavaNativeFoundation
0x00000001209db000 /System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM
0x00000000089ff000 /System/Library/Frameworks/Carbon.framework/Versions/A/Carbon
0x00000001209e7000 /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
0x0000000122787000 /Users/najafzad/Downloads/Z3/build/libz3java.dylib
0x00000001227ad000 /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.71 1.59 1.54
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(2448404k 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:08:46 2015
elapsed time: 0 seconds (0d 0h 0m 0s)