Ticket #96: main.report

File main.report, 3.9 KB (added by Lukáš Zaoral, 5 years ago)

Line
1	states per second: 0
2	state count: 0
3	mips: 0
4
5	version: 4.3.6+de23017c00f8
6	architecture: Intel(R) Core(TM) i7-6820HQ CPU @ 2.70GHz
7	memory used: 722172
8	physical memory used: 230252
9	user time: 1.524727
10	system time: 0.102859
11	wall time: 1.500346
12
13	fragment memory:
14	total: { items: 130, used: 1610245, held: 1870424 }
15	1: { items: 4, used: 4, held: 4088 }
16	2: { items: 1, used: 2, held: 4088 }
17	4: { items: 2, used: 8, held: 4088 }
18	6: { items: 1, used: 6, held: 4088 }
19	8: { items: 9, used: 72, held: 4088 }
20	16: { items: 16, used: 256, held: 4080 }
21	24: { items: 6, used: 144, held: 4080 }
22	32: { items: 9, used: 288, held: 4064 }
23	36: { items: 1, used: 36, held: 4080 }
24	40: { items: 2, used: 80, held: 4080 }
25	44: { items: 1, used: 44, held: 4080 }
26	48: { items: 1, used: 48, held: 4080 }
27	49: { items: 1, used: 49, held: 4088 }
28	50: { items: 1, used: 50, held: 4088 }
29	52: { items: 1, used: 52, held: 4088 }
30	53: { items: 1, used: 53, held: 4088 }
31	56: { items: 5, used: 280, held: 4088 }
32	57: { items: 1, used: 57, held: 4032 }
33	58: { items: 1, used: 58, held: 4032 }
34	64: { items: 8, used: 512, held: 4032 }
35	65: { items: 1, used: 65, held: 4032 }
36	68: { items: 1, used: 68, held: 4032 }
37	69: { items: 1, used: 69, held: 4032 }
38	70: { items: 1, used: 70, held: 4032 }
39	72: { items: 1, used: 72, held: 4032 }
40	73: { items: 1, used: 73, held: 4080 }
41	77: { items: 1, used: 77, held: 4080 }
42	78: { items: 1, used: 78, held: 4080 }
43	80: { items: 2, used: 160, held: 4080 }
44	81: { items: 1, used: 81, held: 4048 }
45	88: { items: 2, used: 176, held: 4048 }
46	90: { items: 1, used: 90, held: 4032 }
47	93: { items: 1, used: 93, held: 4032 }
48	96: { items: 2, used: 192, held: 4032 }
49	104: { items: 1, used: 104, held: 4056 }
50	105: { items: 1, used: 105, held: 4032 }
51	108: { items: 2, used: 216, held: 4032 }
52	113: { items: 1, used: 113, held: 4080 }
53	124: { items: 1, used: 124, held: 3968 }
54	125: { items: 1, used: 125, held: 3968 }
55	127: { items: 1, used: 127, held: 3968 }
56	129: { items: 1, used: 129, held: 4080 }
57	130: { items: 1, used: 130, held: 4080 }
58	133: { items: 1, used: 133, held: 4080 }
59	134: { items: 1, used: 134, held: 4080 }
60	152: { items: 1, used: 152, held: 3952 }
61	156: { items: 1, used: 156, held: 4000 }
62	167: { items: 1, used: 167, held: 4032 }
63	178: { items: 1, used: 178, held: 4048 }
64	194: { items: 1, used: 194, held: 4000 }
65	210: { items: 1, used: 210, held: 3888 }
66	219: { items: 1, used: 219, held: 4032 }
67	232: { items: 1, used: 232, held: 3944 }
68	245: { items: 1, used: 245, held: 3968 }
69	251: { items: 1, used: 251, held: 3840 }
70	255: { items: 1, used: 255, held: 3840 }
71	272: { items: 1, used: 272, held: 4080 }
72	291: { items: 1, used: 291, held: 3848 }
73	304: { items: 1, used: 304, held: 3952 }
74	319: { items: 1, used: 319, held: 3840 }
75	331: { items: 1, used: 331, held: 4032 }
76	424: { items: 1, used: 424, held: 3816 }
77	433: { items: 1, used: 433, held: 3960 }
78	440: { items: 1, used: 440, held: 3960 }
79	502: { items: 1, used: 502, held: 4032 }
80	587: { items: 1, used: 587, held: 3552 }
81	679: { items: 4, used: 2716, held: 4080 }
82	1024: { items: 1, used: 1024, held: 3072 }
83	1292: { items: 1, used: 1292, held: 3888 }
84	563220: { items: 1, used: 563220, held: 563224 }
85	1030928: { items: 1, used: 1030928, held: 1030928 }
86	snapshot memory:
87	total: { items: 1, used: 228, held: 3944 }
88	228: { items: 1, used: 228, held: 3944 }
89	fragment table: { used: 15, capacity: 256 }
90	snapshot table: { used: 0, capacity: 256 }
91	input file: main.c
92	compile options:
93	- main.c
94	input options:
95	sys.0: "debug:faultcfg"
96	sys.1: "nofail:malloc"
97	divine.bcname: "main.c"
98	dios config:
99	smt solver: stp
100	property type: safety
101
102	timers:
103	lart: 0.516
104	loader: 0.6
105	boot: 0.063
106	search: 0.012
107	ce: 0.098
108	error found: boot
109	error trace: \|
110	FAULT: null pointer dereference: [global* 0 1 ddn]
111	[ ] FATAL: memory error in kernel
112	boot info:
113	fault and simfail configuration:
114
115
116	machine trace:
117