Ticket #97: main.report

File main.report, 5.1 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: 656900
8physical memory used: 232900
9user time: 2.015660
10system time: 0.092856
11wall time: 1.985060
12
13fragment 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 }
110snapshot memory:
111  total: { items: 1, used: 240, held: 4080 }
112  240: { items: 1, used: 240, held: 4080 }
113fragment table: { used: 12, capacity: 256 }
114snapshot table: { used: 0, capacity: 256 }
115input file: main.c
116compile options:
117  - main.c
118input options:
119  sys.0: "debug:mainargs"
120  sys.1: "nofail:malloc"
121  divine.bcname: "main.c"
122dios config:
123smt solver: stp
124property type: safety
125
126timers:
127  lart: 0.577
128  loader: 0.752
129  boot: 0.067
130  search: 0.01
131  ce: 0.124
132error found: boot
133error 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)
141boot info:
142  main argv:
143    0: main.c
144  main envp:
145
146
147machine trace:
148