Trace number 3752617

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.42 1799.52

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-0-100-0.wbo
MD5SUM17c8063899ee49ebb532fe8c9b769f44
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.035994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1804
Total number of constraints4931
Number of soft constraints4931
Number of constraints which are clauses4707
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 248953
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 248952
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.06	c run usual solver
0.00/0.23	o 3768
0.00/0.23	c starting approximation
0.00/0.23	c factor = 2
0.00/0.23	c factor still to low - shrinking to 111.48
0.00/0.23	c approx number of clauses: 1e+06
0.00/0.23	c current bound: 1884
1.07/1.11	c current bound: 1884
1.69/1.99	c current bound: 1884
2.57/2.85	c current bound: 1884
3.43/3.72	c current bound: 1884
4.57/4.60	c current bound: 1884
5.36/5.47	c current bound: 1884
6.05/6.35	c current bound: 1884
6.92/7.21	c current bound: 1884
8.06/8.10	c current bound: 1884
8.67/8.97	c current bound: 1884
9.75/9.87	c current bound: 1884
10.46/10.77	c current bound: 1884
11.36/11.67	c current bound: 1884
12.27/12.58	c current bound: 1884
13.17/13.47	c current bound: 1884
14.26/14.37	c current bound: 1884
14.98/15.27	c current bound: 1884
15.85/16.14	c current bound: 1884
16.72/17.02	c current bound: 1884
17.87/17.90	c current bound: 1884
18.65/18.77	c current bound: 1884
19.35/19.65	c current bound: 1884
20.21/20.53	c current bound: 1884
21.09/21.41	c current bound: 1884
21.98/22.29	c current bound: 1884
23.05/23.18	c current bound: 1884
23.75/24.05	c current bound: 1884
24.62/24.93	c current bound: 1884
25.50/25.80	c current bound: 1884
26.38/26.68	c current bound: 1884
27.46/27.57	c current bound: 1884
28.15/28.44	c current bound: 1884
29.03/29.32	c current bound: 1884
30.17/30.20	c current bound: 1884
30.76/31.07	c current bound: 1884
31.84/31.95	c current bound: 1884
32.51/32.82	c current bound: 1884
33.66/33.70	c current bound: 1884
34.28/34.58	c current bound: 1884
35.15/35.46	c current bound: 1884
36.26/36.35	c current bound: 1884
36.93/37.22	c current bound: 1884
37.80/38.10	c current bound: 1884
38.67/38.98	c current bound: 1884
39.55/39.86	c current bound: 1884
40.65/40.73	c current bound: 1884
41.30/41.61	c current bound: 1884
42.18/42.48	c current bound: 1884
43.06/43.37	c current bound: 1884
43.95/44.25	c current bound: 1884
45.05/45.14	c current bound: 1884
45.71/46.01	c current bound: 1884
46.59/46.89	c current bound: 1884
47.47/47.77	c current bound: 1884
48.35/48.64	c current bound: 1884
49.44/49.51	c current bound: 1884
50.09/50.39	c current bound: 1884
50.96/51.28	c current bound: 1884
51.85/52.16	c current bound: 1884
52.73/53.04	c current bound: 1884
53.86/53.92	c current bound: 1884
54.50/54.80	c current bound: 1884
55.37/55.68	c current bound: 1884
56.25/56.56	c current bound: 1884
57.14/57.44	c current bound: 1884
58.26/58.32	c current bound: 1884
58.91/59.20	c current bound: 1884
59.77/60.07	c current bound: 1884
60.64/60.94	c current bound: 1884
61.51/61.83	c current bound: 1884
62.56/62.70	c current bound: 1884
63.28/63.58	c current bound: 1884
64.18/64.47	c current bound: 1884
65.04/65.34	c current bound: 1884
65.91/66.22	c current bound: 1884
66.95/67.10	c current bound: 1884
67.67/67.97	c current bound: 1884
68.57/68.88	c current bound: 1884
69.49/69.78	c current bound: 1884
70.38/70.68	c current bound: 1884
71.45/71.58	c current bound: 1884
72.18/72.48	c current bound: 1884
73.06/73.37	c current bound: 1884
73.96/74.25	c current bound: 1884
74.83/75.13	c current bound: 1884
75.96/76.00	c current bound: 1884
76.60/76.88	c current bound: 1884
77.46/77.75	c current bound: 1884
78.34/78.63	c current bound: 1884
79.48/79.50	c current bound: 1884
80.27/80.38	c current bound: 1884
80.98/81.26	c current bound: 1884
81.86/82.14	c current bound: 1884
82.72/83.01	c current bound: 1884
83.60/83.89	c current bound: 1884
84.68/84.77	c current bound: 1884
85.36/85.65	c current bound: 1884
86.24/86.52	c current bound: 1884
87.13/87.40	c current bound: 1884
88.00/88.28	c current bound: 1884
89.09/89.16	c current bound: 1884
89.77/90.03	c current bound: 1884
90.64/90.91	c current bound: 1884
91.50/91.79	c current bound: 1884
92.37/92.66	c current bound: 1884
93.47/93.54	c current bound: 1884
94.15/94.42	c current bound: 1884
95.02/95.29	c current bound: 1884
95.90/96.17	c current bound: 1884
96.78/97.06	c current bound: 1884
97.89/97.97	c current bound: 1884
98.58/98.84	c current bound: 1884
99.44/99.72	c current bound: 1884
100.32/100.59	c current bound: 1884
101.20/101.47	c current bound: 1884
102.29/102.35	c current bound: 1884
102.97/103.23	c current bound: 1884
103.85/104.11	c current bound: 1884
104.72/104.99	c current bound: 1884
105.61/105.87	c current bound: 1884
106.69/106.75	c current bound: 1884
107.36/107.62	c current bound: 1884
108.23/108.49	c current bound: 1884
109.11/109.37	c current bound: 1884
109.99/110.25	c current bound: 1884
111.08/111.13	c current bound: 1884
111.75/112.01	c current bound: 1884
112.62/112.88	c current bound: 1884
113.49/113.76	c current bound: 1884
114.37/114.64	c current bound: 1884
115.48/115.52	c current bound: 1884
116.13/116.39	c current bound: 1884
117.01/117.27	c current bound: 1884
117.89/118.15	c current bound: 1884
118.77/119.03	c current bound: 1884
119.92/119.90	c current bound: 1884
120.52/120.78	c current bound: 1884
121.40/121.66	c current bound: 1884
122.27/122.53	c current bound: 1884
123.15/123.41	c current bound: 1884
124.20/124.29	c current bound: 1884
124.90/125.17	c current bound: 1884
125.78/126.04	c current bound: 1884
126.66/126.92	c current bound: 1884
127.54/127.80	c current bound: 1884
128.61/128.68	c current bound: 1884
129.30/129.57	c current bound: 1884
130.18/130.45	c current bound: 1884
131.07/131.33	c current bound: 1884
131.95/132.20	c current bound: 1884
133.00/133.08	c current bound: 1884
133.70/133.96	c current bound: 1884
134.59/134.84	c current bound: 1884
135.46/135.71	c current bound: 1884
136.34/136.58	c current bound: 1884
137.42/137.47	c current bound: 1884
138.10/138.34	c current bound: 1884
138.98/139.22	c current bound: 1884
139.85/140.10	c current bound: 1884
140.74/140.98	c current bound: 1884
141.82/141.86	c current bound: 1884
142.50/142.74	c current bound: 1884
143.38/143.61	c current bound: 1884
144.25/144.49	c current bound: 1884
145.33/145.36	c current bound: 1884
146.21/146.24	c current bound: 1884
146.89/147.11	c current bound: 1884
147.75/147.99	c current bound: 1884
148.64/148.87	c current bound: 1884
149.73/149.74	c current bound: 1884
150.62/150.61	c current bound: 1884
151.26/151.49	c current bound: 1884
152.13/152.36	c current bound: 1884
153.01/153.24	c current bound: 1884
154.14/154.11	c current bound: 1884
154.77/154.99	c current bound: 1884
155.64/155.86	c current bound: 1884
156.52/156.74	c current bound: 1884
157.40/157.62	c current bound: 1884
158.54/158.51	c current bound: 1884
159.17/159.38	c current bound: 1884
160.05/160.26	c current bound: 1884
160.93/161.14	c current bound: 1884
161.81/162.01	c current bound: 1884
162.86/162.89	c current bound: 1884
163.54/163.76	c current bound: 1884
164.43/164.64	c current bound: 1884
165.33/165.54	c current bound: 1884
166.22/166.43	c current bound: 1884
167.35/167.30	c current bound: 1884
167.96/168.17	c current bound: 1884
168.83/169.05	c current bound: 1884
169.71/169.91	c current bound: 1884
170.59/170.79	c current bound: 1884
171.76/171.70	c current bound: 1884
172.36/172.57	c current bound: 1884
173.24/173.45	c current bound: 1884
174.10/174.32	c current bound: 1884
174.99/175.19	c current bound: 1884
176.05/176.06	c current bound: 1884
176.72/176.93	c current bound: 1884
177.59/177.81	c current bound: 1884
178.47/178.69	c current bound: 1884
179.35/179.57	c current bound: 1884
180.43/180.44	c current bound: 1884
181.10/181.31	c current bound: 1884
181.96/182.18	c current bound: 1884
182.84/183.06	c current bound: 1884
183.71/183.93	c current bound: 1884
184.85/184.82	c current bound: 1884
185.48/185.69	c current bound: 1884
186.37/186.59	c current bound: 1884
187.22/187.47	c current bound: 1884
188.12/188.35	c current bound: 1884
189.23/189.22	c current bound: 1884
190.13/190.10	c current bound: 1884
190.77/190.99	c current bound: 1884
191.64/191.88	c current bound: 1884
192.53/192.76	c current bound: 1884
193.63/193.63	c current bound: 1884
194.28/194.50	c current bound: 1884
195.18/195.41	c current bound: 1884
196.05/196.28	c current bound: 1884
196.92/197.15	c current bound: 1884
198.03/198.03	c current bound: 1884
198.93/198.90	c current bound: 1884
199.53/199.77	c current bound: 1884
200.42/200.65	c current bound: 1884
201.29/201.53	c current bound: 1884
202.43/202.40	c current bound: 1884
203.03/203.28	c current bound: 1884
203.94/204.18	c current bound: 1884
204.80/205.05	c current bound: 1884
205.69/205.92	c current bound: 1884
206.73/206.79	c current bound: 1884
207.42/207.67	c current bound: 1884
208.28/208.53	c current bound: 1884
209.18/209.42	c current bound: 1884
210.05/210.29	c current bound: 1884
211.10/211.16	c current bound: 1884
211.78/212.04	c current bound: 1884
212.69/212.94	c current bound: 1884
213.58/213.82	c current bound: 1884
214.72/214.70	c current bound: 1884
215.51/215.57	c current bound: 1884
216.20/216.45	c current bound: 1884
217.10/217.34	c current bound: 1884
217.97/218.21	c current bound: 1884
218.84/219.09	c current bound: 1884
219.92/219.96	c current bound: 1884
220.58/220.83	c current bound: 1884
221.47/221.73	c current bound: 1884
222.36/222.61	c current bound: 1884
223.23/223.48	c current bound: 1884
224.31/224.36	c current bound: 1884
224.98/225.23	c current bound: 1884
225.87/226.13	c current bound: 1884
226.77/227.02	c current bound: 1884
227.65/227.89	c current bound: 1884
228.70/228.77	c current bound: 1884
229.38/229.64	c current bound: 1884
230.24/230.51	c current bound: 1884
231.13/231.38	c current bound: 1884
232.20/232.26	c current bound: 1884
233.11/233.13	c current bound: 1884
233.75/234.01	c current bound: 1884
234.92/234.90	c current bound: 1884
235.52/235.78	c current bound: 1884
236.60/236.65	c current bound: 1884
237.52/237.52	c current bound: 1884
238.43/238.40	c current bound: 1884
239.02/239.27	c current bound: 1884
239.90/240.15	c current bound: 1884
241.00/241.02	c current bound: 1884
241.65/241.89	c current bound: 1884
242.52/242.76	c current bound: 1884
243.39/243.63	c current bound: 1884
244.26/244.51	c current bound: 1884
245.30/245.39	c current bound: 1884
246.01/246.26	c current bound: 1884
246.88/247.14	c current bound: 1884
247.77/248.03	c current bound: 1884
248.65/248.92	c current bound: 1884
249.69/249.79	c current bound: 1884
250.41/250.66	c current bound: 1884
251.27/251.54	c current bound: 1884
252.17/252.43	c current bound: 1884
253.06/253.32	c current bound: 1884
254.20/254.21	c current bound: 1884
254.81/255.08	c current bound: 1884
255.68/255.95	c current bound: 1884
256.55/256.82	c current bound: 1884
257.44/257.70	c current bound: 1884
258.49/258.58	c current bound: 1884
259.19/259.45	c current bound: 1884
260.05/260.32	c current bound: 1884
260.93/261.22	c current bound: 1884
261.82/262.09	c current bound: 1884
262.88/262.97	c current bound: 1884
263.57/263.84	c current bound: 1884
264.44/264.71	c current bound: 1884
265.31/265.58	c current bound: 1884
266.19/266.46	c current bound: 1884
267.28/267.33	c current bound: 1884
268.18/268.20	c current bound: 1884
268.78/269.06	c current bound: 1884
269.67/269.95	c current bound: 1884
270.54/270.82	c current bound: 1884
271.56/271.70	c current bound: 1884
272.30/272.58	c current bound: 1884
273.17/273.45	c current bound: 1884
274.05/274.34	c current bound: 1884
274.92/275.21	c current bound: 1884
275.97/276.09	c current bound: 1884
276.67/276.96	c current bound: 1884
277.57/277.85	c current bound: 1884
278.45/278.74	c current bound: 1884
279.32/279.62	c current bound: 1884
280.36/280.49	c current bound: 1884
281.08/281.37	c current bound: 1884
281.95/282.23	c current bound: 1884
282.83/283.12	c current bound: 1884
283.71/283.99	c current bound: 1884
284.78/284.87	c current bound: 1884
285.45/285.74	c current bound: 1884
286.34/286.64	c current bound: 1884
287.23/287.52	c current bound: 1884
288.38/288.40	c current bound: 1884
289.18/289.26	c current bound: 1884
289.84/290.14	c current bound: 1884
290.74/291.03	c current bound: 1884
291.64/291.92	c current bound: 1884
292.51/292.80	c current bound: 1884
293.58/293.70	c current bound: 1884
294.30/294.57	c current bound: 1884
295.15/295.44	c current bound: 1884
296.02/296.31	c current bound: 1884
296.89/297.18	c current bound: 1884
297.97/298.06	c current bound: 1884
298.64/298.93	c current bound: 1884
299.78/299.80	c current bound: 1884
300.39/300.68	c current bound: 1884
301.46/301.55	c current bound: 1884
302.37/302.44	c current bound: 1884
303.04/303.31	c current bound: 1884
303.92/304.20	c current bound: 1884
304.79/305.07	c current bound: 1884
305.87/305.95	c current bound: 1884
306.77/306.82	c current bound: 1884
307.41/307.70	c current bound: 1884
308.29/308.57	c current bound: 1884
309.16/309.45	c current bound: 1884
310.28/310.32	c current bound: 1884
310.91/311.18	c current bound: 1884
311.77/312.05	c current bound: 1884
312.65/312.95	c current bound: 1884
313.54/313.84	c current bound: 1884
314.66/314.71	c current bound: 1884
315.29/315.58	c current bound: 1884
316.16/316.46	c current bound: 1884
317.06/317.35	c current bound: 1884
317.94/318.23	c current bound: 1884
319.06/319.10	c current bound: 1884
319.68/319.97	c current bound: 1884
320.56/320.84	c current bound: 1884
321.44/321.73	c current bound: 1884
322.30/322.60	c current bound: 1884
323.46/323.51	c current bound: 1884
324.09/324.38	c current bound: 1884
324.96/325.25	c current bound: 1884
325.82/326.12	c current bound: 1884
326.97/327.00	c current bound: 1884
327.76/327.89	c current bound: 1884
328.46/328.76	c current bound: 1884
329.33/329.64	c current bound: 1884
330.24/330.54	c current bound: 1884
331.13/331.43	c current bound: 1884
332.25/332.30	c current bound: 1884
332.88/333.18	c current bound: 1884
333.75/334.06	c current bound: 1884
334.64/334.95	c current bound: 1884
335.51/335.82	c current bound: 1884
336.66/336.70	c current bound: 1884
337.28/337.57	c current bound: 1884
338.15/338.45	c current bound: 1884
339.03/339.34	c current bound: 1884
339.90/340.21	c current bound: 1884
340.95/341.08	c current bound: 1884
341.66/341.96	c current bound: 1884
342.52/342.84	c current bound: 1884
343.42/343.72	c current bound: 1884
344.30/344.60	c current bound: 1884
345.35/345.48	c current bound: 1884
346.05/346.36	c current bound: 1884
346.93/347.23	c current bound: 1884
347.82/348.13	c current bound: 1884
348.69/349.01	c current bound: 1884
349.73/349.89	c current bound: 1884
350.44/350.76	c current bound: 1884
351.32/351.63	c current bound: 1884
352.20/352.52	c current bound: 1884
353.35/353.40	c current bound: 1884
354.14/354.27	c current bound: 1884
354.83/355.14	c current bound: 1884
355.71/356.02	c current bound: 1884
356.58/356.89	c current bound: 1884
357.44/357.77	c current bound: 1884
358.54/358.64	c current bound: 1884
359.20/359.52	c current bound: 1884
360.07/360.39	c current bound: 1884
360.94/361.28	c current bound: 1884
361.84/362.16	c current bound: 1884
362.94/363.05	c current bound: 1884
363.60/363.92	c current bound: 1884
364.74/364.80	c current bound: 1884
365.37/365.69	c current bound: 1884
366.25/366.57	c current bound: 1884
367.34/367.47	c current bound: 1884
368.01/368.34	c current bound: 1884
368.89/369.22	c current bound: 1884
369.78/370.10	c current bound: 1884
370.66/370.98	c current bound: 1884
371.72/371.86	c current bound: 1884
372.40/372.73	c current bound: 1884
373.27/373.60	c current bound: 1884
374.17/374.49	c current bound: 1884
375.03/375.36	c current bound: 1884
376.15/376.23	c current bound: 1884
376.78/377.11	c current bound: 1884
377.64/377.97	c current bound: 1884
378.51/378.84	c current bound: 1884
379.40/379.72	c current bound: 1884
380.44/380.60	c current bound: 1884
381.13/381.47	c current bound: 1884
382.03/382.36	c current bound: 1884
382.90/383.23	c current bound: 1884
383.79/384.12	c current bound: 1884
384.81/384.99	c current bound: 1884
385.52/385.86	c current bound: 1884
386.42/386.76	c current bound: 1884
387.29/387.63	c current bound: 1884
388.16/388.51	c current bound: 1884
389.21/389.38	c current bound: 1884
389.91/390.26	c current bound: 1884
390.81/391.15	c current bound: 1884
391.68/392.03	c current bound: 1884
392.56/392.90	c current bound: 1884
393.61/393.78	c current bound: 1884
394.30/394.65	c current bound: 1884
395.18/395.52	c current bound: 1884
396.06/396.40	c current bound: 1884
396.93/397.28	c current bound: 1884
398.01/398.15	c current bound: 1884
398.67/399.02	c current bound: 1884
399.55/399.89	c current bound: 1884
400.41/400.76	c current bound: 1884
401.50/401.64	c current bound: 1884
402.39/402.51	c current bound: 1884
403.02/403.39	c current bound: 1884
403.92/404.28	c current bound: 1884
404.80/405.16	c current bound: 1884
405.89/406.03	c current bound: 1884
406.81/406.91	c current bound: 1884
407.42/407.78	c current bound: 1884
408.31/408.67	c current bound: 1884
409.17/409.54	c current bound: 1884
410.28/410.41	c current bound: 1884
410.92/411.29	c current bound: 1884
411.79/412.16	c current bound: 1884
412.67/413.05	c current bound: 1884
413.56/413.93	c current bound: 1884
414.69/414.80	c current bound: 1884
415.31/415.68	c current bound: 1884
416.19/416.55	c current bound: 1884
417.07/417.44	c current bound: 1884
417.95/418.32	c current bound: 1884
418.98/419.19	c current bound: 1884
419.71/420.07	c current bound: 1884
420.56/420.94	c current bound: 1884
421.44/421.82	c current bound: 1884
422.58/422.70	c current bound: 1884
423.39/423.57	c current bound: 1884
424.07/424.44	c current bound: 1884
424.94/425.31	c current bound: 1884
425.80/426.18	c current bound: 1884
426.69/427.06	c current bound: 1884
427.79/427.94	c current bound: 1884
428.44/428.81	c current bound: 1884
429.32/429.69	c current bound: 1884
430.20/430.57	c current bound: 1884
431.08/431.45	c current bound: 1884
432.19/432.32	c current bound: 1884
432.83/433.19	c current bound: 1884
433.73/434.09	c current bound: 1884
434.61/434.98	c current bound: 1884
435.49/435.85	c current bound: 1884
436.60/436.73	c current bound: 1884
437.23/437.60	c current bound: 1884
438.10/438.48	c current bound: 1884
438.98/439.35	c current bound: 1884
439.85/440.23	c current bound: 1884
440.89/441.10	c current bound: 1884
441.59/441.97	c current bound: 1884
442.50/442.88	c current bound: 1884
443.41/443.78	c current bound: 1884
444.31/444.68	c current bound: 1884
445.40/445.57	c current bound: 1884
446.11/446.47	c current bound: 1884
446.98/447.35	c current bound: 1884
447.86/448.22	c current bound: 1884
449.01/449.10	c current bound: 1884
449.80/449.98	c current bound: 1884
450.49/450.86	c current bound: 1884
451.38/451.73	c current bound: 1884
452.26/452.62	c current bound: 1884
453.39/453.50	c current bound: 1884
454.19/454.38	c current bound: 1884
454.89/455.25	c current bound: 1884
455.77/456.12	c current bound: 1884
456.64/457.02	c current bound: 1884
457.52/457.89	c current bound: 1884
458.61/458.76	c current bound: 1884
459.28/459.64	c current bound: 1884
460.15/460.51	c current bound: 1884
461.03/461.40	c current bound: 1884
461.92/462.27	c current bound: 1884
463.01/463.15	c current bound: 1884
463.65/464.02	c current bound: 1884
464.53/464.89	c current bound: 1884
465.41/465.76	c current bound: 1884
466.27/466.63	c current bound: 1884
467.41/467.51	c current bound: 1884
468.00/468.37	c current bound: 1884
468.89/469.24	c current bound: 1884
469.76/470.11	c current bound: 1884
470.61/470.99	c current bound: 1884
471.68/471.86	c current bound: 1884
472.37/472.74	c current bound: 1884
473.27/473.64	c current bound: 1884
474.14/474.51	c current bound: 1884
475.00/475.38	c current bound: 1884
476.07/476.26	c current bound: 1884
476.77/477.13	c current bound: 1884
477.66/478.03	c current bound: 1884
478.54/478.91	c current bound: 1884
479.40/479.79	c current bound: 1884
480.48/480.66	c current bound: 1884
481.17/481.54	c current bound: 1884
482.05/482.43	c current bound: 1884
482.93/483.32	c current bound: 1884
483.81/484.19	c current bound: 1884
484.88/485.06	c current bound: 1884
485.55/485.94	c current bound: 1884
486.42/486.80	c current bound: 1884
487.28/487.68	c current bound: 1884
488.37/488.55	c current bound: 1884
489.29/489.42	c current bound: 1884
489.91/490.30	c current bound: 1884
490.78/491.16	c current bound: 1884
491.65/492.04	c current bound: 1884
492.76/492.91	c current bound: 1884
493.40/493.78	c current bound: 1884
494.27/494.66	c current bound: 1884
495.16/495.55	c current bound: 1884
496.04/496.43	c current bound: 1884
497.17/497.30	c current bound: 1884
497.78/498.18	c current bound: 1884
498.66/499.05	c current bound: 1884
499.54/499.93	c current bound: 1884
500.67/500.80	c current bound: 1884
501.47/501.67	c current bound: 1884
502.16/502.54	c current bound: 1884
503.03/503.42	c current bound: 1884
503.91/504.31	c current bound: 1884
504.79/505.19	c current bound: 1884
505.87/506.06	c current bound: 1884
506.54/506.94	c current bound: 1884
507.43/507.82	c current bound: 1884
508.29/508.69	c current bound: 1884
509.19/509.57	c current bound: 1884
510.27/510.44	c current bound: 1884
510.92/511.32	c current bound: 1884
511.80/512.19	c current bound: 1884
512.70/513.09	c current bound: 1884
513.57/513.97	c current bound: 1884
514.65/514.87	c current bound: 1884
515.36/515.77	c current bound: 1884
516.24/516.64	c current bound: 1884
517.13/517.52	c current bound: 1884
517.99/518.39	c current bound: 1884
519.05/519.26	c current bound: 1884
519.74/520.14	c current bound: 1884
520.62/521.02	c current bound: 1884
521.49/521.89	c current bound: 1884
522.38/522.78	c current bound: 1884
523.45/523.65	c current bound: 1884
524.13/524.53	c current bound: 1884
525.01/525.41	c current bound: 1884
525.88/526.29	c current bound: 1884
526.78/527.18	c current bound: 1884
527.87/528.07	c current bound: 1884
528.55/528.95	c current bound: 1884
529.44/529.83	c current bound: 1884
530.31/530.71	c current bound: 1884
531.21/531.59	c current bound: 1884
532.28/532.47	c current bound: 1884
532.98/533.35	c current bound: 1884
533.85/534.23	c current bound: 1884
534.73/535.10	c current bound: 1884
535.62/535.98	c current bound: 1884
536.68/536.87	c current bound: 1884
537.37/537.75	c current bound: 1884
538.25/538.63	c current bound: 1884
539.13/539.52	c current bound: 1884
540.02/540.40	c current bound: 1884
541.19/541.30	c current bound: 1884
541.81/542.18	c current bound: 1884
542.68/543.06	c current bound: 1884
543.56/543.93	c current bound: 1884
544.44/544.81	c current bound: 1884
545.48/545.70	c current bound: 1884
546.21/546.58	c current bound: 1884
547.09/547.46	c current bound: 1884
547.98/548.34	c current bound: 1884
548.86/549.22	c current bound: 1884
549.99/550.10	c current bound: 1884
550.62/550.98	c current bound: 1884
551.49/551.86	c current bound: 1884
552.38/552.75	c current bound: 1884
553.26/553.63	c current bound: 1884
554.38/554.50	c current bound: 1884
555.31/555.40	c current bound: 1884
555.90/556.27	c current bound: 1884
556.79/557.17	c current bound: 1884
557.67/558.05	c current bound: 1884
558.79/558.91	c current bound: 1884
559.42/559.78	c current bound: 1884
560.27/560.65	c current bound: 1884
561.16/561.55	c current bound: 1884
562.07/562.45	c current bound: 1884
563.17/563.32	c current bound: 1884
563.82/564.19	c current bound: 1884
564.68/565.06	c current bound: 1884
565.56/565.95	c current bound: 1884
566.44/566.82	c current bound: 1884
567.48/567.69	c current bound: 1884
568.18/568.57	c current bound: 1884
569.04/569.43	c current bound: 1884
569.92/570.31	c current bound: 1884
570.79/571.18	c current bound: 1884
571.87/572.05	c current bound: 1884
572.53/572.92	c current bound: 1884
573.40/573.79	c current bound: 1884
574.27/574.66	c current bound: 1884
575.13/575.55	c current bound: 1884
576.27/576.42	c current bound: 1884
577.17/577.30	c current bound: 1884
577.78/578.18	c current bound: 1884
578.67/579.06	c current bound: 1884
579.55/579.94	c current bound: 1884
580.67/580.81	c current bound: 1884
581.27/581.68	c current bound: 1884
582.15/582.55	c current bound: 1884
583.04/583.44	c current bound: 1884
583.92/584.34	c current bound: 1884
585.08/585.21	c current bound: 1884
585.67/586.07	c current bound: 1884
586.56/586.97	c current bound: 1884
587.46/587.86	c current bound: 1884
588.33/588.74	c current bound: 1884
589.46/589.61	c current bound: 1884
590.36/590.50	c current bound: 1884
590.99/591.39	c current bound: 1884
592.16/592.30	c current bound: 1884
592.76/593.17	c current bound: 1884
593.86/594.04	c current bound: 1884
594.78/595.04	c current bound: 1884
595.40/595.92	c current bound: 1884
596.55/596.80	c current bound: 1884
597.16/597.69	c current bound: 1884
598.06/598.57	c current bound: 1884
599.15/599.45	c current bound: 1884
599.82/600.33	c current bound: 1884
600.70/601.21	c current bound: 1884
601.58/602.09	c current bound: 1884
602.45/602.97	c current bound: 1884
603.54/603.85	c current bound: 1884
604.22/604.74	c current bound: 1884
605.11/605.62	c current bound: 1884
606.26/606.50	c current bound: 1884
606.87/607.38	c current bound: 1884
607.95/608.27	c current bound: 1884
608.63/609.16	c current bound: 1884
609.53/610.04	c current bound: 1884
610.40/610.92	c current bound: 1884
611.29/611.79	c current bound: 1884
612.35/612.68	c current bound: 1884
613.06/613.56	c current bound: 1884
613.95/614.45	c current bound: 1884
614.83/615.34	c current bound: 1884
615.72/616.22	c current bound: 1884
616.86/617.11	c current bound: 1884
617.50/617.99	c current bound: 1884
618.38/618.88	c current bound: 1884
619.27/619.76	c current bound: 1884
620.15/620.64	c current bound: 1884
621.26/621.54	c current bound: 1884
621.93/622.41	c current bound: 1884
622.80/623.29	c current bound: 1884
623.67/624.17	c current bound: 1884
624.55/625.05	c current bound: 1884
625.67/625.94	c current bound: 1884
626.34/626.82	c current bound: 1884
627.48/627.70	c current bound: 1884
628.10/628.58	c current bound: 1884
628.97/629.46	c current bound: 1884
630.07/630.34	c current bound: 1884
630.73/631.22	c current bound: 1884
631.61/632.10	c current bound: 1884
632.49/632.98	c current bound: 1884
633.37/633.86	c current bound: 1884
634.47/634.76	c current bound: 1884
635.15/635.64	c current bound: 1884
636.04/636.52	c current bound: 1884
637.18/637.40	c current bound: 1884
637.80/638.28	c current bound: 1884
638.87/639.17	c current bound: 1884
639.56/640.06	c current bound: 1884
640.45/640.93	c current bound: 1884
641.33/641.81	c current bound: 1884
642.49/642.70	c current bound: 1884
643.27/643.59	c current bound: 1884
643.99/644.47	c current bound: 1884
644.85/645.35	c current bound: 1884
645.75/646.23	c current bound: 1884
646.63/647.11	c current bound: 1884
647.51/648.00	c current bound: 1884
648.41/648.88	c current bound: 1884
649.29/649.76	c current bound: 1884
650.16/650.64	c current bound: 1884
651.05/651.52	c current bound: 1884
652.19/652.40	c current bound: 1884
652.79/653.27	c current bound: 1884
653.67/654.15	c current bound: 1884
654.57/655.03	c current bound: 1884
655.46/655.91	c current bound: 1884
656.59/656.81	c current bound: 1884
657.22/657.69	c current bound: 1884
658.10/658.57	c current bound: 1884
658.98/659.44	c current bound: 1884
659.88/660.33	c current bound: 1884
661.00/661.21	c current bound: 1884
661.63/662.09	c current bound: 1884
662.51/662.97	c current bound: 1884
663.38/663.85	c current bound: 1884
664.27/664.73	c current bound: 1884
665.39/665.61	c current bound: 1884
666.03/666.49	c current bound: 1884
666.92/667.37	c current bound: 1884
667.81/668.25	c current bound: 1884
668.69/669.14	c current bound: 1884
669.81/670.04	c current bound: 1884
670.71/670.92	c current bound: 1884
671.36/671.80	c current bound: 1884
672.23/672.68	c current bound: 1884
673.12/673.57	c current bound: 1884
674.20/674.48	c current bound: 1884
675.11/675.38	c current bound: 1884
675.82/676.26	c current bound: 1884
676.70/677.14	c current bound: 1884
677.57/678.02	c current bound: 1884
678.71/678.90	c current bound: 1884
679.51/679.80	c current bound: 1884
680.24/680.68	c current bound: 1884
681.12/681.56	c current bound: 1884
681.99/682.44	c current bound: 1884
682.88/683.32	c current bound: 1884
683.92/684.20	c current bound: 1884
684.64/685.08	c current bound: 1884
685.52/685.96	c current bound: 1884
686.41/686.84	c current bound: 1884
687.29/687.72	c current bound: 1884
688.43/688.60	c current bound: 1884
689.05/689.48	c current bound: 1884
689.93/690.36	c current bound: 1884
690.82/691.24	c current bound: 1884
691.70/692.12	c current bound: 1884
692.82/693.01	c current bound: 1884
693.45/693.89	c current bound: 1884
694.34/694.77	c current bound: 1884
695.23/695.65	c current bound: 1884
696.11/696.53	c current bound: 1884
697.23/697.42	c current bound: 1884
697.87/698.29	c current bound: 1884
698.75/699.17	c current bound: 1884
699.64/700.05	c current bound: 1884
700.51/700.93	c current bound: 1884
701.64/701.82	c current bound: 1884
702.55/702.70	c current bound: 1884
703.16/703.57	c current bound: 1884
704.04/704.45	c current bound: 1884
704.91/705.33	c current bound: 1884
706.04/706.22	c current bound: 1884
706.95/707.10	c current bound: 1884
707.56/707.97	c current bound: 1884
708.45/708.85	c current bound: 1884
709.32/709.73	c current bound: 1884
710.45/710.64	c current bound: 1884
711.11/711.52	c current bound: 1884
711.99/712.40	c current bound: 1884
712.87/713.27	c current bound: 1884
713.77/714.16	c current bound: 1884
714.85/715.04	c current bound: 1884
715.52/715.92	c current bound: 1884
716.40/716.81	c current bound: 1884
717.29/717.68	c current bound: 1884
718.17/718.56	c current bound: 1884
719.27/719.44	c current bound: 1884
719.93/720.32	c current bound: 1884
720.81/721.21	c current bound: 1884
721.70/722.09	c current bound: 1884
722.59/722.96	c current bound: 1884
723.67/723.85	c current bound: 1884
724.34/724.73	c current bound: 1884
725.24/725.61	c current bound: 1884
726.12/726.49	c current bound: 1884
727.00/727.37	c current bound: 1884
728.09/728.26	c current bound: 1884
728.78/729.15	c current bound: 1884
729.65/730.03	c current bound: 1884
730.53/730.91	c current bound: 1884
731.42/731.79	c current bound: 1884
732.48/732.67	c current bound: 1884
733.18/733.55	c current bound: 1884
734.06/734.43	c current bound: 1884
734.94/735.30	c current bound: 1884
735.82/736.18	c current bound: 1884
736.89/737.08	c current bound: 1884
737.59/737.96	c current bound: 1884
738.48/738.84	c current bound: 1884
739.35/739.72	c current bound: 1884
740.24/740.60	c current bound: 1884
741.29/741.49	c current bound: 1884
742.01/742.40	c current bound: 1884
742.91/743.27	c current bound: 1884
743.79/744.16	c current bound: 1884
744.67/745.04	c current bound: 1884
745.79/745.92	c current bound: 1884
746.71/746.80	c current bound: 1884
747.32/747.68	c current bound: 1884
748.21/748.56	c current bound: 1884
749.08/749.44	c current bound: 1884
750.19/750.32	c current bound: 1884
751.11/751.20	c current bound: 1884
751.73/752.09	c current bound: 1884
752.62/752.97	c current bound: 1884
753.50/753.84	c current bound: 1884
754.60/754.73	c current bound: 1884
755.48/755.61	c current bound: 1884
756.14/756.49	c current bound: 1884
757.02/757.37	c current bound: 1884
757.93/758.27	c current bound: 1884
759.02/759.15	c current bound: 1884
759.91/760.05	c current bound: 1884
760.58/760.93	c current bound: 1884
761.47/761.81	c current bound: 1884
762.35/762.69	c current bound: 1884
763.22/763.57	c current bound: 1884
764.31/764.45	c current bound: 1884
764.99/765.33	c current bound: 1884
765.87/766.21	c current bound: 1884
766.76/767.09	c current bound: 1884
767.64/767.97	c current bound: 1884
768.72/768.85	c current bound: 1884
769.40/769.75	c current bound: 1884
770.29/770.62	c current bound: 1884
771.44/771.50	c current bound: 1884
772.05/772.38	c current bound: 1884
773.13/773.26	c current bound: 1884
773.80/774.14	c current bound: 1884
774.70/775.02	c current bound: 1884
775.57/775.90	c current bound: 1884
776.45/776.78	c current bound: 1884
777.53/777.66	c current bound: 1884
778.22/778.54	c current bound: 1884
779.11/779.42	c current bound: 1884
779.99/780.31	c current bound: 1884
780.88/781.19	c current bound: 1884
781.94/782.08	c current bound: 1884
782.65/782.95	c current bound: 1884
783.52/783.83	c current bound: 1884
784.41/784.72	c current bound: 1884
785.55/785.60	c current bound: 1884
786.35/786.48	c current bound: 1884
787.05/787.36	c current bound: 1884
787.93/788.23	c current bound: 1884
788.81/789.11	c current bound: 1884
789.69/789.99	c current bound: 1884
790.75/790.88	c current bound: 1884
791.45/791.76	c current bound: 1884
792.34/792.65	c current bound: 1884
793.22/793.53	c current bound: 1884
794.11/794.41	c current bound: 1884
795.15/795.29	c current bound: 1884
795.87/796.17	c current bound: 1884
796.75/797.05	c current bound: 1884
797.62/797.93	c current bound: 1884
798.51/798.81	c current bound: 1884
799.57/799.69	c current bound: 1884
800.29/800.58	c current bound: 1884
801.16/801.45	c current bound: 1884
802.05/802.33	c current bound: 1884
802.92/803.21	c current bound: 1884
803.97/804.10	c current bound: 1884
804.95/805.04	c current bound: 1884
805.56/805.92	c current bound: 1884
806.72/806.80	c current bound: 1884
807.33/807.68	c current bound: 1884
808.42/808.56	c current bound: 1884
809.13/809.47	c current bound: 1884
810.01/810.35	c current bound: 1884
810.89/811.22	c current bound: 1884
811.76/812.11	c current bound: 1884
812.91/813.00	c current bound: 1884
813.53/813.88	c current bound: 1884
814.41/814.76	c current bound: 1884
815.30/815.64	c current bound: 1884
816.18/816.52	c current bound: 1884
817.32/817.40	c current bound: 1884
817.95/818.29	c current bound: 1884
818.81/819.17	c current bound: 1884
819.70/820.05	c current bound: 1884
820.58/820.93	c current bound: 1884
821.70/821.81	c current bound: 1884
822.34/822.69	c current bound: 1884
823.24/823.56	c current bound: 1884
824.11/824.44	c current bound: 1884
824.99/825.32	c current bound: 1884
826.12/826.20	c current bound: 1884
826.75/827.08	c current bound: 1884
827.64/827.96	c current bound: 1884
828.51/828.84	c current bound: 1884
829.39/829.72	c current bound: 1884
830.52/830.61	c current bound: 1884
831.16/831.49	c current bound: 1884
832.03/832.37	c current bound: 1884
832.90/833.24	c current bound: 1884
833.79/834.11	c current bound: 1884
834.82/834.99	c current bound: 1884
835.55/835.87	c current bound: 1884
836.43/836.76	c current bound: 1884
837.31/837.64	c current bound: 1884
838.19/838.51	c current bound: 1884
839.34/839.40	c current bound: 1884
839.95/840.27	c current bound: 1884
840.83/841.15	c current bound: 1884
841.71/842.03	c current bound: 1884
842.59/842.92	c current bound: 1884
843.75/843.80	c current bound: 1884
844.36/844.68	c current bound: 1884
845.25/845.56	c current bound: 1884
846.13/846.44	c current bound: 1884
847.01/847.32	c current bound: 1884
848.13/848.20	c current bound: 1884
848.79/849.09	c current bound: 1884
849.67/849.97	c current bound: 1884
850.56/850.85	c current bound: 1884
851.45/851.73	c current bound: 1884
852.57/852.61	c current bound: 1884
853.22/853.50	c current bound: 1884
854.10/854.37	c current bound: 1884
854.99/855.26	c current bound: 1884
855.86/856.14	c current bound: 1884
856.98/857.03	c current bound: 1884
857.89/857.91	c current bound: 1884
858.79/858.80	c current bound: 1884
859.41/859.67	c current bound: 1884
860.29/860.55	c current bound: 1884
861.38/861.44	c current bound: 1884
862.30/862.32	c current bound: 1884
863.20/863.20	c current bound: 1884
863.81/864.07	c current bound: 1884
864.68/864.96	c current bound: 1884
865.79/865.84	c current bound: 1884
866.71/866.72	c current bound: 1884
867.35/867.60	c current bound: 1884
868.22/868.48	c current bound: 1884
869.10/869.36	c current bound: 1884
870.19/870.26	c current bound: 1884
871.10/871.14	c current bound: 1884
871.77/872.02	c current bound: 1884
872.91/872.90	c current bound: 1884
873.51/873.78	c current bound: 1884
874.60/874.65	c current bound: 1884
875.50/875.53	c current bound: 1884
876.15/876.40	c current bound: 1884
877.03/877.28	c current bound: 1884
877.90/878.16	c current bound: 1884
879.00/879.05	c current bound: 1884
879.89/879.93	c current bound: 1884
880.56/880.81	c current bound: 1884
881.43/881.69	c current bound: 1884
882.31/882.57	c current bound: 1884
883.41/883.46	c current bound: 1884
884.31/884.34	c current bound: 1884
884.97/885.22	c current bound: 1884
886.10/886.10	c current bound: 1884
886.72/886.98	c current bound: 1884
887.79/887.88	c current bound: 1884
888.70/888.77	c current bound: 1884
889.39/889.65	c current bound: 1884
890.27/890.53	c current bound: 1884
891.16/891.41	c current bound: 1884
892.03/892.29	c current bound: 1884
893.11/893.18	c current bound: 1884
893.82/894.07	c current bound: 1884
894.70/894.95	c current bound: 1884
895.59/895.83	c current bound: 1884
896.48/896.71	c current bound: 1884
897.53/897.59	c current bound: 1884
898.25/898.46	c current bound: 1884
899.12/899.34	c current bound: 1884
900.00/900.22	c current bound: 1884
900.89/901.10	c current bound: 1884
901.95/901.99	c current bound: 1884
902.66/902.87	c current bound: 1884
903.54/903.75	c current bound: 1884
904.42/904.63	c current bound: 1884
905.30/905.51	c current bound: 1884
906.46/906.40	c current bound: 1884
907.08/907.28	c current bound: 1884
907.94/908.16	c current bound: 1884
908.82/909.04	c current bound: 1884
910.00/910.05	c current bound: 1884
910.83/910.93	c current bound: 1884
911.75/911.81	c current bound: 1884
912.37/912.69	c current bound: 1884
913.27/913.57	c current bound: 1884
914.14/914.45	c current bound: 1884
915.24/915.35	c current bound: 1884
916.14/916.23	c current bound: 1884
916.80/917.11	c current bound: 1884
917.68/917.99	c current bound: 1884
918.57/918.87	c current bound: 1884
919.65/919.75	c current bound: 1884
920.55/920.64	c current bound: 1884
921.21/921.51	c current bound: 1884
922.10/922.39	c current bound: 1884
922.96/923.26	c current bound: 1884
924.04/924.15	c current bound: 1884
924.95/925.03	c current bound: 1884
925.62/925.91	c current bound: 1884
926.50/926.79	c current bound: 1884
927.38/927.67	c current bound: 1884
928.46/928.55	c current bound: 1884
929.36/929.44	c current bound: 1884
930.02/930.32	c current bound: 1884
930.90/931.19	c current bound: 1884
931.77/932.07	c current bound: 1884
932.86/932.96	c current bound: 1884
933.77/933.84	c current bound: 1884
934.44/934.72	c current bound: 1884
935.30/935.61	c current bound: 1884
936.19/936.49	c current bound: 1884
937.07/937.37	c current bound: 1884
938.18/938.25	c current bound: 1884
938.85/939.13	c current bound: 1884
939.73/940.01	c current bound: 1884
940.61/940.89	c current bound: 1884
941.48/941.77	c current bound: 1884
942.57/942.66	c current bound: 1884
943.25/943.54	c current bound: 1884
944.14/944.42	c current bound: 1884
945.02/945.30	c current bound: 1884
945.91/946.18	c current bound: 1884
946.99/947.07	c current bound: 1884
947.68/947.95	c current bound: 1884
948.57/948.83	c current bound: 1884
949.45/949.72	c current bound: 1884
950.59/950.60	c current bound: 1884
951.40/951.49	c current bound: 1884
952.12/952.37	c current bound: 1884
953.00/953.25	c current bound: 1884
953.87/954.13	c current bound: 1884
954.75/955.01	c current bound: 1884
955.80/955.89	c current bound: 1884
956.51/956.77	c current bound: 1884
957.40/957.65	c current bound: 1884
958.28/958.53	c current bound: 1884
959.15/959.41	c current bound: 1884
960.20/960.30	c current bound: 1884
960.93/961.18	c current bound: 1884
961.81/962.06	c current bound: 1884
962.69/962.94	c current bound: 1884
963.58/963.83	c current bound: 1884
964.47/964.71	c current bound: 1884
965.35/965.59	c current bound: 1884
966.23/966.47	c current bound: 1884
967.10/967.35	c current bound: 1884
967.99/968.22	c current bound: 1884
969.14/969.11	c current bound: 1884
969.76/969.99	c current bound: 1884
970.64/970.86	c current bound: 1884
971.52/971.74	c current bound: 1884
972.40/972.62	c current bound: 1884
973.55/973.51	c current bound: 1884
974.17/974.39	c current bound: 1884
975.04/975.27	c current bound: 1884
975.92/976.15	c current bound: 1884
976.80/977.03	c current bound: 1884
977.94/977.94	c current bound: 1884
978.60/978.81	c current bound: 1884
979.75/979.70	c current bound: 1884
980.36/980.57	c current bound: 1884
981.24/981.45	c current bound: 1884
982.34/982.34	c current bound: 1884
983.00/983.22	c current bound: 1884
983.88/984.09	c current bound: 1884
984.75/984.97	c current bound: 1884
985.65/985.86	c current bound: 1884
986.75/986.75	c current bound: 1884
987.42/987.63	c current bound: 1884
988.31/988.51	c current bound: 1884
989.19/989.39	c current bound: 1884
990.08/990.27	c current bound: 1884
991.17/991.17	c current bound: 1884
991.85/992.05	c current bound: 1884
992.74/992.93	c current bound: 1884
993.63/993.81	c current bound: 1884
994.51/994.69	c current bound: 1884
995.58/995.58	c current bound: 1884
996.28/996.49	c current bound: 1884
997.17/997.38	c current bound: 1884
998.05/998.26	c current bound: 1884
998.94/999.15	c current bound: 1884
1000.08/1000.04	c current bound: 1884
1000.97/1000.92	c current bound: 1884
1001.60/1001.81	c current bound: 1884
1002.49/1002.69	c current bound: 1884
1003.37/1003.58	c current bound: 1884
1004.46/1004.46	c current bound: 1884
1005.37/1005.33	c current bound: 1884
1006.01/1006.22	c current bound: 1884
1006.90/1007.12	c current bound: 1884
1007.80/1008.01	c current bound: 1884
1008.69/1008.89	c current bound: 1884
1009.77/1009.78	c current bound: 1884
1010.46/1010.66	c current bound: 1884
1011.34/1011.55	c current bound: 1884
1012.24/1012.44	c current bound: 1884
1013.12/1013.32	c current bound: 1884
1014.29/1014.22	c current bound: 1884
1014.91/1015.11	c current bound: 1884
1015.81/1016.02	c current bound: 1884
1016.71/1016.91	c current bound: 1884
1017.59/1017.79	c current bound: 1884
1018.67/1018.68	c current bound: 1884
1019.37/1019.56	c current bound: 1884
1020.25/1020.45	c current bound: 1884
1021.13/1021.34	c current bound: 1884
1022.03/1022.22	c current bound: 1884
1023.07/1023.09	c current bound: 1884
1023.78/1023.98	c current bound: 1884
1024.67/1024.87	c current bound: 1884
1025.55/1025.75	c current bound: 1884
1026.44/1026.64	c current bound: 1884
1027.58/1027.52	c current bound: 1884
1028.48/1028.40	c current bound: 1884
1029.09/1029.28	c current bound: 1884
1029.95/1030.18	c current bound: 1884
1030.87/1031.07	c current bound: 1884
1031.97/1031.95	c current bound: 1884
1032.87/1032.83	c current bound: 1884
1033.51/1033.71	c current bound: 1884
1034.39/1034.59	c current bound: 1884
1035.27/1035.48	c current bound: 1884
1036.38/1036.37	c current bound: 1884
1037.28/1037.25	c current bound: 1884
1037.95/1038.15	c current bound: 1884
1038.83/1039.04	c current bound: 1884
1039.72/1039.92	c current bound: 1884
1040.61/1040.80	c current bound: 1884
1041.67/1041.69	c current bound: 1884
1042.39/1042.57	c current bound: 1884
1043.27/1043.46	c current bound: 1884
1044.15/1044.35	c current bound: 1884
1045.03/1045.23	c current bound: 1884
1046.18/1046.12	c current bound: 1884
1046.81/1047.01	c current bound: 1884
1047.71/1047.92	c current bound: 1884
1048.61/1048.80	c current bound: 1884
1049.49/1049.69	c current bound: 1884
1050.59/1050.57	c current bound: 1884
1051.27/1051.46	c current bound: 1884
1052.16/1052.34	c current bound: 1884
1053.04/1053.23	c current bound: 1884
1053.92/1054.11	c current bound: 1884
1055.09/1055.02	c current bound: 1884
1055.99/1055.91	c current bound: 1884
1056.61/1056.79	c current bound: 1884
1057.50/1057.68	c current bound: 1884
1058.38/1058.56	c current bound: 1884
1059.49/1059.46	c current bound: 1884
1060.39/1060.35	c current bound: 1884
1061.05/1061.23	c current bound: 1884
1061.93/1062.11	c current bound: 1884
1063.10/1063.00	c current bound: 1884
1063.70/1063.87	c current bound: 1884
1064.81/1064.75	c current bound: 1884
1065.47/1065.64	c current bound: 1884
1066.35/1066.52	c current bound: 1884
1067.23/1067.40	c current bound: 1884
1068.11/1068.28	c current bound: 1884
1069.20/1069.17	c current bound: 1884
1069.87/1070.05	c current bound: 1884
1070.76/1070.94	c current bound: 1884
1071.65/1071.82	c current bound: 1884
1072.53/1072.71	c current bound: 1884
1073.61/1073.59	c current bound: 1884
1074.31/1074.48	c current bound: 1884
1075.18/1075.36	c current bound: 1884
1076.06/1076.25	c current bound: 1884
1076.97/1077.15	c current bound: 1884
1078.09/1078.03	c current bound: 1884
1078.74/1078.92	c current bound: 1884
1079.63/1079.80	c current bound: 1884
1080.50/1080.69	c current bound: 1884
1081.39/1081.58	c current bound: 1884
1082.50/1082.46	c current bound: 1884
1083.17/1083.35	c current bound: 1884
1084.07/1084.23	c current bound: 1884
1084.94/1085.12	c current bound: 1884
1086.10/1086.00	c current bound: 1884
1086.91/1086.88	c current bound: 1884
1087.60/1087.77	c current bound: 1884
1088.48/1088.66	c current bound: 1884
1089.37/1089.54	c current bound: 1884
1090.25/1090.41	c current bound: 1884
1091.40/1091.30	c current bound: 1884
1092.01/1092.16	c current bound: 1884
1092.87/1093.05	c current bound: 1884
1093.76/1093.94	c current bound: 1884
1094.66/1094.81	c current bound: 1884
1095.71/1095.69	c current bound: 1884
1096.41/1096.57	c current bound: 1884
1097.29/1097.46	c current bound: 1884
1098.17/1098.35	c current bound: 1884
1099.06/1099.22	c current bound: 1884
1100.19/1100.10	c current bound: 1884
1100.82/1100.99	c current bound: 1884
1101.70/1101.87	c current bound: 1884
1102.59/1102.76	c current bound: 1884
1103.47/1103.63	c current bound: 1884
1104.60/1104.51	c current bound: 1884
1105.23/1105.40	c current bound: 1884
1106.12/1106.27	c current bound: 1884
1107.00/1107.16	c current bound: 1884
1107.87/1108.04	c current bound: 1884
1109.01/1108.92	c current bound: 1884
1109.92/1109.81	c current bound: 1884
1110.82/1110.70	c current bound: 1884
1111.42/1111.58	c current bound: 1884
1112.31/1112.48	c current bound: 1884
1113.41/1113.36	c current bound: 1884
1114.32/1114.25	c current bound: 1884
1114.99/1115.13	c current bound: 1884
1115.86/1116.01	c current bound: 1884
1117.03/1116.90	c current bound: 1884
1117.64/1117.77	c current bound: 1884
1118.74/1118.66	c current bound: 1884
1119.40/1119.54	c current bound: 1884
1120.29/1120.43	c current bound: 1884
1121.18/1121.31	c current bound: 1884
1122.35/1122.20	c current bound: 1884
1123.25/1123.10	c current bound: 1884
1123.86/1123.99	c current bound: 1884
1124.75/1124.88	c current bound: 1884
1125.63/1125.77	c current bound: 1884
1126.52/1126.64	c current bound: 1884
1127.64/1127.52	c current bound: 1884
1128.27/1128.39	c current bound: 1884
1129.15/1129.28	c current bound: 1884
1130.04/1130.17	c current bound: 1884
1130.92/1131.05	c current bound: 1884
1132.05/1131.92	c current bound: 1884
1132.68/1132.82	c current bound: 1884
1133.58/1133.70	c current bound: 1884
1134.46/1134.59	c current bound: 1884
1135.36/1135.47	c current bound: 1884
1136.46/1136.36	c current bound: 1884
1137.12/1137.24	c current bound: 1884
1138.01/1138.14	c current bound: 1884
1138.90/1139.02	c current bound: 1884
1139.78/1139.91	c current bound: 1884
1140.87/1140.79	c current bound: 1884
1141.56/1141.67	c current bound: 1884
1142.43/1142.56	c current bound: 1884
1143.32/1143.44	c current bound: 1884
1144.21/1144.33	c current bound: 1884
1145.34/1145.21	c current bound: 1884
1145.97/1146.10	c current bound: 1884
1146.86/1146.98	c current bound: 1884
1147.73/1147.87	c current bound: 1884
1148.62/1148.75	c current bound: 1884
1149.74/1149.64	c current bound: 1884
1150.65/1150.53	c current bound: 1884
1151.28/1151.41	c current bound: 1884
1152.16/1152.29	c current bound: 1884
1153.05/1153.18	c current bound: 1884
1154.13/1154.07	c current bound: 1884
1155.11/1155.06	c current bound: 1884
1155.72/1155.95	c current bound: 1884
1156.61/1156.84	c current bound: 1884
1157.50/1157.73	c current bound: 1884
1158.39/1158.61	c current bound: 1884
1159.56/1159.50	c current bound: 1884
1160.16/1160.38	c current bound: 1884
1161.06/1161.27	c current bound: 1884
1161.94/1162.15	c current bound: 1884
1162.83/1163.04	c current bound: 1884
1163.94/1163.92	c current bound: 1884
1164.85/1164.82	c current bound: 1884
1165.50/1165.70	c current bound: 1884
1166.38/1166.59	c current bound: 1884
1167.28/1167.48	c current bound: 1884
1168.37/1168.35	c current bound: 1884
1169.27/1169.24	c current bound: 1884
1169.92/1170.11	c current bound: 1884
1170.81/1171.00	c current bound: 1884
1171.69/1171.87	c current bound: 1884
1172.77/1172.75	c current bound: 1884
1173.68/1173.63	c current bound: 1884
1174.34/1174.52	c current bound: 1884
1175.20/1175.40	c current bound: 1884
1176.10/1176.29	c current bound: 1884
1177.18/1177.18	c current bound: 1884
1178.09/1178.07	c current bound: 1884
1178.77/1178.95	c current bound: 1884
1179.65/1179.84	c current bound: 1884
1180.54/1180.72	c current bound: 1884
1181.43/1181.61	c current bound: 1884
1182.49/1182.49	c current bound: 1884
1183.20/1183.38	c current bound: 1884
1184.08/1184.27	c current bound: 1884
1184.97/1185.15	c current bound: 1884
1185.86/1186.04	c current bound: 1884
1187.00/1186.94	c current bound: 1884
1187.65/1187.82	c current bound: 1884
1188.54/1188.70	c current bound: 1884
1189.41/1189.59	c current bound: 1884
1190.31/1190.48	c current bound: 1884
1191.40/1191.37	c current bound: 1884
1192.08/1192.25	c current bound: 1884
1192.98/1193.14	c current bound: 1884
1193.85/1194.03	c current bound: 1884
1194.74/1194.89	c current bound: 1884
1195.81/1195.78	c current bound: 1884
1196.50/1196.67	c current bound: 1884
1197.38/1197.55	c current bound: 1884
1198.27/1198.45	c current bound: 1884
1199.17/1199.34	c current bound: 1884
1200.30/1200.23	c current bound: 1884
1201.21/1201.11	c current bound: 1884
1201.83/1202.00	c current bound: 1884
1202.73/1202.89	c current bound: 1884
1203.61/1203.78	c current bound: 1884
1204.71/1204.66	c current bound: 1884
1205.62/1205.55	c current bound: 1884
1206.27/1206.43	c current bound: 1884
1207.16/1207.32	c current bound: 1884
1208.04/1208.20	c current bound: 1884
1208.93/1209.09	c current bound: 1884
1210.01/1209.96	c current bound: 1884
1210.68/1210.86	c current bound: 1884
1211.57/1211.74	c current bound: 1884
1212.47/1212.61	c current bound: 1884
1213.62/1213.50	c current bound: 1884
1214.42/1214.38	c current bound: 1884
1215.11/1215.27	c current bound: 1884
1216.00/1216.15	c current bound: 1884
1216.89/1217.04	c current bound: 1884
1217.77/1217.93	c current bound: 1884
1218.93/1218.81	c current bound: 1884
1219.54/1219.69	c current bound: 1884
1220.43/1220.59	c current bound: 1884
1221.33/1221.49	c current bound: 1884
1222.22/1222.37	c current bound: 1884
1223.33/1223.27	c current bound: 1884
1224.00/1224.14	c current bound: 1884
1224.88/1225.07	c current bound: 1884
1225.76/1225.96	c current bound: 1884
1226.66/1226.84	c current bound: 1884
1227.77/1227.73	c current bound: 1884
1228.68/1228.61	c current bound: 1884
1229.59/1229.50	c current bound: 1884
1230.20/1230.38	c current bound: 1884
1231.09/1231.27	c current bound: 1884
1232.19/1232.16	c current bound: 1884
1233.09/1233.04	c current bound: 1884
1233.74/1233.93	c current bound: 1884
1234.63/1234.81	c current bound: 1884
1235.80/1235.70	c current bound: 1884
1236.59/1236.57	c current bound: 1884
1237.49/1237.45	c current bound: 1884
1238.15/1238.34	c current bound: 1884
1239.04/1239.23	c current bound: 1884
1239.92/1240.11	c current bound: 1884
1241.10/1241.00	c current bound: 1884
1241.89/1241.89	c current bound: 1884
1242.58/1242.78	c current bound: 1884
1243.48/1243.67	c current bound: 1884
1244.37/1244.55	c current bound: 1884
1245.25/1245.44	c current bound: 1884
1246.41/1246.33	c current bound: 1884
1247.03/1247.21	c current bound: 1884
1247.91/1248.10	c current bound: 1884
1248.80/1248.99	c current bound: 1884
1249.70/1249.86	c current bound: 1884
1250.81/1250.74	c current bound: 1884
1251.46/1251.63	c current bound: 1884
1252.60/1252.50	c current bound: 1884
1253.21/1253.38	c current bound: 1884
1254.09/1254.27	c current bound: 1884
1255.20/1255.16	c current bound: 1884
1255.86/1256.06	c current bound: 1884
1256.77/1256.94	c current bound: 1884
1257.66/1257.83	c current bound: 1884
1258.56/1258.72	c current bound: 1884
1259.61/1259.59	c current bound: 1884
1260.33/1260.49	c current bound: 1884
1261.22/1261.38	c current bound: 1884
1262.10/1262.25	c current bound: 1884
1262.99/1263.14	c current bound: 1884
1264.11/1264.02	c current bound: 1884
1264.75/1264.89	c current bound: 1884
1265.63/1265.78	c current bound: 1884
1266.52/1266.65	c current bound: 1884
1267.38/1267.54	c current bound: 1884
1268.52/1268.42	c current bound: 1884
1269.44/1269.30	c current bound: 1884
1270.32/1270.20	c current bound: 1884
1270.93/1271.08	c current bound: 1884
1271.82/1271.97	c current bound: 1884
1272.91/1272.86	c current bound: 1884
1273.84/1273.77	c current bound: 1884
1274.50/1274.65	c current bound: 1884
1275.39/1275.54	c current bound: 1884
1276.27/1276.42	c current bound: 1884
1277.16/1277.30	c current bound: 1884
1278.24/1278.19	c current bound: 1884
1278.93/1279.07	c current bound: 1884
1279.83/1279.96	c current bound: 1884
1280.71/1280.84	c current bound: 1884
1281.59/1281.73	c current bound: 1884
1282.75/1282.61	c current bound: 1884
1283.37/1283.48	c current bound: 1884
1284.24/1284.37	c current bound: 1884
1285.13/1285.26	c current bound: 1884
1286.01/1286.14	c current bound: 1884
1287.13/1287.03	c current bound: 1884
1287.78/1287.91	c current bound: 1884
1288.95/1288.80	c current bound: 1884
1289.56/1289.68	c current bound: 1884
1290.44/1290.57	c current bound: 1884
1291.53/1291.46	c current bound: 1884
1292.21/1292.34	c current bound: 1884
1293.09/1293.23	c current bound: 1884
1293.98/1294.10	c current bound: 1884
1295.15/1295.06	c current bound: 1884
1295.97/1295.94	c current bound: 1884
1296.88/1296.83	c current bound: 1884
1297.54/1297.72	c current bound: 1884
1298.41/1298.60	c current bound: 1884
1299.30/1299.49	c current bound: 1884
1300.20/1300.37	c current bound: 1884
1301.28/1301.26	c current bound: 1884
1301.96/1302.15	c current bound: 1884
1302.85/1303.03	c current bound: 1884
1303.74/1303.92	c current bound: 1884
1304.62/1304.81	c current bound: 1884
1305.68/1305.69	c current bound: 1884
1306.39/1306.59	c current bound: 1884
1307.30/1307.48	c current bound: 1884
1308.19/1308.35	c current bound: 1884
1309.06/1309.22	c current bound: 1884
1310.10/1310.10	c current bound: 1884
1310.83/1310.99	c current bound: 1884
1311.70/1311.88	c current bound: 1884
1312.59/1312.76	c current bound: 1884
1313.47/1313.66	c current bound: 1884
1314.61/1314.53	c current bound: 1884
1315.25/1315.41	c current bound: 1884
1316.14/1316.30	c current bound: 1884
1317.03/1317.19	c current bound: 1884
1317.91/1318.07	c current bound: 1884
1319.01/1318.97	c current bound: 1884
1319.70/1319.86	c current bound: 1884
1320.59/1320.75	c current bound: 1884
1321.47/1321.63	c current bound: 1884
1322.37/1322.51	c current bound: 1884
1323.44/1323.40	c current bound: 1884
1324.14/1324.28	c current bound: 1884
1325.02/1325.17	c current bound: 1884
1325.92/1326.05	c current bound: 1884
1326.80/1326.94	c current bound: 1884
1327.93/1327.82	c current bound: 1884
1328.84/1328.72	c current bound: 1884
1329.48/1329.60	c current bound: 1884
1330.36/1330.49	c current bound: 1884
1331.24/1331.38	c current bound: 1884
1332.33/1332.27	c current bound: 1884
1333.23/1333.16	c current bound: 1884
1333.90/1334.04	c current bound: 1884
1334.79/1334.91	c current bound: 1884
1335.65/1335.80	c current bound: 1884
1336.73/1336.68	c current bound: 1884
1337.65/1337.55	c current bound: 1884
1338.30/1338.44	c current bound: 1884
1339.18/1339.32	c current bound: 1884
1340.06/1340.21	c current bound: 1884
1341.26/1341.10	c current bound: 1884
1342.04/1341.98	c current bound: 1884
1342.73/1342.87	c current bound: 1884
1343.61/1343.73	c current bound: 1884
1344.49/1344.63	c current bound: 1884
1345.38/1345.49	c current bound: 1884
1346.44/1346.38	c current bound: 1884
1347.14/1347.26	c current bound: 1884
1348.02/1348.15	c current bound: 1884
1348.91/1349.03	c current bound: 1884
1349.80/1349.92	c current bound: 1884
1350.97/1350.81	c current bound: 1884
1351.57/1351.70	c current bound: 1884
1352.47/1352.59	c current bound: 1884
1353.35/1353.48	c current bound: 1884
1354.24/1354.36	c current bound: 1884
1355.37/1355.23	c current bound: 1884
1356.00/1356.11	c current bound: 1884
1356.90/1357.00	c current bound: 1884
1357.78/1357.87	c current bound: 1884
1358.64/1358.75	c current bound: 1884
1359.76/1359.64	c current bound: 1884
1360.40/1360.52	c current bound: 1884
1361.30/1361.41	c current bound: 1884
1362.17/1362.29	c current bound: 1884
1363.06/1363.18	c current bound: 1884
1364.15/1364.07	c current bound: 1884
1364.84/1364.95	c current bound: 1884
1365.73/1365.82	c current bound: 1884
1366.59/1366.69	c current bound: 1884
1367.46/1367.57	c current bound: 1884
1368.58/1368.45	c current bound: 1884
1369.24/1369.31	c current bound: 1884
1370.39/1370.20	c current bound: 1884
1370.98/1371.08	c current bound: 1884
1371.87/1371.97	c current bound: 1884
1372.98/1372.86	c current bound: 1884
1373.65/1373.74	c current bound: 1884
1374.54/1374.63	c current bound: 1884
1375.42/1375.51	c current bound: 1884
1376.30/1376.38	c current bound: 1884
1377.39/1377.27	c current bound: 1884
1378.07/1378.15	c current bound: 1884
1378.95/1379.06	c current bound: 1884
1379.86/1379.94	c current bound: 1884
1380.74/1380.83	c current bound: 1884
1381.88/1381.71	c current bound: 1884
1382.51/1382.60	c current bound: 1884
1383.39/1383.48	c current bound: 1884
1384.28/1384.35	c current bound: 1884
1385.16/1385.24	c current bound: 1884
1386.29/1386.11	c current bound: 1884
1387.19/1387.00	c current bound: 1884
1387.80/1387.89	c current bound: 1884
1388.69/1388.78	c current bound: 1884
1389.59/1389.66	c current bound: 1884
1390.67/1390.55	c current bound: 1884
1391.58/1391.44	c current bound: 1884
1392.25/1392.31	c current bound: 1884
1393.11/1393.17	c current bound: 1884
1393.98/1394.06	c current bound: 1884
1395.10/1394.94	c current bound: 1884
1396.00/1395.83	c current bound: 1884
1396.64/1396.70	c current bound: 1884
1397.51/1397.58	c current bound: 1884
1398.40/1398.47	c current bound: 1884
1399.51/1399.36	c current bound: 1884
1400.42/1400.24	c current bound: 1884
1401.06/1401.12	c current bound: 1884
1401.95/1402.01	c current bound: 1884
1402.83/1402.89	c current bound: 1884
1403.92/1403.78	c current bound: 1884
1404.81/1404.66	c current bound: 1884
1405.48/1405.55	c current bound: 1884
1406.37/1406.43	c current bound: 1884
1407.27/1407.32	c current bound: 1884
1408.15/1408.20	c current bound: 1884
1409.22/1409.09	c current bound: 1884
1409.92/1409.97	c current bound: 1884
1410.80/1410.86	c current bound: 1884
1411.69/1411.75	c current bound: 1884
1412.58/1412.63	c current bound: 1884
1413.72/1413.52	c current bound: 1884
1414.36/1414.41	c current bound: 1884
1415.26/1415.33	c current bound: 1884
1416.16/1416.22	c current bound: 1884
1417.32/1417.10	c current bound: 1884
1418.12/1417.98	c current bound: 1884
1418.82/1418.87	c current bound: 1884
1419.70/1419.76	c current bound: 1884
1420.59/1420.65	c current bound: 1884
1421.47/1421.54	c current bound: 1884
1422.60/1422.42	c current bound: 1884
1423.54/1423.31	c current bound: 1884
1424.14/1424.19	c current bound: 1884
1425.02/1425.08	c current bound: 1884
1425.90/1425.96	c current bound: 1884
1427.01/1426.83	c current bound: 1884
1427.92/1427.73	c current bound: 1884
1428.57/1428.62	c current bound: 1884
1429.45/1429.49	c current bound: 1884
1430.32/1430.37	c current bound: 1884
1431.44/1431.25	c current bound: 1884
1432.32/1432.14	c current bound: 1884
1432.96/1433.02	c current bound: 1884
1433.85/1433.90	c current bound: 1884
1434.75/1434.79	c current bound: 1884
1435.82/1435.65	c current bound: 1884
1436.74/1436.54	c current bound: 1884
1437.38/1437.42	c current bound: 1884
1438.26/1438.30	c current bound: 1884
1439.16/1439.19	c current bound: 1884
1440.24/1440.07	c current bound: 1884
1441.15/1440.94	c current bound: 1884
1441.80/1441.83	c current bound: 1884
1442.67/1442.72	c current bound: 1884
1443.86/1443.60	c current bound: 1884
1444.46/1444.47	c current bound: 1884
1445.55/1445.35	c current bound: 1884
1446.21/1446.23	c current bound: 1884
1447.37/1447.10	c current bound: 1884
1447.96/1447.98	c current bound: 1884
1449.05/1448.85	c current bound: 1884
1449.96/1449.74	c current bound: 1884
1450.62/1450.63	c current bound: 1884
1451.51/1451.51	c current bound: 1884
1452.41/1452.42	c current bound: 1884
1453.29/1453.31	c current bound: 1884
1454.37/1454.19	c current bound: 1884
1455.07/1455.07	c current bound: 1884
1455.95/1455.95	c current bound: 1884
1456.83/1456.84	c current bound: 1884
1457.73/1457.72	c current bound: 1884
1458.88/1458.61	c current bound: 1884
1459.50/1459.49	c current bound: 1884
1460.37/1460.38	c current bound: 1884
1461.27/1461.26	c current bound: 1884
1462.16/1462.13	c current bound: 1884
1463.30/1463.01	c current bound: 1884
1464.19/1463.90	c current bound: 1884
1464.80/1464.77	c current bound: 1884
1465.68/1465.65	c current bound: 1884
1466.56/1466.52	c current bound: 1884
1467.72/1467.41	c current bound: 1884
1468.31/1468.29	c current bound: 1884
1469.19/1469.17	c current bound: 1884
1470.09/1470.06	c current bound: 1884
1470.98/1470.94	c current bound: 1884
1472.12/1471.83	c current bound: 1884
1472.76/1472.72	c current bound: 1884
1473.65/1473.61	c current bound: 1884
1474.53/1474.48	c current bound: 1884
1475.41/1475.36	c current bound: 1884
1476.52/1476.24	c current bound: 1884
1477.16/1477.12	c current bound: 1884
1478.05/1478.02	c current bound: 1884
1478.95/1478.90	c current bound: 1884
1479.83/1479.79	c current bound: 1884
1480.94/1480.67	c current bound: 1884
1481.61/1481.56	c current bound: 1884
1482.49/1482.44	c current bound: 1884
1483.38/1483.31	c current bound: 1884
1484.25/1484.19	c current bound: 1884
1485.34/1485.08	c current bound: 1884
1486.01/1485.97	c current bound: 1884
1486.91/1486.85	c current bound: 1884
1487.80/1487.74	c current bound: 1884
1488.69/1488.60	c current bound: 1884
1489.74/1489.47	c current bound: 1884
1490.43/1490.37	c current bound: 1884
1491.32/1491.25	c current bound: 1884
1492.19/1492.13	c current bound: 1884
1493.35/1493.00	c current bound: 1884
1494.14/1493.88	c current bound: 1884
1494.85/1494.77	c current bound: 1884
1495.73/1495.65	c current bound: 1884
1496.62/1496.54	c current bound: 1884
1497.51/1497.42	c current bound: 1884
1498.66/1498.31	c current bound: 1884
1499.28/1499.19	c current bound: 1884
1500.16/1500.06	c current bound: 1884
1501.04/1500.94	c current bound: 1884
1501.92/1501.82	c current bound: 1884
1502.96/1502.69	c current bound: 1884
1503.67/1503.56	c current bound: 1884
1504.54/1504.45	c current bound: 1884
1505.42/1505.33	c current bound: 1884
1506.31/1506.21	c current bound: 1884
1507.47/1507.11	c current bound: 1884
1508.09/1507.98	c current bound: 1884
1508.96/1508.87	c current bound: 1884
1509.85/1509.75	c current bound: 1884
1510.74/1510.64	c current bound: 1884
1511.86/1511.52	c current bound: 1884
1512.79/1512.41	c current bound: 1884
1513.68/1513.30	c current bound: 1884
1514.27/1514.18	c current bound: 1884
1515.17/1515.05	c current bound: 1884
1516.28/1515.93	c current bound: 1884
1517.19/1516.82	c current bound: 1884
1518.10/1517.70	c current bound: 1884
1518.69/1518.59	c current bound: 1884
1519.58/1519.47	c current bound: 1884
1520.68/1520.37	c current bound: 1884
1521.59/1521.28	c current bound: 1884
1522.28/1522.17	c current bound: 1884
1523.17/1523.06	c current bound: 1884
1524.05/1523.92	c current bound: 1884
1524.93/1524.81	c current bound: 1884
1525.99/1525.70	c current bound: 1884
1526.70/1526.58	c current bound: 1884
1527.60/1527.48	c current bound: 1884
1528.48/1528.38	c current bound: 1884
1529.39/1529.27	c current bound: 1884
1530.51/1530.15	c current bound: 1884
1531.16/1531.04	c current bound: 1884
1532.06/1531.93	c current bound: 1884
1532.94/1532.82	c current bound: 1884
1533.83/1533.69	c current bound: 1884
1534.91/1534.57	c current bound: 1884
1535.59/1535.45	c current bound: 1884
1536.47/1536.34	c current bound: 1884
1537.36/1537.22	c current bound: 1884
1538.23/1538.11	c current bound: 1884
1539.30/1538.99	c current bound: 1884
1540.01/1539.88	c current bound: 1884
1540.89/1540.76	c current bound: 1884
1541.77/1541.65	c current bound: 1884
1542.67/1542.54	c current bound: 1884
1543.80/1543.42	c current bound: 1884
1544.70/1544.31	c current bound: 1884
1545.61/1545.20	c current bound: 1884
1546.21/1546.08	c current bound: 1884
1547.10/1546.97	c current bound: 1884
1548.21/1547.85	c current bound: 1884
1549.12/1548.74	c current bound: 1884
1549.75/1549.62	c current bound: 1884
1550.63/1550.51	c current bound: 1884
1551.82/1551.40	c current bound: 1884
1552.60/1552.27	c current bound: 1884
1553.51/1553.16	c current bound: 1884
1554.18/1554.04	c current bound: 1884
1555.06/1554.93	c current bound: 1884
1555.94/1555.81	c current bound: 1884
1557.13/1556.70	c current bound: 1884
1557.93/1557.58	c current bound: 1884
1558.61/1558.47	c current bound: 1884
1559.49/1559.35	c current bound: 1884
1560.38/1560.24	c current bound: 1884
1561.25/1561.12	c current bound: 1884
1562.32/1561.99	c current bound: 1884
1563.02/1562.88	c current bound: 1884
1563.90/1563.77	c current bound: 1884
1564.79/1564.63	c current bound: 1884
1565.67/1565.52	c current bound: 1884
1566.83/1566.41	c current bound: 1884
1567.44/1567.29	c current bound: 1884
1568.31/1568.18	c current bound: 1884
1569.21/1569.06	c current bound: 1884
1570.10/1569.95	c current bound: 1884
1571.23/1570.84	c current bound: 1884
1571.86/1571.72	c current bound: 1884
1572.75/1572.61	c current bound: 1884
1573.93/1573.50	c current bound: 1884
1574.53/1574.38	c current bound: 1884
1575.64/1575.27	c current bound: 1884
1576.31/1576.16	c current bound: 1884
1577.20/1577.05	c current bound: 1884
1578.09/1577.93	c current bound: 1884
1578.97/1578.80	c current bound: 1884
1580.03/1579.69	c current bound: 1884
1580.74/1580.58	c current bound: 1884
1581.62/1581.46	c current bound: 1884
1582.51/1582.35	c current bound: 1884
1583.40/1583.24	c current bound: 1884
1584.53/1584.13	c current bound: 1884
1585.44/1585.02	c current bound: 1884
1586.35/1585.90	c current bound: 1884
1586.94/1586.79	c current bound: 1884
1587.84/1587.65	c current bound: 1884
1588.94/1588.54	c current bound: 1884
1589.84/1589.43	c current bound: 1884
1590.49/1590.31	c current bound: 1884
1591.67/1591.20	c current bound: 1884
1592.26/1592.08	c current bound: 1884
1593.35/1592.97	c current bound: 1884
1594.26/1593.85	c current bound: 1884
1594.92/1594.72	c current bound: 1884
1595.79/1595.60	c current bound: 1884
1596.67/1596.49	c current bound: 1884
1597.75/1597.35	c current bound: 1884
1598.66/1598.24	c current bound: 1884
1599.31/1599.11	c current bound: 1884
1600.19/1600.02	c current bound: 1884
1601.08/1600.90	c current bound: 1884
1602.26/1601.80	c current bound: 1884
1603.05/1602.67	c current bound: 1884
1603.74/1603.54	c current bound: 1884
1604.64/1604.43	c current bound: 1884
1605.50/1605.32	c current bound: 1884
1606.39/1606.18	c current bound: 1884
1607.48/1607.05	c current bound: 1884
1608.15/1607.92	c current bound: 1884
1609.02/1608.80	c current bound: 1884
1609.90/1609.69	c current bound: 1884
1610.99/1610.58	c current bound: 1884
1611.89/1611.46	c current bound: 1884
1612.56/1612.35	c current bound: 1884
1613.44/1613.24	c current bound: 1884
1614.34/1614.12	c current bound: 1884
1615.22/1614.99	c current bound: 1884
1616.28/1615.87	c current bound: 1884
1616.97/1616.77	c current bound: 1884
1617.86/1617.64	c current bound: 1884
1618.74/1618.52	c current bound: 1884
1619.63/1619.41	c current bound: 1884
1620.69/1620.29	c current bound: 1884
1621.40/1621.18	c current bound: 1884
1622.29/1622.07	c current bound: 1884
1623.18/1622.93	c current bound: 1884
1624.04/1623.82	c current bound: 1884
1625.10/1624.70	c current bound: 1884
1625.81/1625.59	c current bound: 1884
1626.71/1626.48	c current bound: 1884
1627.59/1627.36	c current bound: 1884
1628.48/1628.25	c current bound: 1884
1629.60/1629.13	c current bound: 1884
1630.24/1630.02	c current bound: 1884
1631.12/1630.90	c current bound: 1884
1632.00/1631.79	c current bound: 1884
1632.88/1632.67	c current bound: 1884
1634.00/1633.58	c current bound: 1884
1634.69/1634.46	c current bound: 1884
1635.56/1635.34	c current bound: 1884
1636.46/1636.23	c current bound: 1884
1637.34/1637.13	c current bound: 1884
1638.50/1638.01	c current bound: 1884
1639.11/1638.90	c current bound: 1884
1640.01/1639.79	c current bound: 1884
1640.89/1640.67	c current bound: 1884
1641.77/1641.56	c current bound: 1884
1642.88/1642.45	c current bound: 1884
1643.80/1643.33	c current bound: 1884
1644.44/1644.21	c current bound: 1884
1645.33/1645.09	c current bound: 1884
1646.21/1645.96	c current bound: 1884
1647.31/1646.85	c current bound: 1884
1648.21/1647.73	c current bound: 1884
1648.84/1648.61	c current bound: 1884
1649.73/1649.48	c current bound: 1884
1650.60/1650.37	c current bound: 1884
1651.70/1651.25	c current bound: 1884
1652.61/1652.14	c current bound: 1884
1653.25/1653.02	c current bound: 1884
1654.14/1653.91	c current bound: 1884
1655.03/1654.79	c current bound: 1884
1656.11/1655.66	c current bound: 1884
1657.02/1656.54	c current bound: 1884
1657.67/1657.43	c current bound: 1884
1658.83/1658.30	c current bound: 1884
1659.43/1659.18	c current bound: 1884
1660.50/1660.07	c current bound: 1884
1661.43/1660.95	c current bound: 1884
1662.09/1661.82	c current bound: 1884
1662.97/1662.72	c current bound: 1884
1664.14/1663.60	c current bound: 1884
1664.93/1664.46	c current bound: 1884
1665.82/1665.35	c current bound: 1884
1666.49/1666.23	c current bound: 1884
1667.38/1667.11	c current bound: 1884
1668.25/1668.00	c current bound: 1884
1669.16/1668.87	c current bound: 1884
1670.23/1669.76	c current bound: 1884
1670.91/1670.63	c current bound: 1884
1672.06/1671.50	c current bound: 1884
1672.66/1672.39	c current bound: 1884
1673.74/1673.28	c current bound: 1884
1674.65/1674.16	c current bound: 1884
1675.32/1675.04	c current bound: 1884
1676.21/1675.94	c current bound: 1884
1677.12/1676.81	c current bound: 1884
1677.99/1677.70	c current bound: 1884
1679.07/1678.57	c current bound: 1884
1679.73/1679.46	c current bound: 1884
1680.63/1680.35	c current bound: 1884
1681.52/1681.21	c current bound: 1884
1682.38/1682.09	c current bound: 1884
1683.47/1682.98	c current bound: 1884
1684.14/1683.86	c current bound: 1884
1685.04/1684.75	c current bound: 1884
1685.93/1685.64	c current bound: 1884
1686.82/1686.51	c current bound: 1884
1687.86/1687.39	c current bound: 1884
1688.56/1688.28	c current bound: 1884
1689.45/1689.15	c current bound: 1884
1690.33/1690.03	c current bound: 1884
1691.20/1690.90	c current bound: 1884
1692.26/1691.79	c current bound: 1884
1692.96/1692.67	c current bound: 1884
1693.85/1693.56	c current bound: 1884
1694.73/1694.44	c current bound: 1884
1695.61/1695.33	c current bound: 1884
1696.68/1696.20	c current bound: 1884
1697.37/1697.08	c current bound: 1884
1698.25/1697.97	c current bound: 1884
1699.15/1698.85	c current bound: 1884
1700.03/1699.74	c current bound: 1884
1701.18/1700.61	c current bound: 1884
1701.79/1701.49	c current bound: 1884
1702.67/1702.38	c current bound: 1884
1703.55/1703.26	c current bound: 1884
1704.45/1704.13	c current bound: 1884
1705.58/1705.02	c current bound: 1884
1706.20/1705.89	c current bound: 1884
1707.07/1706.78	c current bound: 1884
1707.96/1707.66	c current bound: 1884
1708.85/1708.55	c current bound: 1884
1709.98/1709.43	c current bound: 1884
1710.61/1710.32	c current bound: 1884
1711.48/1711.21	c current bound: 1884
1712.39/1712.09	c current bound: 1884
1713.27/1712.99	c current bound: 1884
1714.36/1713.88	c current bound: 1884
1715.35/1714.83	c current bound: 1884
1715.94/1715.71	c current bound: 1884
1717.12/1716.60	c current bound: 1884
1717.72/1717.49	c current bound: 1884
1718.80/1718.38	c current bound: 1884
1719.71/1719.27	c current bound: 1884
1720.39/1720.15	c current bound: 1884
1721.26/1721.04	c current bound: 1884
1722.17/1721.95	c current bound: 1884
1723.07/1722.83	c current bound: 1884
1724.20/1723.72	c current bound: 1884
1725.12/1724.60	c current bound: 1884
1725.72/1725.48	c current bound: 1884
1726.60/1726.38	c current bound: 1884
1727.50/1727.27	c current bound: 1884
1728.61/1728.15	c current bound: 1884
1729.29/1729.05	c current bound: 1884
1730.18/1729.95	c current bound: 1884
1731.07/1730.84	c current bound: 1884
1731.97/1731.71	c current bound: 1884
1733.10/1732.61	c current bound: 1884
1734.01/1733.51	c current bound: 1884
1734.91/1734.40	c current bound: 1884
1735.52/1735.27	c current bound: 1884
1736.40/1736.16	c current bound: 1884
1737.51/1737.05	c current bound: 1884
1738.41/1737.95	c current bound: 1884
1739.08/1738.84	c current bound: 1884
1739.97/1739.73	c current bound: 1884
1740.85/1740.62	c current bound: 1884
1741.75/1741.52	c current bound: 1884
1742.91/1742.41	c current bound: 1884
1743.55/1743.30	c current bound: 1884
1744.43/1744.17	c current bound: 1884
1745.30/1745.07	c current bound: 1884
1746.21/1745.96	c current bound: 1884
1747.32/1746.85	c current bound: 1884
1747.97/1747.74	c current bound: 1884
1748.86/1748.63	c current bound: 1884
1749.78/1749.53	c current bound: 1884
1750.95/1750.63	c current bound: 1884
1751.56/1751.53	c current bound: 1884
1752.70/1752.42	c current bound: 1884
1753.61/1753.44	c current bound: 1884
1754.24/1754.32	c current bound: 1884
1755.38/1755.20	c current bound: 1884
1756.00/1756.09	c current bound: 1884
1756.88/1756.98	c current bound: 1884
1757.97/1757.88	c current bound: 1884
1758.67/1758.77	c current bound: 1884
1759.57/1759.66	c current bound: 1884
1760.46/1760.53	c current bound: 1884
1761.33/1761.42	c current bound: 1884
1762.48/1762.32	c current bound: 1884
1763.38/1763.21	c current bound: 1884
1764.01/1764.11	c current bound: 1884
1765.18/1765.00	c current bound: 1884
1765.79/1765.90	c current bound: 1884
1766.70/1766.79	c current bound: 1884
1767.78/1767.68	c current bound: 1884
1768.48/1768.58	c current bound: 1884
1769.37/1769.47	c current bound: 1884
1770.27/1770.37	c current bound: 1884
1771.16/1771.26	c current bound: 1884
1772.28/1772.15	c current bound: 1884
1772.96/1773.03	c current bound: 1884
1774.09/1773.90	c current bound: 1884
1774.71/1774.79	c current bound: 1884
1775.60/1775.69	c current bound: 1884
1776.69/1776.58	c current bound: 1884
1777.37/1777.47	c current bound: 1884
1778.27/1778.36	c current bound: 1884
1779.16/1779.26	c current bound: 1884
1780.05/1780.15	c current bound: 1884
1781.17/1781.04	c current bound: 1884
1782.07/1781.93	c current bound: 1884
1782.73/1782.83	c current bound: 1884
1783.63/1783.70	c current bound: 1884
1784.79/1784.60	c current bound: 1884
1785.40/1785.49	c current bound: 1884
1786.48/1786.39	c current bound: 1884
1787.18/1787.28	c current bound: 1884
1788.09/1788.16	c current bound: 1884
1788.96/1789.03	c current bound: 1884
1789.83/1789.93	c current bound: 1884
1791.00/1790.82	c current bound: 1884
1791.61/1791.70	c current bound: 1884
1792.53/1792.62	c current bound: 1884
1793.43/1793.51	c current bound: 1884
1794.59/1794.40	c current bound: 1884
1795.39/1795.27	c current bound: 1884
1796.09/1796.16	c current bound: 1884
1796.97/1797.05	c current bound: 1884
1797.84/1797.94	c current bound: 1884
1798.74/1798.81	c current bound: 1884
1799.70/1799.52	HOME/npSolver-wbo-Itdqb.sh: line 18:  7872 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752617-1339209893/watcher-3752617-1339209893 -o /tmp/evaluation-result-3752617-1339209893/solver-3752617-1339209893 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752617-1339209893.wbo 1854487426 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 7871
/proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0

[startup+0.078563 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 7871
/proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100169 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 7871
/proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300252 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 7871
/proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700112 s]
/proc/loadavg: 1.95 1.99 1.96 3/179 7871
/proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 1.95 1.99 1.96 3/183 7888
/proc/meminfo: memFree=29511072/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1.18 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 4937 23397 0 0 21 5 77 15 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 32304

[startup+3.1002 s]
/proc/loadavg: 1.95 1.99 1.96 3/183 7899
/proc/meminfo: memFree=29508732/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=2.92 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 6935 55680 0 0 38 6 207 41 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 32304

[startup+6.30028 s]
/proc/loadavg: 1.96 1.99 1.96 3/183 7923
/proc/meminfo: memFree=29510292/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=6.05 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 9941 113484 0 0 63 9 448 85 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 32304

[startup+12.7002 s]
/proc/loadavg: 1.96 1.99 1.96 3/183 7976
/proc/meminfo: memFree=29475028/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=12.64 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 17924 227136 0 0 129 16 923 196 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 32304

[startup+25.5004 s]
/proc/loadavg: 1.97 1.99 1.96 3/182 8081
/proc/meminfo: memFree=29473148/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=24.99 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 31910 450001 0 0 253 29 1826 391 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
[pid=8080] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8080/stat : 8080 (satsolver.sh) S 7872 7871 30805 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387120374 9367552 266 33554432000 4194304 5064252 140737273262048 140737273260960 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8080/statm: 2287 266 226 213 0 72 0
[pid=8081] ppid=8080 vsize=50456 CPUtime=0.46 cores=0,2,4,6
/proc/8081/stat : 8081 (glucose) R 8080 7871 30805 0 -1 4202496 11235 0 0 0 44 2 0 0 20 0 1 0 387120374 51666944 11310 33554432000 4194304 5208918 140736208806912 140736208806312 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8081/statm: 12614 11310 105 248 0 12363 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 91908

[startup+51.1003 s]
/proc/loadavg: 1.98 1.99 1.96 3/183 8285
/proc/meminfo: memFree=29514808/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=50.96 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 60890 922399 0 0 511 56 3722 807 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 32304

[startup+102.307 s]
/proc/loadavg: 1.93 1.97 1.96 3/183 8694
/proc/meminfo: memFree=29505660/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=102.09 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 118832 1838743 0 0 1020 109 7445 1635 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
[pid=8692] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8692/stat : 8692 (cp2_post.sh) S 7872 7871 30805 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 387128080 9367552 265 33554432000 4194304 5064252 140734373416352 140734373414640 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8692/statm: 2287 265 225 213 0 72 0
[pid=8694] ppid=8692 vsize=10352 CPUtime=0.2 cores=0,2,4,6
/proc/8694/stat : 8694 (coprocessor) R 8692 7871 30805 0 -1 4202496 2122 0 0 0 12 8 0 0 20 0 1 0 387128080 10600448 1780 33554432000 4194304 6586260 140733694386640 140733694383208 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/8694/statm: 2588 1780 148 584 0 2000 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 51804

[startup+162.3 s]
/proc/loadavg: 1.97 1.97 1.96 3/183 9167
/proc/meminfo: memFree=29455792/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=162.18 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 187754 2920182 0 0 1636 174 11793 2615 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 32304

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/183 9650
/proc/meminfo: memFree=29442104/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=221.83 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 222471 3991950 0 0 2196 229 16193 3565 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
[pid=9649] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9649/stat : 9649 (satsolver.sh) S 7872 7871 30805 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387140053 9367552 267 33554432000 4194304 5064252 140733779244544 140733779243456 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9649/statm: 2287 267 226 213 0 72 0
[pid=9650] ppid=9649 vsize=50460 CPUtime=0.47 cores=0,2,4,6
/proc/9650/stat : 9650 (glucose) R 9649 7871 30805 0 -1 4202496 10854 0 0 0 45 2 0 0 20 0 1 0 387140053 51671040 11551 33554432000 4194304 5208918 140736289444352 140736289442760 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9650/statm: 12615 11551 105 248 0 12364 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 91912

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/183 10126
/proc/meminfo: memFree=29462516/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=282.28 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) R 7871 7871 30805 0 -1 4202496 256141 5077151 0 0 2762 285 20650 4531 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983121424 4537534 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 282.28

################
# More data... #
################

/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 909575 26198227 0 0 14183 1410 106949 23887 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
[pid=19545] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19545/stat : 19545 (satsolver.sh) S 7872 7871 30805 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387264270 9367552 267 33554432000 4194304 5064252 140734625884416 140734625883328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19545/statm: 2287 267 226 213 0 72 0
[pid=19546] ppid=19545 vsize=48928 CPUtime=0.4 cores=0,2,4,6
/proc/19546/stat : 19546 (glucose) R 19545 7871 30805 0 -1 4202496 10865 0 0 0 38 2 0 0 20 0 1 0 387264270 50102272 10940 33554432000 4194304 5208918 140735071046336 140734625883352 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19546/statm: 12232 10940 95 248 0 11981 0
Current children cumulated CPU time (s) 1464.69
Current children cumulated vsize (KiB) 90380

[startup+1464.5 s]
/proc/loadavg: 1.93 2.00 1.99 3/183 19546
/proc/meminfo: memFree=29496212/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1464.29 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) R 7871 7871 30805 0 -1 4202496 909575 26198227 0 0 14183 1410 106949 23887 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 0 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 1464.29
Current children cumulated vsize (KiB) 32304
#
############


[startup+1482.3 s]
/proc/loadavg: 1.87 1.98 1.99 3/181 19684
/proc/meminfo: memFree=29502356/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1482.49 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 919344 26524489 0 0 14348 1426 108288 24187 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 1482.49
Current children cumulated vsize (KiB) 32304

[startup+1542.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 20165
/proc/meminfo: memFree=29442536/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1542.67 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 952528 27594810 0 0 14912 1482 112689 25184 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 1542.67
Current children cumulated vsize (KiB) 32304

[startup+1602.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 20635
/proc/meminfo: memFree=29436020/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1602.35 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 985703 28656700 0 0 15473 1538 117039 26185 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 32304

[startup+1662.3 s]
/proc/loadavg: 2.05 2.00 1.99 3/183 21118
/proc/meminfo: memFree=29441804/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1662.46 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1018887 29734287 0 0 16033 1594 121421 27198 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
[pid=21117] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21117/stat : 21117 (satsolver.sh) S 7872 7871 30805 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387284063 9367552 266 33554432000 4194304 5064252 140735058746160 140735058745072 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21117/statm: 2287 266 226 213 0 72 0
[pid=21118] ppid=21117 vsize=48928 CPUtime=0.38 cores=0,2,4,6
/proc/21118/stat : 21118 (glucose) R 21117 7871 30805 0 -1 4202496 10811 0 0 0 35 3 0 0 20 0 1 0 387284063 50102272 10940 33554432000 4194304 5208918 140737458727696 140737457677192 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21118/statm: 12232 10940 95 248 0 11981 0
Current children cumulated CPU time (s) 1662.84
Current children cumulated vsize (KiB) 90380

[startup+1722.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 21644
/proc/meminfo: memFree=28391780/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1722.56 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1052071 30807358 0 0 16594 1650 125819 28193 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 1722.56
Current children cumulated vsize (KiB) 32304

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/183 22118
/proc/meminfo: memFree=27296840/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1782.22 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1084767 31866366 0 0 17147 1704 130207 29164 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 32304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 1.99 3/183 22258
/proc/meminfo: memFree=27297176/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1799.61 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1094048 32179892 0 0 17305 1719 131491 29446 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
[pid=22256] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22256/stat : 22256 (cp2_post.sh) S 7872 7871 30805 0 -1 4202496 613 225 0 0 0 0 0 0 20 0 1 0 387297812 9367552 266 33554432000 4194304 5064252 140736647817072 140736647815360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22256/statm: 2287 266 225 213 0 72 0
[pid=22258] ppid=22256 vsize=10352 CPUtime=0.09 cores=0,2,4,6
/proc/22258/stat : 22258 (coprocessor) R 22256 7871 30805 0 -1 4202496 2123 0 0 0 7 2 0 0 20 0 1 0 387297812 10600448 1780 33554432000 4194304 6586260 140733492499696 140736647815384 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/22258/statm: 2588 1780 148 584 0 2000 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (KiB) 51804

Sending SIGTERM to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 1.99 3/183 22258
/proc/meminfo: memFree=27297176/32873844 swapFree=7372/7372
[pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7871/statm: 2287 274 233 213 0 72 0
[pid=7872] ppid=7871 vsize=23156 CPUtime=1799.61 cores=0,2,4,6
/proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1094048 32179892 0 0 17305 1719 131491 29446 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7872/statm: 5789 5306 176 443 0 5342 0
[pid=22256] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22256/stat : 22256 (cp2_post.sh) S 7872 7871 30805 0 -1 4202496 613 225 0 0 0 0 0 0 20 0 1 0 387297812 9367552 266 33554432000 4194304 5064252 140736647817072 140736647815360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22256/statm: 2287 266 225 213 0 72 0
[pid=22258] ppid=22256 vsize=10352 CPUtime=0.09 cores=0,2,4,6
/proc/22258/stat : 22258 (coprocessor) R 22256 7871 30805 0 -1 4202496 2123 0 0 0 7 2 0 0 20 0 1 0 387297812 10600448 1780 33554432000 4194304 6586260 140733492499696 140736647815384 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/22258/statm: 2588 1780 148 584 0 2000 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (KiB) 51804

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7871 and gives
#  childrusage.ru_utime.tv_sec=1487
#  childrusage.ru_utime.tv_usec=972793
#  childrusage.ru_stime.tv_sec=311
#  childrusage.ru_stime.tv_usec=664619
# CPU time returned by wait4() is 1799.64
# while last known CPU time is 1799.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.720032
#  lost CPU user time (s): 0.580017
#  lost CPU system time (s): 0.139999

Real time (s): 1799.52
CPU time (s): 1800.42
CPU user time (s): 1488.61
CPU system time (s): 311.81
CPU usage (%): 100.05
Max. virtual memory (cumulated for all children) (KiB): 91916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1487.97
system time used= 311.665
maximum resident set size= 47504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33275429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30211192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 603396
involuntary context switches= 26723

runsolver used 3.3035 second user time and 7.8858 second system time

The end

Launcher Data

Begin job on node109 at 2012-06-09 04:44:53
IDJOB=3752617
IDBENCH=79335
IDSOLVER=2336
FILE ID=node109/3752617-1339209893
RUNJOBID= node109-1339204401-30821
PBS_JOBID= 14643852
Free space on /tmp= 70684 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752617-1339209893/watcher-3752617-1339209893 -o /tmp/evaluation-result-3752617-1339209893/solver-3752617-1339209893 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752617-1339209893.wbo 1854487426 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 17c8063899ee49ebb532fe8c9b769f44
RANDOM SEED=1854487426

node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29547540 kB
Buffers:         1530712 kB
Cached:           753416 kB
SwapCached:         1336 kB
Active:          2317672 kB
Inactive:          41424 kB
Active(anon):      69032 kB
Inactive(anon):     6232 kB
Active(file):    2248640 kB
Inactive(file):    35192 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102640 kB
Dirty:              8260 kB
Writeback:             0 kB
AnonPages:         78976 kB
Mapped:            10024 kB
Shmem:                 4 kB
Slab:             827196 kB
SReclaimable:     268668 kB
SUnreclaim:       558528 kB
KernelStack:        1496 kB
PageTables:         4440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     197772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70168 MiB
End job on node109 at 2012-06-09 05:14:52