Ticket #96: main.report

File main.report, 3.9 KB (added by Lukáš Zaoral, 7 months ago)
Line 
1states per second: 0
2state count: 0
3mips: 0
4
5version: 4.3.6+de23017c00f8
6architecture: Intel(R) Core(TM) i7-6820HQ CPU @ 2.70GHz
7memory used: 722172
8physical memory used: 230252
9user time: 1.524727
10system time: 0.102859
11wall time: 1.500346
12
13fragment 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 }
86snapshot memory:
87  total: { items: 1, used: 228, held: 3944 }
88  228: { items: 1, used: 228, held: 3944 }
89fragment table: { used: 15, capacity: 256 }
90snapshot table: { used: 0, capacity: 256 }
91input file: main.c
92compile options:
93  - main.c
94input options:
95  sys.0: "debug:faultcfg"
96  sys.1: "nofail:malloc"
97  divine.bcname: "main.c"
98dios config:
99smt solver: stp
100property type: safety
101
102timers:
103  lart: 0.516
104  loader: 0.6
105  boot: 0.063
106  search: 0.012
107  ce: 0.098
108error found: boot
109error trace: |
110  FAULT: null pointer dereference: [global* 0 1 ddn]
111  [  ] FATAL: memory error in kernel
112boot info:
113  fault and simfail configuration:
114
115
116machine trace:
117