Ticket #97: main.report

File main.report, 5.1 KB (added by Lukáš Zaoral, 6 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: 656900
8	physical memory used: 232900
9	user time: 2.015660
10	system time: 0.092856
11	wall time: 1.985060
12
13	fragment memory:
14	total: { items: 173, used: 1617568, held: 1965944 }
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	7: { items: 1, used: 7, held: 4088 }
20	8: { items: 9, used: 72, held: 4088 }
21	12: { items: 1, used: 12, held: 4080 }
22	16: { items: 16, used: 256, held: 4080 }
23	24: { items: 7, used: 168, held: 4080 }
24	32: { items: 22, used: 704, held: 4064 }
25	36: { items: 1, used: 36, held: 4080 }
26	40: { items: 4, used: 160, held: 4080 }
27	44: { items: 1, used: 44, held: 4080 }
28	48: { items: 1, used: 48, held: 4080 }
29	49: { items: 1, used: 49, held: 4088 }
30	50: { items: 1, used: 50, held: 4088 }
31	52: { items: 1, used: 52, held: 4088 }
32	53: { items: 1, used: 53, held: 4088 }
33	56: { items: 5, used: 280, held: 4088 }
34	57: { items: 1, used: 57, held: 4032 }
35	58: { items: 1, used: 58, held: 4032 }
36	64: { items: 8, used: 512, held: 4032 }
37	65: { items: 1, used: 65, held: 4032 }
38	67: { items: 1, used: 67, held: 4032 }
39	68: { items: 1, used: 68, held: 4032 }
40	69: { items: 1, used: 69, held: 4032 }
41	70: { items: 1, used: 70, held: 4032 }
42	72: { items: 1, used: 72, held: 4032 }
43	73: { items: 2, used: 146, held: 4080 }
44	77: { items: 2, used: 154, held: 4080 }
45	78: { items: 1, used: 78, held: 4080 }
46	80: { items: 2, used: 160, held: 4080 }
47	81: { items: 1, used: 81, held: 4048 }
48	88: { items: 2, used: 176, held: 4048 }
49	90: { items: 1, used: 90, held: 4032 }
50	91: { items: 1, used: 91, held: 4032 }
51	93: { items: 1, used: 93, held: 4032 }
52	96: { items: 2, used: 192, held: 4032 }
53	97: { items: 1, used: 97, held: 4056 }
54	101: { items: 1, used: 101, held: 4056 }
55	104: { items: 1, used: 104, held: 4056 }
56	105: { items: 1, used: 105, held: 4032 }
57	108: { items: 2, used: 216, held: 4032 }
58	109: { items: 1, used: 109, held: 4032 }
59	112: { items: 1, used: 112, held: 4032 }
60	113: { items: 1, used: 113, held: 4080 }
61	114: { items: 1, used: 114, held: 4080 }
62	117: { items: 1, used: 117, held: 4080 }
63	120: { items: 1, used: 120, held: 4080 }
64	124: { items: 1, used: 124, held: 3968 }
65	125: { items: 1, used: 125, held: 3968 }
66	127: { items: 1, used: 127, held: 3968 }
67	129: { items: 1, used: 129, held: 4080 }
68	130: { items: 1, used: 130, held: 4080 }
69	131: { items: 1, used: 131, held: 4080 }
70	133: { items: 1, used: 133, held: 4080 }
71	134: { items: 1, used: 134, held: 4080 }
72	150: { items: 1, used: 150, held: 3952 }
73	152: { items: 1, used: 152, held: 3952 }
74	154: { items: 1, used: 154, held: 4000 }
75	156: { items: 1, used: 156, held: 4000 }
76	161: { items: 1, used: 161, held: 4032 }
77	162: { items: 2, used: 324, held: 4032 }
78	167: { items: 1, used: 167, held: 4032 }
79	181: { items: 1, used: 181, held: 4048 }
80	194: { items: 1, used: 194, held: 4000 }
81	210: { items: 1, used: 210, held: 3888 }
82	219: { items: 1, used: 219, held: 4032 }
83	232: { items: 1, used: 232, held: 3944 }
84	245: { items: 1, used: 245, held: 3968 }
85	251: { items: 1, used: 251, held: 3840 }
86	255: { items: 1, used: 255, held: 3840 }
87	256: { items: 1, used: 256, held: 3840 }
88	272: { items: 1, used: 272, held: 4080 }
89	276: { items: 1, used: 276, held: 3920 }
90	291: { items: 1, used: 291, held: 3848 }
91	296: { items: 1, used: 296, held: 3848 }
92	304: { items: 1, used: 304, held: 3952 }
93	307: { items: 1, used: 307, held: 4056 }
94	319: { items: 1, used: 319, held: 3840 }
95	331: { items: 1, used: 331, held: 4032 }
96	370: { items: 1, used: 370, held: 3760 }
97	424: { items: 1, used: 424, held: 3816 }
98	433: { items: 1, used: 433, held: 3960 }
99	440: { items: 1, used: 440, held: 3960 }
100	502: { items: 1, used: 502, held: 4032 }
101	587: { items: 1, used: 587, held: 3552 }
102	679: { items: 4, used: 2716, held: 4080 }
103	743: { items: 1, used: 743, held: 3720 }
104	1024: { items: 1, used: 1024, held: 3072 }
105	1197: { items: 1, used: 1197, held: 3600 }
106	1292: { items: 1, used: 1292, held: 3888 }
107	1338: { items: 1, used: 1338, held: 4032 }
108	563220: { items: 1, used: 563220, held: 563224 }
109	1030928: { items: 1, used: 1030928, held: 1030928 }
110	snapshot memory:
111	total: { items: 1, used: 240, held: 4080 }
112	240: { items: 1, used: 240, held: 4080 }
113	fragment table: { used: 12, capacity: 256 }
114	snapshot table: { used: 0, capacity: 256 }
115	input file: main.c
116	compile options:
117	- main.c
118	input options:
119	sys.0: "debug:mainargs"
120	sys.1: "nofail:malloc"
121	divine.bcname: "main.c"
122	dios config:
123	smt solver: stp
124	property type: safety
125
126	timers:
127	lart: 0.577
128	loader: 0.752
129	boot: 0.067
130	search: 0.01
131	ce: 0.124
132	error found: boot
133	error trace: \|
134	[ ] ERROR: Unused option debug:mainargs
135	FAULT: Unused options
136	[ ] FATAL: config error in kernel
137	have_debug() failed in debug mode
138	W: debug mode cannot be changed in debug mode (abandoned)
139	have_debug() failed in debug mode
140	W: debug mode cannot be changed in debug mode (abandoned)
141	boot info:
142	main argv:
143	0: main.c
144	main envp:
145
146
147	machine trace:
148