forked from andreaskatis/synthesis-benchmarks
-
Notifications
You must be signed in to change notification settings - Fork 0
/
hs_err_pid27796.log
513 lines (475 loc) · 34.4 KB
/
hs_err_pid27796.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
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 100663296 bytes for committing reserved memory.
# Possible reasons:
# The system is out of physical RAM or swap space
# In 32 bit mode, the process size limit was hit
# Possible solutions:
# Reduce memory load on the system
# Increase physical memory or swap space
# Check if swap backing store is full
# Use 64 bit Java on a 64 bit OS
# Decrease Java heap size (-Xmx/-Xms)
# Decrease number of Java threads
# Decrease Java thread stack sizes (-Xss)
# Set larger code cache with -XX:ReservedCodeCacheSize=
# This output file may be truncated or incomplete.
#
# Out of Memory Error (os_linux.cpp:2640), pid=27796, tid=0x00007fa3df9ae700
#
# JRE version: Java(TM) SE Runtime Environment (8.0_144-b01) (build 1.8.0_144-b01)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode linux-amd64 compressed oops)
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
--------------- T H R E A D ---------------
Current thread (0x00007fa3f0095800): VMThread [stack: 0x00007fa3df8ae000,0x00007fa3df9af000] [id=27799]
Stack: [0x00007fa3df8ae000,0x00007fa3df9af000], sp=0x00007fa3df9ad1d0, free space=1020k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.so+0xacb18a] VMError::report_and_die()+0x2ba
V [libjvm.so+0x4ff4db] report_vm_out_of_memory(char const*, int, unsigned long, VMErrorType, char const*)+0x8b
V [libjvm.so+0x927d23] os::Linux::commit_memory_impl(char*, unsigned long, bool)+0x103
V [libjvm.so+0x928279] os::pd_commit_memory(char*, unsigned long, unsigned long, bool)+0x29
V [libjvm.so+0x92249a] os::commit_memory(char*, unsigned long, unsigned long, bool)+0x2a
V [libjvm.so+0xac6ee9] VirtualSpace::expand_by(unsigned long, bool)+0x199
V [libjvm.so+0x5fcbe5] OneContigSpaceCardGeneration::grow_by(unsigned long)+0x25
V [libjvm.so+0x5fcfaf] CardGeneration::expand(unsigned long, unsigned long)+0x6f
V [libjvm.so+0x5fd05e] OneContigSpaceCardGeneration::expand(unsigned long, unsigned long)+0x3e
V [libjvm.so+0x5ee304] GenCollectedHeap::do_collection(bool, bool, unsigned long, bool, int)+0x734
V [libjvm.so+0x48a444] GenCollectorPolicy::satisfy_failed_allocation(unsigned long, bool)+0x134
V [libjvm.so+0xacc194] VM_GenCollectForAllocation::doit()+0x94
V [libjvm.so+0xad4685] VM_Operation::evaluate()+0x55
V [libjvm.so+0xad2a5a] VMThread::evaluate_operation(VM_Operation*)+0xba
V [libjvm.so+0xad2dde] VMThread::loop()+0x1ce
V [libjvm.so+0xad3250] VMThread::run()+0x70
V [libjvm.so+0x92a338] java_start(Thread*)+0x108
VM_Operation (0x00007fa3de555330): GenCollectForAllocation, mode: safepoint, requested by thread 0x00007fa3f0220000
--------------- P R O C E S S ---------------
Java Threads: ( => current thread )
0x00007fa3c400c000 JavaThread "process reaper" daemon [_thread_in_native, id=27835, stack(0x00007fa3de372000,0x00007fa3de3ab000)]
0x00007fa3c02bc000 JavaThread "process reaper" daemon [_thread_in_native, id=27833, stack(0x00007fa3de3ab000,0x00007fa3de3e4000)]
0x00007fa3c02aa800 JavaThread "process reaper" daemon [_thread_in_native, id=27831, stack(0x00007fa3de3e4000,0x00007fa3de41d000)]
0x00007fa3c4001800 JavaThread "process reaper" daemon [_thread_in_native, id=27830, stack(0x00007fa3de41d000,0x00007fa3de456000)]
0x00007fa3f0220000 JavaThread "extend" [_thread_blocked, id=27827, stack(0x00007fa3de456000,0x00007fa3de557000)]
0x00007fa3f021e800 JavaThread "base" [_thread_blocked, id=27826, stack(0x00007fa3de557000,0x00007fa3de658000)]
0x00007fa3f00e5800 JavaThread "Service Thread" daemon [_thread_blocked, id=27805, stack(0x00007fa3debc6000,0x00007fa3decc7000)]
0x00007fa3f00d8800 JavaThread "C1 CompilerThread1" daemon [_thread_blocked, id=27804, stack(0x00007fa3decc7000,0x00007fa3dedc8000)]
0x00007fa3f00d6800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=27803, stack(0x00007fa3dedc8000,0x00007fa3deec9000)]
0x00007fa3f00d5000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=27802, stack(0x00007fa3deec9000,0x00007fa3defca000)]
0x00007fa3f00a1800 JavaThread "Finalizer" daemon [_thread_blocked, id=27801, stack(0x00007fa3df6ac000,0x00007fa3df7ad000)]
0x00007fa3f009d000 JavaThread "Reference Handler" daemon [_thread_blocked, id=27800, stack(0x00007fa3df7ad000,0x00007fa3df8ae000)]
0x00007fa3f0009800 JavaThread "main" [_thread_blocked, id=27798, stack(0x00007fa3f6a7a000,0x00007fa3f6b7b000)]
Other Threads:
=>0x00007fa3f0095800 VMThread [stack: 0x00007fa3df8ae000,0x00007fa3df9af000] [id=27799]
0x00007fa3f00e9000 WatcherThread [stack: 0x00007fa3deac5000,0x00007fa3debc6000] [id=27806]
VM state:at safepoint (normal execution)
VM Mutex/Monitor currently owned by a thread: ([mutex/lock_event])
[0x00007fa3f0005f30] Threads_lock - owner thread: 0x00007fa3f0095800
[0x00007fa3f0006430] Heap_lock - owner thread: 0x00007fa3f0220000
Heap:
def new generation total 178496K, used 0K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 0% used [0x00000000ae600000, 0x00000000ae600000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450000, 0x00000000ba7a0000)
to space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100000, 0x00000000b9450000)
tenured generation total 396424K, used 296834K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 74% used [0x00000000c9950000, 0x00000000dbb30a60, 0x00000000dbb30c00, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
Card table byte_map: [0x00007fa3e058c000,0x00007fa3e081a000] byte_map_base: 0x00007fa3e0019000
Polling page: 0x00007fa3f6b9d000
CodeCache: size=245760Kb used=3154Kb max_used=3168Kb free=242605Kb
bounds [0x00007fa3e0bda000, 0x00007fa3e0efa000, 0x00007fa3efbda000]
total_blobs=1177 nmethods=848 adapters=243
compilation: enabled
Compilation events (10 events):
Event: 129.382 Thread 0x00007fa3f00d6800 852 4 java.io.BufferedReader::fill (170 bytes)
Event: 129.882 Thread 0x00007fa3f00d6800 nmethod 852 0x00007fa3e0ef1890 code [0x00007fa3e0ef1ba0, 0x00007fa3e0ef3b90]
Event: 561.243 Thread 0x00007fa3f00d6800 853 4 java.util.AbstractCollection::isEmpty (13 bytes)
Event: 561.244 Thread 0x00007fa3f00d6800 nmethod 853 0x00007fa3e0eefdd0 code [0x00007fa3e0eeff20, 0x00007fa3e0eeffd8]
Event: 562.263 Thread 0x00007fa3f00d6800 854 4 jkind.realizability.engines.RealizabilityDirector::someThreadAlive (43 bytes)
Event: 562.272 Thread 0x00007fa3f00d6800 nmethod 854 0x00007fa3e0ef1190 code [0x00007fa3e0ef1320, 0x00007fa3e0ef1528]
Event: 575.438 Thread 0x00007fa3f00d6800 855 4 jkind.realizability.engines.RealizabilityDirector::processMessages (416 bytes)
Event: 575.441 Thread 0x00007fa3f00d6800 nmethod 855 0x00007fa3e0ef0dd0 code [0x00007fa3e0ef0f20, 0x00007fa3e0ef1018]
Event: 667.184 Thread 0x00007fa3f00d6800 856 4 jkind.realizability.engines.RealizabilityDirector::someEngineFailed (43 bytes)
Event: 667.204 Thread 0x00007fa3f00d6800 nmethod 856 0x00007fa3e0ef0710 code [0x00007fa3e0ef0880, 0x00007fa3e0ef0ab8]
GC Heap History (10 events):
Event: 421.414 GC heap after
Heap after GC invocations=25 (full 7):
def new generation total 178496K, used 0K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 0% used [0x00000000ae600000, 0x00000000ae600000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100000, 0x00000000b9450000)
to space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450000, 0x00000000ba7a0000)
tenured generation total 396424K, used 223105K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 56% used [0x00000000c9950000, 0x00000000d7330668, 0x00000000d7330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
}
Event: 428.067 GC heap before
{Heap before GC invocations=25 (full 7):
def new generation total 178496K, used 158720K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 100% used [0x00000000ae600000, 0x00000000b8100000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100000, 0x00000000b9450000)
to space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450000, 0x00000000ba7a0000)
tenured generation total 396424K, used 223105K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 56% used [0x00000000c9950000, 0x00000000d7330668, 0x00000000d7330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
Event: 429.044 GC heap after
Heap after GC invocations=26 (full 7):
def new generation total 178496K, used 0K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 0% used [0x00000000ae600000, 0x00000000ae600000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450248, 0x00000000ba7a0000)
to space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100000, 0x00000000b9450000)
tenured generation total 396424K, used 370561K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 93% used [0x00000000c9950000, 0x00000000e0330678, 0x00000000e0330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
}
Event: 524.711 GC heap before
{Heap before GC invocations=26 (full 7):
def new generation total 178496K, used 158720K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 100% used [0x00000000ae600000, 0x00000000b8100000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450248, 0x00000000ba7a0000)
to space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100000, 0x00000000b9450000)
tenured generation total 396424K, used 370561K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 93% used [0x00000000c9950000, 0x00000000e0330678, 0x00000000e0330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
Event: 524.712 GC heap after
Heap after GC invocations=27 (full 7):
def new generation total 178496K, used 0K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 0% used [0x00000000ae600000, 0x00000000ae600000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100150, 0x00000000b9450000)
to space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450000, 0x00000000ba7a0000)
tenured generation total 396424K, used 370561K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 93% used [0x00000000c9950000, 0x00000000e0330678, 0x00000000e0330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
}
Event: 625.574 GC heap before
{Heap before GC invocations=27 (full 7):
def new generation total 178496K, used 158720K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 100% used [0x00000000ae600000, 0x00000000b8100000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100150, 0x00000000b9450000)
to space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450000, 0x00000000ba7a0000)
tenured generation total 396424K, used 370561K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 93% used [0x00000000c9950000, 0x00000000e0330678, 0x00000000e0330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
Event: 625.575 GC heap after
Heap after GC invocations=28 (full 7):
def new generation total 178496K, used 1K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 0% used [0x00000000ae600000, 0x00000000ae600000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450548, 0x00000000ba7a0000)
to space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100000, 0x00000000b9450000)
tenured generation total 396424K, used 370561K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 93% used [0x00000000c9950000, 0x00000000e0330678, 0x00000000e0330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
}
Event: 724.427 GC heap before
{Heap before GC invocations=28 (full 7):
def new generation total 178496K, used 158721K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 100% used [0x00000000ae600000, 0x00000000b8100000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450548, 0x00000000ba7a0000)
to space 19776K, 0% used [0x00000000b8100000, 0x00000000b8100000, 0x00000000b9450000)
tenured generation total 396424K, used 370561K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 93% used [0x00000000c9950000, 0x00000000e0330678, 0x00000000e0330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
Event: 724.435 GC heap after
Heap after GC invocations=29 (full 7):
def new generation total 178496K, used 1K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 0% used [0x00000000ae600000, 0x00000000ae600000, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b8100000, 0x00000000b81005b8, 0x00000000b9450000)
to space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450000, 0x00000000ba7a0000)
tenured generation total 396424K, used 370561K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 93% used [0x00000000c9950000, 0x00000000e0330678, 0x00000000e0330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
}
Event: 793.463 GC heap before
{Heap before GC invocations=29 (full 7):
def new generation total 178496K, used 101426K [0x00000000ae600000, 0x00000000ba7a0000, 0x00000000c9950000)
eden space 158720K, 63% used [0x00000000ae600000, 0x00000000b490c5c8, 0x00000000b8100000)
from space 19776K, 0% used [0x00000000b8100000, 0x00000000b81005b8, 0x00000000b9450000)
to space 19776K, 0% used [0x00000000b9450000, 0x00000000b9450000, 0x00000000ba7a0000)
tenured generation total 396424K, used 370561K [0x00000000c9950000, 0x00000000e1c72000, 0x0000000100000000)
the space 396424K, 93% used [0x00000000c9950000, 0x00000000e0330678, 0x00000000e0330800, 0x00000000e1c72000)
Metaspace used 7301K, capacity 7516K, committed 7680K, reserved 1056768K
class space used 893K, capacity 956K, committed 1024K, reserved 1048576K
Deoptimization events (3 events):
Event: 1.764 Thread 0x00007fa3f0009800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fa3e0d90128 method=org.antlr.v4.runtime.ANTLRInputStream.LA(I)I @ 38
Event: 3.621 Thread 0x00007fa3f021e800 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fa3e0df2b1c method=java.lang.String.indexOf([CII[CIII)I @ 134
Event: 6.239 Thread 0x00007fa3f0220000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fa3e0e4fc5c method=java.lang.String.indexOf([CII[CIII)I @ 3
Internal exceptions (4 events):
Event: 0.157 Thread 0x00007fa3f0009800 Exception <a 'java/lang/NoSuchMethodError': Method sun.misc.Unsafe.defineClass(Ljava/lang/String;[BII)Ljava/lang/Class; name or signature does not match> (0x00000000ae607ca8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/sh
Event: 0.158 Thread 0x00007fa3f0009800 Exception <a 'java/lang/NoSuchMethodError': Method sun.misc.Unsafe.prefetchRead(Ljava/lang/Object;J)V name or signature does not match> (0x00000000ae607f90) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/jni.c
Event: 2.379 Thread 0x00007fa3f0009800 Exception <a 'java/lang/NoSuchFieldError': method resolution failed> (0x00000000aecaaad8) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/methodHandles.cpp, line 1146]
Event: 2.400 Thread 0x00007fa3f0009800 Exception <a 'java/lang/NoSuchFieldError': method resolution failed> (0x00000000aecb8090) thrown at [/HUDSON3/workspace/8-2-build-linux-amd64/jdk8u144/9417/hotspot/src/share/vm/prims/methodHandles.cpp, line 1146]
Events (10 events):
Event: 421.422 Executing VM operation: GenCollectForAllocation done
Event: 428.067 Executing VM operation: GenCollectForAllocation
Event: 429.086 Executing VM operation: GenCollectForAllocation done
Event: 524.711 Executing VM operation: GenCollectForAllocation
Event: 524.712 Executing VM operation: GenCollectForAllocation done
Event: 625.574 Executing VM operation: GenCollectForAllocation
Event: 625.575 Executing VM operation: GenCollectForAllocation done
Event: 724.403 Executing VM operation: GenCollectForAllocation
Event: 724.435 Executing VM operation: GenCollectForAllocation done
Event: 793.462 Executing VM operation: GenCollectForAllocation
Dynamic libraries:
00400000-00401000 r-xp 00000000 08:01 4603245 /usr/lib/jvm/java-8-oracle/jre/bin/java
00600000-00601000 rw-p 00000000 08:01 4603245 /usr/lib/jvm/java-8-oracle/jre/bin/java
01ed6000-01ef7000 rw-p 00000000 00:00 0 [heap]
ae600000-ba7a0000 rw-p 00000000 00:00 0
ba7a0000-c9950000 ---p 00000000 00:00 0
c9950000-e1c72000 rw-p 00000000 00:00 0
e7c72000-100000000 ---p 00000000 00:00 0
100000000-100100000 rw-p 00000000 00:00 0
100100000-140000000 ---p 00000000 00:00 0
7fa3c0000000-7fa3c0332000 rw-p 00000000 00:00 0
7fa3c0332000-7fa3c4000000 ---p 00000000 00:00 0
7fa3c4000000-7fa3c4021000 rw-p 00000000 00:00 0
7fa3c4021000-7fa3c8000000 ---p 00000000 00:00 0
7fa3c8000000-7fa3c8021000 rw-p 00000000 00:00 0
7fa3c8021000-7fa3cc000000 ---p 00000000 00:00 0
7fa3cc000000-7fa3cc48f000 rw-p 00000000 00:00 0
7fa3cc48f000-7fa3d0000000 ---p 00000000 00:00 0
7fa3d0000000-7fa3d0021000 rw-p 00000000 00:00 0
7fa3d0021000-7fa3d4000000 ---p 00000000 00:00 0
7fa3d4000000-7fa3d4021000 rw-p 00000000 00:00 0
7fa3d4021000-7fa3d8000000 ---p 00000000 00:00 0
7fa3d8000000-7fa3d829d000 rw-p 00000000 00:00 0
7fa3d829d000-7fa3dc000000 ---p 00000000 00:00 0
7fa3de372000-7fa3de375000 ---p 00000000 00:00 0
7fa3de375000-7fa3de3ab000 rw-p 00000000 00:00 0
7fa3de3ab000-7fa3de3ae000 ---p 00000000 00:00 0
7fa3de3ae000-7fa3de3e4000 rw-p 00000000 00:00 0
7fa3de3e4000-7fa3de3e7000 ---p 00000000 00:00 0
7fa3de3e7000-7fa3de41d000 rw-p 00000000 00:00 0
7fa3de41d000-7fa3de420000 ---p 00000000 00:00 0
7fa3de420000-7fa3de456000 rw-p 00000000 00:00 0
7fa3de456000-7fa3de459000 ---p 00000000 00:00 0
7fa3de459000-7fa3de557000 rw-p 00000000 00:00 0
7fa3de557000-7fa3de55a000 ---p 00000000 00:00 0
7fa3de55a000-7fa3de658000 rw-p 00000000 00:00 0
7fa3de658000-7fa3de66e000 r-xp 00000000 08:01 4203532 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnet.so
7fa3de66e000-7fa3de86e000 ---p 00016000 08:01 4203532 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnet.so
7fa3de86e000-7fa3de86f000 rw-p 00016000 08:01 4203532 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnet.so
7fa3de86f000-7fa3de880000 r-xp 00000000 08:01 4203422 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnio.so
7fa3de880000-7fa3dea7f000 ---p 00011000 08:01 4203422 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnio.so
7fa3dea7f000-7fa3dea80000 rw-p 00010000 08:01 4203422 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libnio.so
7fa3dea80000-7fa3deac5000 r--s 00750000 08:01 8398548 /home/dr41k/git/jkind-1/out/artifacts/jkind_jar/jkind.jar
7fa3deac5000-7fa3deac6000 ---p 00000000 00:00 0
7fa3deac6000-7fa3debc6000 rw-p 00000000 00:00 0
7fa3debc6000-7fa3debc9000 ---p 00000000 00:00 0
7fa3debc9000-7fa3decc7000 rw-p 00000000 00:00 0
7fa3decc7000-7fa3decca000 ---p 00000000 00:00 0
7fa3decca000-7fa3dedc8000 rw-p 00000000 00:00 0
7fa3dedc8000-7fa3dedcb000 ---p 00000000 00:00 0
7fa3dedcb000-7fa3deec9000 rw-p 00000000 00:00 0
7fa3deec9000-7fa3deecc000 ---p 00000000 00:00 0
7fa3deecc000-7fa3defca000 rw-p 00000000 00:00 0
7fa3defca000-7fa3df6ac000 r--p 00000000 08:01 4201509 /usr/lib/locale/locale-archive
7fa3df6ac000-7fa3df6af000 ---p 00000000 00:00 0
7fa3df6af000-7fa3df7ad000 rw-p 00000000 00:00 0
7fa3df7ad000-7fa3df7b0000 ---p 00000000 00:00 0
7fa3df7b0000-7fa3df8ae000 rw-p 00000000 00:00 0
7fa3df8ae000-7fa3df8af000 ---p 00000000 00:00 0
7fa3df8af000-7fa3df9fe000 rw-p 00000000 00:00 0
7fa3df9fe000-7fa3dfbd8000 r--s 03d4d000 08:01 4203563 /usr/lib/jvm/java-8-oracle/jre/lib/rt.jar
7fa3dfbd8000-7fa3e0258000 rw-p 00000000 00:00 0
7fa3e0258000-7fa3e03d8000 ---p 00000000 00:00 0
7fa3e03d8000-7fa3e049a000 rw-p 00000000 00:00 0
7fa3e049a000-7fa3e058c000 ---p 00000000 00:00 0
7fa3e058c000-7fa3e05ed000 rw-p 00000000 00:00 0
7fa3e05ed000-7fa3e0665000 ---p 00000000 00:00 0
7fa3e0665000-7fa3e0728000 rw-p 00000000 00:00 0
7fa3e0728000-7fa3e0819000 ---p 00000000 00:00 0
7fa3e0819000-7fa3e0827000 rw-p 00000000 00:00 0
7fa3e0827000-7fa3e0bda000 ---p 00000000 00:00 0
7fa3e0bda000-7fa3e0efa000 rwxp 00000000 00:00 0
7fa3e0efa000-7fa3efbda000 ---p 00000000 00:00 0
7fa3efbda000-7fa3efbf4000 r-xp 00000000 08:01 4203511 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libzip.so
7fa3efbf4000-7fa3efdf4000 ---p 0001a000 08:01 4203511 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libzip.so
7fa3efdf4000-7fa3efdf5000 rw-p 0001a000 08:01 4203511 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libzip.so
7fa3efdf5000-7fa3efdff000 r-xp 00000000 08:01 3806584 /lib/x86_64-linux-gnu/libnss_files-2.19.so
7fa3efdff000-7fa3efffe000 ---p 0000a000 08:01 3806584 /lib/x86_64-linux-gnu/libnss_files-2.19.so
7fa3efffe000-7fa3effff000 r--p 00009000 08:01 3806584 /lib/x86_64-linux-gnu/libnss_files-2.19.so
7fa3effff000-7fa3f0000000 rw-p 0000a000 08:01 3806584 /lib/x86_64-linux-gnu/libnss_files-2.19.so
7fa3f0000000-7fa3f04a9000 rw-p 00000000 00:00 0
7fa3f04a9000-7fa3f4000000 ---p 00000000 00:00 0
7fa3f400d000-7fa3f4018000 r-xp 00000000 08:01 3808626 /lib/x86_64-linux-gnu/libnss_nis-2.19.so
7fa3f4018000-7fa3f4217000 ---p 0000b000 08:01 3808626 /lib/x86_64-linux-gnu/libnss_nis-2.19.so
7fa3f4217000-7fa3f4218000 r--p 0000a000 08:01 3808626 /lib/x86_64-linux-gnu/libnss_nis-2.19.so
7fa3f4218000-7fa3f4219000 rw-p 0000b000 08:01 3808626 /lib/x86_64-linux-gnu/libnss_nis-2.19.so
7fa3f4219000-7fa3f4230000 r-xp 00000000 08:01 3805414 /lib/x86_64-linux-gnu/libnsl-2.19.so
7fa3f4230000-7fa3f442f000 ---p 00017000 08:01 3805414 /lib/x86_64-linux-gnu/libnsl-2.19.so
7fa3f442f000-7fa3f4430000 r--p 00016000 08:01 3805414 /lib/x86_64-linux-gnu/libnsl-2.19.so
7fa3f4430000-7fa3f4431000 rw-p 00017000 08:01 3805414 /lib/x86_64-linux-gnu/libnsl-2.19.so
7fa3f4431000-7fa3f4433000 rw-p 00000000 00:00 0
7fa3f4433000-7fa3f443c000 r-xp 00000000 08:01 3808624 /lib/x86_64-linux-gnu/libnss_compat-2.19.so
7fa3f443c000-7fa3f463b000 ---p 00009000 08:01 3808624 /lib/x86_64-linux-gnu/libnss_compat-2.19.so
7fa3f463b000-7fa3f463c000 r--p 00008000 08:01 3808624 /lib/x86_64-linux-gnu/libnss_compat-2.19.so
7fa3f463c000-7fa3f463d000 rw-p 00009000 08:01 3808624 /lib/x86_64-linux-gnu/libnss_compat-2.19.so
7fa3f463d000-7fa3f4668000 r-xp 00000000 08:01 4203547 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libjava.so
7fa3f4668000-7fa3f4867000 ---p 0002b000 08:01 4203547 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libjava.so
7fa3f4867000-7fa3f4869000 rw-p 0002a000 08:01 4203547 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libjava.so
7fa3f4869000-7fa3f4876000 r-xp 00000000 08:01 4203484 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libverify.so
7fa3f4876000-7fa3f4a76000 ---p 0000d000 08:01 4203484 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libverify.so
7fa3f4a76000-7fa3f4a78000 rw-p 0000d000 08:01 4203484 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/libverify.so
7fa3f4a78000-7fa3f4a7f000 r-xp 00000000 08:01 3806596 /lib/x86_64-linux-gnu/librt-2.19.so
7fa3f4a7f000-7fa3f4c7e000 ---p 00007000 08:01 3806596 /lib/x86_64-linux-gnu/librt-2.19.so
7fa3f4c7e000-7fa3f4c7f000 r--p 00006000 08:01 3806596 /lib/x86_64-linux-gnu/librt-2.19.so
7fa3f4c7f000-7fa3f4c80000 rw-p 00007000 08:01 3806596 /lib/x86_64-linux-gnu/librt-2.19.so
7fa3f4c80000-7fa3f4d85000 r-xp 00000000 08:01 3806586 /lib/x86_64-linux-gnu/libm-2.19.so
7fa3f4d85000-7fa3f4f84000 ---p 00105000 08:01 3806586 /lib/x86_64-linux-gnu/libm-2.19.so
7fa3f4f84000-7fa3f4f85000 r--p 00104000 08:01 3806586 /lib/x86_64-linux-gnu/libm-2.19.so
7fa3f4f85000-7fa3f4f86000 rw-p 00105000 08:01 3806586 /lib/x86_64-linux-gnu/libm-2.19.so
7fa3f4f86000-7fa3f5c59000 r-xp 00000000 08:01 4203536 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/server/libjvm.so
7fa3f5c59000-7fa3f5e58000 ---p 00cd3000 08:01 4203536 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/server/libjvm.so
7fa3f5e58000-7fa3f5f32000 rw-p 00cd2000 08:01 4203536 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/server/libjvm.so
7fa3f5f32000-7fa3f5f7d000 rw-p 00000000 00:00 0
7fa3f5f7d000-7fa3f613b000 r-xp 00000000 08:01 3806587 /lib/x86_64-linux-gnu/libc-2.19.so
7fa3f613b000-7fa3f633b000 ---p 001be000 08:01 3806587 /lib/x86_64-linux-gnu/libc-2.19.so
7fa3f633b000-7fa3f633f000 r--p 001be000 08:01 3806587 /lib/x86_64-linux-gnu/libc-2.19.so
7fa3f633f000-7fa3f6341000 rw-p 001c2000 08:01 3806587 /lib/x86_64-linux-gnu/libc-2.19.so
7fa3f6341000-7fa3f6346000 rw-p 00000000 00:00 0
7fa3f6346000-7fa3f6349000 r-xp 00000000 08:01 3806594 /lib/x86_64-linux-gnu/libdl-2.19.so
7fa3f6349000-7fa3f6548000 ---p 00003000 08:01 3806594 /lib/x86_64-linux-gnu/libdl-2.19.so
7fa3f6548000-7fa3f6549000 r--p 00002000 08:01 3806594 /lib/x86_64-linux-gnu/libdl-2.19.so
7fa3f6549000-7fa3f654a000 rw-p 00003000 08:01 3806594 /lib/x86_64-linux-gnu/libdl-2.19.so
7fa3f654a000-7fa3f655f000 r-xp 00000000 08:01 4203557 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/jli/libjli.so
7fa3f655f000-7fa3f675f000 ---p 00015000 08:01 4203557 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/jli/libjli.so
7fa3f675f000-7fa3f6760000 rw-p 00015000 08:01 4203557 /usr/lib/jvm/java-8-oracle/jre/lib/amd64/jli/libjli.so
7fa3f6760000-7fa3f6779000 r-xp 00000000 08:01 3806589 /lib/x86_64-linux-gnu/libpthread-2.19.so
7fa3f6779000-7fa3f6978000 ---p 00019000 08:01 3806589 /lib/x86_64-linux-gnu/libpthread-2.19.so
7fa3f6978000-7fa3f6979000 r--p 00018000 08:01 3806589 /lib/x86_64-linux-gnu/libpthread-2.19.so
7fa3f6979000-7fa3f697a000 rw-p 00019000 08:01 3806589 /lib/x86_64-linux-gnu/libpthread-2.19.so
7fa3f697a000-7fa3f697e000 rw-p 00000000 00:00 0
7fa3f697e000-7fa3f69a1000 r-xp 00000000 08:01 3808622 /lib/x86_64-linux-gnu/ld-2.19.so
7fa3f69a9000-7fa3f6a7a000 rw-p 00000000 00:00 0
7fa3f6a7a000-7fa3f6a7d000 ---p 00000000 00:00 0
7fa3f6a7d000-7fa3f6b7f000 rw-p 00000000 00:00 0
7fa3f6b93000-7fa3f6b94000 rw-p 00000000 00:00 0
7fa3f6b94000-7fa3f6b9c000 rw-s 00000000 08:01 7733650 /tmp/hsperfdata_dr41k/27796
7fa3f6b9c000-7fa3f6b9d000 rw-p 00000000 00:00 0
7fa3f6b9d000-7fa3f6b9e000 ---p 00000000 00:00 0
7fa3f6b9e000-7fa3f6ba0000 rw-p 00000000 00:00 0
7fa3f6ba0000-7fa3f6ba1000 r--p 00022000 08:01 3808622 /lib/x86_64-linux-gnu/ld-2.19.so
7fa3f6ba1000-7fa3f6ba2000 rw-p 00023000 08:01 3808622 /lib/x86_64-linux-gnu/ld-2.19.so
7fa3f6ba2000-7fa3f6ba3000 rw-p 00000000 00:00 0
7ffe08122000-7ffe08143000 rw-p 00000000 00:00 0 [stack]
7ffe081b0000-7ffe081b2000 r--p 00000000 00:00 0 [vvar]
7ffe081b2000-7ffe081b4000 r-xp 00000000 00:00 0 [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]
VM Arguments:
java_command: /home/dr41k/git/jkind-1/out/artifacts/jkind_jar/jkind.jar -jrealizability -scratch -synthesis -timeout 1000 -n 1000000 fixpoint_only/SmaccmPhase2_V3_Flight_Software.lus
java_class_path (initial): /home/dr41k/git/jkind-1/out/artifacts/jkind_jar/jkind.jar
Launcher Type: SUN_STANDARD
Environment Variables:
JAVA_HOME=/usr/lib/jvm/java-8-oracle
PATH=/home/dr41k/.local/share/umake/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/home/dr41k/git/jkind-1/out/artifacts/jkind_jar/:/usr/lib/jvm/java-8-oracle/bin:/usr/lib/jvm/java-8-oracle/db/bin:/usr/lib/jvm/java-8-oracle/jre/bin:/home/dr41k/git/aeval/build/tools/aeval:/home/dr41k/git/lustrec/bin/:/home/dr41k/git/SMTLib2C/out/artifacts/SMTLib2C_jar:/home/dr41k/lv6-alpha-R0.539-24-10-14-linux/bin:/home/dr41k/.local/share/umake/ide/atom:/home/dr41k/.local/bin
SHELL=/bin/bash
DISPLAY=:0.0
Signal Handlers:
SIGSEGV: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGBUS: [libjvm.so+0xacba10], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGFPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGPIPE: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGXFSZ: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGILL: [libjvm.so+0x924ba0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGUSR1: SIG_DFL, sa_mask[0]=00000000000000000000000000000000, sa_flags=none
SIGUSR2: [libjvm.so+0x9263e0], sa_mask[0]=00000000000000000000000000000000, sa_flags=SA_RESTART|SA_SIGINFO
SIGHUP: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGINT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGTERM: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
SIGQUIT: [libjvm.so+0x9277e0], sa_mask[0]=11111111011111111101111111111110, sa_flags=SA_RESTART|SA_SIGINFO
--------------- S Y S T E M ---------------
OS:DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=14.04
DISTRIB_CODENAME=trusty
DISTRIB_DESCRIPTION="Ubuntu 14.04.5 LTS"
uname:Linux 4.4.0-96-generic #119~14.04.1-Ubuntu SMP Wed Sep 13 08:40:48 UTC 2017 x86_64
libc:glibc 2.19 NPTL 2.19
rlimit: STACK 8192k, CORE 0k, NPROC 20780, NOFILE 4096, AS infinity
load average:7.23 5.30 4.56
/proc/meminfo:
MemTotal: 5345212 kB
MemFree: 111720 kB
MemAvailable: 24152 kB
Buffers: 3288 kB
Cached: 42380 kB
SwapCached: 15356 kB
Active: 3717184 kB
Inactive: 1091392 kB
Active(anon): 3712176 kB
Inactive(anon): 1056956 kB
Active(file): 5008 kB
Inactive(file): 34436 kB
Unevictable: 48 kB
Mlocked: 48 kB
SwapTotal: 1046524 kB
SwapFree: 2644 kB
Dirty: 776 kB
Writeback: 0 kB
AnonPages: 4747704 kB
Mapped: 26416 kB
Shmem: 6144 kB
Slab: 80296 kB
SReclaimable: 37156 kB
SUnreclaim: 43140 kB
KernelStack: 11248 kB
PageTables: 41704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 3719128 kB
Committed_AS: 8609692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
HardwareCorrupted: 0 kB
AnonHugePages: 733184 kB
CmaTotal: 0 kB
CmaFree: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 89920 kB
DirectMap2M: 3346432 kB
DirectMap1G: 3145728 kB
CPU:total 1 (initial active 1) (1 cores per cpu, 1 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, tsc, tscinvbit, bmi1, bmi2
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 69
model name : Intel(R) Core(TM) i3-4010U CPU @ 1.70GHz
stepping : 1
microcode : 0x1c
cpu MHz : 1696.129
cache size : 3072 KB
physical id : 0
siblings : 1
core id : 0
cpu cores : 1
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 13
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts mmx fxsr sse sse2 ss syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts nopl xtopology tsc_reliable nonstop_tsc aperfmperf eagerfpu pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand hypervisor lahf_lm abm epb fsgsbase tsc_adjust bmi1 avx2 smep bmi2 invpcid xsaveopt dtherm ida arat pln pts
bugs :
bogomips : 3392.25
clflush size : 64
cache_alignment : 64
address sizes : 42 bits physical, 48 bits virtual
power management:
Memory: 4k page, physical 5345212k(111720k free), swap 1046524k(2644k free)
vm_info: Java HotSpot(TM) 64-Bit Server VM (25.144-b01) for linux-amd64 JRE (1.8.0_144-b01), built on Jul 21 2017 21:57:33 by "java_re" with gcc 4.3.0 20080428 (Red Hat 4.3.0-8)
time: Tue Oct 17 13:58:10 2017
elapsed time: 837 seconds (0d 0h 13m 57s)