004+
005+ ** ERROR: process timed out **
004- bool(true)
005- -- Inner iteration 0 in 0 --
006- bool(true)
007- -- Inner iteration 1 in 0 --
008- bool(true)
009- -- Inner iteration 2 in 0 --
010- bool(true)
011- -- Inner iteration 3 in 0 --
012- bool(true)
013- -- Inner iteration 4 in 0 --
014- bool(true)
015- -- Inner iteration 5 in 0 --
016- bool(true)
017- -- Inner iteration 6 in 0 --
018- bool(true)
019- -- Inner iteration 7 in 0 --
020- bool(true)
021- -- Inner iteration 8 in 0 --
022- bool(true)
023- -- Inner iteration 9 in 0 --
024- bool(true)
025- -- Inner iteration 10 in 0 --
026- bool(true)
027- -- Inner iteration 11 in 0 --
028- bool(true)
029- -- Inner iteration 12 in 0 --
030- bool(true)
031- -- Inner iteration 13 in 0 --
032- bool(true)
033- --- Outer iteration 1 ---
034- bool(true)
035- -- Inner iteration 0 in 1 --
036- bool(true)
037- -- Inner iteration 1 in 1 --
038- bool(true)
039- -- Inner iteration 2 in 1 --
040- bool(true)
041- -- Inner iteration 3 in 1 --
042- bool(true)
043- -- Inner iteration 4 in 1 --
044- bool(true)
045- -- Inner iteration 5 in 1 --
046- bool(true)
047- -- Inner iteration 6 in 1 --
048- bool(true)
049- -- Inner iteration 7 in 1 --
050- bool(true)
051- -- Inner iteration 8 in 1 --
052- bool(true)
053- -- Inner iteration 9 in 1 --
054- bool(true)
055- -- Inner iteration 10 in 1 --
056- bool(true)
057- -- Inner iteration 11 in 1 --
058- bool(true)
059- -- Inner iteration 12 in 1 --
060- bool(true)
061- -- Inner iteration 13 in 1 --
062- bool(true)
063- --- Outer iteration 2 ---
064- bool(true)
065- -- Inner iteration 0 in 2 --
066- bool(true)
067- -- Inner iteration 1 in 2 --
068- bool(true)
069- -- Inner iteration 2 in 2 --
070- bool(true)
071- -- Inner iteration 3 in 2 --
072- bool(true)
073- -- Inner iteration 4 in 2 --
074- bool(true)
075- -- Inner iteration 5 in 2 --
076- bool(true)
077- -- Inner iteration 6 in 2 --
078- bool(true)
079- -- Inner iteration 7 in 2 --
080- bool(true)
081- -- Inner iteration 8 in 2 --
082- bool(true)
083- -- Inner iteration 9 in 2 --
084- bool(true)
085- -- Inner iteration 10 in 2 --
086- bool(true)
087- -- Inner iteration 11 in 2 --
088- bool(true)
089- -- Inner iteration 12 in 2 --
090- bool(true)
091- -- Inner iteration 13 in 2 --
092- bool(true)
093- --- Outer iteration 3 ---
094- bool(true)
095- -- Inner iteration 0 in 3 --
096- bool(true)
097- -- Inner iteration 1 in 3 --
098- bool(true)
099- -- Inner iteration 2 in 3 --
100- bool(true)
101- -- Inner iteration 3 in 3 --
102- bool(true)
103- -- Inner iteration 4 in 3 --
104- bool(true)
105- -- Inner iteration 5 in 3 --
106- bool(true)
107- -- Inner iteration 6 in 3 --
108- bool(true)
109- -- Inner iteration 7 in 3 --
110- bool(true)
111- -- Inner iteration 8 in 3 --
112- bool(true)
113- -- Inner iteration 9 in 3 --
114- bool(true)
115- -- Inner iteration 10 in 3 --
116- bool(true)
117- -- Inner iteration 11 in 3 --
118- bool(true)
119- -- Inner iteration 12 in 3 --
120- bool(true)
121- -- Inner iteration 13 in 3 --
122- bool(true)
123- --- Outer iteration 4 ---
124- bool(true)
125- -- Inner iteration 0 in 4 --
126- bool(true)
127- -- Inner iteration 1 in 4 --
128- bool(true)
129- -- Inner iteration 2 in 4 --
130- bool(true)
131- -- Inner iteration 3 in 4 --
132- bool(true)
133- -- Inner iteration 4 in 4 --
134- bool(true)
135- -- Inner iteration 5 in 4 --
136- bool(true)
137- -- Inner iteration 6 in 4 --
138- bool(true)
139- -- Inner iteration 7 in 4 --
140- bool(true)
141- -- Inner iteration 8 in 4 --
142- bool(true)
143- -- Inner iteration 9 in 4 --
144- bool(true)
145- -- Inner iteration 10 in 4 --
146- bool(true)
147- -- Inner iteration 11 in 4 --
148- bool(true)
149- -- Inner iteration 12 in 4 --
150- bool(true)
151- -- Inner iteration 13 in 4 --
152- bool(true)
153- --- Outer iteration 5 ---
154- bool(true)
155- -- Inner iteration 0 in 5 --
156- bool(true)
157- -- Inner iteration 1 in 5 --
158- bool(true)
159- -- Inner iteration 2 in 5 --
160- bool(true)
161- -- Inner iteration 3 in 5 --
162- bool(true)
163- -- Inner iteration 4 in 5 --
164- bool(true)
165- -- Inner iteration 5 in 5 --
166- bool(true)
167- -- Inner iteration 6 in 5 --
168- bool(true)
169- -- Inner iteration 7 in 5 --
170- bool(true)
171- -- Inner iteration 8 in 5 --
172- bool(true)
173- -- Inner iteration 9 in 5 --
174- bool(true)
175- -- Inner iteration 10 in 5 --
176- bool(true)
177- -- Inner iteration 11 in 5 --
178- bool(true)
179- -- Inner iteration 12 in 5 --
180- bool(true)
181- -- Inner iteration 13 in 5 --
182- bool(true)
183- --- Outer iteration 6 ---
184- bool(true)
185- -- Inner iteration 0 in 6 --
186- bool(true)
187- -- Inner iteration 1 in 6 --
188- bool(true)
189- -- Inner iteration 2 in 6 --
190- bool(true)
191- -- Inner iteration 3 in 6 --
192- bool(true)
193- -- Inner iteration 4 in 6 --
194- bool(true)
195- -- Inner iteration 5 in 6 --
196- bool(true)
197- -- Inner iteration 6 in 6 --
198- bool(true)
199- -- Inner iteration 7 in 6 --
200- bool(true)
201- -- Inner iteration 8 in 6 --
202- bool(true)
203- -- Inner iteration 9 in 6 --
204- bool(true)
205- -- Inner iteration 10 in 6 --
206- bool(true)
207- -- Inner iteration 11 in 6 --
208- bool(true)
209- -- Inner iteration 12 in 6 --
210- bool(true)
211- -- Inner iteration 13 in 6 --
212- bool(true)
213- --- Outer iteration 7 ---
214- bool(true)
215- -- Inner iteration 0 in 7 --
216- bool(true)
217- -- Inner iteration 1 in 7 --
218- bool(true)
219- -- Inner iteration 2 in 7 --
220- bool(true)
221- -- Inner iteration 3 in 7 --
222- bool(true)
223- -- Inner iteration 4 in 7 --
224- bool(true)
225- -- Inner iteration 5 in 7 --
226- bool(true)
227- -- Inner iteration 6 in 7 --
228- bool(true)
229- -- Inner iteration 7 in 7 --
230- bool(true)
231- -- Inner iteration 8 in 7 --
232- bool(true)
233- -- Inner iteration 9 in 7 --
234- bool(true)
235- -- Inner iteration 10 in 7 --
236- bool(true)
237- -- Inner iteration 11 in 7 --
238- bool(true)
239- -- Inner iteration 12 in 7 --
240- bool(true)
241- -- Inner iteration 13 in 7 --
242- bool(true)
243- --- Outer iteration 8 ---
244- bool(true)
245- -- Inner iteration 0 in 8 --
246- bool(true)
247- -- Inner iteration 1 in 8 --
248- bool(true)
249- -- Inner iteration 2 in 8 --
250- bool(true)
251- -- Inner iteration 3 in 8 --
252- bool(true)
253- -- Inner iteration 4 in 8 --
254- bool(true)
255- -- Inner iteration 5 in 8 --
256- bool(true)
257- -- Inner iteration 6 in 8 --
258- bool(true)
259- -- Inner iteration 7 in 8 --
260- bool(true)
261- -- Inner iteration 8 in 8 --
262- bool(true)
263- -- Inner iteration 9 in 8 --
264- bool(true)
265- -- Inner iteration 10 in 8 --
266- bool(true)
267- -- Inner iteration 11 in 8 --
268- bool(true)
269- -- Inner iteration 12 in 8 --
270- bool(true)
271- -- Inner iteration 13 in 8 --
272- bool(true)
273- --- Outer iteration 9 ---
274- bool(true)
275- -- Inner iteration 0 in 9 --
276- bool(true)
277- -- Inner iteration 1 in 9 --
278- bool(true)
279- -- Inner iteration 2 in 9 --
280- bool(true)
281- -- Inner iteration 3 in 9 --
282- bool(true)
283- -- Inner iteration 4 in 9 --
284- bool(true)
285- -- Inner iteration 5 in 9 --
286- bool(true)
287- -- Inner iteration 6 in 9 --
288- bool(true)
289- -- Inner iteration 7 in 9 --
290- bool(true)
291- -- Inner iteration 8 in 9 --
292- bool(true)
293- -- Inner iteration 9 in 9 --
294- bool(true)
295- -- Inner iteration 10 in 9 --
296- bool(true)
297- -- Inner iteration 11 in 9 --
298- bool(true)
299- -- Inner iteration 12 in 9 --
300- bool(true)
301- -- Inner iteration 13 in 9 --
302- bool(true)
303-
304- *** Done ***