Trace number 3752607

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.35 1825.21

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
MD5SUM089f801cecdf2ec1cd48445a7f0604a7
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.774881
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3618
Total number of constraints3931
Number of soft constraints3931
Number of constraints which are clauses2865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1066
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 199976
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 199975
Biggest number in a constraint 7394
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 19679
Number of bits of the biggest sum of numbers15
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.18	c run usual solver
0.99/1.10	o 279
0.99/1.10	c starting approximation
0.99/1.10	c factor = 2
0.99/1.10	c factor still to low - shrinking to 6.58049
0.99/1.10	c approx number of clauses: 1e+06
0.99/1.10	c current bound: 139
1.42/1.78	c current bound: 139
2.11/2.47	c current bound: 139
2.81/3.15	c current bound: 139
3.49/3.82	c current bound: 139
4.36/4.49	c current bound: 139
4.82/5.19	c current bound: 139
5.49/5.86	c current bound: 139
6.42/6.53	c current bound: 139
6.82/7.19	c current bound: 139
7.72/7.88	c current bound: 139
8.18/8.55	c current bound: 139
8.84/9.22	c current bound: 139
9.83/9.91	c current bound: 139
10.19/10.72	c current bound: 139
11.22/11.40	c current bound: 139
11.82/12.08	c current bound: 139
12.26/12.75	c current bound: 139
12.93/13.41	c current bound: 139
13.59/14.10	c current bound: 139
14.28/14.77	c current bound: 139
15.22/15.45	c current bound: 139
15.62/16.13	c current bound: 139
16.31/16.81	c current bound: 139
16.98/17.49	c current bound: 139
17.67/18.17	c current bound: 139
18.62/18.83	c current bound: 139
19.34/19.51	c current bound: 139
19.69/20.34	c current bound: 139
20.67/21.02	c current bound: 139
21.39/21.70	c current bound: 139
21.74/22.39	c current bound: 139
22.68/23.08	c current bound: 139
23.12/23.76	c current bound: 139
23.81/24.44	c current bound: 139
24.80/25.10	c current bound: 139
25.16/25.82	c current bound: 139
26.04/26.49	c current bound: 139
26.49/27.15	c current bound: 139
27.16/27.84	c current bound: 139
28.16/28.51	c current bound: 139
28.52/29.17	c current bound: 139
29.43/29.84	c current bound: 139
30.15/30.50	c current bound: 139
30.51/31.17	c current bound: 139
31.44/31.83	c current bound: 139
32.14/32.50	c current bound: 139
32.73/33.18	c current bound: 139
33.20/33.85	c current bound: 139
33.87/34.51	c current bound: 139
34.75/35.18	c current bound: 139
35.20/35.88	c current bound: 139
35.85/36.54	c current bound: 139
36.81/37.20	c current bound: 139
37.18/37.86	c current bound: 139
38.12/38.53	c current bound: 139
38.53/39.19	c current bound: 139
39.18/39.85	c current bound: 139
40.14/40.61	c current bound: 139
40.51/41.27	c current bound: 139
41.41/41.94	c current bound: 139
42.13/42.60	c current bound: 139
42.49/43.27	c current bound: 139
43.42/43.94	c current bound: 139
44.13/44.60	c current bound: 139
44.71/45.29	c current bound: 139
45.18/45.96	c current bound: 139
45.84/46.63	c current bound: 139
46.71/47.30	c current bound: 139
47.19/47.97	c current bound: 139
47.87/48.63	c current bound: 139
48.82/49.30	c current bound: 139
49.19/49.97	c current bound: 139
50.15/50.83	c current bound: 139
50.54/51.49	c current bound: 139
51.20/52.16	c current bound: 139
52.14/52.83	c current bound: 139
52.54/53.49	c current bound: 139
53.20/54.16	c current bound: 139
53.86/54.82	c current bound: 139
54.53/55.48	c current bound: 139
55.45/56.15	c current bound: 139
55.87/56.82	c current bound: 139
56.54/57.48	c current bound: 139
57.19/58.14	c current bound: 139
57.87/58.81	c current bound: 139
58.76/59.48	c current bound: 139
59.21/60.15	c current bound: 139
60.18/60.96	c current bound: 139
60.81/61.63	c current bound: 139
61.51/62.30	c current bound: 139
61.87/62.96	c current bound: 139
62.55/63.64	c current bound: 139
63.22/64.31	c current bound: 139
64.11/64.98	c current bound: 139
64.56/65.64	c current bound: 139
65.23/66.31	c current bound: 139
65.90/66.97	c current bound: 139
66.56/67.64	c current bound: 139
67.52/68.32	c current bound: 139
67.92/68.99	c current bound: 139
68.59/69.65	c current bound: 139
69.53/70.32	c current bound: 139
69.92/70.98	c current bound: 139
70.82/71.64	c current bound: 139
71.25/72.31	c current bound: 139
71.92/72.98	c current bound: 139
72.83/73.65	c current bound: 139
73.25/74.32	c current bound: 139
74.23/75.01	c current bound: 139
74.60/75.67	c current bound: 139
75.28/76.33	c current bound: 139
76.23/77.01	c current bound: 139
76.61/77.67	c current bound: 139
77.27/78.34	c current bound: 139
78.24/79.00	c current bound: 139
78.59/79.66	c current bound: 139
79.54/80.34	c current bound: 139
79.94/81.17	c current bound: 139
80.62/81.83	c current bound: 139
81.58/82.50	c current bound: 139
81.95/83.17	c current bound: 139
82.62/83.84	c current bound: 139
83.58/84.50	c current bound: 139
83.94/85.16	c current bound: 139
84.87/85.83	c current bound: 139
85.27/86.49	c current bound: 139
85.93/87.15	c current bound: 139
86.60/87.82	c current bound: 139
87.27/88.48	c current bound: 139
88.18/89.14	c current bound: 139
88.61/89.81	c current bound: 139
89.27/90.47	c current bound: 139
90.21/91.29	c current bound: 139
90.58/91.95	c current bound: 139
91.25/92.62	c current bound: 139
91.90/93.28	c current bound: 139
92.57/93.94	c current bound: 139
93.52/94.63	c current bound: 139
93.92/95.29	c current bound: 139
94.58/95.95	c current bound: 139
95.26/96.62	c current bound: 139
95.91/97.28	c current bound: 139
96.82/97.95	c current bound: 139
97.25/98.62	c current bound: 139
97.92/99.29	c current bound: 139
98.57/99.95	c current bound: 139
99.24/100.61	c current bound: 139
100.18/101.46	c current bound: 139
100.58/102.12	c current bound: 139
101.25/102.79	c current bound: 139
102.14/103.47	c current bound: 139
102.58/104.13	c current bound: 139
103.24/104.79	c current bound: 139
103.91/105.46	c current bound: 139
104.58/106.12	c current bound: 139
105.51/106.81	c current bound: 139
105.89/107.47	c current bound: 139
106.56/108.13	c current bound: 139
107.22/108.79	c current bound: 139
107.88/109.46	c current bound: 139
108.82/110.15	c current bound: 139
109.25/110.81	c current bound: 139
109.90/111.47	c current bound: 139
110.82/112.14	c current bound: 139
111.53/112.80	c current bound: 139
112.11/113.46	c current bound: 139
112.55/114.13	c current bound: 139
113.54/114.80	c current bound: 139
114.13/115.47	c current bound: 139
114.58/116.13	c current bound: 139
115.53/116.82	c current bound: 139
115.92/117.48	c current bound: 139
116.57/118.14	c current bound: 139
117.55/118.80	c current bound: 139
117.91/119.47	c current bound: 139
118.58/120.14	c current bound: 139
119.57/120.81	c current bound: 139
119.93/121.59	c current bound: 139
120.83/122.25	c current bound: 139
121.25/122.91	c current bound: 139
121.91/123.57	c current bound: 139
122.84/124.26	c current bound: 139
123.26/124.92	c current bound: 139
124.24/125.60	c current bound: 139
124.61/126.28	c current bound: 139
125.28/126.94	c current bound: 139
126.25/127.60	c current bound: 139
126.62/128.27	c current bound: 139
127.29/128.93	c current bound: 139
127.94/129.59	c current bound: 139
128.61/130.25	c current bound: 139
129.55/130.92	c current bound: 139
129.94/131.69	c current bound: 139
130.61/132.35	c current bound: 139
131.54/133.02	c current bound: 139
131.93/133.68	c current bound: 139
132.84/134.37	c current bound: 139
133.27/135.03	c current bound: 139
134.25/135.70	c current bound: 139
134.84/136.38	c current bound: 139
135.29/137.05	c current bound: 139
135.95/137.76	c current bound: 139
136.63/138.42	c current bound: 139
137.30/139.08	c current bound: 139
138.23/139.75	c current bound: 139
138.63/140.41	c current bound: 139
139.31/141.07	c current bound: 139
140.27/141.93	c current bound: 139
140.64/142.59	c current bound: 139
141.32/143.25	c current bound: 139
141.98/143.92	c current bound: 139
142.64/144.58	c current bound: 139
143.56/145.24	c current bound: 139
144.27/145.90	c current bound: 139
144.63/146.57	c current bound: 139
145.29/147.23	c current bound: 139
145.95/147.89	c current bound: 139
146.85/148.59	c current bound: 139
147.31/149.25	c current bound: 139
147.96/149.91	c current bound: 139
148.64/150.58	c current bound: 139
149.30/151.24	c current bound: 139
150.28/152.11	c current bound: 139
150.65/152.77	c current bound: 139
151.32/153.44	c current bound: 139
152.27/154.11	c current bound: 139
152.65/154.77	c current bound: 139
153.30/155.43	c current bound: 139
153.97/156.09	c current bound: 139
154.63/156.76	c current bound: 139
155.59/157.50	c current bound: 139
155.96/158.17	c current bound: 139
156.63/158.83	c current bound: 139
157.59/159.52	c current bound: 139
157.98/160.18	c current bound: 139
158.65/160.84	c current bound: 139
159.31/161.51	c current bound: 139
159.98/162.17	c current bound: 139
160.90/162.84	c current bound: 139
161.61/163.50	c current bound: 139
161.97/164.16	c current bound: 139
162.64/164.83	c current bound: 139
163.62/165.50	c current bound: 139
164.20/166.17	c current bound: 139
164.66/166.83	c current bound: 139
165.32/167.58	c current bound: 139
166.24/168.24	c current bound: 139
166.94/168.90	c current bound: 139
167.54/169.58	c current bound: 139
167.98/170.24	c current bound: 139
168.94/170.90	c current bound: 139
169.52/171.58	c current bound: 139
169.98/172.25	c current bound: 139
170.66/172.91	c current bound: 139
171.31/173.58	c current bound: 139
171.98/174.25	c current bound: 139
172.94/174.92	c current bound: 139
173.33/175.59	c current bound: 139
173.99/176.25	c current bound: 139
174.66/176.91	c current bound: 139
175.33/177.57	c current bound: 139
176.24/178.25	c current bound: 139
176.96/178.90	c current bound: 139
177.32/179.58	c current bound: 139
177.99/180.23	c current bound: 139
178.96/180.90	c current bound: 139
179.54/181.57	c current bound: 139
179.99/182.23	c current bound: 139
180.95/182.90	c current bound: 139
181.32/183.56	c current bound: 139
181.98/184.23	c current bound: 139
182.84/184.89	c current bound: 139
183.31/185.55	c current bound: 139
183.95/186.23	c current bound: 139
184.62/186.88	c current bound: 139
185.28/187.64	c current bound: 139
186.25/188.30	c current bound: 139
186.60/188.95	c current bound: 139
187.26/189.62	c current bound: 139
188.14/190.28	c current bound: 139
188.57/190.94	c current bound: 139
189.42/191.59	c current bound: 139
189.88/192.27	c current bound: 139
190.54/192.94	c current bound: 139
191.40/193.59	c current bound: 139
191.85/194.25	c current bound: 139
192.51/194.91	c current bound: 139
193.17/195.57	c current bound: 139
193.84/196.25	c current bound: 139
194.79/196.92	c current bound: 139
195.17/197.57	c current bound: 139
195.83/198.23	c current bound: 139
196.81/198.90	c current bound: 139
197.18/199.59	c current bound: 139
198.08/200.24	c current bound: 139
198.50/200.89	c current bound: 139
199.14/201.55	c current bound: 139
200.09/202.42	c current bound: 139
200.45/203.08	c current bound: 139
201.11/203.74	c current bound: 139
202.08/204.40	c current bound: 139
202.45/205.07	c current bound: 139
203.36/205.73	c current bound: 139
203.76/206.39	c current bound: 139
204.43/207.05	c current bound: 139
205.37/207.70	c current bound: 139
205.75/208.37	c current bound: 139
206.65/209.04	c current bound: 139
207.06/209.69	c current bound: 139
207.71/210.35	c current bound: 139
208.37/211.02	c current bound: 139
209.04/211.67	c current bound: 139
209.97/212.33	c current bound: 139
210.64/213.00	c current bound: 139
211.01/213.67	c current bound: 139
211.66/214.32	c current bound: 139
212.31/214.98	c current bound: 139
213.24/215.63	c current bound: 139
213.63/216.29	c current bound: 139
214.29/216.95	c current bound: 139
215.23/217.68	c current bound: 139
215.59/218.33	c current bound: 139
216.46/218.98	c current bound: 139
216.90/219.64	c current bound: 139
217.87/220.30	c current bound: 139
218.22/220.96	c current bound: 139
218.89/221.62	c current bound: 139
219.77/222.29	c current bound: 139
220.23/222.95	c current bound: 139
220.87/223.61	c current bound: 139
221.53/224.28	c current bound: 139
222.20/224.94	c current bound: 139
223.06/225.59	c current bound: 139
223.51/226.26	c current bound: 139
224.19/226.92	c current bound: 139
224.83/227.58	c current bound: 139
225.48/228.23	c current bound: 139
226.35/228.88	c current bound: 139
226.80/229.54	c current bound: 139
227.76/230.20	c current bound: 139
228.10/230.86	c current bound: 139
228.77/231.51	c current bound: 139
229.64/232.16	c current bound: 139
230.08/232.98	c current bound: 139
230.75/233.65	c current bound: 139
231.70/234.31	c current bound: 139
232.05/234.96	c current bound: 139
232.70/235.62	c current bound: 139
233.35/236.27	c current bound: 139
234.03/236.95	c current bound: 139
235.00/237.60	c current bound: 139
235.34/238.28	c current bound: 139
236.02/238.94	c current bound: 139
236.97/239.60	c current bound: 139
237.35/240.27	c current bound: 139
238.27/240.93	c current bound: 139
238.67/241.59	c current bound: 139
239.32/242.25	c current bound: 139
240.25/243.01	c current bound: 139
240.63/243.67	c current bound: 139
241.54/244.33	c current bound: 139
241.93/244.98	c current bound: 139
242.60/245.64	c current bound: 139
243.56/246.30	c current bound: 139
243.91/246.95	c current bound: 139
244.85/247.61	c current bound: 139
245.22/248.28	c current bound: 139
245.90/248.95	c current bound: 139
246.87/249.62	c current bound: 139
247.24/250.28	c current bound: 139
248.16/250.94	c current bound: 139
248.86/251.60	c current bound: 139
249.23/252.28	c current bound: 139
250.21/253.11	c current bound: 139
250.58/253.77	c current bound: 139
251.27/254.44	c current bound: 139
251.92/255.09	c current bound: 139
252.56/255.75	c current bound: 139
253.51/256.41	c current bound: 139
253.88/257.06	c current bound: 139
254.55/257.73	c current bound: 139
255.19/258.38	c current bound: 139
255.87/259.03	c current bound: 139
256.72/259.69	c current bound: 139
257.17/260.34	c current bound: 139
258.12/261.00	c current bound: 139
258.47/261.66	c current bound: 139
259.14/262.32	c current bound: 139
260.00/262.97	c current bound: 139
260.75/263.70	c current bound: 139
261.11/264.37	c current bound: 139
262.05/265.04	c current bound: 139
262.74/265.70	c current bound: 139
263.32/266.37	c current bound: 139
263.77/267.03	c current bound: 139
264.43/267.69	c current bound: 139
265.34/268.35	c current bound: 139
266.04/269.00	c current bound: 139
266.64/269.67	c current bound: 139
267.06/270.33	c current bound: 139
267.74/271.01	c current bound: 139
268.63/271.66	c current bound: 139
269.05/272.32	c current bound: 139
269.91/272.98	c current bound: 139
270.37/273.78	c current bound: 139
271.03/274.44	c current bound: 139
271.99/275.10	c current bound: 139
272.35/275.77	c current bound: 139
273.02/276.44	c current bound: 139
273.99/277.12	c current bound: 139
274.65/277.80	c current bound: 139
275.24/278.46	c current bound: 139
275.67/279.11	c current bound: 139
276.33/279.81	c current bound: 139
277.25/280.47	c current bound: 139
277.66/281.12	c current bound: 139
278.53/281.78	c current bound: 139
278.98/282.43	c current bound: 139
279.64/283.27	c current bound: 139
280.58/283.93	c current bound: 139
280.96/284.59	c current bound: 139
281.64/285.27	c current bound: 139
282.58/285.96	c current bound: 139
282.98/286.62	c current bound: 139
283.87/287.27	c current bound: 139
284.30/287.95	c current bound: 139
284.97/288.61	c current bound: 139
285.87/289.27	c current bound: 139
286.29/289.93	c current bound: 139
287.16/290.58	c current bound: 139
287.61/291.25	c current bound: 139
288.28/291.92	c current bound: 139
289.17/292.60	c current bound: 139
289.62/293.49	c current bound: 139
290.31/294.19	c current bound: 139
291.25/294.85	c current bound: 139
291.66/295.51	c current bound: 139
292.31/296.16	c current bound: 139
292.97/296.82	c current bound: 139
293.63/297.48	c current bound: 139
294.55/298.14	c current bound: 139
294.94/298.79	c current bound: 139
295.61/299.45	c current bound: 139
296.26/300.11	c current bound: 139
296.92/300.76	c current bound: 139
297.86/301.42	c current bound: 139
298.22/302.07	c current bound: 139
298.88/302.73	c current bound: 139
299.53/303.49	c current bound: 139
300.19/304.15	c current bound: 139
301.14/304.81	c current bound: 139
301.51/305.46	c current bound: 139
302.17/306.12	c current bound: 139
302.82/306.78	c current bound: 139
303.49/307.43	c current bound: 139
304.35/308.09	c current bound: 139
304.79/308.74	c current bound: 139
305.75/309.40	c current bound: 139
306.10/310.06	c current bound: 139
306.77/310.72	c current bound: 139
307.64/311.37	c current bound: 139
308.07/312.03	c current bound: 139
309.03/312.80	c current bound: 139
309.69/313.65	c current bound: 139
310.05/314.31	c current bound: 139
310.73/314.97	c current bound: 139
311.64/315.63	c current bound: 139
312.03/316.29	c current bound: 139
312.93/316.94	c current bound: 139
313.64/317.60	c current bound: 139
314.00/318.27	c current bound: 139
314.94/318.92	c current bound: 139
315.32/319.58	c current bound: 139
316.24/320.23	c current bound: 139
316.63/320.89	c current bound: 139
317.28/321.57	c current bound: 139
318.23/322.22	c current bound: 139
318.61/322.88	c current bound: 139
319.52/323.54	c current bound: 139
319.92/324.22	c current bound: 139
320.57/324.87	c current bound: 139
321.50/325.52	c current bound: 139
321.89/326.18	c current bound: 139
322.80/326.83	c current bound: 139
323.20/327.49	c current bound: 139
323.85/328.15	c current bound: 139
324.78/328.97	c current bound: 139
325.16/329.62	c current bound: 139
325.81/330.28	c current bound: 139
326.47/330.94	c current bound: 139
327.13/331.59	c current bound: 139
328.03/332.25	c current bound: 139
328.43/332.91	c current bound: 139
329.09/333.57	c current bound: 139
329.76/334.22	c current bound: 139
330.40/334.88	c current bound: 139
331.33/335.54	c current bound: 139
331.72/336.19	c current bound: 139
332.37/336.87	c current bound: 139
333.05/337.53	c current bound: 139
333.71/338.19	c current bound: 139
334.62/338.85	c current bound: 139
335.03/339.51	c current bound: 139
335.69/340.17	c current bound: 139
336.35/340.83	c current bound: 139
337.01/341.49	c current bound: 139
337.91/342.15	c current bound: 139
338.64/342.80	c current bound: 139
338.98/343.46	c current bound: 139
339.91/344.24	c current bound: 139
340.61/344.90	c current bound: 139
341.20/345.55	c current bound: 139
341.60/346.22	c current bound: 139
342.29/346.89	c current bound: 139
343.19/347.54	c current bound: 139
343.90/348.20	c current bound: 139
344.48/348.85	c current bound: 139
344.91/349.51	c current bound: 139
345.58/350.17	c current bound: 139
346.50/350.83	c current bound: 139
346.89/351.48	c current bound: 139
347.79/352.13	c current bound: 139
348.19/352.79	c current bound: 139
348.86/353.45	c current bound: 139
349.80/354.11	c current bound: 139
350.16/354.78	c current bound: 139
351.08/355.44	c current bound: 139
351.79/356.10	c current bound: 139
352.13/356.77	c current bound: 139
353.07/357.42	c current bound: 139
353.45/358.08	c current bound: 139
354.36/358.73	c current bound: 139
354.76/359.49	c current bound: 139
355.42/360.16	c current bound: 139
356.36/360.82	c current bound: 139
356.73/361.48	c current bound: 139
357.38/362.13	c current bound: 139
358.04/362.79	c current bound: 139
358.72/363.46	c current bound: 139
359.65/364.13	c current bound: 139
360.05/364.78	c current bound: 139
360.69/365.44	c current bound: 139
361.66/366.10	c current bound: 139
362.02/366.79	c current bound: 139
362.96/367.45	c current bound: 139
363.65/368.10	c current bound: 139
364.01/368.76	c current bound: 139
364.68/369.42	c current bound: 139
365.33/370.07	c current bound: 139
366.26/370.73	c current bound: 139
366.65/371.38	c current bound: 139
367.29/372.04	c current bound: 139
368.25/372.70	c current bound: 139
368.63/373.37	c current bound: 139
369.57/374.02	c current bound: 139
369.94/374.84	c current bound: 139
370.61/375.51	c current bound: 139
371.49/376.17	c current bound: 139
371.91/376.83	c current bound: 139
372.79/377.48	c current bound: 139
373.23/378.14	c current bound: 139
373.89/378.81	c current bound: 139
374.79/379.47	c current bound: 139
375.21/380.12	c current bound: 139
376.08/380.77	c current bound: 139
376.50/381.44	c current bound: 139
377.19/382.11	c current bound: 139
378.15/382.85	c current bound: 139
378.50/383.51	c current bound: 139
379.17/384.17	c current bound: 139
380.13/385.09	c current bound: 139
380.49/385.75	c current bound: 139
381.16/386.41	c current bound: 139
381.82/387.06	c current bound: 139
382.47/387.74	c current bound: 139
383.34/388.39	c current bound: 139
383.79/389.06	c current bound: 139
384.47/389.73	c current bound: 139
385.40/390.41	c current bound: 139
385.78/391.07	c current bound: 139
386.70/391.72	c current bound: 139
387.09/392.39	c current bound: 139
387.76/393.05	c current bound: 139
388.71/393.71	c current bound: 139
389.07/394.36	c current bound: 139
389.99/395.21	c current bound: 139
390.36/395.86	c current bound: 139
391.02/396.52	c current bound: 139
391.89/397.19	c current bound: 139
392.34/397.85	c current bound: 139
393.02/398.52	c current bound: 139
393.68/399.18	c current bound: 139
394.33/399.84	c current bound: 139
395.20/400.49	c current bound: 139
395.66/401.15	c current bound: 139
396.31/401.81	c current bound: 139
396.96/402.47	c current bound: 139
397.62/403.12	c current bound: 139
398.50/403.78	c current bound: 139
398.92/404.43	c current bound: 139
399.59/405.32	c current bound: 139
400.46/405.98	c current bound: 139
400.88/406.63	c current bound: 139
401.55/407.29	c current bound: 139
402.20/407.94	c current bound: 139
403.16/408.60	c current bound: 139
403.76/409.26	c current bound: 139
404.18/409.92	c current bound: 139
405.15/410.60	c current bound: 139
405.51/411.25	c current bound: 139
406.15/411.91	c current bound: 139
407.05/412.56	c current bound: 139
407.47/413.22	c current bound: 139
408.14/413.92	c current bound: 139
408.82/414.57	c current bound: 139
409.48/415.45	c current bound: 139
410.14/416.11	c current bound: 139
410.79/416.77	c current bound: 139
411.46/417.42	c current bound: 139
412.32/418.08	c current bound: 139
412.76/418.73	c current bound: 139
413.41/419.38	c current bound: 139
414.06/420.04	c current bound: 139
414.73/420.69	c current bound: 139
415.63/421.35	c current bound: 139
416.03/422.01	c current bound: 139
416.70/422.67	c current bound: 139
417.35/423.32	c current bound: 139
418.00/423.98	c current bound: 139
418.92/424.63	c current bound: 139
419.62/425.50	c current bound: 139
419.96/426.16	c current bound: 139
420.90/426.81	c current bound: 139
421.27/427.48	c current bound: 139
421.94/428.14	c current bound: 139
422.91/428.80	c current bound: 139
423.26/429.47	c current bound: 139
424.20/430.12	c current bound: 139
424.58/430.79	c current bound: 139
425.25/431.44	c current bound: 139
426.20/432.10	c current bound: 139
426.58/432.77	c current bound: 139
427.50/433.43	c current bound: 139
427.87/434.08	c current bound: 139
428.53/434.74	c current bound: 139
429.49/435.40	c current bound: 139
429.84/436.05	c current bound: 139
430.49/436.71	c current bound: 139
431.15/437.38	c current bound: 139
431.82/438.04	c current bound: 139
432.47/438.69	c current bound: 139
433.14/439.36	c current bound: 139
434.06/440.02	c current bound: 139
434.45/440.89	c current bound: 139
435.12/441.57	c current bound: 139
436.04/442.22	c current bound: 139
436.43/442.87	c current bound: 139
437.09/443.55	c current bound: 139
438.04/444.20	c current bound: 139
438.40/444.86	c current bound: 139
439.33/445.52	c current bound: 139
439.71/446.17	c current bound: 139
440.37/446.82	c current bound: 139
441.02/447.48	c current bound: 139
441.69/448.15	c current bound: 139
442.64/448.80	c current bound: 139
443.00/449.46	c current bound: 139
443.65/450.11	c current bound: 139
444.30/450.77	c current bound: 139
444.97/451.54	c current bound: 139
445.83/452.20	c current bound: 139
446.28/452.85	c current bound: 139
446.94/453.51	c current bound: 139
447.59/454.17	c current bound: 139
448.26/454.82	c current bound: 139
449.13/455.47	c current bound: 139
449.87/456.30	c current bound: 139
450.23/456.97	c current bound: 139
451.16/457.63	c current bound: 139
451.55/458.28	c current bound: 139
452.22/458.94	c current bound: 139
453.17/459.60	c current bound: 139
453.52/460.26	c current bound: 139
454.47/460.91	c current bound: 139
454.83/461.56	c current bound: 139
455.48/462.22	c current bound: 139
456.13/462.87	c current bound: 139
456.81/463.55	c current bound: 139
457.67/464.20	c current bound: 139
458.12/464.86	c current bound: 139
458.78/465.52	c current bound: 139
459.43/466.17	c current bound: 139
460.08/466.91	c current bound: 139
460.98/467.57	c current bound: 139
461.40/468.23	c current bound: 139
462.06/468.89	c current bound: 139
462.71/469.54	c current bound: 139
463.36/470.21	c current bound: 139
464.26/470.86	c current bound: 139
464.69/471.52	c current bound: 139
465.35/472.18	c current bound: 139
466.00/472.84	c current bound: 139
466.96/473.50	c current bound: 139
467.55/474.15	c current bound: 139
467.98/474.81	c current bound: 139
468.63/475.47	c current bound: 139
469.30/476.13	c current bound: 139
470.24/476.85	c current bound: 139
470.90/477.50	c current bound: 139
471.25/478.16	c current bound: 139
471.91/478.82	c current bound: 139
472.57/479.48	c current bound: 139
473.22/480.13	c current bound: 139
474.08/480.79	c current bound: 139
474.54/481.44	c current bound: 139
475.49/482.10	c current bound: 139
475.86/482.75	c current bound: 139
476.51/483.41	c current bound: 139
477.40/484.07	c current bound: 139
477.83/484.72	c current bound: 139
478.49/485.38	c current bound: 139
479.13/486.04	c current bound: 139
479.79/486.69	c current bound: 139
480.65/487.38	c current bound: 139
481.10/488.03	c current bound: 139
481.75/488.69	c current bound: 139
482.41/489.35	c current bound: 139
483.37/490.00	c current bound: 139
483.96/490.66	c current bound: 139
484.36/491.31	c current bound: 139
485.32/492.04	c current bound: 139
485.68/492.69	c current bound: 139
486.33/493.35	c current bound: 139
487.29/494.00	c current bound: 139
487.65/494.65	c current bound: 139
488.30/495.33	c current bound: 139
488.98/495.99	c current bound: 139
489.62/496.65	c current bound: 139
490.59/497.30	c current bound: 139
490.94/497.97	c current bound: 139
491.61/498.63	c current bound: 139
492.27/499.29	c current bound: 139
492.92/499.94	c current bound: 139
493.78/500.59	c current bound: 139
494.23/501.26	c current bound: 139
494.89/502.13	c current bound: 139
495.76/502.79	c current bound: 139
496.21/503.44	c current bound: 139
497.17/504.10	c current bound: 139
497.52/504.77	c current bound: 139
498.18/505.43	c current bound: 139
499.04/506.08	c current bound: 139
499.50/506.74	c current bound: 139
500.45/507.40	c current bound: 139
500.81/508.05	c current bound: 139
501.47/508.71	c current bound: 139
502.34/509.37	c current bound: 139
502.78/510.02	c current bound: 139
503.44/510.68	c current bound: 139
504.08/511.35	c current bound: 139
504.75/512.01	c current bound: 139
505.62/512.69	c current bound: 139
506.07/513.35	c current bound: 139
506.72/514.01	c current bound: 139
507.39/514.67	c current bound: 139
508.04/515.32	c current bound: 139
508.92/515.99	c current bound: 139
509.36/516.65	c current bound: 139
510.02/517.31	c current bound: 139
510.68/517.97	c current bound: 139
511.33/518.63	c current bound: 139
512.21/519.28	c current bound: 139
512.65/519.94	c current bound: 139
513.32/520.61	c current bound: 139
513.98/521.26	c current bound: 139
514.63/521.91	c current bound: 139
515.52/522.57	c current bound: 139
515.94/523.23	c current bound: 139
516.62/523.91	c current bound: 139
517.27/524.57	c current bound: 139
517.94/525.22	c current bound: 139
518.84/525.87	c current bound: 139
519.25/526.53	c current bound: 139
519.91/527.39	c current bound: 139
520.82/528.05	c current bound: 139
521.54/528.70	c current bound: 139
521.89/529.36	c current bound: 139
522.54/530.02	c current bound: 139
523.18/530.67	c current bound: 139
524.12/531.32	c current bound: 139
524.49/531.98	c current bound: 139
525.16/532.64	c current bound: 139
525.81/533.29	c current bound: 139
526.48/533.97	c current bound: 139
527.42/534.62	c current bound: 139
527.79/535.27	c current bound: 139
528.44/535.93	c current bound: 139
529.10/536.59	c current bound: 139
529.77/537.26	c current bound: 139
530.69/538.02	c current bound: 139
531.08/538.67	c current bound: 139
531.74/539.33	c current bound: 139
532.39/539.99	c current bound: 139
533.05/540.65	c current bound: 139
534.00/541.31	c current bound: 139
534.35/541.96	c current bound: 139
535.04/542.63	c current bound: 139
535.69/543.28	c current bound: 139
536.35/543.94	c current bound: 139
537.20/544.59	c current bound: 139
537.66/545.24	c current bound: 139
538.31/545.91	c current bound: 139
538.97/546.56	c current bound: 139
539.62/547.21	c current bound: 139
540.50/547.86	c current bound: 139
540.93/548.52	c current bound: 139
541.58/549.18	c current bound: 139
542.24/549.84	c current bound: 139
542.90/550.49	c current bound: 139
543.80/551.15	c current bound: 139
544.51/551.80	c current bound: 139
544.86/552.45	c current bound: 139
545.74/553.27	c current bound: 139
546.18/553.92	c current bound: 139
547.03/554.58	c current bound: 139
547.49/555.25	c current bound: 139
548.17/555.91	c current bound: 139
549.04/556.57	c current bound: 139
549.48/557.23	c current bound: 139
550.34/557.88	c current bound: 139
550.78/558.54	c current bound: 139
551.74/559.20	c current bound: 139
552.34/559.86	c current bound: 139
552.75/560.52	c current bound: 139
553.63/561.17	c current bound: 139
554.08/561.83	c current bound: 139
554.73/562.49	c current bound: 139
555.63/563.25	c current bound: 139
556.05/563.91	c current bound: 139
556.71/564.56	c current bound: 139
557.36/565.22	c current bound: 139
558.02/565.88	c current bound: 139
558.94/566.54	c current bound: 139
559.64/567.20	c current bound: 139
559.99/567.86	c current bound: 139
560.66/568.52	c current bound: 139
561.31/569.17	c current bound: 139
562.24/569.83	c current bound: 139
562.64/570.49	c current bound: 139
563.28/571.15	c current bound: 139
563.95/571.81	c current bound: 139
564.61/572.49	c current bound: 139
565.49/573.19	c current bound: 139
565.94/573.84	c current bound: 139
566.60/574.51	c current bound: 139
567.27/575.16	c current bound: 139
567.92/575.81	c current bound: 139
568.79/576.47	c current bound: 139
569.23/577.12	c current bound: 139
569.88/577.96	c current bound: 139
570.82/578.62	c current bound: 139
571.19/579.28	c current bound: 139
571.84/579.93	c current bound: 139
572.81/580.60	c current bound: 139
573.18/581.28	c current bound: 139
574.10/581.93	c current bound: 139
574.50/582.61	c current bound: 139
575.18/583.27	c current bound: 139
575.84/583.92	c current bound: 139
576.49/584.58	c current bound: 139
577.41/585.23	c current bound: 139
577.80/585.88	c current bound: 139
578.45/586.55	c current bound: 139
579.11/587.23	c current bound: 139
579.80/587.89	c current bound: 139
580.66/588.59	c current bound: 139
581.11/589.25	c current bound: 139
581.77/589.91	c current bound: 139
582.42/590.56	c current bound: 139
583.08/591.22	c current bound: 139
583.96/591.88	c current bound: 139
584.40/592.53	c current bound: 139
585.37/593.20	c current bound: 139
585.72/593.86	c current bound: 139
586.38/594.51	c current bound: 139
587.26/595.17	c current bound: 139
587.69/595.83	c current bound: 139
588.36/596.50	c current bound: 139
589.01/597.15	c current bound: 139
589.97/597.80	c current bound: 139
590.57/598.46	c current bound: 139
590.97/599.11	c current bound: 139
591.64/599.77	c current bound: 139
592.29/600.42	c current bound: 139
592.95/601.07	c current bound: 139
593.87/601.73	c current bound: 139
594.26/602.39	c current bound: 139
594.93/603.19	c current bound: 139
595.83/603.85	c current bound: 139
596.25/604.51	c current bound: 139
597.14/605.17	c current bound: 139
597.55/605.82	c current bound: 139
598.22/606.48	c current bound: 139
599.12/607.14	c current bound: 139
599.53/607.79	c current bound: 139
600.42/608.45	c current bound: 139
600.83/609.11	c current bound: 139
601.51/609.78	c current bound: 139
602.43/610.43	c current bound: 139
602.81/611.09	c current bound: 139
603.72/611.74	c current bound: 139
604.12/612.41	c current bound: 139
604.80/613.08	c current bound: 139
605.72/613.73	c current bound: 139
606.12/614.39	c current bound: 139
607.02/615.04	c current bound: 139
607.43/615.69	c current bound: 139
608.08/616.35	c current bound: 139
609.01/617.02	c current bound: 139
609.39/617.67	c current bound: 139
610.34/618.42	c current bound: 139
610.70/619.08	c current bound: 139
611.35/619.73	c current bound: 139
612.22/620.39	c current bound: 139
612.65/621.04	c current bound: 139
613.63/621.70	c current bound: 139
613.97/622.35	c current bound: 139
614.63/623.02	c current bound: 139
615.51/623.67	c current bound: 139
615.94/624.33	c current bound: 139
616.81/624.98	c current bound: 139
617.27/625.64	c current bound: 139
618.22/626.30	c current bound: 139
618.81/626.96	c current bound: 139
619.23/627.62	c current bound: 139
620.20/628.40	c current bound: 139
620.55/629.06	c current bound: 139
621.20/629.71	c current bound: 139
622.09/630.37	c current bound: 139
622.52/631.02	c current bound: 139
623.48/631.70	c current bound: 139
623.84/632.35	c current bound: 139
624.50/633.01	c current bound: 139
625.38/633.66	c current bound: 139
625.80/634.32	c current bound: 139
626.47/634.98	c current bound: 139
627.12/635.63	c current bound: 139
627.77/636.29	c current bound: 139
628.69/636.96	c current bound: 139
629.10/637.62	c current bound: 139
629.77/638.28	c current bound: 139
630.42/638.97	c current bound: 139
631.08/639.63	c current bound: 139
631.96/640.29	c current bound: 139
632.40/640.95	c current bound: 139
633.07/641.61	c current bound: 139
633.72/642.29	c current bound: 139
634.39/642.94	c current bound: 139
635.35/643.60	c current bound: 139
635.71/644.25	c current bound: 139
636.36/644.92	c current bound: 139
637.02/645.57	c current bound: 139
637.66/646.23	c current bound: 139
638.54/646.88	c current bound: 139
638.98/647.54	c current bound: 139
639.95/648.20	c current bound: 139
640.30/648.85	c current bound: 139
640.96/649.51	c current bound: 139
641.94/650.20	c current bound: 139
642.30/650.87	c current bound: 139
642.98/651.54	c current bound: 139
643.93/652.21	c current bound: 139
644.30/652.88	c current bound: 139
645.27/653.69	c current bound: 139
645.64/654.35	c current bound: 139
646.30/655.01	c current bound: 139
647.21/655.66	c current bound: 139
647.63/656.33	c current bound: 139
648.60/657.00	c current bound: 139
648.95/657.65	c current bound: 139
649.61/658.31	c current bound: 139
650.50/658.97	c current bound: 139
650.93/659.62	c current bound: 139
651.58/660.29	c current bound: 139
652.26/660.94	c current bound: 139
653.20/661.60	c current bound: 139
653.79/662.26	c current bound: 139
654.22/662.93	c current bound: 139
655.20/663.60	c current bound: 139
655.87/664.31	c current bound: 139
656.57/665.00	c current bound: 139
657.16/665.66	c current bound: 139
657.57/666.32	c current bound: 139
658.56/667.00	c current bound: 139
659.16/667.65	c current bound: 139
659.56/668.31	c current bound: 139
660.52/669.12	c current bound: 139
660.87/669.77	c current bound: 139
661.53/670.43	c current bound: 139
662.40/671.08	c current bound: 139
662.84/671.73	c current bound: 139
663.81/672.40	c current bound: 139
664.16/673.06	c current bound: 139
664.82/673.72	c current bound: 139
665.71/674.37	c current bound: 139
666.14/675.03	c current bound: 139
666.80/675.69	c current bound: 139
667.46/676.34	c current bound: 139
668.40/677.00	c current bound: 139
669.01/677.65	c current bound: 139
669.42/678.31	c current bound: 139
670.37/679.10	c current bound: 139
670.96/679.75	c current bound: 139
671.38/680.41	c current bound: 139
672.26/681.06	c current bound: 139
672.69/681.72	c current bound: 139
673.36/682.39	c current bound: 139
674.28/683.04	c current bound: 139
674.67/683.69	c current bound: 139
675.57/684.35	c current bound: 139
676.27/685.00	c current bound: 139
676.64/685.67	c current bound: 139
677.58/686.34	c current bound: 139
677.98/686.99	c current bound: 139
678.87/687.64	c current bound: 139
679.57/688.30	c current bound: 139
679.94/688.96	c current bound: 139
680.85/689.65	c current bound: 139
681.24/690.31	c current bound: 139
682.13/690.97	c current bound: 139
682.57/691.62	c current bound: 139
683.22/692.28	c current bound: 139
684.15/692.94	c current bound: 139
684.84/693.60	c current bound: 139
685.47/694.43	c current bound: 139
685.85/695.09	c current bound: 139
686.51/695.75	c current bound: 139
687.48/696.40	c current bound: 139
687.83/697.06	c current bound: 139
688.48/697.72	c current bound: 139
689.15/698.38	c current bound: 139
689.81/699.03	c current bound: 139
690.67/699.68	c current bound: 139
691.11/700.33	c current bound: 139
691.76/701.00	c current bound: 139
692.40/701.65	c current bound: 139
693.08/702.31	c current bound: 139
693.96/702.96	c current bound: 139
694.39/703.62	c current bound: 139
695.06/704.29	c current bound: 139
695.71/705.00	c current bound: 139
696.36/705.65	c current bound: 139
697.31/706.32	c current bound: 139
697.68/706.97	c current bound: 139
698.35/707.63	c current bound: 139
698.99/708.30	c current bound: 139
699.65/708.96	c current bound: 139
700.60/709.63	c current bound: 139
700.98/710.28	c current bound: 139
701.65/710.94	c current bound: 139
702.31/711.60	c current bound: 139
702.95/712.26	c current bound: 139
703.90/712.91	c current bound: 139
704.28/713.56	c current bound: 139
704.93/714.23	c current bound: 139
705.58/714.88	c current bound: 139
706.24/715.53	c current bound: 139
707.12/716.19	c current bound: 139
707.55/716.84	c current bound: 139
708.52/717.50	c current bound: 139
708.88/718.16	c current bound: 139
709.52/718.81	c current bound: 139
710.48/719.64	c current bound: 139
711.13/720.30	c current bound: 139
711.48/720.97	c current bound: 139
712.42/721.62	c current bound: 139
712.80/722.28	c current bound: 139
713.46/722.94	c current bound: 139
714.12/723.59	c current bound: 139
714.79/724.28	c current bound: 139
715.73/724.93	c current bound: 139
716.10/725.59	c current bound: 139
716.76/726.25	c current bound: 139
717.72/726.90	c current bound: 139
718.08/727.56	c current bound: 139
719.01/728.21	c current bound: 139
719.39/728.87	c current bound: 139
720.03/729.54	c current bound: 139
720.72/730.29	c current bound: 139
721.36/730.94	c current bound: 139
722.23/731.59	c current bound: 139
722.67/732.25	c current bound: 139
723.34/732.91	c current bound: 139
723.99/733.56	c current bound: 139
724.64/734.22	c current bound: 139
725.60/735.00	c current bound: 139
725.95/735.66	c current bound: 139
726.62/736.33	c current bound: 139
727.49/736.99	c current bound: 139
727.93/737.64	c current bound: 139
728.90/738.30	c current bound: 139
729.25/738.95	c current bound: 139
729.92/739.63	c current bound: 139
730.79/740.28	c current bound: 139
731.24/740.95	c current bound: 139
731.91/741.62	c current bound: 139
732.58/742.28	c current bound: 139
733.23/742.94	c current bound: 139
734.08/743.59	c current bound: 139
734.54/744.25	c current bound: 139
735.49/744.91	c current bound: 139
735.85/745.59	c current bound: 139
736.53/746.27	c current bound: 139
737.46/746.93	c current bound: 139
737.85/747.59	c current bound: 139
738.52/748.25	c current bound: 139
739.46/748.90	c current bound: 139
739.85/749.58	c current bound: 139
740.77/750.37	c current bound: 139
741.15/751.04	c current bound: 139
741.84/751.71	c current bound: 139
742.72/752.36	c current bound: 139
743.15/753.02	c current bound: 139
744.03/753.67	c current bound: 139
744.46/754.32	c current bound: 139
745.12/755.02	c current bound: 139
746.02/755.67	c current bound: 139
746.46/756.33	c current bound: 139
747.32/756.99	c current bound: 139
747.78/757.65	c current bound: 139
748.44/758.32	c current bound: 139
749.32/758.97	c current bound: 139
749.76/759.63	c current bound: 139
750.63/760.29	c current bound: 139
751.08/761.03	c current bound: 139
751.73/761.68	c current bound: 139
752.65/762.33	c current bound: 139
753.04/762.98	c current bound: 139
753.70/763.65	c current bound: 139
754.66/764.30	c current bound: 139
755.03/764.98	c current bound: 139
755.96/765.64	c current bound: 139
756.35/766.29	c current bound: 139
757.00/766.95	c current bound: 139
757.66/767.61	c current bound: 139
758.34/768.29	c current bound: 139
759.25/768.94	c current bound: 139
759.96/769.60	c current bound: 139
760.31/770.27	c current bound: 139
761.22/771.04	c current bound: 139
761.94/771.70	c current bound: 139
762.54/772.36	c current bound: 139
762.96/773.01	c current bound: 139
763.62/773.68	c current bound: 139
764.52/774.34	c current bound: 139
764.91/774.99	c current bound: 139
765.83/775.64	c current bound: 139
766.23/776.29	c current bound: 139
766.89/776.96	c current bound: 139
767.84/777.63	c current bound: 139
768.53/778.30	c current bound: 139
769.11/778.96	c current bound: 139
769.54/779.62	c current bound: 139
770.21/780.29	c current bound: 139
771.13/780.95	c current bound: 139
771.81/781.60	c current bound: 139
772.41/782.26	c current bound: 139
772.83/782.91	c current bound: 139
773.49/783.58	c current bound: 139
774.42/784.24	c current bound: 139
774.82/784.91	c current bound: 139
775.77/785.69	c current bound: 139
776.14/786.35	c current bound: 139
777.09/787.00	c current bound: 139
777.69/787.65	c current bound: 139
778.11/788.31	c current bound: 139
778.76/788.97	c current bound: 139
779.41/789.62	c current bound: 139
780.08/790.28	c current bound: 139
780.99/790.94	c current bound: 139
781.70/791.60	c current bound: 139
782.06/792.26	c current bound: 139
782.71/792.92	c current bound: 139
783.37/793.59	c current bound: 139
784.29/794.25	c current bound: 139
784.71/794.91	c current bound: 139
785.35/795.57	c current bound: 139
786.02/796.23	c current bound: 139
786.67/796.89	c current bound: 139
787.59/797.55	c current bound: 139
788.29/798.20	c current bound: 139
788.64/798.88	c current bound: 139
789.32/799.53	c current bound: 139
789.97/800.18	c current bound: 139
790.89/800.95	c current bound: 139
791.57/801.60	c current bound: 139
791.93/802.27	c current bound: 139
792.86/802.92	c current bound: 139
793.26/803.58	c current bound: 139
794.17/804.23	c current bound: 139
794.56/804.89	c current bound: 139
795.22/805.55	c current bound: 139
795.89/806.20	c current bound: 139
796.53/806.86	c current bound: 139
797.48/807.51	c current bound: 139
797.84/808.16	c current bound: 139
798.50/808.82	c current bound: 139
799.16/809.48	c current bound: 139
799.81/810.13	c current bound: 139
800.68/810.79	c current bound: 139
801.42/811.50	c current bound: 139
801.78/812.17	c current bound: 139
802.72/812.82	c current bound: 139
803.10/813.48	c current bound: 139
804.00/814.13	c current bound: 139
804.41/814.79	c current bound: 139
805.07/815.45	c current bound: 139
806.02/816.26	c current bound: 139
806.40/816.91	c current bound: 139
807.05/817.58	c current bound: 139
807.73/818.24	c current bound: 139
808.67/818.90	c current bound: 139
809.28/819.55	c current bound: 139
809.68/820.21	c current bound: 139
810.34/820.87	c current bound: 139
811.00/821.53	c current bound: 139
811.65/822.19	c current bound: 139
812.57/822.84	c current bound: 139
813.27/823.50	c current bound: 139
813.64/824.17	c current bound: 139
814.30/824.83	c current bound: 139
815.27/825.50	c current bound: 139
815.87/826.16	c current bound: 139
816.30/826.83	c current bound: 139
816.95/827.49	c current bound: 139
817.60/828.16	c current bound: 139
818.28/828.81	c current bound: 139
819.14/829.47	c current bound: 139
819.57/830.12	c current bound: 139
820.23/830.78	c current bound: 139
821.17/831.57	c current bound: 139
821.55/832.23	c current bound: 139
822.41/832.88	c current bound: 139
822.85/833.54	c current bound: 139
823.53/834.21	c current bound: 139
824.40/834.86	c current bound: 139
824.83/835.52	c current bound: 139
825.72/836.18	c current bound: 139
826.15/836.83	c current bound: 139
827.13/837.50	c current bound: 139
827.71/838.15	c current bound: 139
828.13/838.82	c current bound: 139
829.01/839.47	c current bound: 139
829.45/840.13	c current bound: 139
830.41/840.80	c current bound: 139
831.01/841.45	c current bound: 139
831.42/842.19	c current bound: 139
832.08/842.86	c current bound: 139
832.75/843.51	c current bound: 139
833.41/844.17	c current bound: 139
834.34/844.83	c current bound: 139
834.73/845.49	c current bound: 139
835.40/846.15	c current bound: 139
836.35/846.80	c current bound: 139
836.72/847.48	c current bound: 139
837.63/848.13	c current bound: 139
838.03/848.79	c current bound: 139
838.69/849.45	c current bound: 139
839.65/850.10	c current bound: 139
840.00/850.76	c current bound: 139
840.93/851.42	c current bound: 139
841.62/852.20	c current bound: 139
841.98/852.87	c current bound: 139
842.89/853.52	c current bound: 139
843.29/854.17	c current bound: 139
844.20/854.83	c current bound: 139
844.59/855.48	c current bound: 139
845.26/856.15	c current bound: 139
846.22/856.81	c current bound: 139
846.57/857.47	c current bound: 139
847.49/858.13	c current bound: 139
847.87/858.78	c current bound: 139
848.53/859.44	c current bound: 139
849.18/860.10	c current bound: 139
849.84/860.76	c current bound: 139
850.79/861.41	c current bound: 139
851.16/862.27	c current bound: 139
851.81/862.92	c current bound: 139
852.68/863.57	c current bound: 139
853.12/864.23	c current bound: 139
854.09/864.90	c current bound: 139
854.44/865.55	c current bound: 139
855.09/866.21	c current bound: 139
855.99/866.86	c current bound: 139
856.41/867.52	c current bound: 139
857.06/868.19	c current bound: 139
857.73/868.85	c current bound: 139
858.69/869.50	c current bound: 139
859.27/870.15	c current bound: 139
859.69/870.81	c current bound: 139
860.36/871.48	c current bound: 139
861.26/872.25	c current bound: 139
861.68/872.92	c current bound: 139
862.56/873.57	c current bound: 139
863.00/874.23	c current bound: 139
863.96/874.90	c current bound: 139
864.56/875.55	c current bound: 139
864.96/876.21	c current bound: 139
865.85/876.86	c current bound: 139
866.28/877.52	c current bound: 139
866.96/878.19	c current bound: 139
867.84/878.85	c current bound: 139
868.56/879.50	c current bound: 139
869.16/880.19	c current bound: 139
869.60/880.84	c current bound: 139
870.26/881.51	c current bound: 139
871.15/882.17	c current bound: 139
871.57/882.82	c current bound: 139
872.45/883.49	c current bound: 139
872.89/884.14	c current bound: 139
873.56/884.81	c current bound: 139
874.45/885.46	c current bound: 139
874.86/886.12	c current bound: 139
875.81/886.96	c current bound: 139
876.46/887.62	c current bound: 139
876.85/888.27	c current bound: 139
877.76/888.93	c current bound: 139
878.15/889.59	c current bound: 139
878.81/890.26	c current bound: 139
879.76/890.91	c current bound: 139
880.14/891.57	c current bound: 139
881.05/892.22	c current bound: 139
881.44/892.88	c current bound: 139
882.12/893.55	c current bound: 139
883.08/894.20	c current bound: 139
883.42/894.86	c current bound: 139
884.35/895.51	c current bound: 139
884.73/896.16	c current bound: 139
885.39/896.84	c current bound: 139
886.29/897.57	c current bound: 139
886.71/898.22	c current bound: 139
887.59/898.88	c current bound: 139
888.03/899.55	c current bound: 139
888.72/900.22	c current bound: 139
889.60/900.88	c current bound: 139
890.02/901.53	c current bound: 139
890.89/902.18	c current bound: 139
891.33/902.84	c current bound: 139
892.00/903.51	c current bound: 139
892.90/904.17	c current bound: 139
893.32/904.82	c current bound: 139
894.19/905.47	c current bound: 139
894.62/906.13	c current bound: 139
895.28/906.79	c current bound: 139
896.15/907.57	c current bound: 139
896.59/908.23	c current bound: 139
897.26/908.89	c current bound: 139
897.91/909.55	c current bound: 139
898.56/910.21	c current bound: 139
899.46/910.86	c current bound: 139
899.88/911.52	c current bound: 139
900.53/912.18	c current bound: 139
901.20/912.83	c current bound: 139
901.85/913.49	c current bound: 139
902.75/914.14	c current bound: 139
903.46/914.80	c current bound: 139
903.82/915.46	c current bound: 139
904.48/916.11	c current bound: 139
905.13/916.76	c current bound: 139
906.05/917.43	c current bound: 139
906.43/918.08	c current bound: 139
907.09/918.76	c current bound: 139
907.75/919.41	c current bound: 139
908.44/920.09	c current bound: 139
909.35/920.74	c current bound: 139
910.04/921.40	c current bound: 139
910.40/922.06	c current bound: 139
911.05/922.73	c current bound: 139
911.72/923.39	c current bound: 139
912.63/924.04	c current bound: 139
913.33/924.70	c current bound: 139
913.69/925.36	c current bound: 139
914.34/926.01	c current bound: 139
915.02/926.68	c current bound: 139
915.97/927.43	c current bound: 139
916.32/928.09	c current bound: 139
917.00/928.76	c current bound: 139
917.94/929.42	c current bound: 139
918.30/930.09	c current bound: 139
919.23/930.75	c current bound: 139
919.64/931.41	c current bound: 139
920.32/932.08	c current bound: 139
921.24/932.73	c current bound: 139
921.62/933.39	c current bound: 139
922.53/934.04	c current bound: 139
922.93/934.71	c current bound: 139
923.60/935.37	c current bound: 139
924.53/936.03	c current bound: 139
924.92/936.68	c current bound: 139
925.85/937.56	c current bound: 139
926.51/938.22	c current bound: 139
926.88/938.88	c current bound: 139
927.79/939.53	c current bound: 139
928.18/940.18	c current bound: 139
928.85/940.86	c current bound: 139
929.79/941.52	c current bound: 139
930.19/942.18	c current bound: 139
931.10/942.83	c current bound: 139
931.49/943.49	c current bound: 139
932.15/944.16	c current bound: 139
933.11/944.81	c current bound: 139
933.46/945.46	c current bound: 139
934.39/946.12	c current bound: 139
934.77/946.77	c current bound: 139
935.43/947.43	c current bound: 139
936.09/948.10	c current bound: 139
936.75/948.76	c current bound: 139
937.71/949.41	c current bound: 139
938.08/950.08	c current bound: 139
938.74/950.74	c current bound: 139
939.40/951.40	c current bound: 139
940.06/952.06	c current bound: 139
941.01/952.89	c current bound: 139
941.41/953.55	c current bound: 139
942.08/954.22	c current bound: 139
942.95/954.89	c current bound: 139
943.41/955.55	c current bound: 139
944.07/956.22	c current bound: 139
944.75/956.88	c current bound: 139
945.41/957.54	c current bound: 139
946.36/958.20	c current bound: 139
946.72/958.87	c current bound: 139
947.38/959.53	c current bound: 139
948.04/960.19	c current bound: 139
948.70/960.85	c current bound: 139
949.62/961.53	c current bound: 139
950.02/962.19	c current bound: 139
950.70/962.96	c current bound: 139
951.64/963.65	c current bound: 139
952.06/964.31	c current bound: 139
952.72/964.98	c current bound: 139
953.39/965.65	c current bound: 139
954.07/966.31	c current bound: 139
954.94/966.99	c current bound: 139
955.40/967.66	c current bound: 139
956.08/968.32	c current bound: 139
956.73/968.98	c current bound: 139
957.39/969.65	c current bound: 139
958.35/970.32	c current bound: 139
958.74/970.99	c current bound: 139
959.40/971.65	c current bound: 139
960.35/972.31	c current bound: 139
960.73/973.16	c current bound: 139
961.39/973.82	c current bound: 139
962.05/974.48	c current bound: 139
962.71/975.14	c current bound: 139
963.67/975.83	c current bound: 139
964.07/976.49	c current bound: 139
964.72/977.15	c current bound: 139
965.65/977.82	c current bound: 139
966.05/978.48	c current bound: 139
966.94/979.16	c current bound: 139
967.40/979.84	c current bound: 139
968.06/980.52	c current bound: 139
968.96/981.20	c current bound: 139
969.42/981.88	c current bound: 139
970.10/982.55	c current bound: 139
970.77/983.26	c current bound: 139
971.47/983.93	c current bound: 139
972.47/984.60	c current bound: 139
972.81/985.28	c current bound: 139
973.49/985.96	c current bound: 139
974.45/986.64	c current bound: 139
974.86/987.31	c current bound: 139
975.86/988.00	c current bound: 139
976.22/988.73	c current bound: 139
977.23/989.40	c current bound: 139
977.81/990.08	c current bound: 139
978.25/990.78	c current bound: 139
978.94/991.45	c current bound: 139
979.92/992.13	c current bound: 139
980.29/992.81	c current bound: 139
981.21/993.48	c current bound: 139
981.65/994.16	c current bound: 139
982.34/994.86	c current bound: 139
983.32/995.54	c current bound: 139
983.73/996.22	c current bound: 139
984.41/996.89	c current bound: 139
985.08/997.57	c current bound: 139
985.77/998.26	c current bound: 139
986.73/998.93	c current bound: 139
987.13/999.61	c current bound: 139
987.81/1000.30	c current bound: 139
988.73/1000.97	c current bound: 139
989.17/1001.64	c current bound: 139
990.13/1002.32	c current bound: 139
990.85/1003.00	c current bound: 139
991.21/1003.68	c current bound: 139
992.15/1004.36	c current bound: 139
992.56/1005.06	c current bound: 139
993.26/1005.74	c current bound: 139
994.26/1006.41	c current bound: 139
994.62/1007.09	c current bound: 139
995.55/1007.77	c current bound: 139
996.31/1008.69	c current bound: 139
996.66/1009.37	c current bound: 139
997.33/1010.06	c current bound: 139
998.01/1010.74	c current bound: 139
998.70/1011.41	c current bound: 139
999.60/1012.09	c current bound: 139
1000.41/1012.80	c current bound: 139
1001.08/1013.60	c current bound: 139
1001.69/1014.28	c current bound: 139
1002.13/1014.96	c current bound: 139
1002.80/1015.65	c current bound: 139
1003.78/1016.34	c current bound: 139
1004.18/1017.04	c current bound: 139
1005.19/1017.74	c current bound: 139
1005.58/1018.42	c current bound: 139
1006.27/1019.14	c current bound: 139
1007.23/1019.82	c current bound: 139
1007.94/1020.50	c current bound: 139
1008.29/1021.18	c current bound: 139
1009.23/1021.85	c current bound: 139
1009.66/1022.53	c current bound: 139
1010.53/1023.18	c current bound: 139
1010.98/1023.87	c current bound: 139
1011.67/1024.55	c current bound: 139
1012.64/1025.20	c current bound: 139
1013.00/1025.88	c current bound: 139
1013.69/1026.56	c current bound: 139
1014.36/1027.24	c current bound: 139
1015.03/1027.92	c current bound: 139
1016.05/1028.82	c current bound: 139
1016.42/1029.50	c current bound: 139
1017.08/1030.17	c current bound: 139
1018.02/1030.86	c current bound: 139
1018.43/1031.53	c current bound: 139
1019.44/1032.21	c current bound: 139
1020.04/1032.89	c current bound: 139
1020.48/1033.57	c current bound: 139
1021.15/1034.24	c current bound: 139
1021.83/1034.92	c current bound: 139
1022.84/1035.60	c current bound: 139
1023.43/1036.26	c current bound: 139
1023.86/1036.93	c current bound: 139
1024.54/1037.62	c current bound: 139
1025.23/1038.29	c current bound: 139
1025.89/1038.97	c current bound: 139
1026.84/1039.65	c current bound: 139
1027.25/1040.33	c current bound: 139
1027.93/1041.02	c current bound: 139
1028.96/1041.71	c current bound: 139
1029.66/1042.40	c current bound: 139
1030.00/1043.07	c current bound: 139
1030.99/1043.98	c current bound: 139
1031.36/1044.65	c current bound: 139
1032.04/1045.34	c current bound: 139
1033.02/1046.02	c current bound: 139
1033.40/1046.69	c current bound: 139
1034.32/1047.38	c current bound: 139
1034.77/1048.06	c current bound: 139
1035.45/1048.74	c current bound: 139
1036.45/1049.41	c current bound: 139
1036.80/1050.09	c current bound: 139
1037.49/1050.77	c current bound: 139
1038.16/1051.44	c current bound: 139
1038.83/1052.12	c current bound: 139
1039.81/1052.82	c current bound: 139
1040.21/1053.49	c current bound: 139
1040.87/1054.17	c current bound: 139
1041.82/1054.85	c current bound: 139
1042.22/1055.52	c current bound: 139
1043.12/1056.18	c current bound: 139
1043.56/1056.87	c current bound: 139
1044.25/1057.54	c current bound: 139
1045.22/1058.22	c current bound: 139
1045.91/1059.00	c current bound: 139
1046.26/1059.68	c current bound: 139
1047.20/1060.36	c current bound: 139
1047.63/1061.04	c current bound: 139
1048.59/1061.72	c current bound: 139
1049.31/1062.40	c current bound: 139
1049.67/1063.08	c current bound: 139
1050.62/1063.75	c current bound: 139
1051.01/1064.43	c current bound: 139
1051.70/1065.12	c current bound: 139
1052.39/1065.79	c current bound: 139
1053.06/1066.47	c current bound: 139
1054.00/1067.16	c current bound: 139
1054.43/1067.85	c current bound: 139
1055.10/1068.52	c current bound: 139
1056.11/1069.31	c current bound: 139
1056.46/1069.99	c current bound: 139
1057.14/1070.66	c current bound: 139
1058.09/1071.34	c current bound: 139
1058.49/1072.03	c current bound: 139
1059.50/1072.71	c current bound: 139
1059.87/1073.38	c current bound: 139
1060.88/1074.28	c current bound: 139
1061.22/1074.97	c current bound: 139
1061.91/1075.64	c current bound: 139
1062.58/1076.32	c current bound: 139
1063.59/1077.00	c current bound: 139
1063.94/1077.68	c current bound: 139
1064.62/1078.36	c current bound: 139
1065.58/1079.03	c current bound: 139
1065.98/1079.72	c current bound: 139
1067.00/1080.40	c current bound: 139
1067.34/1081.07	c current bound: 139
1068.02/1081.72	c current bound: 139
1069.00/1082.41	c current bound: 139
1069.36/1083.08	c current bound: 139
1070.05/1083.76	c current bound: 139
1071.03/1084.68	c current bound: 139
1071.41/1085.36	c current bound: 139
1072.10/1086.03	c current bound: 139
1073.10/1086.71	c current bound: 139
1073.46/1087.39	c current bound: 139
1074.37/1088.07	c current bound: 139
1074.81/1088.74	c current bound: 139
1075.48/1089.65	c current bound: 139
1076.18/1090.31	c current bound: 139
1077.17/1091.00	c current bound: 139
1077.53/1091.68	c current bound: 139
1078.48/1092.37	c current bound: 139
1078.91/1093.07	c current bound: 139
1079.62/1093.75	c current bound: 139
1080.60/1094.63	c current bound: 139
1080.99/1095.32	c current bound: 139
1081.66/1096.02	c current bound: 139
1082.59/1096.70	c current bound: 139
1083.04/1097.39	c current bound: 139
1083.75/1098.08	c current bound: 139
1084.42/1098.76	c current bound: 139
1085.44/1099.64	c current bound: 139
1085.79/1100.32	c current bound: 139
1086.46/1101.00	c current bound: 139
1087.15/1101.68	c current bound: 139
1088.07/1102.35	c current bound: 139
1088.50/1103.03	c current bound: 139
1089.17/1103.71	c current bound: 139
1090.08/1104.39	c current bound: 139
1090.86/1105.10	c current bound: 139
1091.21/1105.79	c current bound: 139
1091.91/1106.44	c current bound: 139
1092.86/1107.10	c current bound: 139
1093.45/1107.78	c current bound: 139
1093.89/1108.46	c current bound: 139
1094.57/1109.14	c current bound: 139
1095.56/1109.81	c current bound: 139
1095.92/1110.49	c current bound: 139
1096.85/1111.17	c current bound: 139
1097.29/1111.85	c current bound: 139
1097.97/1112.53	c current bound: 139
1098.97/1113.21	c current bound: 139
1099.33/1113.88	c current bound: 139
1100.00/1114.77	c current bound: 139
1100.94/1115.43	c current bound: 139
1101.35/1116.12	c current bound: 139
1102.34/1116.80	c current bound: 139
1102.69/1117.47	c current bound: 139
1103.37/1118.15	c current bound: 139
1104.34/1118.84	c current bound: 139
1105.04/1119.50	c current bound: 139
1105.40/1120.25	c current bound: 139
1106.38/1120.94	c current bound: 139
1106.77/1121.61	c current bound: 139
1107.46/1122.29	c current bound: 139
1108.12/1122.97	c current bound: 139
1108.81/1123.65	c current bound: 139
1109.77/1124.31	c current bound: 139
1110.49/1125.00	c current bound: 139
1110.85/1125.68	c current bound: 139
1111.80/1126.37	c current bound: 139
1112.22/1127.04	c current bound: 139
1113.19/1127.72	c current bound: 139
1113.89/1128.40	c current bound: 139
1114.25/1129.07	c current bound: 139
1115.22/1129.89	c current bound: 139
1115.60/1130.57	c current bound: 139
1116.28/1131.24	c current bound: 139
1117.25/1131.92	c current bound: 139
1117.64/1132.59	c current bound: 139
1118.67/1133.30	c current bound: 139
1119.02/1133.97	c current bound: 139
1119.70/1134.65	c current bound: 139
1120.65/1135.34	c current bound: 139
1121.04/1136.02	c current bound: 139
1121.74/1136.69	c current bound: 139
1122.65/1137.37	c current bound: 139
1123.08/1138.05	c current bound: 139
1123.76/1138.72	c current bound: 139
1124.76/1139.40	c current bound: 139
1125.12/1140.05	c current bound: 139
1126.06/1140.73	c current bound: 139
1126.77/1141.40	c current bound: 139
1127.12/1142.08	c current bound: 139
1127.81/1142.77	c current bound: 139
1128.48/1143.44	c current bound: 139
1129.47/1144.13	c current bound: 139
1130.19/1144.98	c current bound: 139
1130.54/1145.65	c current bound: 139
1131.49/1146.32	c current bound: 139
1132.21/1147.00	c current bound: 139
1132.56/1147.68	c current bound: 139
1133.50/1148.36	c current bound: 139
1133.92/1149.05	c current bound: 139
1134.92/1149.70	c current bound: 139
1135.26/1150.43	c current bound: 139
1135.93/1151.11	c current bound: 139
1136.85/1151.79	c current bound: 139
1137.29/1152.47	c current bound: 139
1137.98/1153.14	c current bound: 139
1138.95/1153.82	c current bound: 139
1139.66/1154.50	c current bound: 139
1140.25/1155.18	c current bound: 139
1140.70/1155.86	c current bound: 139
1141.36/1156.55	c current bound: 139
1142.36/1157.23	c current bound: 139
1142.75/1157.91	c current bound: 139
1143.43/1158.59	c current bound: 139
1144.10/1159.27	c current bound: 139
1144.79/1160.03	c current bound: 139
1145.79/1160.70	c current bound: 139
1146.14/1161.38	c current bound: 139
1146.82/1162.06	c current bound: 139
1147.79/1162.73	c current bound: 139
1148.18/1163.41	c current bound: 139
1148.86/1164.10	c current bound: 139
1149.54/1164.78	c current bound: 139
1150.54/1165.60	c current bound: 139
1150.91/1166.28	c current bound: 139
1151.58/1166.96	c current bound: 139
1152.26/1167.64	c current bound: 139
1153.24/1168.31	c current bound: 139
1153.96/1169.00	c current bound: 139
1154.31/1169.68	c current bound: 139
1155.25/1170.36	c current bound: 139
1155.67/1171.03	c current bound: 139
1156.63/1171.72	c current bound: 139
1157.03/1172.39	c current bound: 139
1157.68/1173.07	c current bound: 139
1158.64/1173.75	c current bound: 139
1159.05/1174.43	c current bound: 139
1160.06/1175.33	c current bound: 139
1160.73/1176.00	c current bound: 139
1161.08/1176.68	c current bound: 139
1161.76/1177.36	c current bound: 139
1162.73/1178.03	c current bound: 139
1163.12/1178.71	c current bound: 139
1164.02/1179.39	c current bound: 139
1164.48/1180.07	c current bound: 139
1165.15/1180.88	c current bound: 139
1166.10/1181.56	c current bound: 139
1166.50/1182.24	c current bound: 139
1167.50/1182.90	c current bound: 139
1168.10/1183.57	c current bound: 139
1168.53/1184.25	c current bound: 139
1169.21/1184.94	c current bound: 139
1169.88/1185.61	c current bound: 139
1170.57/1186.29	c current bound: 139
1171.49/1186.97	c current bound: 139
1171.93/1187.65	c current bound: 139
1172.61/1188.32	c current bound: 139
1173.29/1189.00	c current bound: 139
1173.97/1189.69	c current bound: 139
1174.95/1190.53	c current bound: 139
1175.65/1191.20	c current bound: 139
1176.01/1191.88	c current bound: 139
1176.94/1192.56	c current bound: 139
1177.37/1193.25	c current bound: 139
1178.06/1193.93	c current bound: 139
1179.06/1194.61	c current bound: 139
1179.42/1195.28	c current bound: 139
1180.10/1196.01	c current bound: 139
1180.77/1196.69	c current bound: 139
1181.45/1197.38	c current bound: 139
1182.38/1198.06	c current bound: 139
1182.82/1198.73	c current bound: 139
1183.49/1199.42	c current bound: 139
1184.40/1200.09	c current bound: 139
1184.84/1200.76	c current bound: 139
1185.52/1201.44	c current bound: 139
1186.20/1202.12	c current bound: 139
1187.20/1202.80	c current bound: 139
1187.80/1203.47	c current bound: 139
1188.23/1204.13	c current bound: 139
1188.89/1204.82	c current bound: 139
1189.89/1205.59	c current bound: 139
1190.25/1206.27	c current bound: 139
1190.93/1206.95	c current bound: 139
1191.62/1207.61	c current bound: 139
1192.61/1208.30	c current bound: 139
1193.20/1208.98	c current bound: 139
1193.65/1209.66	c current bound: 139
1194.33/1210.34	c current bound: 139
1195.32/1211.02	c current bound: 139
1196.01/1211.70	c current bound: 139
1196.61/1212.38	c current bound: 139
1197.05/1213.06	c current bound: 139
1197.72/1213.73	c current bound: 139
1198.72/1214.41	c current bound: 139
1199.08/1215.08	c current bound: 139
1199.76/1215.76	c current bound: 139
1200.43/1216.44	c current bound: 139
1201.12/1217.11	c current bound: 139
1202.01/1217.77	c current bound: 139
1202.44/1218.45	c current bound: 139
1203.12/1219.13	c current bound: 139
1204.10/1219.81	c current bound: 139
1204.81/1220.50	c current bound: 139
1205.15/1221.21	c current bound: 139
1205.83/1221.88	c current bound: 139
1206.50/1222.56	c current bound: 139
1207.45/1223.24	c current bound: 139
1207.85/1223.92	c current bound: 139
1208.86/1224.60	c current bound: 139
1209.22/1225.28	c current bound: 139
1209.90/1225.96	c current bound: 139
1210.85/1226.63	c current bound: 139
1211.25/1227.32	c current bound: 139
1211.93/1228.00	c current bound: 139
1212.85/1228.67	c current bound: 139
1213.29/1229.35	c current bound: 139
1213.97/1230.01	c current bound: 139
1214.96/1230.91	c current bound: 139
1215.31/1231.58	c current bound: 139
1215.99/1232.26	c current bound: 139
1216.66/1232.94	c current bound: 139
1217.34/1233.63	c current bound: 139
1218.35/1234.30	c current bound: 139
1218.70/1234.98	c current bound: 139
1219.39/1235.66	c current bound: 139
1220.34/1236.34	c current bound: 139
1220.75/1237.02	c current bound: 139
1221.76/1237.70	c current bound: 139
1222.11/1238.37	c current bound: 139
1222.79/1239.05	c current bound: 139
1223.75/1239.73	c current bound: 139
1224.47/1240.40	c current bound: 139
1224.83/1241.07	c current bound: 139
1225.50/1241.75	c current bound: 139
1226.18/1242.43	c current bound: 139
1227.15/1243.11	c current bound: 139
1227.53/1243.78	c current bound: 139
1228.21/1244.46	c current bound: 139
1229.17/1245.14	c current bound: 139
1229.56/1245.98	c current bound: 139
1230.26/1246.66	c current bound: 139
1231.22/1247.34	c current bound: 139
1231.63/1248.02	c current bound: 139
1232.62/1248.70	c current bound: 139
1232.98/1249.38	c current bound: 139
1233.66/1250.06	c current bound: 139
1234.62/1250.74	c current bound: 139
1235.03/1251.45	c current bound: 139
1235.69/1252.13	c current bound: 139
1236.68/1252.81	c current bound: 139
1237.06/1253.49	c current bound: 139
1237.98/1254.17	c current bound: 139
1238.41/1254.85	c current bound: 139
1239.10/1255.53	c current bound: 139
1240.10/1256.21	c current bound: 139
1240.45/1256.89	c current bound: 139
1241.14/1257.57	c current bound: 139
1241.82/1258.24	c current bound: 139
1242.50/1258.92	c current bound: 139
1243.50/1259.62	c current bound: 139
1243.87/1260.27	c current bound: 139
1244.53/1261.07	c current bound: 139
1245.48/1261.75	c current bound: 139
1245.89/1262.43	c current bound: 139
1246.89/1263.10	c current bound: 139
1247.24/1263.78	c current bound: 139
1247.92/1264.46	c current bound: 139
1248.87/1265.14	c current bound: 139
1249.28/1265.82	c current bound: 139
1250.29/1266.50	c current bound: 139
1250.89/1267.18	c current bound: 139
1251.33/1267.86	c current bound: 139
1252.00/1268.53	c current bound: 139
1252.68/1269.21	c current bound: 139
1253.37/1269.89	c current bound: 139
1254.30/1270.57	c current bound: 139
1254.72/1271.38	c current bound: 139
1255.40/1272.06	c current bound: 139
1256.37/1272.74	c current bound: 139
1256.76/1273.43	c current bound: 139
1257.78/1274.11	c current bound: 139
1258.14/1274.79	c current bound: 139
1258.82/1275.46	c current bound: 139
1259.76/1276.14	c current bound: 139
1260.17/1276.84	c current bound: 139
1260.85/1277.52	c current bound: 139
1261.75/1278.20	c current bound: 139
1262.21/1278.87	c current bound: 139
1262.89/1279.56	c current bound: 139
1263.57/1280.23	c current bound: 139
1264.25/1280.91	c current bound: 139
1265.16/1281.59	c current bound: 139
1265.61/1282.27	c current bound: 139
1266.29/1282.94	c current bound: 139
1267.27/1283.63	c current bound: 139
1267.97/1284.31	c current bound: 139
1268.55/1284.99	c current bound: 139
1269.01/1285.66	c current bound: 139
1269.69/1286.42	c current bound: 139
1270.70/1287.13	c current bound: 139
1271.09/1287.81	c current bound: 139
1272.11/1288.50	c current bound: 139
1272.71/1289.18	c current bound: 139
1273.15/1289.86	c current bound: 139
1273.83/1290.51	c current bound: 139
1274.82/1291.20	c current bound: 139
1275.18/1291.91	c current bound: 139
1276.08/1292.59	c current bound: 139
1276.53/1293.27	c current bound: 139
1277.22/1293.94	c current bound: 139
1278.21/1294.60	c current bound: 139
1278.56/1295.28	c current bound: 139
1279.49/1295.97	c current bound: 139
1279.92/1296.64	c current bound: 139
1280.60/1297.32	c current bound: 139
1281.61/1298.00	c current bound: 139
1281.96/1298.68	c current bound: 139
1282.63/1299.36	c current bound: 139
1283.33/1300.02	c current bound: 139
1284.30/1300.70	c current bound: 139
1284.97/1301.55	c current bound: 139
1285.33/1302.22	c current bound: 139
1286.00/1302.89	c current bound: 139
1286.93/1303.57	c current bound: 139
1287.36/1304.25	c current bound: 139
1288.04/1304.93	c current bound: 139
1289.05/1305.60	c current bound: 139
1289.39/1306.28	c current bound: 139
1290.39/1307.10	c current bound: 139
1290.76/1307.78	c current bound: 139
1291.42/1308.46	c current bound: 139
1292.39/1309.13	c current bound: 139
1292.78/1309.81	c current bound: 139
1293.46/1310.49	c current bound: 139
1294.40/1311.17	c current bound: 139
1294.83/1311.84	c current bound: 139
1295.79/1312.52	c current bound: 139
1296.51/1313.20	c current bound: 139
1296.86/1313.88	c current bound: 139
1297.81/1314.56	c current bound: 139
1298.22/1315.24	c current bound: 139
1298.89/1315.92	c current bound: 139
1299.90/1316.81	c current bound: 139
1300.26/1317.48	c current bound: 139
1300.92/1318.17	c current bound: 139
1301.90/1318.83	c current bound: 139
1302.61/1319.51	c current bound: 139
1303.19/1320.18	c current bound: 139
1303.63/1320.86	c current bound: 139
1304.31/1321.54	c current bound: 139
1305.26/1322.26	c current bound: 139
1305.68/1322.94	c current bound: 139
1306.36/1323.62	c current bound: 139
1307.04/1324.30	c current bound: 139
1307.72/1324.98	c current bound: 139
1308.65/1325.66	c current bound: 139
1309.08/1326.32	c current bound: 139
1309.73/1326.99	c current bound: 139
1310.66/1327.67	c current bound: 139
1311.08/1328.35	c current bound: 139
1312.06/1329.04	c current bound: 139
1312.45/1329.71	c current bound: 139
1313.47/1330.41	c current bound: 139
1314.07/1331.09	c current bound: 139
1314.84/1331.95	c current bound: 139
1315.19/1332.62	c current bound: 139
1316.19/1333.30	c current bound: 139
1316.54/1333.98	c current bound: 139
1317.22/1334.65	c current bound: 139
1318.17/1335.33	c current bound: 139
1318.56/1336.01	c current bound: 139
1319.47/1336.69	c current bound: 139
1319.93/1337.44	c current bound: 139
1320.60/1338.11	c current bound: 139
1321.61/1338.80	c current bound: 139
1321.96/1339.48	c current bound: 139
1322.65/1340.15	c current bound: 139
1323.61/1340.83	c current bound: 139
1324.00/1341.52	c current bound: 139
1325.02/1342.20	c current bound: 139
1325.38/1342.87	c current bound: 139
1326.04/1343.55	c current bound: 139
1327.02/1344.24	c current bound: 139
1327.40/1344.89	c current bound: 139
1328.06/1345.57	c current bound: 139
1328.75/1346.25	c current bound: 139
1329.43/1347.16	c current bound: 139
1330.10/1347.86	c current bound: 139
1331.04/1348.54	c current bound: 139
1331.44/1349.22	c current bound: 139
1332.34/1349.89	c current bound: 139
1332.79/1350.56	c current bound: 139
1333.47/1351.24	c current bound: 139
1334.47/1352.08	c current bound: 139
1334.85/1352.75	c current bound: 139
1335.52/1353.43	c current bound: 139
1336.49/1354.12	c current bound: 139
1337.21/1354.81	c current bound: 139
1337.91/1355.50	c current bound: 139
1338.26/1356.15	c current bound: 139
1338.93/1356.83	c current bound: 139
1339.60/1357.66	c current bound: 139
1340.28/1358.33	c current bound: 139
1340.95/1359.01	c current bound: 139
1341.87/1359.69	c current bound: 139
1342.31/1360.36	c current bound: 139
1342.98/1361.05	c current bound: 139
1343.96/1361.74	c current bound: 139
1344.36/1362.42	c current bound: 139
1345.26/1363.09	c current bound: 139
1345.72/1363.77	c current bound: 139
1346.39/1364.46	c current bound: 139
1347.37/1365.14	c current bound: 139
1347.75/1365.81	c current bound: 139
1348.76/1366.50	c current bound: 139
1349.42/1367.32	c current bound: 139
1350.12/1368.00	c current bound: 139
1350.47/1368.68	c current bound: 139
1351.14/1369.36	c current bound: 139
1351.84/1370.04	c current bound: 139
1352.81/1370.71	c current bound: 139
1353.53/1371.40	c current bound: 139
1353.88/1372.08	c current bound: 139
1354.82/1372.86	c current bound: 139
1355.24/1373.54	c current bound: 139
1355.91/1374.23	c current bound: 139
1356.60/1374.90	c current bound: 139
1357.28/1375.57	c current bound: 139
1358.23/1376.26	c current bound: 139
1358.64/1376.94	c current bound: 139
1359.63/1377.60	c current bound: 139
1360.23/1378.27	c current bound: 139
1360.66/1378.96	c current bound: 139
1361.35/1379.63	c current bound: 139
1362.03/1380.31	c current bound: 139
1363.05/1381.01	c current bound: 139
1363.75/1381.70	c current bound: 139
1364.10/1382.59	c current bound: 139
1364.78/1383.27	c current bound: 139
1365.70/1383.96	c current bound: 139
1366.14/1384.63	c current bound: 139
1366.82/1385.31	c current bound: 139
1367.72/1385.99	c current bound: 139
1368.18/1386.67	c current bound: 139
1368.85/1387.34	c current bound: 139
1369.81/1388.12	c current bound: 139
1370.19/1388.78	c current bound: 139
1371.11/1389.47	c current bound: 139
1371.53/1390.14	c current bound: 139
1372.21/1390.82	c current bound: 139
1373.11/1391.50	c current bound: 139
1373.57/1392.17	c current bound: 139
1374.25/1392.85	c current bound: 139
1374.92/1393.54	c current bound: 139
1375.61/1394.22	c current bound: 139
1376.51/1394.90	c current bound: 139
1376.97/1395.58	c current bound: 139
1377.65/1396.23	c current bound: 139
1378.64/1396.91	c current bound: 139
1378.99/1397.73	c current bound: 139
1379.65/1398.41	c current bound: 139
1380.68/1399.11	c current bound: 139
1381.03/1399.79	c current bound: 139
1381.97/1400.46	c current bound: 139
1382.40/1401.14	c current bound: 139
1383.07/1401.83	c current bound: 139
1384.08/1402.50	c current bound: 139
1384.44/1403.23	c current bound: 139
1385.12/1403.91	c current bound: 139
1386.14/1404.60	c current bound: 139
1386.49/1405.28	c current bound: 139
1387.42/1405.96	c current bound: 139
1387.85/1406.66	c current bound: 139
1388.55/1407.33	c current bound: 139
1389.56/1408.01	c current bound: 139
1389.90/1408.69	c current bound: 139
1390.59/1409.37	c current bound: 139
1391.27/1410.04	c current bound: 139
1391.94/1410.72	c current bound: 139
1392.95/1411.40	c current bound: 139
1393.30/1412.07	c current bound: 139
1393.99/1412.95	c current bound: 139
1394.95/1413.61	c current bound: 139
1395.31/1414.29	c current bound: 139
1396.00/1414.97	c current bound: 139
1396.95/1415.64	c current bound: 139
1397.36/1416.32	c current bound: 139
1398.37/1417.00	c current bound: 139
1398.72/1417.66	c current bound: 139
1399.39/1418.47	c current bound: 139
1400.34/1419.12	c current bound: 139
1401.04/1419.80	c current bound: 139
1401.39/1420.48	c current bound: 139
1402.34/1421.16	c current bound: 139
1402.76/1421.85	c current bound: 139
1403.75/1422.50	c current bound: 139
1404.11/1423.18	c current bound: 139
1404.78/1423.86	c current bound: 139
1405.74/1424.52	c current bound: 139
1406.11/1425.19	c current bound: 139
1406.79/1425.86	c current bound: 139
1407.47/1426.55	c current bound: 139
1408.15/1427.23	c current bound: 139
1409.13/1428.08	c current bound: 139
1409.52/1428.76	c current bound: 139
1410.20/1429.45	c current bound: 139
1411.18/1430.12	c current bound: 139
1411.89/1430.80	c current bound: 139
1412.24/1431.48	c current bound: 139
1413.18/1432.16	c current bound: 139
1413.59/1432.84	c current bound: 139
1414.28/1433.69	c current bound: 139
1415.20/1434.37	c current bound: 139
1415.64/1435.05	c current bound: 139
1416.32/1435.71	c current bound: 139
1416.97/1436.38	c current bound: 139
1417.66/1437.06	c current bound: 139
1418.60/1437.74	c current bound: 139
1419.01/1438.41	c current bound: 139
1419.69/1439.09	c current bound: 139
1420.37/1439.77	c current bound: 139
1421.43/1440.50	c current bound: 139
1422.02/1441.17	c current bound: 139
1422.46/1441.86	c current bound: 139
1423.15/1442.53	c current bound: 139
1424.12/1443.35	c current bound: 139
1424.49/1444.02	c current bound: 139
1425.17/1444.72	c current bound: 139
1426.09/1445.40	c current bound: 139
1426.55/1446.08	c current bound: 139
1427.23/1446.76	c current bound: 139
1427.90/1447.44	c current bound: 139
1428.59/1448.11	c current bound: 139
1429.53/1448.84	c current bound: 139
1429.94/1449.52	c current bound: 139
1430.61/1450.21	c current bound: 139
1431.54/1450.89	c current bound: 139
1431.98/1451.56	c current bound: 139
1432.65/1452.25	c current bound: 139
1433.34/1452.92	c current bound: 139
1434.35/1453.60	c current bound: 139
1434.93/1454.28	c current bound: 139
1435.39/1454.97	c current bound: 139
1436.07/1455.66	c current bound: 139
1437.04/1456.34	c current bound: 139
1437.43/1457.02	c current bound: 139
1438.34/1457.69	c current bound: 139
1439.11/1458.51	c current bound: 139
1439.48/1459.19	c current bound: 139
1440.40/1459.87	c current bound: 139
1440.82/1460.54	c current bound: 139
1441.50/1461.22	c current bound: 139
1442.41/1461.89	c current bound: 139
1442.87/1462.57	c current bound: 139
1443.56/1463.25	c current bound: 139
1444.21/1463.96	c current bound: 139
1444.91/1464.64	c current bound: 139
1445.87/1465.31	c current bound: 139
1446.26/1465.99	c current bound: 139
1446.94/1466.67	c current bound: 139
1447.90/1467.35	c current bound: 139
1448.30/1468.03	c current bound: 139
1449.29/1468.70	c current bound: 139
1449.65/1469.38	c current bound: 139
1450.34/1470.05	c current bound: 139
1451.30/1470.73	c current bound: 139
1452.00/1471.41	c current bound: 139
1452.37/1472.09	c current bound: 139
1453.05/1472.77	c current bound: 139
1453.72/1473.66	c current bound: 139
1454.41/1474.34	c current bound: 139
1455.37/1475.03	c current bound: 139
1456.08/1475.70	c current bound: 139
1456.67/1476.39	c current bound: 139
1457.13/1477.07	c current bound: 139
1457.81/1477.75	c current bound: 139
1458.79/1478.42	c current bound: 139
1459.50/1479.11	c current bound: 139
1459.87/1479.79	c current bound: 139
1460.54/1480.47	c current bound: 139
1461.23/1481.15	c current bound: 139
1462.18/1481.84	c current bound: 139
1462.60/1482.52	c current bound: 139
1463.28/1483.18	c current bound: 139
1464.20/1483.88	c current bound: 139
1464.65/1484.56	c current bound: 139
1465.32/1485.21	c current bound: 139
1465.97/1485.89	c current bound: 139
1466.66/1486.57	c current bound: 139
1467.61/1487.24	c current bound: 139
1468.01/1487.92	c current bound: 139
1469.01/1488.70	c current bound: 139
1469.60/1489.37	c current bound: 139
1470.04/1490.05	c current bound: 139
1470.71/1490.73	c current bound: 139
1471.39/1491.38	c current bound: 139
1472.04/1492.07	c current bound: 139
1473.00/1492.75	c current bound: 139
1473.41/1493.43	c current bound: 139
1474.10/1494.15	c current bound: 139
1475.07/1494.83	c current bound: 139
1475.78/1495.50	c current bound: 139
1476.36/1496.19	c current bound: 139
1476.81/1496.86	c current bound: 139
1477.50/1497.56	c current bound: 139
1478.46/1498.24	c current bound: 139
1478.86/1498.92	c current bound: 139
1479.54/1499.59	c current bound: 139
1480.22/1500.27	c current bound: 139
1480.90/1500.95	c current bound: 139
1481.88/1501.63	c current bound: 139
1482.59/1502.30	c current bound: 139
1482.93/1502.99	c current bound: 139
1483.93/1503.79	c current bound: 139
1484.30/1504.46	c current bound: 139
1484.97/1505.14	c current bound: 139
1485.95/1505.82	c current bound: 139
1486.66/1506.50	c current bound: 139
1487.25/1507.18	c current bound: 139
1487.69/1507.86	c current bound: 139
1488.38/1508.54	c current bound: 139
1489.32/1509.26	c current bound: 139
1489.74/1509.94	c current bound: 139
1490.41/1510.62	c current bound: 139
1491.11/1511.30	c current bound: 139
1491.78/1511.97	c current bound: 139
1492.73/1512.65	c current bound: 139
1493.15/1513.34	c current bound: 139
1493.83/1514.02	c current bound: 139
1494.75/1514.70	c current bound: 139
1495.20/1515.38	c current bound: 139
1495.88/1516.07	c current bound: 139
1496.56/1516.74	c current bound: 139
1497.26/1517.42	c current bound: 139
1498.25/1518.10	c current bound: 139
1498.91/1519.01	c current bound: 139
1499.28/1519.69	c current bound: 139
1500.19/1520.36	c current bound: 139
1500.62/1521.04	c current bound: 139
1501.31/1521.72	c current bound: 139
1502.32/1522.40	c current bound: 139
1502.66/1523.09	c current bound: 139
1503.70/1524.02	c current bound: 139
1504.38/1524.70	c current bound: 139
1504.74/1525.38	c current bound: 139
1505.41/1526.05	c current bound: 139
1506.39/1526.74	c current bound: 139
1506.79/1527.42	c current bound: 139
1507.69/1528.09	c current bound: 139
1508.45/1528.98	c current bound: 139
1508.83/1529.64	c current bound: 139
1509.80/1530.30	c current bound: 139
1510.14/1530.97	c current bound: 139
1510.82/1531.65	c current bound: 139
1511.80/1532.33	c current bound: 139
1512.18/1533.01	c current bound: 139
1512.87/1533.69	c current bound: 139
1513.87/1534.41	c current bound: 139
1514.21/1535.08	c current bound: 139
1515.15/1535.76	c current bound: 139
1515.58/1536.43	c current bound: 139
1516.26/1537.12	c current bound: 139
1517.16/1537.80	c current bound: 139
1517.61/1538.47	c current bound: 139
1518.30/1539.15	c current bound: 139
1518.98/1539.83	c current bound: 139
1519.66/1540.51	c current bound: 139
1520.57/1541.16	c current bound: 139
1520.99/1541.84	c current bound: 139
1521.68/1542.52	c current bound: 139
1522.35/1543.17	c current bound: 139
1523.01/1543.97	c current bound: 139
1523.69/1544.63	c current bound: 139
1524.66/1545.30	c current bound: 139
1525.02/1545.96	c current bound: 139
1525.97/1546.63	c current bound: 139
1526.68/1547.31	c current bound: 139
1527.02/1547.99	c current bound: 139
1527.72/1548.67	c current bound: 139
1528.39/1549.33	c current bound: 139
1529.37/1550.01	c current bound: 139
1529.74/1550.69	c current bound: 139
1530.43/1551.35	c current bound: 139
1531.38/1552.03	c current bound: 139
1532.08/1552.71	c current bound: 139
1532.67/1553.39	c current bound: 139
1533.44/1554.21	c current bound: 139
1533.80/1554.88	c current bound: 139
1534.72/1555.56	c current bound: 139
1535.16/1556.24	c current bound: 139
1535.84/1556.92	c current bound: 139
1536.73/1557.60	c current bound: 139
1537.20/1558.28	c current bound: 139
1537.88/1558.96	c current bound: 139
1538.57/1559.70	c current bound: 139
1539.25/1560.38	c current bound: 139
1540.19/1561.07	c current bound: 139
1540.64/1561.73	c current bound: 139
1541.30/1562.38	c current bound: 139
1542.21/1563.07	c current bound: 139
1542.63/1563.72	c current bound: 139
1543.50/1564.39	c current bound: 139
1543.95/1565.08	c current bound: 139
1544.65/1565.76	c current bound: 139
1545.61/1566.44	c current bound: 139
1546.01/1567.11	c current bound: 139
1547.00/1567.80	c current bound: 139
1547.36/1568.48	c current bound: 139
1548.04/1569.29	c current bound: 139
1548.73/1569.95	c current bound: 139
1549.40/1570.65	c current bound: 139
1550.09/1571.34	c current bound: 139
1551.08/1572.02	c current bound: 139
1551.47/1572.67	c current bound: 139
1552.12/1573.35	c current bound: 139
1553.10/1574.03	c current bound: 139
1553.81/1574.70	c current bound: 139
1554.38/1575.39	c current bound: 139
1554.84/1576.08	c current bound: 139
1555.54/1576.78	c current bound: 139
1556.50/1577.46	c current bound: 139
1556.92/1578.15	c current bound: 139
1557.61/1578.83	c current bound: 139
1558.60/1579.51	c current bound: 139
1558.97/1580.19	c current bound: 139
1559.90/1580.87	c current bound: 139
1560.32/1581.54	c current bound: 139
1560.99/1582.22	c current bound: 139
1561.90/1582.90	c current bound: 139
1562.36/1583.59	c current bound: 139
1563.05/1584.51	c current bound: 139
1563.95/1585.18	c current bound: 139
1564.40/1585.87	c current bound: 139
1565.09/1586.56	c current bound: 139
1566.08/1587.23	c current bound: 139
1566.78/1588.05	c current bound: 139
1567.14/1588.75	c current bound: 139
1568.14/1589.64	c current bound: 139
1568.51/1590.31	c current bound: 139
1569.19/1590.99	c current bound: 139
1570.12/1591.67	c current bound: 139
1570.55/1592.35	c current bound: 139
1571.53/1593.01	c current bound: 139
1571.88/1593.69	c current bound: 139
1572.57/1594.37	c current bound: 139
1573.51/1595.07	c current bound: 139
1573.95/1595.75	c current bound: 139
1574.62/1596.43	c current bound: 139
1575.63/1597.11	c current bound: 139
1576.32/1597.80	c current bound: 139
1576.91/1598.48	c current bound: 139
1577.35/1599.16	c current bound: 139
1578.04/1599.85	c current bound: 139
1579.03/1600.52	c current bound: 139
1579.74/1601.20	c current bound: 139
1580.09/1601.88	c current bound: 139
1580.74/1602.55	c current bound: 139
1581.43/1603.23	c current bound: 139
1582.42/1603.92	c current bound: 139
1583.10/1604.82	c current bound: 139
1583.48/1605.51	c current bound: 139
1584.38/1606.19	c current bound: 139
1584.85/1606.87	c current bound: 139
1585.52/1607.55	c current bound: 139
1586.49/1608.22	c current bound: 139
1586.88/1608.89	c current bound: 139
1587.55/1609.74	c current bound: 139
1588.54/1610.42	c current bound: 139
1589.26/1611.10	c current bound: 139
1589.61/1611.78	c current bound: 139
1590.30/1612.46	c current bound: 139
1590.98/1613.13	c current bound: 139
1591.97/1613.81	c current bound: 139
1592.34/1614.53	c current bound: 139
1593.05/1615.26	c current bound: 139
1594.02/1615.97	c current bound: 139
1594.44/1616.65	c current bound: 139
1595.13/1617.34	c current bound: 139
1596.12/1618.01	c current bound: 139
1596.48/1618.68	c current bound: 139
1597.42/1619.37	c current bound: 139
1597.83/1620.06	c current bound: 139
1598.53/1620.73	c current bound: 139
1599.51/1621.42	c current bound: 139
1600.23/1622.10	c current bound: 139
1600.57/1622.77	c current bound: 139
1601.25/1623.45	c current bound: 139
1601.92/1624.13	c current bound: 139
1602.91/1624.96	c current bound: 139
1603.29/1625.63	c current bound: 139
1604.27/1626.30	c current bound: 139
1604.88/1626.99	c current bound: 139
1605.31/1627.66	c current bound: 139
1605.98/1628.32	c current bound: 139
1606.97/1629.00	c current bound: 139
1607.33/1629.69	c current bound: 139
1608.23/1630.39	c current bound: 139
1608.69/1631.07	c current bound: 139
1609.37/1631.75	c current bound: 139
1610.34/1632.43	c current bound: 139
1610.73/1633.12	c current bound: 139
1611.41/1633.79	c current bound: 139
1612.45/1634.50	c current bound: 139
1612.80/1635.19	c current bound: 139
1613.73/1635.87	c current bound: 139
1614.17/1636.55	c current bound: 139
1614.85/1637.23	c current bound: 139
1615.85/1637.92	c current bound: 139
1616.55/1638.61	c current bound: 139
1617.24/1639.30	c current bound: 139
1617.91/1640.20	c current bound: 139
1618.26/1640.89	c current bound: 139
1618.95/1641.56	c current bound: 139
1619.91/1642.24	c current bound: 139
1620.32/1642.92	c current bound: 139
1621.32/1643.60	c current bound: 139
1621.66/1644.27	c current bound: 139
1622.34/1645.12	c current bound: 139
1623.35/1645.80	c current bound: 139
1623.71/1646.47	c current bound: 139
1624.39/1647.15	c current bound: 139
1625.37/1647.81	c current bound: 139
1625.72/1648.48	c current bound: 139
1626.39/1649.19	c current bound: 139
1627.10/1649.87	c current bound: 139
1628.09/1650.60	c current bound: 139
1628.68/1651.27	c current bound: 139
1629.13/1651.95	c current bound: 139
1629.81/1652.63	c current bound: 139
1630.70/1653.29	c current bound: 139
1631.16/1653.95	c current bound: 139
1632.10/1654.63	c current bound: 139
1632.81/1655.30	c current bound: 139
1633.17/1655.98	c current bound: 139
1634.13/1656.67	c current bound: 139
1634.54/1657.35	c current bound: 139
1635.21/1658.05	c current bound: 139
1636.19/1658.73	c current bound: 139
1636.56/1659.41	c current bound: 139
1637.54/1660.29	c current bound: 139
1638.17/1660.97	c current bound: 139
1638.60/1661.64	c current bound: 139
1639.45/1662.30	c current bound: 139
1639.93/1662.97	c current bound: 139
1640.61/1663.65	c current bound: 139
1641.48/1664.30	c current bound: 139
1641.95/1665.00	c current bound: 139
1642.94/1665.80	c current bound: 139
1643.55/1666.48	c current bound: 139
1643.98/1667.16	c current bound: 139
1644.67/1667.84	c current bound: 139
1645.34/1668.51	c current bound: 139
1646.02/1669.19	c current bound: 139
1646.95/1669.87	c current bound: 139
1647.38/1670.55	c current bound: 139
1648.06/1671.23	c current bound: 139
1649.39/1671.91	c current bound: 139
1649.43/1672.59	c current bound: 139
1650.35/1673.26	c current bound: 139
1650.78/1673.95	c current bound: 139
1651.46/1674.63	c current bound: 139
1652.48/1675.51	c current bound: 139
1652.84/1676.19	c current bound: 139
1653.51/1676.86	c current bound: 139
1654.45/1677.55	c current bound: 139
1654.87/1678.22	c current bound: 139
1655.86/1678.90	c current bound: 139
1656.22/1679.59	c current bound: 139
1656.92/1680.27	c current bound: 139
1657.85/1680.95	c current bound: 139
1658.26/1681.62	c current bound: 139
1659.27/1682.31	c current bound: 139
1659.87/1682.98	c current bound: 139
1660.30/1683.67	c current bound: 139
1661.00/1684.36	c current bound: 139
1661.68/1685.04	c current bound: 139
1662.37/1685.71	c current bound: 139
1663.27/1686.39	c current bound: 139
1663.73/1687.07	c current bound: 139
1664.41/1687.75	c current bound: 139
1665.37/1688.42	c current bound: 139
1665.76/1689.11	c current bound: 139
1666.66/1689.79	c current bound: 139
1667.12/1690.59	c current bound: 139
1667.79/1691.28	c current bound: 139
1668.73/1691.96	c current bound: 139
1669.16/1692.63	c current bound: 139
1669.84/1693.31	c current bound: 139
1670.74/1693.99	c current bound: 139
1671.17/1694.67	c current bound: 139
1671.86/1695.35	c current bound: 139
1672.54/1696.02	c current bound: 139
1673.23/1696.73	c current bound: 139
1674.26/1697.40	c current bound: 139
1674.61/1698.08	c current bound: 139
1675.28/1698.76	c current bound: 139
1676.25/1699.42	c current bound: 139
1676.94/1700.10	c current bound: 139
1677.55/1700.78	c current bound: 139
1677.98/1701.45	c current bound: 139
1678.66/1702.13	c current bound: 139
1679.66/1702.81	c current bound: 139
1680.01/1703.51	c current bound: 139
1681.05/1704.20	c current bound: 139
1681.41/1704.89	c current bound: 139
1682.10/1705.77	c current bound: 139
1682.77/1706.45	c current bound: 139
1683.74/1707.13	c current bound: 139
1684.13/1707.81	c current bound: 139
1685.04/1708.49	c current bound: 139
1685.48/1709.18	c current bound: 139
1686.18/1709.85	c current bound: 139
1687.15/1710.52	c current bound: 139
1687.53/1711.32	c current bound: 139
1688.21/1712.01	c current bound: 139
1689.12/1712.69	c current bound: 139
1689.57/1713.37	c current bound: 139
1690.26/1714.06	c current bound: 139
1690.95/1714.75	c current bound: 139
1691.94/1715.40	c current bound: 139
1692.53/1716.08	c current bound: 139
1692.97/1716.76	c current bound: 139
1693.65/1717.42	c current bound: 139
1694.32/1718.10	c current bound: 139
1694.99/1718.79	c current bound: 139
1695.93/1719.46	c current bound: 139
1696.36/1720.14	c current bound: 139
1697.05/1720.87	c current bound: 139
1697.99/1721.56	c current bound: 139
1698.41/1722.23	c current bound: 139
1699.09/1722.91	c current bound: 139
1700.12/1723.61	c current bound: 139
1700.47/1724.28	c current bound: 139
1701.39/1724.95	c current bound: 139
1702.16/1725.83	c current bound: 139
1702.51/1726.52	c current bound: 139
1703.42/1727.19	c current bound: 139
1703.88/1727.87	c current bound: 139
1704.56/1728.55	c current bound: 139
1705.52/1729.23	c current bound: 139
1706.25/1729.90	c current bound: 139
1706.60/1730.58	c current bound: 139
1707.27/1731.26	c current bound: 139
1707.96/1731.95	c current bound: 139
1708.96/1732.60	c current bound: 139
1709.29/1733.29	c current bound: 139
1709.98/1733.97	c current bound: 139
1710.93/1734.65	c current bound: 139
1711.34/1735.32	c current bound: 139
1712.34/1736.14	c current bound: 139
1713.00/1736.82	c current bound: 139
1713.38/1737.49	c current bound: 139
1714.31/1738.19	c current bound: 139
1714.76/1738.87	c current bound: 139
1715.43/1739.54	c current bound: 139
1716.42/1740.21	c current bound: 139
1716.77/1740.89	c current bound: 139
1717.78/1741.60	c current bound: 139
1718.48/1742.30	c current bound: 139
1718.84/1742.98	c current bound: 139
1719.76/1743.66	c current bound: 139
1720.19/1744.33	c current bound: 139
1720.87/1744.99	c current bound: 139
1721.77/1745.65	c current bound: 139
1722.18/1746.32	c current bound: 139
1723.19/1747.00	c current bound: 139
1723.53/1747.68	c current bound: 139
1724.21/1748.35	c current bound: 139
1725.18/1749.03	c current bound: 139
1725.89/1749.70	c current bound: 139
1726.25/1750.39	c current bound: 139
1727.25/1751.30	c current bound: 139
1727.61/1751.98	c current bound: 139
1728.29/1752.66	c current bound: 139
1729.23/1753.34	c current bound: 139
1729.64/1754.02	c current bound: 139
1730.53/1754.69	c current bound: 139
1731.00/1755.37	c current bound: 139
1732.00/1756.28	c current bound: 139
1732.37/1756.95	c current bound: 139
1733.04/1757.63	c current bound: 139
1733.71/1758.31	c current bound: 139
1734.63/1758.96	c current bound: 139
1735.05/1759.64	c current bound: 139
1735.73/1760.32	c current bound: 139
1736.74/1761.00	c current bound: 139
1737.10/1761.73	c current bound: 139
1738.08/1762.41	c current bound: 139
1738.44/1763.10	c current bound: 139
1739.13/1763.78	c current bound: 139
1740.07/1764.46	c current bound: 139
1740.49/1765.14	c current bound: 139
1741.16/1765.82	c current bound: 139
1741.85/1766.49	c current bound: 139
1742.53/1767.17	c current bound: 139
1743.48/1767.85	c current bound: 139
1743.90/1768.54	c current bound: 139
1744.58/1769.22	c current bound: 139
1745.49/1769.90	c current bound: 139
1745.94/1770.58	c current bound: 139
1746.62/1771.48	c current bound: 139
1747.59/1772.15	c current bound: 139
1747.99/1772.83	c current bound: 139
1748.67/1773.51	c current bound: 139
1749.36/1774.19	c current bound: 139
1750.03/1774.87	c current bound: 139
1750.98/1775.54	c current bound: 139
1751.39/1776.35	c current bound: 139
1752.07/1777.02	c current bound: 139
1753.06/1777.70	c current bound: 139
1753.42/1778.38	c current bound: 139
1754.10/1779.05	c current bound: 139
1755.05/1779.73	c current bound: 139
1755.46/1780.42	c current bound: 139
1756.36/1781.07	c current bound: 139
1756.80/1781.75	c current bound: 139
1757.48/1782.43	c current bound: 139
1758.49/1783.11	c current bound: 139
1758.84/1783.78	c current bound: 139
1759.51/1784.44	c current bound: 139
1760.17/1785.11	c current bound: 139
1760.85/1785.80	c current bound: 139
1761.77/1786.47	c current bound: 139
1762.21/1787.15	c current bound: 139
1762.88/1787.82	c current bound: 139
1763.89/1788.51	c current bound: 139
1764.24/1789.18	c current bound: 139
1765.17/1789.86	c current bound: 139
1765.59/1790.54	c current bound: 139
1766.27/1791.45	c current bound: 139
1767.25/1792.10	c current bound: 139
1767.61/1792.78	c current bound: 139
1768.29/1793.45	c current bound: 139
1769.25/1794.13	c current bound: 139
1769.65/1794.82	c current bound: 139
1770.34/1795.51	c current bound: 139
1771.02/1796.19	c current bound: 139
1772.03/1796.90	c current bound: 139
1772.61/1797.58	c current bound: 139
1773.06/1798.26	c current bound: 139
1773.75/1798.94	c current bound: 139
1774.74/1799.61	c current bound: 139
1775.13/1800.29	c current bound: 139
1775.78/1800.97	c current bound: 139
1776.47/1801.65	c current bound: 139
1777.15/1802.32	c current bound: 139
1778.16/1803.00	c current bound: 139
1778.51/1803.69	c current bound: 139
1779.19/1804.37	c current bound: 139
1780.14/1805.05	c current bound: 139
1780.56/1805.73	c current bound: 139
1781.54/1806.49	c current bound: 139
1781.92/1807.17	c current bound: 139
1782.60/1807.85	c current bound: 139
1783.57/1808.53	c current bound: 139
1783.97/1809.21	c current bound: 139
1784.65/1809.88	c current bound: 139
1785.59/1810.56	c current bound: 139
1786.01/1811.24	c current bound: 139
1786.69/1811.98	c current bound: 139
1787.35/1812.66	c current bound: 139
1788.03/1813.36	c current bound: 139
1789.01/1814.03	c current bound: 139
1789.41/1814.71	c current bound: 139
1790.08/1815.42	c current bound: 139
1791.02/1816.09	c current bound: 139
1791.48/1816.88	c current bound: 139
1792.15/1817.56	c current bound: 139
1793.11/1818.23	c current bound: 139
1793.50/1818.89	c current bound: 139
1794.40/1819.57	c current bound: 139
1794.84/1820.25	c current bound: 139
1795.52/1820.93	c current bound: 139
1796.52/1821.80	c current bound: 139
1796.87/1822.47	c current bound: 139
1797.55/1823.15	c current bound: 139
1798.51/1823.83	c current bound: 139
1798.91/1824.48	c current bound: 139
1799.56/1825.16	c current bound: 139
1799.93/1825.20	HOME/npSolver-wbo-Itdqb.sh: line 18:  3516 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-3752607-1339209895/watcher-3752607-1339209895 -o /tmp/evaluation-result-3752607-1339209895/solver-3752607-1339209895 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752607-1339209895.wbo 631653924 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.99 2.00 1.99 3/180 3515
/proc/meminfo: memFree=30839896/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0

[startup+0.0561639 s]
/proc/loadavg: 1.99 2.00 1.99 3/180 3515
/proc/meminfo: memFree=30839896/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100373 s]
/proc/loadavg: 1.99 2.00 1.99 3/180 3515
/proc/meminfo: memFree=30839896/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300251 s]
/proc/loadavg: 1.99 2.00 1.99 3/180 3515
/proc/meminfo: memFree=30839896/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700249 s]
/proc/loadavg: 1.99 2.00 1.99 3/180 3515
/proc/meminfo: memFree=30839896/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 1.99 2.00 1.99 3/182 3526
/proc/meminfo: memFree=30827260/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1.42 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 6562 28850 0 0 28 12 95 7 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 36356

[startup+3.10016 s]
/proc/loadavg: 1.99 2.00 1.99 3/182 3576
/proc/meminfo: memFree=30815500/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=2.81 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 11498 64451 0 0 45 15 178 43 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 36356

[startup+6.30021 s]
/proc/loadavg: 1.99 2.00 1.99 2/184 3634
/proc/meminfo: memFree=30802904/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=6.15 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 23838 153941 0 0 91 21 385 118 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 36356

[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 3748
/proc/meminfo: memFree=30833452/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=12.26 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 45028 314631 0 0 173 30 754 269 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 36356

[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 1.99 2/180 3978
/proc/meminfo: memFree=30831092/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=24.9 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 72495 637221 0 0 333 49 1530 578 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 17 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 36356

[startup+51.1004 s]
/proc/loadavg: 1.99 2.00 1.99 3/182 4430
/proc/meminfo: memFree=30838088/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=50.28 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 127443 1313459 0 0 681 90 3086 1171 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 21 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 36356

[startup+102.307 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 5337
/proc/meminfo: memFree=30828032/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=100.99 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 237339 2667990 0 0 1379 171 6188 2361 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 21 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 100.99
Current children cumulated vsize (KiB) 36356

[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 6387
/proc/meminfo: memFree=30831756/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=160.39 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 366033 4251238 0 0 2196 264 9832 3747 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 27 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 160.39
Current children cumulated vsize (KiB) 36356

[startup+222.3 s]
/proc/loadavg: 1.86 1.95 1.98 3/183 7463
/proc/meminfo: memFree=30823948/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=219.88 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) R 3515 3515 1965 0 -1 4202496 495601 5848335 0 0 2968 357 13521 5142 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866672 5056705 0 0 4096 0 0 0 0 17 4 0 0 48 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 219.88
Current children cumulated vsize (KiB) 36356

[startup+282.3 s]
/proc/loadavg: 1.90 1.94 1.97 3/184 8520
/proc/meminfo: memFree=30811740/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=278.98 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 624874 7441989 0 0 3723 445 17180 6550 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 69 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 278.98
Current children cumulated vsize (KiB) 36356

[startup+342.3 s]
/proc/loadavg: 2.03 1.97 1.98 3/184 9595
/proc/meminfo: memFree=30812616/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=338.08 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 755007 9028139 0 0 4477 536 20834 7961 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 71 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 338.08
Current children cumulated vsize (KiB) 36356

[startup+402.3 s]
/proc/loadavg: 1.90 1.94 1.97 3/183 10649
/proc/meminfo: memFree=30767740/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6

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

[pid=3516] ppid=3515 vsize=27212 CPUtime=1285.74 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) R 3515 3515 1965 0 -1 4202496 2116595 34263865 0 0 16463 1922 79752 30437 20 0 1 0 387056527 27865088 6112 33554432000 4194304 6006132 140736256874736 140736256866672 5195051 0 0 4096 0 0 0 0 17 2 0 0 288 0 0
/proc/3516/statm: 6803 6112 176 443 0 6356 0
Current children cumulated CPU time (s) 1285.74
Current children cumulated vsize (KiB) 36360

[startup+1362.3 s]
/proc/loadavg: 1.94 1.95 1.95 3/183 27649
/proc/meminfo: memFree=30799584/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1344.36 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 2197013 35809056 0 0 17189 2004 83391 31852 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 310 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1344.36
Current children cumulated vsize (KiB) 36356

[startup+1422.31 s]
/proc/loadavg: 1.93 1.94 1.95 3/181 28703
/proc/meminfo: memFree=30804892/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1403.44 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 2278358 37354954 0 0 17922 2087 87037 33298 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 347 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
[pid=28704] ppid=3516 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28704/stat : 28704 (cp2_post.sh) S 3516 3515 1965 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 387198747 9367552 265 33554432000 4194304 5064252 140735512218464 140735512216752 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28704/statm: 2287 265 225 213 0 72 0
Current children cumulated CPU time (s) 1403.44
Current children cumulated vsize (KiB) 45504

[startup+1482.3 s]
/proc/loadavg: 1.90 1.93 1.94 3/183 29746
/proc/meminfo: memFree=30819428/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1462.6 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 2359703 38900090 0 0 18657 2171 90702 34730 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 358 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1462.6
Current children cumulated vsize (KiB) 36356

[startup+1542.3 s]
/proc/loadavg: 2.36 2.04 1.97 3/184 30806
/proc/meminfo: memFree=30753828/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1521.68 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 2441048 40437970 0 0 19390 2255 94367 36156 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 368 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1521.68
Current children cumulated vsize (KiB) 36356

[startup+1602.3 s]
/proc/loadavg: 2.14 2.04 1.98 3/183 31843
/proc/meminfo: memFree=30754212/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1580.74 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 2522393 41982668 0 0 20124 2337 98048 37565 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 375 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1580.74
Current children cumulated vsize (KiB) 36356

[startup+1662.3 s]
/proc/loadavg: 1.99 2.01 1.97 4/184 435
/proc/meminfo: memFree=30799024/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1639.59 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) R 3515 3515 1965 0 -1 4202496 2603253 43514554 0 0 20851 2419 101686 39003 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866672 4301073 0 0 4096 0 0 0 0 17 2 0 0 389 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1639.59
Current children cumulated vsize (KiB) 36356

############
# WARNING:
# current cumulated CPU time (1649.18 s) is less than in the last sample (1649.39 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.209961 s) to the 'lost time'.

[startup+1671.9 s]
/proc/loadavg: 1.99 2.01 1.97 3/183 612
/proc/meminfo: memFree=30795640/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1649.07 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) R 3515 3515 1965 0 -1 4202496 2616164 43761777 0 0 20968 2433 102282 39224 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 4315780 0 0 4096 0 0 0 0 17 2 0 0 392 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
[pid=603] ppid=3516 vsize=9148 CPUtime=0.32 cores=0,2,4,6
/proc/603/stat : 603 (cp2_post.sh) S 3516 3515 1965 0 -1 4202496 636 3457 0 0 0 0 20 12 20 0 1 0 387223684 9367552 268 33554432000 4194304 5064252 140734655357712 140734655356624 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/603/statm: 2287 268 228 213 0 72 0
Current children cumulated CPU time (s) 1649.39
Current children cumulated vsize (KiB) 45504

[startup+1672.01 s]
/proc/loadavg: 1.99 2.01 1.97 3/183 612
/proc/meminfo: memFree=30795640/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1649.18 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 2616821 43762293 0 0 20977 2434 102282 39225 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 392 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1649.18
Current children cumulated vsize (KiB) 36356
#
############


[startup+1722.3 s]
/proc/loadavg: 1.95 1.99 1.97 3/183 1495
/proc/meminfo: memFree=30794576/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1698.81 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) R 3515 3515 1965 0 -1 4202496 2685073 45060776 0 0 21591 2502 105363 40425 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866672 4580474 0 0 4096 0 0 0 0 17 2 0 0 404 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1698.81
Current children cumulated vsize (KiB) 36356

[startup+1782.3 s]
/proc/loadavg: 1.90 1.98 1.96 3/183 2592
/proc/meminfo: memFree=30774400/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1757.48 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) S 3515 3515 1965 0 -1 4202496 2765493 46596959 0 0 22317 2588 109009 41834 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256865584 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 413 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1757.48
Current children cumulated vsize (KiB) 36356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1825.2 s]
/proc/loadavg: 1.95 1.98 1.96 4/181 3328
/proc/meminfo: memFree=30770768/32873844 swapFree=7128/7128
[pid=3515] ppid=3513 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3515/stat : 3515 (npSolver-wbo-It) S 3513 3515 1965 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387056527 9367552 275 33554432000 4194304 5064252 140737228557632 140737228556544 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3515/statm: 2287 275 233 213 0 72 0
[pid=3516] ppid=3515 vsize=27208 CPUtime=1799.93 cores=0,2,4,6
/proc/3516/stat : 3516 (npSolver-wbo) R 3515 3515 1965 0 -1 4202496 2824385 47701615 0 0 22843 2649 111640 42861 20 0 1 0 387056527 27860992 6112 33554432000 4194304 6006132 140736256874736 140736256866672 4535954 0 0 4096 0 0 0 0 17 2 0 0 423 0 0
/proc/3516/statm: 6802 6112 176 443 0 6355 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 36356

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# 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.399963
#  lost CPU user time (s): 0.22998
#  lost CPU system time (s): 0.170006

Real time (s): 1825.21
CPU time (s): 1800.35
CPU user time (s): 1345.07
CPU system time (s): 455.281
CPU usage (%): 98.6382
Max. virtual memory (cumulated for all children) (KiB): 111472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1344.84
system time used= 455.111
maximum resident set size= 53612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50526375
page faults= 0
swaps= 0
block input operations= 8
block output operations= 50827680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1048115
involuntary context switches= 33136

runsolver used 5.43417 second user time and 14.3458 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-09 04:44:55
IDJOB=3752607
IDBENCH=79336
IDSOLVER=2336
FILE ID=node105/3752607-1339209895
RUNJOBID= node105-1339206293-1981
PBS_JOBID= 14643893
Free space on /tmp= 66820 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.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-3752607-1339209895/watcher-3752607-1339209895 -o /tmp/evaluation-result-3752607-1339209895/solver-3752607-1339209895 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752607-1339209895.wbo 631653924 HOME HOME

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

MD5SUM BENCH= 089f801cecdf2ec1cd48445a7f0604a7
RANDOM SEED=631653924

node105.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		: 2666.882
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	: 5333.76
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		: 2666.882
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		: 2666.882
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		: 2666.882
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		: 2666.882
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	: 5438.54
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		: 2666.882
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		: 2666.882
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.92
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		: 2666.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30839896 kB
Buffers:          559892 kB
Cached:           450452 kB
SwapCached:         2384 kB
Active:           990632 kB
Inactive:          88680 kB
Active(anon):      67740 kB
Inactive(anon):     2560 kB
Active(file):     922892 kB
Inactive(file):    86120 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67099580 kB
Dirty:             14928 kB
Writeback:             0 kB
AnonPages:        136916 kB
Mapped:             9884 kB
Shmem:                 0 kB
Slab:             812636 kB
SReclaimable:     253636 kB
SUnreclaim:       559000 kB
KernelStack:        1528 kB
PageTables:         4408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     198424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 66804 MiB
End job on node105 at 2012-06-09 05:15:20