Trace number 3752996

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.02 1833.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
MD5SUMfc4fc608292ff0814d25e97efc86eb19
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.051991
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2913
Total number of constraints3105
Number of soft constraints1046
Number of constraints which are clauses2259
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints846
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 52307
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 52306
Biggest number in a constraint 6518
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 18803
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.14	c run usual solver
0.00/0.80	o 365
0.00/0.80	c starting approximation
0.00/0.80	c factor = 2
0.00/0.80	c factor still to low - shrinking to 2.29074
0.00/0.80	c approx number of clauses: 1e+06
0.00/0.80	c current bound: 182
1.10/1.44	c current bound: 182
1.72/2.06	c current bound: 182
2.34/2.69	c current bound: 182
3.24/3.31	c current bound: 182
3.59/3.93	c current bound: 182
4.45/4.57	c current bound: 182
5.15/6.13	c current bound: 182
5.70/6.78	c current bound: 182
6.13/7.41	c current bound: 182
6.76/8.04	c current bound: 182
7.38/8.66	c current bound: 182
8.02/9.29	c current bound: 182
8.91/10.18	c current bound: 182
9.28/10.80	c current bound: 182
9.90/11.43	c current bound: 182
10.76/12.05	c current bound: 182
11.13/12.67	c current bound: 182
12.05/13.30	c current bound: 182
12.38/13.92	c current bound: 182
13.01/14.54	c current bound: 182
13.90/15.43	c current bound: 182
14.25/16.05	c current bound: 182
15.10/16.68	c current bound: 182
15.80/17.30	c current bound: 182
16.13/17.92	c current bound: 182
16.76/18.55	c current bound: 182
17.38/19.18	c current bound: 182
18.19/19.80	c current bound: 182
18.64/20.44	c current bound: 182
19.48/21.07	c current bound: 182
19.89/21.69	c current bound: 182
20.51/22.31	c current bound: 182
21.14/22.94	c current bound: 182
21.76/23.56	c current bound: 182
22.59/24.18	c current bound: 182
23.00/24.81	c current bound: 182
23.89/25.72	c current bound: 182
24.48/26.35	c current bound: 182
24.88/26.98	c current bound: 182
25.80/27.61	c current bound: 182
26.14/28.23	c current bound: 182
26.78/28.87	c current bound: 182
27.41/29.49	c current bound: 182
28.03/30.12	c current bound: 182
28.89/30.75	c current bound: 182
29.29/31.37	c current bound: 182
30.20/32.00	c current bound: 182
30.55/32.62	c current bound: 182
31.17/33.25	c current bound: 182
31.81/33.87	c current bound: 182
32.43/34.49	c current bound: 182
33.33/35.12	c current bound: 182
33.68/35.74	c current bound: 182
34.54/36.36	c current bound: 182
34.93/36.98	c current bound: 182
35.56/37.61	c current bound: 182
36.18/38.23	c current bound: 182
36.81/38.86	c current bound: 182
37.43/39.48	c current bound: 182
38.06/40.10	c current bound: 182
38.95/40.73	c current bound: 182
39.31/41.35	c current bound: 182
40.16/41.97	c current bound: 182
40.86/42.60	c current bound: 182
41.19/43.22	c current bound: 182
41.83/43.85	c current bound: 182
42.45/44.47	c current bound: 182
43.26/45.09	c current bound: 182
43.69/45.72	c current bound: 182
44.56/46.34	c current bound: 182
44.94/46.97	c current bound: 182
45.58/47.59	c current bound: 182
46.20/48.21	c current bound: 182
46.83/48.84	c current bound: 182
47.68/49.47	c current bound: 182
48.10/50.09	c current bound: 182
48.98/50.71	c current bound: 182
49.34/51.34	c current bound: 182
49.97/51.97	c current bound: 182
50.89/52.60	c current bound: 182
51.23/53.23	c current bound: 182
52.10/53.85	c current bound: 182
52.49/54.48	c current bound: 182
53.39/55.11	c current bound: 182
53.76/55.78	c current bound: 182
54.39/56.40	c current bound: 182
55.01/57.03	c current bound: 182
55.63/57.67	c current bound: 182
56.47/58.29	c current bound: 182
56.90/58.91	c current bound: 182
57.77/59.54	c current bound: 182
58.15/60.16	c current bound: 182
58.78/60.78	c current bound: 182
59.40/61.40	c current bound: 182
60.02/62.03	c current bound: 182
60.90/62.65	c current bound: 182
61.28/63.28	c current bound: 182
62.20/63.90	c current bound: 182
62.53/64.53	c current bound: 182
63.17/65.15	c current bound: 182
63.80/65.78	c current bound: 182
64.43/66.40	c current bound: 182
65.32/67.03	c current bound: 182
65.68/67.65	c current bound: 182
66.51/68.27	c current bound: 182
67.22/68.90	c current bound: 182
67.55/69.52	c current bound: 182
68.18/70.15	c current bound: 182
69.10/70.80	c current bound: 182
69.70/71.43	c current bound: 182
70.07/72.06	c current bound: 182
70.91/72.68	c current bound: 182
71.60/73.30	c current bound: 182
71.94/73.93	c current bound: 182
72.57/74.55	c current bound: 182
73.19/75.18	c current bound: 182
73.81/75.80	c current bound: 182
74.45/76.43	c current bound: 182
75.31/77.05	c current bound: 182
75.69/77.68	c current bound: 182
76.61/78.30	c current bound: 182
76.95/78.92	c current bound: 182
77.57/79.55	c current bound: 182
78.19/80.18	c current bound: 182
78.82/80.81	c current bound: 182
79.72/81.43	c current bound: 182
80.07/82.05	c current bound: 182
80.90/82.69	c current bound: 182
81.33/83.31	c current bound: 182
81.96/83.94	c current bound: 182
82.59/84.56	c current bound: 182
83.22/85.19	c current bound: 182
84.14/85.81	c current bound: 182
84.47/86.43	c current bound: 182
85.31/87.06	c current bound: 182
85.72/87.68	c current bound: 182
86.35/88.31	c current bound: 182
86.97/88.93	c current bound: 182
87.61/89.56	c current bound: 182
88.44/90.19	c current bound: 182
88.87/90.81	c current bound: 182
89.72/91.43	c current bound: 182
90.12/92.06	c current bound: 182
90.73/92.68	c current bound: 182
91.36/93.31	c current bound: 182
91.98/93.93	c current bound: 182
92.84/94.56	c current bound: 182
93.26/95.18	c current bound: 182
94.14/95.81	c current bound: 182
94.51/96.44	c current bound: 182
95.14/97.07	c current bound: 182
95.77/97.69	c current bound: 182
96.40/98.32	c current bound: 182
97.27/98.94	c current bound: 182
97.65/99.58	c current bound: 182
98.59/100.20	c current bound: 182
98.92/100.82	c current bound: 182
99.54/101.45	c current bound: 182
100.17/102.08	c current bound: 182
100.82/102.71	c current bound: 182
101.69/103.33	c current bound: 182
102.07/103.95	c current bound: 182
102.91/104.58	c current bound: 182
103.32/105.21	c current bound: 182
103.95/105.83	c current bound: 182
104.58/106.46	c current bound: 182
105.21/107.08	c current bound: 182
106.11/107.70	c current bound: 182
106.46/108.33	c current bound: 182
107.33/108.95	c current bound: 182
107.71/109.58	c current bound: 182
108.62/110.20	c current bound: 182
108.95/110.82	c current bound: 182
109.58/111.45	c current bound: 182
110.21/112.07	c current bound: 182
110.83/112.71	c current bound: 182
111.71/113.34	c current bound: 182
112.09/113.96	c current bound: 182
112.90/114.58	c current bound: 182
113.34/115.20	c current bound: 182
113.96/115.83	c current bound: 182
114.59/116.45	c current bound: 182
115.21/117.07	c current bound: 182
116.01/117.70	c current bound: 182
116.46/118.32	c current bound: 182
117.31/118.94	c current bound: 182
117.70/119.57	c current bound: 182
118.32/120.19	c current bound: 182
118.95/120.81	c current bound: 182
119.57/121.44	c current bound: 182
120.42/122.06	c current bound: 182
120.81/122.69	c current bound: 182
121.71/123.32	c current bound: 182
122.08/123.94	c current bound: 182
122.71/124.57	c current bound: 182
123.33/125.19	c current bound: 182
124.25/125.93	c current bound: 182
124.81/126.55	c current bound: 182
125.20/127.18	c current bound: 182
126.13/127.80	c current bound: 182
126.46/128.42	c current bound: 182
127.08/129.06	c current bound: 182
127.71/129.70	c current bound: 182
128.35/130.32	c current bound: 182
129.21/130.94	c current bound: 182
129.59/131.57	c current bound: 182
130.51/132.21	c current bound: 182
130.87/132.83	c current bound: 182
131.49/133.45	c current bound: 182
132.11/134.08	c current bound: 182
132.74/134.70	c current bound: 182
133.63/135.33	c current bound: 182
134.28/136.01	c current bound: 182
134.61/136.63	c current bound: 182
135.25/137.26	c current bound: 182
135.87/137.89	c current bound: 182
136.77/138.51	c current bound: 182
137.10/139.14	c current bound: 182
138.04/139.86	c current bound: 182
138.36/140.49	c current bound: 182
139.00/141.11	c current bound: 182
139.62/141.74	c current bound: 182
140.25/142.36	c current bound: 182
141.08/142.98	c current bound: 182
141.50/143.61	c current bound: 182
142.37/144.23	c current bound: 182
142.75/144.85	c current bound: 182
143.38/145.48	c current bound: 182
144.28/146.10	c current bound: 182
144.63/146.73	c current bound: 182
145.48/147.35	c current bound: 182
145.88/147.97	c current bound: 182
146.68/148.59	c current bound: 182
147.13/149.22	c current bound: 182
147.75/149.84	c current bound: 182
148.38/150.46	c current bound: 182
149.00/151.09	c current bound: 182
149.91/151.71	c current bound: 182
150.25/152.33	c current bound: 182
151.10/152.96	c current bound: 182
151.49/153.58	c current bound: 182
152.12/154.20	c current bound: 182
152.75/154.83	c current bound: 182
153.37/155.46	c current bound: 182
154.00/156.09	c current bound: 182
154.63/156.71	c current bound: 182
155.50/157.33	c current bound: 182
155.89/157.96	c current bound: 182
156.72/158.58	c current bound: 182
157.42/159.20	c current bound: 182
157.77/159.83	c current bound: 182
158.39/160.45	c current bound: 182
159.01/161.08	c current bound: 182
159.82/161.70	c current bound: 182
160.26/162.32	c current bound: 182
161.12/162.95	c current bound: 182
161.52/163.57	c current bound: 182
162.44/164.20	c current bound: 182
162.78/164.82	c current bound: 182
163.40/165.45	c current bound: 182
164.24/166.07	c current bound: 182
164.65/166.69	c current bound: 182
165.54/167.31	c current bound: 182
165.90/167.94	c current bound: 182
166.53/168.56	c current bound: 182
167.15/169.19	c current bound: 182
167.76/169.81	c current bound: 182
168.66/170.44	c current bound: 182
169.05/171.06	c current bound: 182
169.85/171.69	c current bound: 182
170.29/172.31	c current bound: 182
170.91/172.94	c current bound: 182
171.55/173.56	c current bound: 182
172.18/174.19	c current bound: 182
173.09/174.86	c current bound: 182
173.42/175.48	c current bound: 182
174.32/176.11	c current bound: 182
174.67/176.73	c current bound: 182
175.31/177.36	c current bound: 182
175.92/177.98	c current bound: 182
176.55/178.61	c current bound: 182
177.43/179.23	c current bound: 182
177.81/179.86	c current bound: 182
178.65/180.49	c current bound: 182
179.07/181.12	c current bound: 182
179.70/181.74	c current bound: 182
180.33/182.36	c current bound: 182
180.95/182.99	c current bound: 182
181.85/183.62	c current bound: 182
182.22/184.24	c current bound: 182
183.04/184.86	c current bound: 182
183.46/185.49	c current bound: 182
184.09/186.11	c current bound: 182
184.70/186.73	c current bound: 182
185.33/187.36	c current bound: 182
185.96/187.98	c current bound: 182
186.60/188.61	c current bound: 182
187.48/189.23	c current bound: 182
187.83/189.85	c current bound: 182
188.66/190.47	c current bound: 182
189.08/191.09	c current bound: 182
189.70/191.72	c current bound: 182
190.34/192.35	c current bound: 182
190.96/192.97	c current bound: 182
191.80/193.59	c current bound: 182
192.22/194.21	c current bound: 182
193.09/194.84	c current bound: 182
193.46/195.46	c current bound: 182
194.09/196.08	c current bound: 182
194.71/196.71	c current bound: 182
195.34/197.33	c current bound: 182
196.20/197.96	c current bound: 182
196.59/198.58	c current bound: 182
197.50/199.20	c current bound: 182
197.84/199.83	c current bound: 182
198.45/200.45	c current bound: 182
199.35/201.30	c current bound: 182
199.71/201.93	c current bound: 182
200.56/202.55	c current bound: 182
200.94/203.18	c current bound: 182
201.86/203.80	c current bound: 182
202.19/204.42	c current bound: 182
202.82/205.05	c current bound: 182
203.67/205.67	c current bound: 182
204.07/206.51	c current bound: 182
204.70/207.14	c current bound: 182
205.34/207.76	c current bound: 182
205.94/208.39	c current bound: 182
206.86/209.01	c current bound: 182
207.21/209.64	c current bound: 182
208.05/210.26	c current bound: 182
208.75/211.15	c current bound: 182
209.08/211.78	c current bound: 182
210.00/212.40	c current bound: 182
210.34/213.03	c current bound: 182
210.98/213.65	c current bound: 182
211.60/214.27	c current bound: 182
212.52/214.90	c current bound: 182
213.11/215.52	c current bound: 182
213.75/216.35	c current bound: 182
214.09/216.97	c current bound: 182
215.02/217.60	c current bound: 182
215.35/218.23	c current bound: 182
216.21/218.85	c current bound: 182
216.60/219.48	c current bound: 182
217.53/220.10	c current bound: 182
217.85/220.72	c current bound: 182
218.79/221.59	c current bound: 182
219.42/222.21	c current bound: 182
219.75/222.83	c current bound: 182
220.60/223.45	c current bound: 182
220.99/224.07	c current bound: 182
221.90/224.70	c current bound: 182
222.23/225.32	c current bound: 182
222.86/225.94	c current bound: 182
223.79/226.81	c current bound: 182
224.13/227.44	c current bound: 182
224.74/228.06	c current bound: 182
225.38/228.69	c current bound: 182
226.01/229.31	c current bound: 182
226.88/229.94	c current bound: 182
227.26/230.56	c current bound: 182
228.08/231.18	c current bound: 182
228.80/232.10	c current bound: 182
229.14/232.72	c current bound: 182
229.98/233.35	c current bound: 182
230.40/233.97	c current bound: 182
231.01/234.59	c current bound: 182
231.65/235.22	c current bound: 182
232.26/235.84	c current bound: 182
233.10/236.47	c current bound: 182
233.52/237.09	c current bound: 182
234.40/237.71	c current bound: 182
234.76/238.34	c current bound: 182
235.38/238.96	c current bound: 182
236.01/239.58	c current bound: 182
236.63/240.21	c current bound: 182
237.51/240.83	c current bound: 182
237.88/241.45	c current bound: 182
238.71/242.08	c current bound: 182
239.13/242.71	c current bound: 182
239.76/243.33	c current bound: 182
240.38/243.95	c current bound: 182
241.01/244.58	c current bound: 182
241.64/245.20	c current bound: 182
242.26/245.83	c current bound: 182
243.14/246.45	c current bound: 182
243.53/247.07	c current bound: 182
244.14/247.79	c current bound: 182
244.77/248.41	c current bound: 182
245.41/249.03	c current bound: 182
246.26/249.66	c current bound: 182
246.65/250.29	c current bound: 182
247.56/250.91	c current bound: 182
247.91/251.53	c current bound: 182
248.54/252.16	c current bound: 182
249.18/252.78	c current bound: 182
249.80/253.41	c current bound: 182
250.68/254.03	c current bound: 182
251.06/254.66	c current bound: 182
251.88/255.28	c current bound: 182
252.30/255.90	c current bound: 182
252.92/256.53	c current bound: 182
253.57/257.15	c current bound: 182
254.19/257.91	c current bound: 182
255.06/258.53	c current bound: 182
255.42/259.16	c current bound: 182
256.27/259.78	c current bound: 182
256.69/260.41	c current bound: 182
257.32/261.04	c current bound: 182
257.94/261.66	c current bound: 182
258.58/262.78	c current bound: 182
259.20/263.41	c current bound: 182
260.09/264.03	c current bound: 182
260.46/264.66	c current bound: 182
261.29/265.28	c current bound: 182
262.00/265.90	c current bound: 182
262.34/266.53	c current bound: 182
262.95/267.15	c current bound: 182
263.58/267.78	c current bound: 182
264.41/268.40	c current bound: 182
264.83/269.03	c current bound: 182
265.68/269.65	c current bound: 182
266.09/270.28	c current bound: 182
267.00/270.90	c current bound: 182
267.33/271.52	c current bound: 182
267.95/272.15	c current bound: 182
268.79/272.77	c current bound: 182
269.20/273.39	c current bound: 182
270.09/274.01	c current bound: 182
270.44/274.63	c current bound: 182
271.06/275.27	c current bound: 182
271.70/275.89	c current bound: 182
272.31/276.51	c current bound: 182
273.19/277.14	c current bound: 182
273.58/277.76	c current bound: 182
274.41/278.38	c current bound: 182
274.82/279.00	c current bound: 182
275.44/279.63	c current bound: 182
276.07/280.25	c current bound: 182
276.69/280.87	c current bound: 182
277.32/281.49	c current bound: 182
277.94/282.11	c current bound: 182
278.81/282.75	c current bound: 182
279.18/283.38	c current bound: 182
280.10/284.00	c current bound: 182
280.43/284.62	c current bound: 182
281.06/285.25	c current bound: 182
281.69/285.88	c current bound: 182
282.60/286.50	c current bound: 182
283.20/287.12	c current bound: 182
283.57/287.74	c current bound: 182
284.39/288.36	c current bound: 182
284.81/288.99	c current bound: 182
285.42/289.61	c current bound: 182
286.05/290.23	c current bound: 182
286.67/290.86	c current bound: 182
287.50/291.48	c current bound: 182
287.92/292.11	c current bound: 182
288.80/292.73	c current bound: 182
289.18/293.36	c current bound: 182
289.81/293.98	c current bound: 182
290.72/294.60	c current bound: 182
291.05/295.22	c current bound: 182
291.91/295.86	c current bound: 182
292.30/296.48	c current bound: 182
293.20/297.11	c current bound: 182
293.57/297.73	c current bound: 182
294.19/298.36	c current bound: 182
294.81/298.98	c current bound: 182
295.44/299.61	c current bound: 182
296.33/300.23	c current bound: 182
296.69/300.85	c current bound: 182
297.52/301.47	c current bound: 182
298.21/302.10	c current bound: 182
298.56/302.72	c current bound: 182
299.17/303.34	c current bound: 182
299.81/303.96	c current bound: 182
300.43/304.59	c current bound: 182
301.05/305.23	c current bound: 182
301.93/305.85	c current bound: 182
302.31/306.47	c current bound: 182
302.94/307.09	c current bound: 182
303.83/307.93	c current bound: 182
304.18/308.56	c current bound: 182
305.01/309.18	c current bound: 182
305.73/309.91	c current bound: 182
306.05/310.53	c current bound: 182
306.67/311.15	c current bound: 182
307.31/311.78	c current bound: 182
308.22/312.42	c current bound: 182
308.57/313.05	c current bound: 182
309.41/313.67	c current bound: 182
309.83/314.29	c current bound: 182
310.45/314.91	c current bound: 182
311.07/315.53	c current bound: 182
311.70/316.16	c current bound: 182
312.53/316.78	c current bound: 182
313.23/317.40	c current bound: 182
313.81/318.03	c current bound: 182
314.19/318.65	c current bound: 182
314.82/319.27	c current bound: 182
315.74/319.90	c current bound: 182
316.07/320.52	c current bound: 182
316.95/321.15	c current bound: 182
317.31/321.77	c current bound: 182
318.13/322.39	c current bound: 182
318.57/323.01	c current bound: 182
319.19/323.63	c current bound: 182
319.80/324.26	c current bound: 182
320.43/324.88	c current bound: 182
321.06/325.50	c current bound: 182
321.68/326.12	c current bound: 182
322.55/326.75	c current bound: 182
322.93/327.37	c current bound: 182
323.85/328.21	c current bound: 182
324.45/328.83	c current bound: 182
324.81/329.45	c current bound: 182
325.65/330.09	c current bound: 182
326.07/330.71	c current bound: 182
326.70/331.34	c current bound: 182
327.33/331.97	c current bound: 182
327.96/332.59	c current bound: 182
328.87/333.60	c current bound: 182
329.21/334.23	c current bound: 182
329.83/334.85	c current bound: 182
330.67/335.47	c current bound: 182
331.07/336.09	c current bound: 182
331.95/336.72	c current bound: 182
332.32/337.34	c current bound: 182
332.96/337.96	c current bound: 182
333.57/338.59	c current bound: 182
334.20/339.21	c current bound: 182
335.07/339.84	c current bound: 182
335.45/340.46	c current bound: 182
336.28/341.08	c current bound: 182
336.71/341.71	c current bound: 182
337.32/342.33	c current bound: 182
337.95/342.95	c current bound: 182
338.86/343.60	c current bound: 182
339.45/344.22	c current bound: 182
339.82/344.87	c current bound: 182
340.73/345.50	c current bound: 182
341.07/346.12	c current bound: 182
341.71/346.74	c current bound: 182
342.33/347.37	c current bound: 182
342.95/347.99	c current bound: 182
343.84/348.61	c current bound: 182
344.20/349.24	c current bound: 182
345.04/349.86	c current bound: 182
345.44/350.48	c current bound: 182
346.07/351.10	c current bound: 182
346.69/351.73	c current bound: 182
347.31/352.35	c current bound: 182
347.94/352.97	c current bound: 182
348.56/353.59	c current bound: 182
349.44/354.21	c current bound: 182
349.79/354.84	c current bound: 182
350.64/355.46	c current bound: 182
351.04/356.08	c current bound: 182
351.66/356.71	c current bound: 182
352.29/357.33	c current bound: 182
352.92/357.95	c current bound: 182
353.75/358.57	c current bound: 182
354.45/359.20	c current bound: 182
355.04/359.82	c current bound: 182
355.42/360.45	c current bound: 182
356.03/361.07	c current bound: 182
356.65/361.69	c current bound: 182
357.30/362.31	c current bound: 182
358.17/362.94	c current bound: 182
358.53/363.56	c current bound: 182
359.36/364.18	c current bound: 182
360.07/364.80	c current bound: 182
360.41/365.42	c current bound: 182
361.04/366.05	c current bound: 182
361.65/366.67	c current bound: 182
362.27/367.29	c current bound: 182
362.89/367.92	c current bound: 182
363.81/368.81	c current bound: 182
364.15/369.43	c current bound: 182
364.77/370.05	c current bound: 182
365.60/370.67	c current bound: 182
366.31/371.30	c current bound: 182
366.92/371.93	c current bound: 182
367.28/372.55	c current bound: 182
367.89/373.18	c current bound: 182
368.82/374.09	c current bound: 182
369.16/374.72	c current bound: 182
369.80/375.34	c current bound: 182
370.41/375.96	c current bound: 182
371.04/376.58	c current bound: 182
371.95/377.21	c current bound: 182
372.29/377.83	c current bound: 182
373.14/378.45	c current bound: 182
373.81/379.35	c current bound: 182
374.16/379.97	c current bound: 182
374.98/380.60	c current bound: 182
375.41/381.22	c current bound: 182
376.26/381.84	c current bound: 182
376.66/382.47	c current bound: 182
377.28/383.09	c current bound: 182
377.90/383.72	c current bound: 182
378.82/384.47	c current bound: 182
379.45/385.10	c current bound: 182
379.79/385.72	c current bound: 182
380.41/386.34	c current bound: 182
381.04/386.97	c current bound: 182
381.65/387.59	c current bound: 182
382.55/388.21	c current bound: 182
382.90/388.84	c current bound: 182
383.80/389.78	c current bound: 182
384.46/390.41	c current bound: 182
384.78/391.03	c current bound: 182
385.64/391.65	c current bound: 182
386.04/392.28	c current bound: 182
386.95/392.90	c current bound: 182
387.29/393.52	c current bound: 182
387.91/394.15	c current bound: 182
388.54/394.77	c current bound: 182
389.15/395.39	c current bound: 182
390.04/396.02	c current bound: 182
390.40/396.64	c current bound: 182
391.26/397.26	c current bound: 182
391.67/397.89	c current bound: 182
392.29/398.52	c current bound: 182
392.92/399.14	c current bound: 182
393.83/399.86	c current bound: 182
394.37/400.48	c current bound: 182
395.08/401.10	c current bound: 182
395.41/401.72	c current bound: 182
396.02/402.35	c current bound: 182
396.65/402.97	c current bound: 182
397.28/403.59	c current bound: 182
397.91/404.22	c current bound: 182
398.77/404.84	c current bound: 182
399.15/405.46	c current bound: 182
399.97/406.08	c current bound: 182
400.40/406.71	c current bound: 182
401.03/407.33	c current bound: 182
401.64/407.95	c current bound: 182
402.28/408.57	c current bound: 182
403.08/409.20	c current bound: 182
403.53/409.83	c current bound: 182
404.39/410.46	c current bound: 182
404.79/411.08	c current bound: 182
405.41/411.70	c current bound: 182
406.04/412.33	c current bound: 182
406.66/412.95	c current bound: 182
407.49/413.57	c current bound: 182
407.90/414.19	c current bound: 182
408.80/414.82	c current bound: 182
409.15/415.44	c current bound: 182
409.78/416.06	c current bound: 182
410.40/416.69	c current bound: 182
411.02/417.31	c current bound: 182
411.89/417.93	c current bound: 182
412.28/418.56	c current bound: 182
413.11/419.18	c current bound: 182
413.52/419.81	c current bound: 182
414.15/420.43	c current bound: 182
414.77/421.06	c current bound: 182
415.41/421.68	c current bound: 182
416.03/422.30	c current bound: 182
416.65/422.93	c current bound: 182
417.50/423.55	c current bound: 182
417.89/424.18	c current bound: 182
418.81/424.80	c current bound: 182
419.14/425.42	c current bound: 182
419.77/426.04	c current bound: 182
420.39/426.67	c current bound: 182
421.02/427.29	c current bound: 182
421.91/427.91	c current bound: 182
422.26/428.54	c current bound: 182
423.11/429.16	c current bound: 182
423.51/429.78	c current bound: 182
424.14/430.41	c current bound: 182
424.76/431.03	c current bound: 182
425.39/431.66	c current bound: 182
426.22/432.28	c current bound: 182
426.63/432.91	c current bound: 182
427.51/433.53	c current bound: 182
427.89/434.15	c current bound: 182
428.79/435.03	c current bound: 182
429.37/435.65	c current bound: 182
429.76/436.27	c current bound: 182
430.67/436.90	c current bound: 182
431.01/437.52	c current bound: 182
431.63/438.14	c current bound: 182
432.25/438.77	c current bound: 182
432.89/439.39	c current bound: 182
433.80/440.01	c current bound: 182
434.13/440.77	c current bound: 182
434.75/441.39	c current bound: 182
435.37/442.02	c current bound: 182
435.99/442.64	c current bound: 182
436.84/443.26	c current bound: 182
437.23/443.88	c current bound: 182
438.15/444.50	c current bound: 182
438.78/445.44	c current bound: 182
439.12/446.06	c current bound: 182
439.95/446.68	c current bound: 182
440.37/447.31	c current bound: 182
440.99/447.94	c current bound: 182
441.62/448.56	c current bound: 182
442.25/449.19	c current bound: 182
443.16/449.91	c current bound: 182
443.49/450.53	c current bound: 182
444.34/451.15	c current bound: 182
444.73/451.77	c current bound: 182
445.36/452.39	c current bound: 182
445.99/453.02	c current bound: 182
446.62/453.65	c current bound: 182
447.46/454.27	c current bound: 182
447.87/454.89	c current bound: 182
448.75/455.51	c current bound: 182
449.10/456.13	c current bound: 182
449.72/456.76	c current bound: 182
450.35/457.38	c current bound: 182
451.26/458.00	c current bound: 182
451.87/458.63	c current bound: 182
452.23/459.25	c current bound: 182
453.06/459.88	c current bound: 182
453.47/460.56	c current bound: 182
454.09/461.18	c current bound: 182
454.72/461.81	c current bound: 182
455.36/462.43	c current bound: 182
456.20/463.06	c current bound: 182
456.59/463.68	c current bound: 182
457.50/464.31	c current bound: 182
457.85/464.93	c current bound: 182
458.78/465.70	c current bound: 182
459.36/466.33	c current bound: 182
459.73/466.95	c current bound: 182
460.55/467.58	c current bound: 182
461.27/468.20	c current bound: 182
461.60/468.84	c current bound: 182
462.25/469.47	c current bound: 182
462.88/470.09	c current bound: 182
463.76/470.71	c current bound: 182
464.11/471.34	c current bound: 182
464.98/471.96	c current bound: 182
465.37/472.58	c current bound: 182
466.00/473.21	c current bound: 182
466.63/473.83	c current bound: 182
467.24/474.45	c current bound: 182
467.86/475.07	c current bound: 182
468.49/475.69	c current bound: 182
469.38/476.32	c current bound: 182
469.72/476.94	c current bound: 182
470.56/477.57	c current bound: 182
470.99/478.19	c current bound: 182
471.60/478.81	c current bound: 182
472.22/479.43	c current bound: 182
472.84/480.05	c current bound: 182
473.69/480.69	c current bound: 182
474.10/481.32	c current bound: 182
474.97/481.94	c current bound: 182
475.36/482.56	c current bound: 182
475.98/483.19	c current bound: 182
476.61/483.82	c current bound: 182
477.23/484.44	c current bound: 182
478.07/485.06	c current bound: 182
478.46/485.69	c current bound: 182
479.37/486.31	c current bound: 182
479.72/486.93	c current bound: 182
480.34/487.56	c current bound: 182
481.28/488.20	c current bound: 182
481.61/488.82	c current bound: 182
482.46/489.45	c current bound: 182
482.86/490.08	c current bound: 182
483.77/490.70	c current bound: 182
484.10/491.32	c current bound: 182
484.73/491.95	c current bound: 182
485.35/492.57	c current bound: 182
485.96/493.19	c current bound: 182
486.88/493.82	c current bound: 182
487.22/494.44	c current bound: 182
488.06/495.06	c current bound: 182
488.46/495.68	c current bound: 182
489.08/496.31	c current bound: 182
489.70/496.93	c current bound: 182
490.34/497.56	c current bound: 182
490.97/498.18	c current bound: 182
491.87/498.80	c current bound: 182
492.47/499.42	c current bound: 182
492.83/500.05	c current bound: 182
493.67/500.67	c current bound: 182
494.08/501.29	c current bound: 182
494.70/501.92	c current bound: 182
495.33/502.54	c current bound: 182
495.95/503.16	c current bound: 182
496.77/503.78	c current bound: 182
497.20/504.41	c current bound: 182
498.06/505.03	c current bound: 182
498.44/505.66	c current bound: 182
499.08/506.28	c current bound: 182
499.69/506.92	c current bound: 182
500.33/507.54	c current bound: 182
501.17/508.16	c current bound: 182
501.58/508.79	c current bound: 182
502.46/509.41	c current bound: 182
502.81/510.03	c current bound: 182
503.74/510.95	c current bound: 182
504.28/511.57	c current bound: 182
504.99/512.20	c current bound: 182
505.33/512.83	c current bound: 182
505.96/513.45	c current bound: 182
506.57/514.08	c current bound: 182
507.20/514.70	c current bound: 182
507.83/515.33	c current bound: 182
508.68/515.96	c current bound: 182
509.10/516.60	c current bound: 182
509.73/517.22	c current bound: 182
510.34/517.84	c current bound: 182
510.96/518.46	c current bound: 182
511.59/519.09	c current bound: 182
512.22/519.71	c current bound: 182
513.08/520.34	c current bound: 182
513.46/520.97	c current bound: 182
514.09/521.59	c current bound: 182
514.72/522.21	c current bound: 182
515.34/522.84	c current bound: 182
515.98/523.47	c current bound: 182
516.60/524.09	c current bound: 182
517.48/524.71	c current bound: 182
517.84/525.34	c current bound: 182
518.69/525.97	c current bound: 182
519.38/526.60	c current bound: 182
519.70/527.22	c current bound: 182
520.34/527.84	c current bound: 182
520.96/528.46	c current bound: 182
521.77/529.09	c current bound: 182
522.20/529.71	c current bound: 182
523.07/530.33	c current bound: 182
523.45/530.95	c current bound: 182
524.07/531.57	c current bound: 182
524.99/532.20	c current bound: 182
525.33/532.82	c current bound: 182
526.18/533.44	c current bound: 182
526.57/534.07	c current bound: 182
527.39/534.69	c current bound: 182
527.82/535.31	c current bound: 182
528.44/536.44	c current bound: 182
529.08/537.06	c current bound: 182
529.69/537.68	c current bound: 182
530.31/538.30	c current bound: 182
531.19/538.93	c current bound: 182
531.57/539.55	c current bound: 182
532.39/540.19	c current bound: 182
532.83/540.81	c current bound: 182
533.45/541.43	c current bound: 182
534.07/542.06	c current bound: 182
534.70/542.68	c current bound: 182
535.31/543.30	c current bound: 182
535.94/543.92	c current bound: 182
536.80/544.54	c current bound: 182
537.18/545.16	c current bound: 182
538.01/545.79	c current bound: 182
538.44/546.41	c current bound: 182
539.05/547.03	c current bound: 182
539.68/547.66	c current bound: 182
540.31/548.28	c current bound: 182
541.11/548.90	c current bound: 182
541.55/549.53	c current bound: 182
542.42/550.15	c current bound: 182
542.81/550.78	c current bound: 182
543.72/551.40	c current bound: 182
544.04/552.02	c current bound: 182
544.69/552.64	c current bound: 182
545.53/553.26	c current bound: 182
545.91/553.88	c current bound: 182
546.82/554.50	c current bound: 182
547.16/555.14	c current bound: 182
547.79/555.76	c current bound: 182
548.41/556.38	c current bound: 182
549.04/557.00	c current bound: 182
549.93/557.63	c current bound: 182
550.28/558.25	c current bound: 182
551.12/558.87	c current bound: 182
551.53/559.49	c current bound: 182
552.15/560.11	c current bound: 182
552.77/560.74	c current bound: 182
553.68/561.55	c current bound: 182
554.23/562.17	c current bound: 182
554.93/562.80	c current bound: 182
555.26/563.43	c current bound: 182
555.89/564.06	c current bound: 182
556.54/564.69	c current bound: 182
557.45/565.31	c current bound: 182
557.79/565.93	c current bound: 182
558.70/566.86	c current bound: 182
559.03/567.48	c current bound: 182
559.93/568.10	c current bound: 182
560.55/568.73	c current bound: 182
560.90/569.35	c current bound: 182
561.73/569.97	c current bound: 182
562.15/570.59	c current bound: 182
562.77/571.22	c current bound: 182
563.39/571.84	c current bound: 182
564.01/572.46	c current bound: 182
564.84/573.09	c current bound: 182
565.27/573.72	c current bound: 182
566.13/574.34	c current bound: 182
566.52/574.96	c current bound: 182
567.14/575.58	c current bound: 182
567.76/576.22	c current bound: 182
568.40/576.84	c current bound: 182
569.24/577.46	c current bound: 182
569.95/578.10	c current bound: 182
570.55/578.72	c current bound: 182
570.90/579.35	c current bound: 182
571.53/579.97	c current bound: 182
572.15/580.61	c current bound: 182
572.79/581.24	c current bound: 182
573.65/581.86	c current bound: 182
574.05/582.48	c current bound: 182
574.97/583.10	c current bound: 182
575.30/583.73	c current bound: 182
575.93/584.35	c current bound: 182
576.56/584.97	c current bound: 182
577.47/585.60	c current bound: 182
578.07/586.22	c current bound: 182
578.42/586.84	c current bound: 182
579.27/587.47	c current bound: 182
579.97/588.10	c current bound: 182
580.30/588.73	c current bound: 182
580.93/589.35	c current bound: 182
581.55/589.97	c current bound: 182
582.18/590.60	c current bound: 182
582.81/591.23	c current bound: 182
583.67/591.85	c current bound: 182
584.04/592.48	c current bound: 182
584.97/593.10	c current bound: 182
585.31/593.72	c current bound: 182
585.93/594.34	c current bound: 182
586.56/594.98	c current bound: 182
587.47/595.60	c current bound: 182
588.07/596.23	c current bound: 182
588.43/596.85	c current bound: 182
589.26/597.47	c current bound: 182
589.67/598.09	c current bound: 182
590.31/598.73	c current bound: 182
590.94/599.35	c current bound: 182
591.57/599.97	c current bound: 182
592.37/600.60	c current bound: 182
592.81/601.22	c current bound: 182
593.70/601.98	c current bound: 182
594.36/602.60	c current bound: 182
594.69/603.22	c current bound: 182
595.55/603.84	c current bound: 182
595.93/604.46	c current bound: 182
596.77/605.08	c current bound: 182
597.18/605.71	c current bound: 182
597.81/606.33	c current bound: 182
598.42/606.95	c current bound: 182
599.05/607.58	c current bound: 182
599.67/608.20	c current bound: 182
600.30/608.82	c current bound: 182
601.15/609.44	c current bound: 182
601.53/610.06	c current bound: 182
602.35/610.68	c current bound: 182
602.78/611.31	c current bound: 182
603.40/611.93	c current bound: 182
604.03/612.55	c current bound: 182
604.65/613.17	c current bound: 182
605.46/613.79	c current bound: 182
605.89/614.41	c current bound: 182
606.77/615.04	c current bound: 182
607.15/615.66	c current bound: 182
607.77/616.28	c current bound: 182
608.40/616.91	c current bound: 182
609.01/617.53	c current bound: 182
609.87/618.15	c current bound: 182
610.28/618.78	c current bound: 182
611.19/619.40	c current bound: 182
611.51/620.02	c current bound: 182
612.14/620.64	c current bound: 182
612.77/621.27	c current bound: 182
613.68/622.14	c current bound: 182
614.24/622.76	c current bound: 182
614.63/623.38	c current bound: 182
615.57/624.00	c current bound: 182
615.90/624.62	c current bound: 182
616.52/625.25	c current bound: 182
617.35/625.87	c current bound: 182
617.77/626.49	c current bound: 182
618.66/627.38	c current bound: 182
619.32/628.01	c current bound: 182
619.65/628.63	c current bound: 182
620.49/629.25	c current bound: 182
620.89/629.87	c current bound: 182
621.51/630.49	c current bound: 182
622.12/631.12	c current bound: 182
622.76/631.74	c current bound: 182
623.66/632.52	c current bound: 182
624.00/633.15	c current bound: 182
624.83/633.77	c current bound: 182
625.25/634.40	c current bound: 182
625.88/635.03	c current bound: 182
626.49/635.65	c current bound: 182
627.13/636.27	c current bound: 182
627.94/636.89	c current bound: 182
628.67/637.78	c current bound: 182
628.99/638.41	c current bound: 182
629.87/639.04	c current bound: 182
630.25/639.66	c current bound: 182
631.07/640.28	c current bound: 182
631.49/640.91	c current bound: 182
632.11/641.53	c current bound: 182
632.74/642.15	c current bound: 182
633.37/642.99	c current bound: 182
634.26/643.61	c current bound: 182
634.61/644.23	c current bound: 182
635.24/644.86	c current bound: 182
635.86/645.49	c current bound: 182
636.48/646.11	c current bound: 182
637.37/646.74	c current bound: 182
637.75/647.36	c current bound: 182
638.67/648.23	c current bound: 182
639.00/648.85	c current bound: 182
639.63/649.48	c current bound: 182
640.54/650.10	c current bound: 182
640.87/650.73	c current bound: 182
641.74/651.35	c current bound: 182
642.14/651.98	c current bound: 182
643.05/652.60	c current bound: 182
643.64/653.37	c current bound: 182
644.01/654.01	c current bound: 182
644.89/654.63	c current bound: 182
645.26/655.25	c current bound: 182
645.89/655.88	c current bound: 182
646.81/656.50	c current bound: 182
647.14/657.13	c current bound: 182
648.01/657.75	c current bound: 182
648.68/658.51	c current bound: 182
649.01/659.14	c current bound: 182
649.92/659.89	c current bound: 182
650.25/660.51	c current bound: 182
651.14/661.14	c current bound: 182
651.51/661.76	c current bound: 182
652.32/662.39	c current bound: 182
652.75/663.01	c current bound: 182
653.68/663.93	c current bound: 182
654.24/664.55	c current bound: 182
654.63/665.18	c current bound: 182
655.25/665.81	c current bound: 182
655.90/666.44	c current bound: 182
656.54/667.07	c current bound: 182
657.34/667.69	c current bound: 182
657.77/668.31	c current bound: 182
658.69/669.00	c current bound: 182
659.03/669.63	c current bound: 182
659.66/670.25	c current bound: 182
660.27/670.87	c current bound: 182
660.89/671.49	c current bound: 182
661.81/672.11	c current bound: 182
662.13/672.73	c current bound: 182
662.97/673.35	c current bound: 182
663.39/673.98	c current bound: 182
664.30/674.60	c current bound: 182
664.64/675.22	c current bound: 182
665.26/675.84	c current bound: 182
666.10/676.46	c current bound: 182
666.50/677.09	c current bound: 182
667.40/677.71	c current bound: 182
667.76/678.33	c current bound: 182
668.38/678.95	c current bound: 182
668.99/679.57	c current bound: 182
669.62/680.19	c current bound: 182
670.50/680.81	c current bound: 182
670.86/681.44	c current bound: 182
671.71/682.07	c current bound: 182
672.12/682.70	c current bound: 182
672.76/683.33	c current bound: 182
673.38/683.95	c current bound: 182
674.00/684.57	c current bound: 182
674.62/685.19	c current bound: 182
675.25/685.82	c current bound: 182
676.10/686.44	c current bound: 182
676.49/687.06	c current bound: 182
677.30/687.69	c current bound: 182
677.74/688.31	c current bound: 182
678.36/688.98	c current bound: 182
678.98/689.60	c current bound: 182
679.60/690.22	c current bound: 182
680.46/690.85	c current bound: 182
680.84/691.47	c current bound: 182
681.48/692.09	c current bound: 182
682.09/692.72	c current bound: 182
682.72/693.34	c current bound: 182
683.35/693.96	c current bound: 182
683.97/694.59	c current bound: 182
684.88/695.21	c current bound: 182
685.22/695.83	c current bound: 182
686.06/696.47	c current bound: 182
686.47/697.09	c current bound: 182
687.11/697.71	c current bound: 182
687.73/698.34	c current bound: 182
688.36/698.96	c current bound: 182
689.18/699.58	c current bound: 182
689.60/700.20	c current bound: 182
690.47/700.83	c current bound: 182
690.85/701.45	c current bound: 182
691.48/702.07	c current bound: 182
692.39/702.70	c current bound: 182
692.73/703.32	c current bound: 182
693.58/703.95	c current bound: 182
693.98/704.57	c current bound: 182
694.79/705.19	c current bound: 182
695.22/705.81	c current bound: 182
695.84/706.44	c current bound: 182
696.45/707.06	c current bound: 182
697.10/707.68	c current bound: 182
698.00/708.31	c current bound: 182
698.33/708.93	c current bound: 182
699.20/709.56	c current bound: 182
699.59/710.18	c current bound: 182
700.21/710.80	c current bound: 182
700.83/711.43	c current bound: 182
701.46/712.05	c current bound: 182
702.09/712.68	c current bound: 182
703.01/713.30	c current bound: 182
703.59/713.96	c current bound: 182
703.95/714.58	c current bound: 182
704.87/715.20	c current bound: 182
705.20/715.82	c current bound: 182
705.82/716.44	c current bound: 182
706.45/717.07	c current bound: 182
707.08/717.69	c current bound: 182
707.96/718.33	c current bound: 182
708.62/719.17	c current bound: 182
709.26/719.80	c current bound: 182
709.85/720.42	c current bound: 182
710.20/721.04	c current bound: 182
711.04/721.67	c current bound: 182
711.45/722.29	c current bound: 182
712.08/722.92	c current bound: 182
712.71/723.54	c current bound: 182
713.34/724.42	c current bound: 182
714.18/725.04	c current bound: 182
714.58/725.67	c current bound: 182
715.20/726.29	c current bound: 182
715.82/726.91	c current bound: 182
716.46/727.54	c current bound: 182
717.30/728.16	c current bound: 182
717.70/728.79	c current bound: 182
718.63/729.54	c current bound: 182
718.95/730.17	c current bound: 182
719.58/730.79	c current bound: 182
720.46/731.42	c current bound: 182
720.85/732.04	c current bound: 182
721.69/732.67	c current bound: 182
722.09/733.29	c current bound: 182
722.72/733.93	c current bound: 182
723.64/734.81	c current bound: 182
723.99/735.45	c current bound: 182
724.81/736.08	c current bound: 182
725.55/736.70	c current bound: 182
725.88/737.32	c current bound: 182
726.50/737.94	c current bound: 182
727.12/738.57	c current bound: 182
727.93/739.20	c current bound: 182
728.67/740.30	c current bound: 182
728.99/740.93	c current bound: 182
729.86/741.55	c current bound: 182
730.25/742.18	c current bound: 182
730.88/742.81	c current bound: 182
731.52/743.44	c current bound: 182
732.14/744.07	c current bound: 182
732.96/744.69	c current bound: 182
733.39/745.32	c current bound: 182
734.26/745.94	c current bound: 182
734.64/746.56	c current bound: 182
735.27/747.19	c current bound: 182
735.90/747.81	c current bound: 182
736.52/748.44	c current bound: 182
737.37/749.06	c current bound: 182
737.76/749.68	c current bound: 182
738.67/750.30	c current bound: 182
739.02/750.93	c current bound: 182
739.64/751.55	c current bound: 182
740.27/752.17	c current bound: 182
740.88/752.80	c current bound: 182
741.79/753.42	c current bound: 182
742.14/754.05	c current bound: 182
742.98/754.67	c current bound: 182
743.69/755.30	c current bound: 182
744.03/755.92	c current bound: 182
744.65/756.55	c current bound: 182
745.27/757.17	c current bound: 182
746.21/757.80	c current bound: 182
746.53/758.42	c current bound: 182
747.39/759.04	c current bound: 182
747.77/759.67	c current bound: 182
748.40/760.29	c current bound: 182
749.01/760.91	c current bound: 182
749.65/761.54	c current bound: 182
750.28/762.16	c current bound: 182
750.90/762.79	c current bound: 182
751.80/763.41	c current bound: 182
752.15/764.04	c current bound: 182
752.99/764.67	c current bound: 182
753.41/765.29	c current bound: 182
754.05/765.92	c current bound: 182
754.67/766.54	c current bound: 182
755.29/767.17	c current bound: 182
756.11/767.80	c current bound: 182
756.55/768.42	c current bound: 182
757.40/769.04	c current bound: 182
757.78/769.67	c current bound: 182
758.42/770.31	c current bound: 182
759.06/770.93	c current bound: 182
759.69/771.56	c current bound: 182
760.51/772.18	c current bound: 182
760.94/772.80	c current bound: 182
761.81/773.43	c current bound: 182
762.19/774.06	c current bound: 182
762.82/774.69	c current bound: 182
763.44/775.31	c current bound: 182
764.07/775.94	c current bound: 182
764.92/776.56	c current bound: 182
765.32/777.19	c current bound: 182
766.22/777.81	c current bound: 182
766.58/778.43	c current bound: 182
767.19/779.06	c current bound: 182
767.82/779.68	c current bound: 182
768.45/780.30	c current bound: 182
769.32/780.92	c current bound: 182
769.69/781.55	c current bound: 182
770.52/782.18	c current bound: 182
771.25/782.80	c current bound: 182
771.58/783.42	c current bound: 182
772.21/784.05	c current bound: 182
772.83/784.67	c current bound: 182
773.44/785.30	c current bound: 182
774.08/785.92	c current bound: 182
774.94/786.54	c current bound: 182
775.31/787.16	c current bound: 182
776.13/787.78	c current bound: 182
776.58/788.41	c current bound: 182
777.19/789.03	c current bound: 182
777.81/789.65	c current bound: 182
778.43/790.33	c current bound: 182
779.29/790.95	c current bound: 182
779.67/791.57	c current bound: 182
780.61/792.20	c current bound: 182
780.94/792.82	c current bound: 182
781.56/793.45	c current bound: 182
782.19/794.07	c current bound: 182
782.81/794.69	c current bound: 182
783.70/795.31	c current bound: 182
784.06/795.93	c current bound: 182
784.92/796.56	c current bound: 182
785.32/797.18	c current bound: 182
786.23/797.80	c current bound: 182
786.57/798.42	c current bound: 182
787.19/799.05	c current bound: 182
788.02/799.68	c current bound: 182
788.44/800.38	c current bound: 182
789.07/801.02	c current bound: 182
789.69/801.64	c current bound: 182
790.32/802.26	c current bound: 182
790.95/802.88	c current bound: 182
791.57/803.51	c current bound: 182
792.44/804.13	c current bound: 182
792.82/804.76	c current bound: 182
793.65/805.38	c current bound: 182
794.07/806.01	c current bound: 182
794.68/806.63	c current bound: 182
795.32/807.25	c current bound: 182
795.94/807.88	c current bound: 182
796.74/808.50	c current bound: 182
797.19/809.13	c current bound: 182
798.05/809.75	c current bound: 182
798.45/810.38	c current bound: 182
799.36/811.00	c current bound: 182
799.69/811.62	c current bound: 182
800.31/812.25	c current bound: 182
801.16/812.87	c current bound: 182
801.56/813.49	c current bound: 182
802.45/814.12	c current bound: 182
802.82/814.75	c current bound: 182
803.45/815.38	c current bound: 182
804.38/816.00	c current bound: 182
804.70/816.62	c current bound: 182
805.57/817.25	c current bound: 182
805.96/817.87	c current bound: 182
806.77/818.49	c current bound: 182
807.21/819.11	c current bound: 182
807.82/819.74	c current bound: 182
808.45/820.36	c current bound: 182
809.07/820.99	c current bound: 182
810.00/821.61	c current bound: 182
810.33/822.23	c current bound: 182
811.19/822.85	c current bound: 182
811.58/823.48	c current bound: 182
812.49/824.10	c current bound: 182
812.83/824.72	c current bound: 182
813.46/825.34	c current bound: 182
814.08/825.97	c current bound: 182
814.71/826.59	c current bound: 182
815.61/827.21	c current bound: 182
815.95/827.83	c current bound: 182
816.80/828.46	c current bound: 182
817.20/829.08	c current bound: 182
817.83/829.71	c current bound: 182
818.45/830.33	c current bound: 182
819.08/830.95	c current bound: 182
819.92/831.58	c current bound: 182
820.62/832.20	c current bound: 182
821.21/832.83	c current bound: 182
821.59/833.45	c current bound: 182
822.20/834.07	c current bound: 182
822.83/834.69	c current bound: 182
823.46/835.32	c current bound: 182
824.32/835.94	c current bound: 182
824.70/836.57	c current bound: 182
825.52/837.19	c current bound: 182
825.95/837.81	c current bound: 182
826.58/838.43	c current bound: 182
827.21/839.06	c current bound: 182
827.83/839.68	c current bound: 182
828.73/840.30	c current bound: 182
829.07/840.93	c current bound: 182
829.92/841.56	c current bound: 182
830.33/842.18	c current bound: 182
831.24/842.80	c current bound: 182
831.58/843.43	c current bound: 182
832.21/844.05	c current bound: 182
832.83/844.67	c current bound: 182
833.44/845.29	c current bound: 182
834.28/845.99	c current bound: 182
834.70/846.61	c current bound: 182
835.31/847.23	c current bound: 182
835.95/847.86	c current bound: 182
836.58/848.49	c current bound: 182
837.50/849.11	c current bound: 182
837.83/849.73	c current bound: 182
838.69/850.35	c current bound: 182
839.07/851.08	c current bound: 182
839.70/851.71	c current bound: 182
840.32/852.33	c current bound: 182
840.94/852.95	c current bound: 182
841.77/853.57	c current bound: 182
842.49/854.20	c current bound: 182
843.07/854.82	c current bound: 182
843.45/855.63	c current bound: 182
844.07/856.25	c current bound: 182
844.90/856.87	c current bound: 182
845.61/857.50	c current bound: 182
846.20/858.12	c current bound: 182
846.56/858.74	c current bound: 182
847.17/859.37	c current bound: 182
847.81/859.99	c current bound: 182
848.44/860.88	c current bound: 182
849.06/861.51	c current bound: 182
849.70/862.13	c current bound: 182
850.32/862.77	c current bound: 182
850.94/863.39	c current bound: 182
851.58/864.01	c current bound: 182
852.45/864.64	c current bound: 182
852.83/865.26	c current bound: 182
853.75/866.30	c current bound: 182
854.33/866.92	c current bound: 182
854.71/867.55	c current bound: 182
855.33/868.17	c current bound: 182
856.25/868.80	c current bound: 182
856.58/869.43	c current bound: 182
857.44/870.05	c current bound: 182
857.83/870.67	c current bound: 182
858.63/871.29	c current bound: 182
859.06/871.92	c current bound: 182
859.70/872.54	c current bound: 182
860.31/873.16	c current bound: 182
860.94/873.78	c current bound: 182
861.86/874.41	c current bound: 182
862.18/875.03	c current bound: 182
863.04/875.65	c current bound: 182
863.43/876.27	c current bound: 182
864.05/876.90	c current bound: 182
864.67/877.52	c current bound: 182
865.29/878.14	c current bound: 182
865.92/878.76	c current bound: 182
866.54/879.39	c current bound: 182
867.46/880.01	c current bound: 182
867.79/880.63	c current bound: 182
868.63/881.26	c current bound: 182
869.04/881.88	c current bound: 182
869.95/882.50	c current bound: 182
870.28/883.12	c current bound: 182
870.90/883.75	c current bound: 182
871.76/884.37	c current bound: 182
872.15/884.99	c current bound: 182
873.05/885.61	c current bound: 182
873.41/886.24	c current bound: 182
874.04/886.86	c current bound: 182
874.65/887.49	c current bound: 182
875.28/888.11	c current bound: 182
876.16/888.73	c current bound: 182
876.54/889.36	c current bound: 182
877.36/889.98	c current bound: 182
878.08/890.60	c current bound: 182
878.41/891.48	c current bound: 182
879.32/892.11	c current bound: 182
879.66/892.73	c current bound: 182
880.52/893.35	c current bound: 182
880.91/893.98	c current bound: 182
881.55/894.61	c current bound: 182
882.17/895.23	c current bound: 182
882.79/895.86	c current bound: 182
883.62/896.48	c current bound: 182
884.04/897.10	c current bound: 182
884.91/897.73	c current bound: 182
885.28/898.35	c current bound: 182
885.89/898.97	c current bound: 182
886.53/899.59	c current bound: 182
887.15/900.21	c current bound: 182
888.01/900.84	c current bound: 182
888.39/901.46	c current bound: 182
889.21/902.18	c current bound: 182
889.92/902.80	c current bound: 182
890.26/903.42	c current bound: 182
890.87/904.05	c current bound: 182
891.51/904.67	c current bound: 182
892.32/905.29	c current bound: 182
892.75/905.91	c current bound: 182
893.62/906.53	c current bound: 182
893.98/907.27	c current bound: 182
894.61/907.89	c current bound: 182
895.50/908.51	c current bound: 182
895.85/909.13	c current bound: 182
896.71/909.76	c current bound: 182
897.10/910.38	c current bound: 182
898.00/911.00	c current bound: 182
898.63/911.91	c current bound: 182
898.97/912.53	c current bound: 182
899.80/913.15	c current bound: 182
900.19/913.78	c current bound: 182
901.13/914.40	c current bound: 182
901.46/915.02	c current bound: 182
902.07/915.64	c current bound: 182
902.91/916.26	c current bound: 182
903.60/917.13	c current bound: 182
903.94/917.75	c current bound: 182
904.54/918.37	c current bound: 182
905.18/918.99	c current bound: 182
906.10/919.61	c current bound: 182
906.42/920.23	c current bound: 182
907.27/920.86	c current bound: 182
907.66/921.48	c current bound: 182
908.58/922.25	c current bound: 182
909.13/922.87	c current bound: 182
909.53/923.49	c current bound: 182
910.42/924.11	c current bound: 182
910.78/924.73	c current bound: 182
911.41/925.36	c current bound: 182
912.04/925.98	c current bound: 182
912.94/926.60	c current bound: 182
913.54/927.51	c current bound: 182
913.90/928.13	c current bound: 182
914.53/928.75	c current bound: 182
915.15/929.38	c current bound: 182
916.06/930.00	c current bound: 182
916.66/930.62	c current bound: 182
917.03/931.25	c current bound: 182
917.86/931.87	c current bound: 182
918.56/932.78	c current bound: 182
918.89/933.41	c current bound: 182
919.78/934.03	c current bound: 182
920.15/934.65	c current bound: 182
920.77/935.27	c current bound: 182
921.69/935.90	c current bound: 182
922.02/936.52	c current bound: 182
922.88/937.14	c current bound: 182
923.26/938.12	c current bound: 182
923.89/938.74	c current bound: 182
924.73/939.36	c current bound: 182
925.44/940.02	c current bound: 182
925.99/940.65	c current bound: 182
926.38/941.27	c current bound: 182
927.01/941.89	c current bound: 182
927.63/942.51	c current bound: 182
928.25/943.13	c current bound: 182
929.10/943.75	c current bound: 182
929.50/944.37	c current bound: 182
930.31/944.99	c current bound: 182
930.76/945.62	c current bound: 182
931.37/946.24	c current bound: 182
931.99/946.86	c current bound: 182
932.61/947.48	c current bound: 182
933.54/948.11	c current bound: 182
933.86/948.73	c current bound: 182
934.73/949.35	c current bound: 182
935.10/949.97	c current bound: 182
935.73/950.59	c current bound: 182
936.36/951.21	c current bound: 182
936.98/951.84	c current bound: 182
937.61/952.46	c current bound: 182
938.23/953.08	c current bound: 182
939.14/953.70	c current bound: 182
939.47/954.33	c current bound: 182
940.31/954.95	c current bound: 182
940.71/955.57	c current bound: 182
941.34/956.19	c current bound: 182
941.96/956.81	c current bound: 182
942.58/957.44	c current bound: 182
943.42/958.06	c current bound: 182
943.83/958.75	c current bound: 182
944.66/959.37	c current bound: 182
945.08/959.99	c current bound: 182
945.70/960.61	c current bound: 182
946.32/961.23	c current bound: 182
946.93/961.85	c current bound: 182
947.76/962.47	c current bound: 182
948.48/963.10	c current bound: 182
948.81/963.81	c current bound: 182
949.43/964.43	c current bound: 182
950.06/965.05	c current bound: 182
950.68/965.68	c current bound: 182
951.59/966.30	c current bound: 182
952.19/966.92	c current bound: 182
952.56/967.54	c current bound: 182
953.38/968.17	c current bound: 182
953.79/968.88	c current bound: 182
954.42/969.51	c current bound: 182
955.31/970.13	c current bound: 182
955.67/970.75	c current bound: 182
956.50/971.37	c current bound: 182
957.21/972.00	c current bound: 182
957.55/972.62	c current bound: 182
958.17/973.24	c current bound: 182
958.79/974.01	c current bound: 182
959.69/974.63	c current bound: 182
960.07/975.26	c current bound: 182
960.88/975.89	c current bound: 182
961.32/976.51	c current bound: 182
961.94/977.13	c current bound: 182
962.57/977.75	c current bound: 182
963.20/978.61	c current bound: 182
963.82/979.24	c current bound: 182
964.45/979.86	c current bound: 182
965.08/980.49	c current bound: 182
966.00/981.11	c current bound: 182
966.33/981.73	c current bound: 182
967.19/982.36	c current bound: 182
967.59/982.98	c current bound: 182
968.22/983.86	c current bound: 182
969.03/984.48	c current bound: 182
969.75/985.10	c current bound: 182
970.34/985.72	c current bound: 182
970.71/986.35	c current bound: 182
971.33/986.98	c current bound: 182
971.97/987.60	c current bound: 182
972.58/988.23	c current bound: 182
973.49/989.08	c current bound: 182
973.85/989.70	c current bound: 182
974.48/990.35	c current bound: 182
975.13/990.97	c current bound: 182
975.75/991.60	c current bound: 182
976.65/992.22	c current bound: 182
977.00/992.84	c current bound: 182
977.84/993.46	c current bound: 182
978.55/994.35	c current bound: 182
978.88/994.97	c current bound: 182
979.78/995.60	c current bound: 182
980.13/996.22	c current bound: 182
980.76/996.85	c current bound: 182
981.38/997.48	c current bound: 182
982.31/998.10	c current bound: 182
982.90/998.72	c current bound: 182
983.52/999.82	c current bound: 182
983.88/1000.45	c current bound: 182
984.71/1001.07	c current bound: 182
985.12/1001.69	c current bound: 182
985.74/1002.31	c current bound: 182
986.37/1002.93	c current bound: 182
987.00/1003.56	c current bound: 182
987.62/1004.19	c current bound: 182
988.25/1004.81	c current bound: 182
989.12/1005.44	c current bound: 182
989.50/1006.06	c current bound: 182
990.32/1006.68	c current bound: 182
991.04/1007.30	c current bound: 182
991.37/1007.93	c current bound: 182
991.99/1008.55	c current bound: 182
992.63/1009.17	c current bound: 182
993.44/1009.80	c current bound: 182
993.89/1010.43	c current bound: 182
994.74/1011.05	c current bound: 182
995.13/1011.68	c current bound: 182
995.75/1012.31	c current bound: 182
996.40/1012.93	c current bound: 182
997.03/1013.56	c current bound: 182
997.85/1014.18	c current bound: 182
998.56/1014.80	c current bound: 182
999.15/1015.42	c current bound: 182
999.52/1016.04	c current bound: 182
1000.14/1016.67	c current bound: 182
1001.05/1017.30	c current bound: 182
1001.39/1017.93	c current bound: 182
1002.26/1018.55	c current bound: 182
1002.65/1019.17	c current bound: 182
1003.57/1019.80	c current bound: 182
1003.91/1020.42	c current bound: 182
1004.53/1021.05	c current bound: 182
1005.16/1021.67	c current bound: 182
1005.79/1022.31	c current bound: 182
1006.68/1022.94	c current bound: 182
1007.05/1023.57	c current bound: 182
1007.89/1024.19	c current bound: 182
1008.32/1024.82	c current bound: 182
1008.95/1025.45	c current bound: 182
1009.59/1026.07	c current bound: 182
1010.21/1026.69	c current bound: 182
1011.10/1027.32	c current bound: 182
1011.47/1027.94	c current bound: 182
1012.31/1028.57	c current bound: 182
1012.71/1029.19	c current bound: 182
1013.35/1029.82	c current bound: 182
1013.98/1030.44	c current bound: 182
1014.59/1031.07	c current bound: 182
1015.23/1031.69	c current bound: 182
1015.86/1032.32	c current bound: 182
1016.72/1032.95	c current bound: 182
1017.11/1033.57	c current bound: 182
1018.05/1034.20	c current bound: 182
1018.38/1034.82	c current bound: 182
1019.00/1035.44	c current bound: 182
1019.62/1036.07	c current bound: 182
1020.26/1036.69	c current bound: 182
1021.15/1037.31	c current bound: 182
1021.51/1037.94	c current bound: 182
1022.35/1038.56	c current bound: 182
1022.77/1039.18	c current bound: 182
1023.39/1039.81	c current bound: 182
1024.02/1040.43	c current bound: 182
1024.64/1041.06	c current bound: 182
1025.47/1041.68	c current bound: 182
1026.19/1042.30	c current bound: 182
1026.77/1042.93	c current bound: 182
1027.14/1043.56	c current bound: 182
1027.78/1044.19	c current bound: 182
1028.40/1044.81	c current bound: 182
1029.03/1045.43	c current bound: 182
1029.90/1046.06	c current bound: 182
1030.29/1046.68	c current bound: 182
1031.19/1047.30	c current bound: 182
1031.55/1047.93	c current bound: 182
1032.17/1048.55	c current bound: 182
1032.80/1049.18	c current bound: 182
1033.42/1049.82	c current bound: 182
1034.32/1050.44	c current bound: 182
1034.70/1051.06	c current bound: 182
1035.62/1051.71	c current bound: 182
1035.99/1052.33	c current bound: 182
1036.61/1052.96	c current bound: 182
1037.23/1053.58	c current bound: 182
1037.87/1054.21	c current bound: 182
1038.74/1054.83	c current bound: 182
1039.11/1055.46	c current bound: 182
1039.94/1056.08	c current bound: 182
1040.66/1056.70	c current bound: 182
1041.00/1057.33	c current bound: 182
1041.63/1057.95	c current bound: 182
1042.26/1058.58	c current bound: 182
1042.88/1059.20	c current bound: 182
1043.51/1059.82	c current bound: 182
1044.37/1060.45	c current bound: 182
1044.76/1061.07	c current bound: 182
1045.69/1061.70	c current bound: 182
1046.02/1062.32	c current bound: 182
1046.64/1062.95	c current bound: 182
1047.26/1063.58	c current bound: 182
1048.18/1064.20	c current bound: 182
1048.78/1064.89	c current bound: 182
1049.13/1065.51	c current bound: 182
1049.76/1066.14	c current bound: 182
1050.38/1066.76	c current bound: 182
1050.99/1067.39	c current bound: 182
1051.89/1068.01	c current bound: 182
1052.25/1068.64	c current bound: 182
1053.09/1069.26	c current bound: 182
1053.50/1069.89	c current bound: 182
1054.14/1070.51	c current bound: 182
1054.75/1071.15	c current bound: 182
1055.40/1071.78	c current bound: 182
1056.02/1072.40	c current bound: 182
1056.65/1073.02	c current bound: 182
1057.52/1073.65	c current bound: 182
1057.89/1074.27	c current bound: 182
1058.52/1074.90	c current bound: 182
1059.14/1075.52	c current bound: 182
1059.76/1076.15	c current bound: 182
1060.39/1076.77	c current bound: 182
1061.31/1077.40	c current bound: 182
1061.90/1078.02	c current bound: 182
1062.25/1078.65	c current bound: 182
1063.08/1079.27	c current bound: 182
1063.51/1079.89	c current bound: 182
1064.13/1080.53	c current bound: 182
1064.76/1081.16	c current bound: 182
1065.39/1081.78	c current bound: 182
1066.30/1082.40	c current bound: 182
1066.64/1083.03	c current bound: 182
1067.49/1083.65	c current bound: 182
1067.89/1084.27	c current bound: 182
1068.80/1084.90	c current bound: 182
1069.13/1085.52	c current bound: 182
1069.76/1086.15	c current bound: 182
1070.61/1086.77	c current bound: 182
1071.00/1087.39	c current bound: 182
1071.89/1088.01	c current bound: 182
1072.26/1088.63	c current bound: 182
1072.88/1089.26	c current bound: 182
1073.50/1089.89	c current bound: 182
1074.12/1090.51	c current bound: 182
1075.01/1091.13	c current bound: 182
1075.37/1091.76	c current bound: 182
1076.20/1092.38	c current bound: 182
1076.91/1093.00	c current bound: 182
1077.25/1093.63	c current bound: 182
1077.86/1094.25	c current bound: 182
1078.49/1094.87	c current bound: 182
1079.12/1095.49	c current bound: 182
1079.74/1096.12	c current bound: 182
1080.59/1096.75	c current bound: 182
1081.00/1097.38	c current bound: 182
1081.62/1098.01	c current bound: 182
1082.25/1098.63	c current bound: 182
1082.87/1099.26	c current bound: 182
1083.50/1099.89	c current bound: 182
1084.13/1100.51	c current bound: 182
1085.00/1101.13	c current bound: 182
1085.37/1101.75	c current bound: 182
1086.20/1102.38	c current bound: 182
1086.91/1103.00	c current bound: 182
1087.25/1103.62	c current bound: 182
1087.87/1104.25	c current bound: 182
1088.50/1104.87	c current bound: 182
1089.40/1105.52	c current bound: 182
1089.77/1106.14	c current bound: 182
1090.61/1106.76	c current bound: 182
1091.01/1107.38	c current bound: 182
1091.62/1108.01	c current bound: 182
1092.26/1108.63	c current bound: 182
1092.88/1109.25	c current bound: 182
1093.51/1110.18	c current bound: 182
1094.12/1110.81	c current bound: 182
1094.76/1111.43	c current bound: 182
1095.60/1112.05	c current bound: 182
1095.99/1112.67	c current bound: 182
1096.91/1113.30	c current bound: 182
1097.23/1113.92	c current bound: 182
1097.85/1114.54	c current bound: 182
1098.49/1115.23	c current bound: 182
1099.11/1115.86	c current bound: 182
1099.95/1116.48	c current bound: 182
1100.66/1117.10	c current bound: 182
1101.24/1117.74	c current bound: 182
1101.62/1118.36	c current bound: 182
1102.25/1118.99	c current bound: 182
1102.87/1119.61	c current bound: 182
1103.48/1120.32	c current bound: 182
1104.36/1120.94	c current bound: 182
1104.74/1121.57	c current bound: 182
1105.36/1122.19	c current bound: 182
1105.99/1122.82	c current bound: 182
1106.61/1123.44	c current bound: 182
1107.24/1124.06	c current bound: 182
1107.86/1124.68	c current bound: 182
1108.67/1125.39	c current bound: 182
1109.10/1126.02	c current bound: 182
1109.74/1126.64	c current bound: 182
1110.36/1127.26	c current bound: 182
1110.98/1127.89	c current bound: 182
1111.90/1128.51	c current bound: 182
1112.23/1129.14	c current bound: 182
1113.08/1129.76	c current bound: 182
1113.49/1130.68	c current bound: 182
1114.11/1131.31	c current bound: 182
1114.99/1131.93	c current bound: 182
1115.35/1132.55	c current bound: 182
1116.20/1133.17	c current bound: 182
1116.60/1133.79	c current bound: 182
1117.23/1134.42	c current bound: 182
1118.14/1135.30	c current bound: 182
1118.48/1135.92	c current bound: 182
1119.10/1136.54	c current bound: 182
1119.72/1137.17	c current bound: 182
1120.35/1137.79	c current bound: 182
1121.25/1138.41	c current bound: 182
1121.60/1139.04	c current bound: 182
1122.45/1139.66	c current bound: 182
1123.13/1140.52	c current bound: 182
1123.48/1141.14	c current bound: 182
1124.33/1141.76	c current bound: 182
1124.72/1142.38	c current bound: 182
1125.61/1143.00	c current bound: 182
1125.96/1143.63	c current bound: 182
1126.58/1144.25	c current bound: 182
1127.20/1144.87	c current bound: 182
1127.83/1145.71	c current bound: 182
1128.69/1146.34	c current bound: 182
1129.08/1146.96	c current bound: 182
1129.71/1147.58	c current bound: 182
1130.33/1148.21	c current bound: 182
1130.95/1148.83	c current bound: 182
1131.81/1149.45	c current bound: 182
1132.20/1150.08	c current bound: 182
1133.12/1150.99	c current bound: 182
1133.72/1151.62	c current bound: 182
1134.08/1152.24	c current bound: 182
1134.92/1152.86	c current bound: 182
1135.32/1153.49	c current bound: 182
1135.94/1154.11	c current bound: 182
1136.57/1154.73	c current bound: 182
1137.19/1155.36	c current bound: 182
1138.11/1156.00	c current bound: 182
1138.44/1156.63	c current bound: 182
1139.31/1157.25	c current bound: 182
1139.69/1157.87	c current bound: 182
1140.60/1158.50	c current bound: 182
1140.94/1159.12	c current bound: 182
1141.56/1159.74	c current bound: 182
1142.19/1160.36	c current bound: 182
1142.81/1161.18	c current bound: 182
1143.45/1161.81	c current bound: 182
1144.06/1162.43	c current bound: 182
1144.70/1163.06	c current bound: 182
1145.33/1163.68	c current bound: 182
1145.95/1164.31	c current bound: 182
1146.84/1164.93	c current bound: 182
1147.21/1165.56	c current bound: 182
1148.10/1166.36	c current bound: 182
1148.46/1166.98	c current bound: 182
1149.38/1167.60	c current bound: 182
1149.97/1168.22	c current bound: 182
1150.32/1168.85	c current bound: 182
1151.14/1169.47	c current bound: 182
1151.57/1170.09	c current bound: 182
1152.19/1170.72	c current bound: 182
1153.12/1171.49	c current bound: 182
1153.45/1172.12	c current bound: 182
1154.32/1172.74	c current bound: 182
1154.70/1173.36	c current bound: 182
1155.32/1173.99	c current bound: 182
1155.94/1174.61	c current bound: 182
1156.58/1175.23	c current bound: 182
1157.44/1175.85	c current bound: 182
1157.83/1176.76	c current bound: 182
1158.45/1177.38	c current bound: 182
1159.37/1178.00	c current bound: 182
1159.71/1178.63	c current bound: 182
1160.55/1179.25	c current bound: 182
1160.95/1179.87	c current bound: 182
1161.56/1180.49	c current bound: 182
1162.20/1181.12	c current bound: 182
1163.11/1182.00	c current bound: 182
1163.70/1182.62	c current bound: 182
1164.07/1183.24	c current bound: 182
1164.68/1183.87	c current bound: 182
1165.31/1184.49	c current bound: 182
1165.93/1185.11	c current bound: 182
1166.80/1185.73	c current bound: 182
1167.18/1186.36	c current bound: 182
1168.08/1187.18	c current bound: 182
1168.42/1187.81	c current bound: 182
1169.05/1188.43	c current bound: 182
1169.92/1189.05	c current bound: 182
1170.31/1189.68	c current bound: 182
1171.21/1190.31	c current bound: 182
1171.57/1190.93	c current bound: 182
1172.19/1191.55	c current bound: 182
1173.09/1192.37	c current bound: 182
1173.72/1193.00	c current bound: 182
1174.33/1193.64	c current bound: 182
1174.71/1194.27	c current bound: 182
1175.63/1194.90	c current bound: 182
1175.98/1195.52	c current bound: 182
1176.61/1196.15	c current bound: 182
1177.44/1196.79	c current bound: 182
1178.17/1197.70	c current bound: 182
1178.50/1198.32	c current bound: 182
1179.36/1198.95	c current bound: 182
1179.74/1199.58	c current bound: 182
1180.67/1200.20	c current bound: 182
1180.99/1200.82	c current bound: 182
1181.62/1201.44	c current bound: 182
1182.25/1202.07	c current bound: 182
1182.87/1202.69	c current bound: 182
1183.77/1203.31	c current bound: 182
1184.13/1203.94	c current bound: 182
1184.96/1204.56	c current bound: 182
1185.35/1205.18	c current bound: 182
1185.99/1205.81	c current bound: 182
1186.61/1206.43	c current bound: 182
1187.24/1207.06	c current bound: 182
1188.14/1207.96	c current bound: 182
1188.49/1208.59	c current bound: 182
1189.12/1209.21	c current bound: 182
1189.73/1209.84	c current bound: 182
1190.36/1210.46	c current bound: 182
1191.18/1211.09	c current bound: 182
1191.61/1211.71	c current bound: 182
1192.47/1212.35	c current bound: 182
1192.87/1213.04	c current bound: 182
1193.49/1213.66	c current bound: 182
1194.12/1214.29	c current bound: 182
1194.74/1214.91	c current bound: 182
1195.63/1215.54	c current bound: 182
1196.00/1216.16	c current bound: 182
1196.82/1216.78	c current bound: 182
1197.24/1217.40	c current bound: 182
1197.86/1218.03	c current bound: 182
1198.48/1218.65	c current bound: 182
1199.10/1219.27	c current bound: 182
1200.02/1219.95	c current bound: 182
1200.35/1220.59	c current bound: 182
1200.98/1221.22	c current bound: 182
1201.62/1221.84	c current bound: 182
1202.24/1222.46	c current bound: 182
1202.87/1223.09	c current bound: 182
1203.49/1223.71	c current bound: 182
1204.38/1224.33	c current bound: 182
1204.74/1224.96	c current bound: 182
1205.55/1225.58	c current bound: 182
1206.28/1226.20	c current bound: 182
1206.60/1226.83	c current bound: 182
1207.23/1227.45	c current bound: 182
1207.84/1228.07	c current bound: 182
1208.66/1228.70	c current bound: 182
1209.09/1229.32	c current bound: 182
1209.96/1229.95	c current bound: 182
1210.35/1230.57	c current bound: 182
1210.97/1231.19	c current bound: 182
1211.60/1231.82	c current bound: 182
1212.22/1232.45	c current bound: 182
1213.05/1233.07	c current bound: 182
1213.48/1233.69	c current bound: 182
1214.37/1234.31	c current bound: 182
1214.72/1234.94	c current bound: 182
1215.35/1235.56	c current bound: 182
1215.97/1236.19	c current bound: 182
1216.60/1236.81	c current bound: 182
1217.47/1237.43	c current bound: 182
1217.84/1238.06	c current bound: 182
1218.68/1238.68	c current bound: 182
1219.10/1239.32	c current bound: 182
1219.73/1239.94	c current bound: 182
1220.36/1240.56	c current bound: 182
1220.97/1241.19	c current bound: 182
1221.87/1241.81	c current bound: 182
1222.22/1242.43	c current bound: 182
1223.08/1243.06	c current bound: 182
1223.47/1243.69	c current bound: 182
1224.11/1244.31	c current bound: 182
1224.73/1244.94	c current bound: 182
1225.36/1245.58	c current bound: 182
1226.00/1246.20	c current bound: 182
1226.62/1246.83	c current bound: 182
1227.48/1247.45	c current bound: 182
1227.87/1248.07	c current bound: 182
1228.79/1248.70	c current bound: 182
1229.12/1249.32	c current bound: 182
1229.73/1249.95	c current bound: 182
1230.37/1250.57	c current bound: 182
1230.99/1251.19	c current bound: 182
1231.88/1251.81	c current bound: 182
1232.24/1252.44	c current bound: 182
1233.07/1253.07	c current bound: 182
1233.49/1253.69	c current bound: 182
1234.12/1254.32	c current bound: 182
1235.05/1255.02	c current bound: 182
1235.38/1255.65	c current bound: 182
1236.21/1256.27	c current bound: 182
1236.62/1256.89	c current bound: 182
1237.25/1257.51	c current bound: 182
1237.88/1258.14	c current bound: 182
1238.50/1258.77	c current bound: 182
1239.12/1259.39	c current bound: 182
1239.75/1260.01	c current bound: 182
1240.62/1260.64	c current bound: 182
1240.99/1261.26	c current bound: 182
1241.82/1261.88	c current bound: 182
1242.54/1262.50	c current bound: 182
1243.17/1263.27	c current bound: 182
1243.69/1263.89	c current bound: 182
1244.12/1264.52	c current bound: 182
1244.98/1265.14	c current bound: 182
1245.37/1265.76	c current bound: 182
1245.99/1266.39	c current bound: 182
1246.61/1267.02	c current bound: 182
1247.26/1267.64	c current bound: 182
1248.10/1268.27	c current bound: 182
1248.50/1268.89	c current bound: 182
1249.39/1269.51	c current bound: 182
1249.76/1270.13	c current bound: 182
1250.38/1270.76	c current bound: 182
1251.00/1271.38	c current bound: 182
1251.62/1272.01	c current bound: 182
1252.51/1272.63	c current bound: 182
1252.88/1273.25	c current bound: 182
1253.71/1273.88	c current bound: 182
1254.42/1274.50	c current bound: 182
1254.74/1275.12	c current bound: 182
1255.37/1275.74	c current bound: 182
1256.00/1276.39	c current bound: 182
1256.94/1277.01	c current bound: 182
1257.27/1277.63	c current bound: 182
1258.12/1278.26	c current bound: 182
1258.53/1278.88	c current bound: 182
1259.43/1279.50	c current bound: 182
1259.77/1280.12	c current bound: 182
1260.39/1280.74	c current bound: 182
1261.01/1281.37	c current bound: 182
1261.64/1281.99	c current bound: 182
1262.54/1282.61	c current bound: 182
1262.89/1283.24	c current bound: 182
1263.72/1283.86	c current bound: 182
1264.13/1284.48	c current bound: 182
1264.75/1285.10	c current bound: 182
1265.37/1285.74	c current bound: 182
1266.01/1286.36	c current bound: 182
1266.84/1286.98	c current bound: 182
1267.27/1287.61	c current bound: 182
1268.14/1288.23	c current bound: 182
1268.51/1288.86	c current bound: 182
1269.13/1289.48	c current bound: 182
1269.77/1290.11	c current bound: 182
1270.40/1290.73	c current bound: 182
1271.25/1291.35	c current bound: 182
1271.66/1291.97	c current bound: 182
1272.57/1292.60	c current bound: 182
1272.90/1293.22	c current bound: 182
1273.53/1293.85	c current bound: 182
1274.15/1294.47	c current bound: 182
1275.07/1295.10	c current bound: 182
1275.67/1295.72	c current bound: 182
1276.04/1296.35	c current bound: 182
1276.87/1296.97	c current bound: 182
1277.29/1297.59	c current bound: 182
1277.91/1298.24	c current bound: 182
1278.55/1298.87	c current bound: 182
1279.17/1299.49	c current bound: 182
1280.07/1300.12	c current bound: 182
1280.42/1300.75	c current bound: 182
1281.26/1301.37	c current bound: 182
1281.68/1301.99	c current bound: 182
1282.31/1302.62	c current bound: 182
1282.94/1303.24	c current bound: 182
1283.55/1303.87	c current bound: 182
1284.19/1304.49	c current bound: 182
1284.82/1305.11	c current bound: 182
1285.69/1305.74	c current bound: 182
1286.07/1306.36	c current bound: 182
1286.88/1307.00	c current bound: 182
1287.33/1307.62	c current bound: 182
1287.97/1308.24	c current bound: 182
1288.59/1308.87	c current bound: 182
1289.21/1309.49	c current bound: 182
1290.12/1310.11	c current bound: 182
1290.46/1310.73	c current bound: 182
1291.30/1311.36	c current bound: 182
1291.70/1311.98	c current bound: 182
1292.33/1312.60	c current bound: 182
1292.95/1313.23	c current bound: 182
1293.58/1313.85	c current bound: 182
1294.43/1314.47	c current bound: 182
1295.12/1315.10	c current bound: 182
1295.72/1315.72	c current bound: 182
1296.09/1316.34	c current bound: 182
1296.71/1316.97	c current bound: 182
1297.33/1317.59	c current bound: 182
1297.97/1318.22	c current bound: 182
1298.82/1318.85	c current bound: 182
1299.21/1319.47	c current bound: 182
1300.04/1320.09	c current bound: 182
1300.46/1320.72	c current bound: 182
1301.10/1321.34	c current bound: 182
1301.71/1321.97	c current bound: 182
1302.34/1322.59	c current bound: 182
1303.24/1323.21	c current bound: 182
1303.60/1323.83	c current bound: 182
1304.45/1324.46	c current bound: 182
1304.85/1325.08	c current bound: 182
1305.49/1325.71	c current bound: 182
1306.11/1326.33	c current bound: 182
1306.74/1326.96	c current bound: 182
1307.36/1327.58	c current bound: 182
1308.27/1328.20	c current bound: 182
1308.60/1329.03	c current bound: 182
1309.24/1329.66	c current bound: 182
1309.87/1330.29	c current bound: 182
1310.77/1330.91	c current bound: 182
1311.10/1331.53	c current bound: 182
1311.96/1332.15	c current bound: 182
1312.34/1332.77	c current bound: 182
1313.26/1333.60	c current bound: 182
1313.85/1334.22	c current bound: 182
1314.22/1334.85	c current bound: 182
1315.06/1335.47	c current bound: 182
1315.77/1336.10	c current bound: 182
1316.10/1336.72	c current bound: 182
1316.71/1337.34	c current bound: 182
1317.34/1337.96	c current bound: 182
1318.23/1338.90	c current bound: 182
1318.58/1339.52	c current bound: 182
1319.22/1340.14	c current bound: 182
1319.83/1340.76	c current bound: 182
1320.45/1341.38	c current bound: 182
1321.38/1342.00	c current bound: 182
1321.70/1342.62	c current bound: 182
1322.55/1343.25	c current bound: 182
1322.94/1343.95	c current bound: 182
1323.56/1344.57	c current bound: 182
1324.19/1345.20	c current bound: 182
1324.81/1345.82	c current bound: 182
1325.67/1346.44	c current bound: 182
1326.05/1347.06	c current bound: 182
1326.86/1347.69	c current bound: 182
1327.30/1348.32	c current bound: 182
1327.93/1349.23	c current bound: 182
1328.79/1349.87	c current bound: 182
1329.19/1350.49	c current bound: 182
1329.80/1351.11	c current bound: 182
1330.44/1351.73	c current bound: 182
1331.07/1352.36	c current bound: 182
1331.89/1352.98	c current bound: 182
1332.60/1353.60	c current bound: 182
1333.18/1354.25	c current bound: 182
1333.56/1354.88	c current bound: 182
1334.47/1355.50	c current bound: 182
1334.81/1356.12	c current bound: 182
1335.44/1356.75	c current bound: 182
1336.29/1357.37	c current bound: 182
1336.69/1357.99	c current bound: 182
1337.58/1358.61	c current bound: 182
1338.23/1359.45	c current bound: 182
1338.57/1360.07	c current bound: 182
1339.39/1360.69	c current bound: 182
1339.80/1361.31	c current bound: 182
1340.66/1361.94	c current bound: 182
1341.06/1362.56	c current bound: 182
1341.69/1363.19	c current bound: 182
1342.31/1363.81	c current bound: 182
1342.93/1364.51	c current bound: 182
1343.82/1365.14	c current bound: 182
1344.18/1365.76	c current bound: 182
1345.00/1366.38	c current bound: 182
1345.43/1367.01	c current bound: 182
1346.07/1367.63	c current bound: 182
1346.68/1368.25	c current bound: 182
1347.30/1368.87	c current bound: 182
1348.21/1369.67	c current bound: 182
1348.84/1370.30	c current bound: 182
1349.18/1370.92	c current bound: 182
1349.80/1371.54	c current bound: 182
1350.43/1372.16	c current bound: 182
1351.25/1372.78	c current bound: 182
1351.67/1373.40	c current bound: 182
1352.55/1374.03	c current bound: 182
1352.92/1374.88	c current bound: 182
1353.53/1375.51	c current bound: 182
1354.42/1376.13	c current bound: 182
1354.78/1376.75	c current bound: 182
1355.60/1377.37	c current bound: 182
1356.31/1378.00	c current bound: 182
1356.65/1378.62	c current bound: 182
1357.26/1379.24	c current bound: 182
1358.17/1380.11	c current bound: 182
1358.50/1380.73	c current bound: 182
1359.12/1381.35	c current bound: 182
1359.75/1381.97	c current bound: 182
1360.37/1382.59	c current bound: 182
1360.98/1383.22	c current bound: 182
1361.86/1383.84	c current bound: 182
1362.24/1384.46	c current bound: 182
1363.14/1385.35	c current bound: 182
1363.69/1385.98	c current bound: 182
1364.40/1386.60	c current bound: 182
1364.99/1387.22	c current bound: 182
1365.35/1387.84	c current bound: 182
1365.99/1388.47	c current bound: 182
1366.60/1389.09	c current bound: 182
1367.23/1389.71	c current bound: 182
1368.15/1390.50	c current bound: 182
1368.48/1391.12	c current bound: 182
1369.10/1391.74	c current bound: 182
1369.72/1392.36	c current bound: 182
1370.34/1392.98	c current bound: 182
1371.25/1393.61	c current bound: 182
1371.59/1394.23	c current bound: 182
1372.51/1395.01	c current bound: 182
1373.14/1395.82	c current bound: 182
1373.46/1396.44	c current bound: 182
1374.30/1397.07	c current bound: 182
1374.70/1397.69	c current bound: 182
1375.34/1398.31	c current bound: 182
1375.95/1398.93	c current bound: 182
1376.57/1399.55	c current bound: 182
1377.19/1400.17	c current bound: 182
1378.10/1400.80	c current bound: 182
1378.69/1401.42	c current bound: 182
1379.06/1402.05	c current bound: 182
1379.89/1402.67	c current bound: 182
1380.31/1403.29	c current bound: 182
1380.93/1403.91	c current bound: 182
1381.55/1404.54	c current bound: 182
1382.17/1405.16	c current bound: 182
1383.01/1405.78	c current bound: 182
1383.43/1406.41	c current bound: 182
1384.29/1407.04	c current bound: 182
1384.68/1407.66	c current bound: 182
1385.30/1408.28	c current bound: 182
1385.92/1408.91	c current bound: 182
1386.55/1409.53	c current bound: 182
1387.41/1410.15	c current bound: 182
1387.79/1410.78	c current bound: 182
1388.71/1411.40	c current bound: 182
1389.04/1412.02	c current bound: 182
1389.65/1412.64	c current bound: 182
1390.28/1413.26	c current bound: 182
1390.91/1413.89	c current bound: 182
1391.81/1414.51	c current bound: 182
1392.15/1415.13	c current bound: 182
1393.01/1415.76	c current bound: 182
1393.40/1416.39	c current bound: 182
1394.04/1417.02	c current bound: 182
1394.66/1417.64	c current bound: 182
1395.28/1418.26	c current bound: 182
1395.90/1418.88	c current bound: 182
1396.81/1419.50	c current bound: 182
1397.41/1420.13	c current bound: 182
1397.78/1420.75	c current bound: 182
1398.59/1421.38	c current bound: 182
1399.30/1422.00	c current bound: 182
1399.64/1422.62	c current bound: 182
1400.26/1423.25	c current bound: 182
1400.88/1423.87	c current bound: 182
1401.71/1424.49	c current bound: 182
1402.12/1425.11	c current bound: 182
1403.04/1426.05	c current bound: 182
1403.58/1426.67	c current bound: 182
1403.99/1427.29	c current bound: 182
1404.88/1427.92	c current bound: 182
1405.23/1428.54	c current bound: 182
1405.87/1429.16	c current bound: 182
1406.49/1429.78	c current bound: 182
1407.11/1430.41	c current bound: 182
1407.98/1431.03	c current bound: 182
1408.36/1431.66	c current bound: 182
1409.20/1432.29	c current bound: 182
1409.62/1432.91	c current bound: 182
1410.24/1433.53	c current bound: 182
1410.85/1434.16	c current bound: 182
1411.48/1434.78	c current bound: 182
1412.40/1435.41	c current bound: 182
1412.73/1436.03	c current bound: 182
1413.59/1436.66	c current bound: 182
1413.99/1437.28	c current bound: 182
1414.60/1437.91	c current bound: 182
1415.23/1438.53	c current bound: 182
1415.85/1439.16	c current bound: 182
1416.48/1439.78	c current bound: 182
1417.39/1440.40	c current bound: 182
1418.00/1441.03	c current bound: 182
1418.36/1441.65	c current bound: 182
1419.19/1442.28	c current bound: 182
1419.62/1442.91	c current bound: 182
1420.24/1443.53	c current bound: 182
1420.88/1444.15	c current bound: 182
1421.50/1444.77	c current bound: 182
1422.43/1445.40	c current bound: 182
1422.76/1446.03	c current bound: 182
1423.60/1446.65	c current bound: 182
1424.01/1447.27	c current bound: 182
1424.93/1447.90	c current bound: 182
1425.26/1448.52	c current bound: 182
1425.88/1449.14	c current bound: 182
1426.73/1449.77	c current bound: 182
1427.15/1450.39	c current bound: 182
1428.03/1451.02	c current bound: 182
1428.40/1451.64	c current bound: 182
1429.02/1452.27	c current bound: 182
1429.65/1452.89	c current bound: 182
1430.27/1453.51	c current bound: 182
1431.14/1454.14	c current bound: 182
1431.53/1454.76	c current bound: 182
1432.36/1455.38	c current bound: 182
1433.07/1456.25	c current bound: 182
1433.40/1456.88	c current bound: 182
1434.20/1457.50	c current bound: 182
1434.64/1458.13	c current bound: 182
1435.51/1458.75	c current bound: 182
1435.90/1459.38	c current bound: 182
1436.81/1460.02	c current bound: 182
1437.15/1460.64	c current bound: 182
1438.06/1461.78	c current bound: 182
1438.40/1462.40	c current bound: 182
1439.26/1463.03	c current bound: 182
1439.63/1463.65	c current bound: 182
1440.47/1464.27	c current bound: 182
1441.18/1464.90	c current bound: 182
1441.51/1465.53	c current bound: 182
1442.16/1466.16	c current bound: 182
1442.78/1466.78	c current bound: 182
1443.68/1467.41	c current bound: 182
1444.02/1468.03	c current bound: 182
1444.86/1468.65	c current bound: 182
1445.27/1469.27	c current bound: 182
1446.17/1469.90	c current bound: 182
1446.51/1470.52	c current bound: 182
1447.13/1471.14	c current bound: 182
1447.98/1471.78	c current bound: 182
1448.68/1472.40	c current bound: 182
1449.28/1473.02	c current bound: 182
1449.66/1473.65	c current bound: 182
1450.26/1474.27	c current bound: 182
1450.90/1474.89	c current bound: 182
1451.51/1475.52	c current bound: 182
1452.38/1476.14	c current bound: 182
1452.77/1476.76	c current bound: 182
1453.59/1477.39	c current bound: 182
1454.01/1478.01	c current bound: 182
1454.64/1478.64	c current bound: 182
1455.26/1479.26	c current bound: 182
1455.89/1479.89	c current bound: 182
1456.80/1480.51	c current bound: 182
1457.13/1481.13	c current bound: 182
1457.98/1481.76	c current bound: 182
1458.37/1482.38	c current bound: 182
1459.29/1483.00	c current bound: 182
1459.62/1483.63	c current bound: 182
1460.24/1484.25	c current bound: 182
1460.87/1484.87	c current bound: 182
1461.49/1485.49	c current bound: 182
1462.37/1486.12	c current bound: 182
1462.73/1486.76	c current bound: 182
1463.54/1487.38	c current bound: 182
1464.27/1488.00	c current bound: 182
1464.60/1488.62	c current bound: 182
1465.22/1489.24	c current bound: 182
1465.84/1489.87	c current bound: 182
1466.66/1490.49	c current bound: 182
1467.09/1491.11	c current bound: 182
1467.95/1491.73	c current bound: 182
1468.33/1492.35	c current bound: 182
1468.96/1492.98	c current bound: 182
1469.87/1493.60	c current bound: 182
1470.20/1494.22	c current bound: 182
1471.12/1494.91	c current bound: 182
1471.44/1495.54	c current bound: 182
1472.30/1496.16	c current bound: 182
1472.71/1496.78	c current bound: 182
1473.32/1497.41	c current bound: 182
1473.95/1498.03	c current bound: 182
1474.58/1498.66	c current bound: 182
1475.41/1499.28	c current bound: 182
1476.10/1499.90	c current bound: 182
1476.70/1500.53	c current bound: 182
1477.07/1501.15	c current bound: 182
1477.69/1501.77	c current bound: 182
1478.31/1502.39	c current bound: 182
1478.94/1503.02	c current bound: 182
1479.81/1503.64	c current bound: 182
1480.19/1504.26	c current bound: 182
1481.01/1504.89	c current bound: 182
1481.44/1505.51	c current bound: 182
1482.06/1506.13	c current bound: 182
1482.67/1506.75	c current bound: 182
1483.29/1507.38	c current bound: 182
1484.20/1508.01	c current bound: 182
1484.56/1508.63	c current bound: 182
1485.41/1509.25	c current bound: 182
1485.79/1509.87	c current bound: 182
1486.70/1510.50	c current bound: 182
1487.03/1511.12	c current bound: 182
1487.66/1511.74	c current bound: 182
1488.28/1512.37	c current bound: 182
1488.91/1512.99	c current bound: 182
1489.82/1513.61	c current bound: 182
1490.16/1514.23	c current bound: 182
1491.01/1514.86	c current bound: 182
1491.40/1515.48	c current bound: 182
1492.03/1516.12	c current bound: 182
1492.67/1516.74	c current bound: 182
1493.29/1517.36	c current bound: 182
1494.11/1517.98	c current bound: 182
1494.53/1518.61	c current bound: 182
1495.39/1519.23	c current bound: 182
1495.78/1519.85	c current bound: 182
1496.39/1520.48	c current bound: 182
1497.31/1521.10	c current bound: 182
1497.64/1521.93	c current bound: 182
1498.50/1522.55	c current bound: 182
1498.90/1523.18	c current bound: 182
1499.80/1523.80	c current bound: 182
1500.14/1524.42	c current bound: 182
1500.76/1525.05	c current bound: 182
1501.61/1525.67	c current bound: 182
1502.01/1526.29	c current bound: 182
1502.90/1527.39	c current bound: 182
1503.51/1528.01	c current bound: 182
1503.88/1528.63	c current bound: 182
1504.50/1529.25	c current bound: 182
1505.41/1529.98	c current bound: 182
1506.03/1530.60	c current bound: 182
1506.62/1531.22	c current bound: 182
1506.98/1531.84	c current bound: 182
1507.61/1532.61	c current bound: 182
1508.24/1533.23	c current bound: 182
1508.87/1533.85	c current bound: 182
1509.70/1534.47	c current bound: 182
1510.11/1535.09	c current bound: 182
1510.99/1535.72	c current bound: 182
1511.36/1536.35	c current bound: 182
1512.27/1537.24	c current bound: 182
1512.83/1537.86	c current bound: 182
1513.22/1538.49	c current bound: 182
1513.84/1539.11	c current bound: 182
1514.47/1539.73	c current bound: 182
1515.09/1540.35	c current bound: 182
1515.70/1540.97	c current bound: 182
1516.34/1541.59	c current bound: 182
1517.22/1542.51	c current bound: 182
1517.57/1543.13	c current bound: 182
1518.20/1543.75	c current bound: 182
1519.04/1544.37	c current bound: 182
1519.44/1544.99	c current bound: 182
1520.33/1545.62	c current bound: 182
1520.69/1546.24	c current bound: 182
1521.32/1546.87	c current bound: 182
1522.23/1547.53	c current bound: 182
1522.56/1548.15	c current bound: 182
1523.40/1548.77	c current bound: 182
1523.80/1549.39	c current bound: 182
1524.68/1550.01	c current bound: 182
1525.05/1550.63	c current bound: 182
1525.67/1551.26	c current bound: 182
1526.29/1551.88	c current bound: 182
1526.90/1552.67	c current bound: 182
1527.73/1553.29	c current bound: 182
1528.15/1553.91	c current bound: 182
1528.78/1554.53	c current bound: 182
1529.40/1555.15	c current bound: 182
1530.01/1555.77	c current bound: 182
1530.63/1556.40	c current bound: 182
1531.26/1557.02	c current bound: 182
1532.15/1557.89	c current bound: 182
1532.51/1558.51	c current bound: 182
1533.13/1559.13	c current bound: 182
1533.97/1559.75	c current bound: 182
1534.36/1560.37	c current bound: 182
1535.18/1560.99	c current bound: 182
1535.61/1561.61	c current bound: 182
1536.23/1562.24	c current bound: 182
1537.15/1563.13	c current bound: 182
1537.48/1563.74	c current bound: 182
1538.31/1564.37	c current bound: 182
1538.72/1564.99	c current bound: 182
1539.33/1565.61	c current bound: 182
1539.96/1566.23	c current bound: 182
1540.58/1566.85	c current bound: 182
1541.42/1567.47	c current bound: 182
1541.83/1568.43	c current bound: 182
1542.46/1569.05	c current bound: 182
1543.29/1569.67	c current bound: 182
1543.99/1570.30	c current bound: 182
1544.58/1570.92	c current bound: 182
1544.94/1571.54	c current bound: 182
1545.56/1572.17	c current bound: 182
1546.19/1572.79	c current bound: 182
1546.81/1573.41	c current bound: 182
1547.68/1574.03	c current bound: 182
1548.06/1574.65	c current bound: 182
1548.89/1575.27	c current bound: 182
1549.59/1575.90	c current bound: 182
1549.93/1576.52	c current bound: 182
1550.55/1577.14	c current bound: 182
1551.18/1577.77	c current bound: 182
1551.79/1578.40	c current bound: 182
1552.42/1579.02	c current bound: 182
1553.28/1579.64	c current bound: 182
1553.67/1580.26	c current bound: 182
1554.59/1580.90	c current bound: 182
1554.92/1581.52	c current bound: 182
1555.54/1582.14	c current bound: 182
1556.17/1582.76	c current bound: 182
1556.79/1583.39	c current bound: 182
1557.71/1584.01	c current bound: 182
1558.04/1584.63	c current bound: 182
1558.89/1585.25	c current bound: 182
1559.27/1585.87	c current bound: 182
1559.90/1586.52	c current bound: 182
1560.53/1587.14	c current bound: 182
1561.16/1587.76	c current bound: 182
1561.99/1588.38	c current bound: 182
1562.70/1589.00	c current bound: 182
1563.29/1589.63	c current bound: 182
1563.65/1590.25	c current bound: 182
1564.28/1590.87	c current bound: 182
1564.89/1591.49	c current bound: 182
1565.51/1592.12	c current bound: 182
1566.39/1592.74	c current bound: 182
1567.06/1593.53	c current bound: 182
1567.40/1594.15	c current bound: 182
1568.02/1594.78	c current bound: 182
1568.93/1595.40	c current bound: 182
1569.53/1596.02	c current bound: 182
1569.89/1596.65	c current bound: 182
1570.73/1597.27	c current bound: 182
1571.43/1597.90	c current bound: 182
1572.06/1599.05	c current bound: 182
1572.38/1599.68	c current bound: 182
1573.01/1600.30	c current bound: 182
1573.63/1600.92	c current bound: 182
1574.48/1601.55	c current bound: 182
1574.87/1602.17	c current bound: 182
1575.70/1602.79	c current bound: 182
1576.11/1603.41	c current bound: 182
1576.74/1604.03	c current bound: 182
1577.36/1604.66	c current bound: 182
1577.98/1605.28	c current bound: 182
1578.61/1605.90	c current bound: 182
1579.24/1606.52	c current bound: 182
1580.09/1607.14	c current bound: 182
1580.47/1607.77	c current bound: 182
1581.11/1608.39	c current bound: 182
1581.73/1609.01	c current bound: 182
1582.36/1609.64	c current bound: 182
1582.98/1610.26	c current bound: 182
1583.61/1610.88	c current bound: 182
1584.51/1611.50	c current bound: 182
1584.85/1612.13	c current bound: 182
1585.71/1612.75	c current bound: 182
1586.10/1613.37	c current bound: 182
1587.02/1614.00	c current bound: 182
1587.36/1614.62	c current bound: 182
1587.97/1615.24	c current bound: 182
1588.82/1615.87	c current bound: 182
1589.22/1616.49	c current bound: 182
1590.11/1617.11	c current bound: 182
1590.47/1617.74	c current bound: 182
1591.09/1618.36	c current bound: 182
1591.73/1618.99	c current bound: 182
1592.35/1619.61	c current bound: 182
1593.23/1620.23	c current bound: 182
1593.60/1620.86	c current bound: 182
1594.43/1621.48	c current bound: 182
1595.13/1622.10	c current bound: 182
1595.46/1622.72	c current bound: 182
1596.09/1623.34	c current bound: 182
1596.72/1624.25	c current bound: 182
1597.54/1624.87	c current bound: 182
1597.95/1625.49	c current bound: 182
1598.58/1626.11	c current bound: 182
1599.20/1626.74	c current bound: 182
1599.82/1627.36	c current bound: 182
1600.65/1627.98	c current bound: 182
1601.37/1628.60	c current bound: 182
1601.99/1629.40	c current bound: 182
1602.33/1630.02	c current bound: 182
1602.95/1630.64	c current bound: 182
1603.79/1631.27	c current bound: 182
1604.20/1631.89	c current bound: 182
1605.08/1632.51	c current bound: 182
1605.44/1633.14	c current bound: 182
1606.06/1633.76	c current bound: 182
1606.98/1634.52	c current bound: 182
1607.32/1635.14	c current bound: 182
1608.15/1635.76	c current bound: 182
1608.56/1636.39	c current bound: 182
1609.19/1637.01	c current bound: 182
1609.81/1637.64	c current bound: 182
1610.43/1638.26	c current bound: 182
1611.06/1638.88	c current bound: 182
1611.68/1639.81	c current bound: 182
1612.31/1640.43	c current bound: 182
1612.93/1641.05	c current bound: 182
1613.54/1641.67	c current bound: 182
1614.36/1642.30	c current bound: 182
1614.81/1642.92	c current bound: 182
1615.66/1643.54	c current bound: 182
1616.06/1644.16	c current bound: 182
1616.68/1644.79	c current bound: 182
1617.30/1645.41	c current bound: 182
1617.93/1646.05	c current bound: 182
1618.78/1646.69	c current bound: 182
1619.21/1647.32	c current bound: 182
1620.08/1647.94	c current bound: 182
1620.47/1648.56	c current bound: 182
1621.08/1649.19	c current bound: 182
1621.97/1650.09	c current bound: 182
1622.33/1650.71	c current bound: 182
1622.96/1651.33	c current bound: 182
1623.58/1651.95	c current bound: 182
1624.20/1652.58	c current bound: 182
1624.84/1653.20	c current bound: 182
1625.45/1653.82	c current bound: 182
1626.31/1654.44	c current bound: 182
1626.98/1655.32	c current bound: 182
1627.31/1655.95	c current bound: 182
1628.15/1656.57	c current bound: 182
1628.56/1657.19	c current bound: 182
1629.46/1657.81	c current bound: 182
1629.81/1658.44	c current bound: 182
1630.43/1659.06	c current bound: 182
1631.05/1659.68	c current bound: 182
1631.97/1660.71	c current bound: 182
1632.30/1661.33	c current bound: 182
1632.92/1661.95	c current bound: 182
1633.54/1662.57	c current bound: 182
1634.35/1663.19	c current bound: 182
1634.79/1663.82	c current bound: 182
1635.64/1664.44	c current bound: 182
1636.03/1665.06	c current bound: 182
1636.66/1665.68	c current bound: 182
1637.28/1666.31	c current bound: 182
1637.91/1666.93	c current bound: 182
1638.76/1667.55	c current bound: 182
1639.15/1668.17	c current bound: 182
1639.96/1668.79	c current bound: 182
1640.39/1669.41	c current bound: 182
1641.01/1670.04	c current bound: 182
1641.64/1670.66	c current bound: 182
1642.25/1671.28	c current bound: 182
1643.18/1671.91	c current bound: 182
1643.51/1672.53	c current bound: 182
1644.36/1673.15	c current bound: 182
1644.76/1673.78	c current bound: 182
1645.67/1674.40	c current bound: 182
1646.00/1675.03	c current bound: 182
1646.64/1675.66	c current bound: 182
1647.26/1676.28	c current bound: 182
1648.17/1676.90	c current bound: 182
1648.77/1677.53	c current bound: 182
1649.13/1678.15	c current bound: 182
1649.95/1678.78	c current bound: 182
1650.68/1679.40	c current bound: 182
1650.99/1680.02	c current bound: 182
1651.63/1680.64	c current bound: 182
1652.24/1681.27	c current bound: 182
1653.05/1681.89	c current bound: 182
1653.49/1682.51	c current bound: 182
1654.35/1683.13	c current bound: 182
1654.74/1683.76	c current bound: 182
1655.36/1684.39	c current bound: 182
1655.97/1685.01	c current bound: 182
1656.60/1685.63	c current bound: 182
1657.45/1686.25	c current bound: 182
1657.85/1686.87	c current bound: 182
1658.66/1687.49	c current bound: 182
1659.09/1688.11	c current bound: 182
1659.71/1688.73	c current bound: 182
1660.32/1689.35	c current bound: 182
1660.95/1689.98	c current bound: 182
1661.83/1690.88	c current bound: 182
1662.49/1691.50	c current bound: 182
1662.81/1692.12	c current bound: 182
1663.43/1692.74	c current bound: 182
1664.05/1693.36	c current bound: 182
1664.88/1693.98	c current bound: 182
1665.31/1694.61	c current bound: 182
1666.17/1695.23	c current bound: 182
1666.84/1696.11	c current bound: 182
1667.18/1696.73	c current bound: 182
1668.03/1697.35	c current bound: 182
1668.42/1697.97	c current bound: 182
1669.05/1698.59	c current bound: 182
1669.68/1699.21	c current bound: 182
1670.30/1699.84	c current bound: 182
1670.92/1700.46	c current bound: 182
1671.54/1701.33	c current bound: 182
1672.17/1701.95	c current bound: 182
1672.79/1702.57	c current bound: 182
1673.41/1703.19	c current bound: 182
1674.29/1703.81	c current bound: 182
1674.67/1704.43	c current bound: 182
1675.52/1705.06	c current bound: 182
1675.91/1705.68	c current bound: 182
1676.83/1706.50	c current bound: 182
1677.42/1707.12	c current bound: 182
1677.79/1707.75	c current bound: 182
1678.61/1708.37	c current bound: 182
1679.02/1708.99	c current bound: 182
1679.66/1709.62	c current bound: 182
1680.28/1710.24	c current bound: 182
1680.90/1710.86	c current bound: 182
1681.79/1711.68	c current bound: 182
1682.44/1712.30	c current bound: 182
1682.77/1712.92	c current bound: 182
1683.39/1713.54	c current bound: 182
1684.01/1714.16	c current bound: 182
1684.63/1714.78	c current bound: 182
1685.25/1715.40	c current bound: 182
1686.13/1716.03	c current bound: 182
1686.49/1716.89	c current bound: 182
1687.13/1717.51	c current bound: 182
1688.00/1718.13	c current bound: 182
1688.37/1718.75	c current bound: 182
1689.20/1719.38	c current bound: 182
1689.62/1720.01	c current bound: 182
1690.25/1720.63	c current bound: 182
1690.87/1721.25	c current bound: 182
1691.49/1722.15	c current bound: 182
1692.33/1722.77	c current bound: 182
1692.74/1723.39	c current bound: 182
1693.37/1724.01	c current bound: 182
1693.98/1724.63	c current bound: 182
1694.59/1725.26	c current bound: 182
1695.43/1725.89	c current bound: 182
1695.85/1726.51	c current bound: 182
1696.75/1727.63	c current bound: 182
1697.32/1728.26	c current bound: 182
1697.72/1728.87	c current bound: 182
1698.63/1729.50	c current bound: 182
1698.96/1730.12	c current bound: 182
1699.58/1730.74	c current bound: 182
1700.42/1731.36	c current bound: 182
1700.82/1731.98	c current bound: 182
1701.72/1732.60	c current bound: 182
1702.05/1733.22	c current bound: 182
1702.68/1733.84	c current bound: 182
1703.30/1734.46	c current bound: 182
1703.92/1735.08	c current bound: 182
1704.54/1735.70	c current bound: 182
1705.15/1736.32	c current bound: 182
1706.01/1736.95	c current bound: 182
1706.41/1737.57	c current bound: 182
1707.02/1738.19	c current bound: 182
1707.64/1738.82	c current bound: 182
1708.26/1739.44	c current bound: 182
1708.90/1740.06	c current bound: 182
1709.52/1740.68	c current bound: 182
1710.43/1741.30	c current bound: 182
1710.77/1741.92	c current bound: 182
1711.61/1742.55	c current bound: 182
1712.00/1743.17	c current bound: 182
1712.64/1743.79	c current bound: 182
1713.25/1744.42	c current bound: 182
1713.88/1745.04	c current bound: 182
1714.72/1745.66	c current bound: 182
1715.12/1746.28	c current bound: 182
1716.02/1746.91	c current bound: 182
1716.37/1747.73	c current bound: 182
1716.99/1748.36	c current bound: 182
1717.80/1748.98	c current bound: 182
1718.23/1749.61	c current bound: 182
1719.10/1750.23	c current bound: 182
1719.49/1750.85	c current bound: 182
1720.10/1751.47	c current bound: 182
1721.02/1752.10	c current bound: 182
1721.64/1752.95	c current bound: 182
1722.17/1753.57	c current bound: 182
1722.59/1754.19	c current bound: 182
1723.22/1754.81	c current bound: 182
1723.83/1755.44	c current bound: 182
1724.47/1756.06	c current bound: 182
1725.29/1756.68	c current bound: 182
1725.71/1757.30	c current bound: 182
1726.61/1758.26	c current bound: 182
1727.16/1758.89	c current bound: 182
1727.57/1759.51	c current bound: 182
1728.44/1760.13	c current bound: 182
1728.82/1760.75	c current bound: 182
1729.44/1761.38	c current bound: 182
1730.06/1761.99	c current bound: 182
1730.68/1762.61	c current bound: 182
1731.55/1763.24	c current bound: 182
1731.92/1763.86	c current bound: 182
1732.73/1764.48	c current bound: 182
1733.16/1765.10	c current bound: 182
1733.79/1765.73	c current bound: 182
1734.41/1766.35	c current bound: 182
1735.03/1766.98	c current bound: 182
1735.93/1767.62	c current bound: 182
1736.29/1768.24	c current bound: 182
1737.12/1768.87	c current bound: 182
1737.53/1769.49	c current bound: 182
1738.16/1770.11	c current bound: 182
1738.77/1770.74	c current bound: 182
1739.41/1771.36	c current bound: 182
1740.03/1771.98	c current bound: 182
1740.94/1772.60	c current bound: 182
1741.54/1773.23	c current bound: 182
1741.89/1773.85	c current bound: 182
1742.71/1774.48	c current bound: 182
1743.44/1775.10	c current bound: 182
1743.78/1775.72	c current bound: 182
1744.39/1776.35	c current bound: 182
1745.03/1776.97	c current bound: 182
1745.83/1777.59	c current bound: 182
1746.26/1778.23	c current bound: 182
1747.12/1778.85	c current bound: 182
1747.53/1779.47	c current bound: 182
1748.14/1780.09	c current bound: 182
1748.77/1780.71	c current bound: 182
1749.38/1781.33	c current bound: 182
1750.23/1781.96	c current bound: 182
1750.63/1782.58	c current bound: 182
1751.53/1783.54	c current bound: 182
1752.08/1784.16	c current bound: 182
1752.51/1784.79	c current bound: 182
1753.40/1785.41	c current bound: 182
1753.74/1786.03	c current bound: 182
1754.36/1786.65	c current bound: 182
1754.99/1787.28	c current bound: 182
1755.90/1787.90	c current bound: 182
1756.49/1788.52	c current bound: 182
1756.85/1789.14	c current bound: 182
1757.69/1789.77	c current bound: 182
1758.10/1790.39	c current bound: 182
1758.72/1791.01	c current bound: 182
1759.35/1791.63	c current bound: 182
1759.96/1792.25	c current bound: 182
1760.58/1792.87	c current bound: 182
1761.51/1793.50	c current bound: 182
1762.10/1794.12	c current bound: 182
1762.44/1794.74	c current bound: 182
1763.29/1795.36	c current bound: 182
1763.69/1795.99	c current bound: 182
1764.33/1796.61	c current bound: 182
1764.95/1797.23	c current bound: 182
1765.56/1797.85	c current bound: 182
1766.45/1798.77	c current bound: 182
1766.80/1799.39	c current bound: 182
1767.42/1800.01	c current bound: 182
1768.29/1800.63	c current bound: 182
1768.67/1801.25	c current bound: 182
1769.49/1801.88	c current bound: 182
1770.19/1802.50	c current bound: 182
1770.53/1803.12	c current bound: 182
1771.45/1804.16	c current bound: 182
1771.77/1804.78	c current bound: 182
1772.67/1805.40	c current bound: 182
1773.01/1806.02	c current bound: 182
1773.63/1806.64	c current bound: 182
1774.48/1807.26	c current bound: 182
1774.87/1807.88	c current bound: 182
1775.79/1809.08	c current bound: 182
1776.13/1809.69	c current bound: 182
1776.74/1810.31	c current bound: 182
1777.36/1810.94	c current bound: 182
1777.99/1811.56	c current bound: 182
1778.61/1812.18	c current bound: 182
1779.53/1812.80	c current bound: 182
1779.86/1813.42	c current bound: 182
1780.48/1814.11	c current bound: 182
1781.11/1814.73	c current bound: 182
1781.73/1815.35	c current bound: 182
1782.35/1815.97	c current bound: 182
1782.97/1816.59	c current bound: 182
1783.88/1817.21	c current bound: 182
1784.21/1817.83	c current bound: 182
1785.06/1818.45	c current bound: 182
1785.45/1819.17	c current bound: 182
1786.09/1819.79	c current bound: 182
1786.98/1820.42	c current bound: 182
1787.33/1821.04	c current bound: 182
1788.18/1821.66	c current bound: 182
1788.57/1822.29	c current bound: 182
1789.22/1822.91	c current bound: 182
1789.83/1823.53	c current bound: 182
1790.45/1824.24	c current bound: 182
1791.31/1824.87	c current bound: 182
1791.71/1825.49	c current bound: 182
1792.60/1826.11	c current bound: 182
1792.96/1826.74	c current bound: 182
1793.59/1827.36	c current bound: 182
1794.21/1827.98	c current bound: 182
1795.12/1828.60	c current bound: 182
1795.71/1829.32	c current bound: 182
1796.06/1829.94	c current bound: 182
1796.90/1830.56	c current bound: 182
1797.30/1831.18	c current bound: 182
1797.94/1831.80	c current bound: 182
1798.56/1832.42	c current bound: 182
1799.18/1833.05	c current bound: 182
1800.02/1833.62	HOME/npSolver-wbo-Itdqb.sh: line 18:  3280 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-3752996-1339204524/watcher-3752996-1339204524 -o /tmp/evaluation-result-3752996-1339204524/solver-3752996-1339204524 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752996-1339204524.wbo 20162951 HOME HOME 

running on 4 cores: 1,3,5,7

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: 2.11 2.81 2.46 3/174 3275
/proc/meminfo: memFree=31694240/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0

[startup+0.070643 s]
/proc/loadavg: 2.11 2.81 2.46 3/174 3275
/proc/meminfo: memFree=31694240/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100341 s]
/proc/loadavg: 2.11 2.81 2.46 3/174 3275
/proc/meminfo: memFree=31694240/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300176 s]
/proc/loadavg: 2.11 2.81 2.46 3/174 3275
/proc/meminfo: memFree=31694240/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700266 s]
/proc/loadavg: 2.11 2.81 2.46 3/174 3275
/proc/meminfo: memFree=31694240/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50026 s]
/proc/loadavg: 2.11 2.81 2.46 3/186 3300
/proc/meminfo: memFree=31603908/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1.45 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) R 3275 3275 3236 0 -1 4202496 7751 31226 0 1 28 10 87 20 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878944 5056705 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 32428

[startup+3.1003 s]
/proc/loadavg: 2.10 2.80 2.45 3/184 3319
/proc/meminfo: memFree=31586672/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=2.96 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 12968 77926 0 1 47 13 182 54 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 32428

[startup+6.30027 s]
/proc/loadavg: 2.10 2.80 2.45 2/185 3354
/proc/meminfo: memFree=31581120/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=5.25 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 22580 132577 0 1 81 18 315 111 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878368 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 32428

[startup+12.7003 s]
/proc/loadavg: 2.09 2.77 2.45 3/186 3415
/proc/meminfo: memFree=31571028/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=11.45 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) R 3275 3275 3236 0 -1 4202496 45651 301644 0 1 158 28 698 261 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878944 5056705 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (KiB) 32428

[startup+25.5003 s]
/proc/loadavg: 2.00 2.73 2.44 3/186 3562
/proc/meminfo: memFree=31572512/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=23.62 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 92333 636781 0 1 322 50 1431 559 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
[pid=3560] ppid=3280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3560/stat : 3560 (cp2_post.sh) S 3280 3275 3236 0 -1 4202496 610 224 0 0 0 0 0 0 20 0 1 0 30421958 9367552 265 33554432000 4194304 5064252 140736577593184 140736577591472 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3560/statm: 2287 265 225 213 0 72 0
[pid=3562] ppid=3560 vsize=11284 CPUtime=0.27 cores=1,3,5,7
/proc/3562/stat : 3562 (coprocessor) D 3560 3275 3236 0 -1 4202496 2548 0 0 0 16 11 0 0 20 0 1 0 30421958 11554816 2100 33554432000 4194304 6586260 140734436544480 140734436539864 5732496 0 0 4096 8404994 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/3562/statm: 2821 2100 150 584 0 2233 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 52860

[startup+51.1004 s]
/proc/loadavg: 2.00 2.67 2.43 3/186 3843
/proc/meminfo: memFree=31570972/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=49.34 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 190938 1327392 0 1 663 97 2991 1183 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 49.34
Current children cumulated vsize (KiB) 32428

[startup+102.308 s]
/proc/loadavg: 1.96 2.54 2.39 3/186 4428
/proc/meminfo: memFree=31571072/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=100.58 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 388140 2706530 0 1 1344 191 6056 2467 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878368 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
[pid=4427] ppid=3280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4427/stat : 4427 (satsolver.sh) S 3280 3275 3236 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30429662 9367552 267 33554432000 4194304 5064252 140736542966752 140736542965664 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4427/statm: 2287 267 226 213 0 72 0
[pid=4428] ppid=4427 vsize=53400 CPUtime=0.12 cores=1,3,5,7
/proc/4428/stat : 4428 (glucose) R 4427 3275 3236 0 -1 4202496 11901 0 0 0 9 3 0 0 20 0 1 0 30429662 54681600 11951 33554432000 4194304 5208918 140736727151888 140736726101528 4229251 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4428/statm: 13350 11951 95 248 0 13099 0
Current children cumulated CPU time (s) 100.7
Current children cumulated vsize (KiB) 94976

[startup+162.3 s]
/proc/loadavg: 1.83 2.41 2.35 3/186 5096
/proc/meminfo: memFree=31569632/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=160.26 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 616623 4326819 0 1 2132 299 9671 3924 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 160.26
Current children cumulated vsize (KiB) 32428

[startup+222.3 s]
/proc/loadavg: 2.04 2.35 2.34 3/186 5768
/proc/meminfo: memFree=31569588/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23284 CPUtime=219.5 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) R 3275 3275 3236 0 -1 4202496 845089 5926431 0 1 2920 408 13224 5398 20 0 1 0 30419445 23842816 5341 33554432000 4194304 6006132 140737297887008 140737297880376 5195051 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3280/statm: 5821 5341 177 443 0 5374 0
Current children cumulated CPU time (s) 219.5
Current children cumulated vsize (KiB) 32432

[startup+282.3 s]
/proc/loadavg: 2.01 2.28 2.31 3/185 6431
/proc/meminfo: memFree=31583604/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=278.32 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 1071160 7523779 0 1 3700 518 16765 6849 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878368 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 4 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 278.32
Current children cumulated vsize (KiB) 32428

[startup+342.3 s]
/proc/loadavg: 2.00 2.23 2.29 3/186 7106
/proc/meminfo: memFree=31530544/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 4319979 33097750 0 1 16221 2239 73613 30149 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 60 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 1222.22
Current children cumulated vsize (KiB) 32428

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.09 3/185 17996
/proc/meminfo: memFree=31472600/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1282.08 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 4501795 34711405 0 1 17017 2346 77191 31654 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878368 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 60 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
[pid=17995] ppid=3280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17995/stat : 17995 (satsolver.sh) S 3280 3275 3236 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30549653 9367552 267 33554432000 4194304 5064252 140737017357632 140737017356544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17995/statm: 2287 267 226 213 0 72 0
[pid=17996] ppid=17995 vsize=53960 CPUtime=0.2 cores=1,3,5,7
/proc/17996/stat : 17996 (glucose) R 17995 3275 3236 0 -1 4202496 12177 0 0 0 18 2 0 0 20 0 1 0 30549654 55255040 12239 33554432000 4194304 5208918 140734558840224 140734558836744 4436937 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17996/statm: 13490 12239 105 248 0 13239 0
Current children cumulated CPU time (s) 1282.28
Current children cumulated vsize (KiB) 95536

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/186 18657
/proc/meminfo: memFree=31514248/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1341.06 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 4679839 36316479 0 1 17798 2451 80738 33119 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 60 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 1341.06
Current children cumulated vsize (KiB) 32428

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.08 3/185 19326
/proc/meminfo: memFree=31477508/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1399.4 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 4857867 37897546 0 1 18578 2554 84234 34574 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878368 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 60 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
[pid=19325] ppid=3280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19325/stat : 19325 (satsolver.sh) S 3280 3275 3236 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30561654 9367552 267 33554432000 4194304 5064252 140734150658112 140734150657024 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19325/statm: 2287 267 226 213 0 72 0
[pid=19326] ppid=19325 vsize=53956 CPUtime=0.2 cores=1,3,5,7
/proc/19326/stat : 19326 (glucose) R 19325 3275 3236 0 -1 4202496 12214 0 0 0 18 2 0 0 20 0 1 0 30561654 55250944 12239 33554432000 4194304 5208918 140734333181920 140734333180328 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19326/statm: 13489 12239 105 248 0 13238 0
Current children cumulated CPU time (s) 1399.6
Current children cumulated vsize (KiB) 95532

[startup+1482.3 s]
/proc/loadavg: 2.21 2.05 2.09 3/186 19990
/proc/meminfo: memFree=31511984/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1458.37 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 4998608 39505343 0 1 19356 2657 87734 36090 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 60 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 1458.37
Current children cumulated vsize (KiB) 32428

[startup+1542.3 s]
/proc/loadavg: 2.39 2.15 2.12 3/185 20662
/proc/meminfo: memFree=31512808/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1516.95 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 5128610 41096060 0 1 20137 2756 91280 37522 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 62 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
[pid=20660] ppid=3280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20660/stat : 20660 (cp2_post.sh) S 3280 3275 3236 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 30573637 9367552 266 33554432000 4194304 5064252 140735798855280 140735798853568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20660/statm: 2287 266 225 213 0 72 0
[pid=20662] ppid=20660 vsize=11284 CPUtime=0.27 cores=1,3,5,7
/proc/20662/stat : 20662 (coprocessor) D 20660 3275 3236 0 -1 4202496 2549 0 0 0 17 10 0 0 20 0 1 0 30573637 11554816 2100 33554432000 4194304 6586260 140733282969072 140733282964456 5732496 0 0 4096 8404994 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/20662/statm: 2821 2100 150 584 0 2233 0
Current children cumulated CPU time (s) 1517.22
Current children cumulated vsize (KiB) 52860

[startup+1602.3 s]
/proc/loadavg: 2.28 2.15 2.12 3/185 21314
/proc/meminfo: memFree=31511220/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1575.26 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 5258604 42673766 0 1 20917 2856 94813 38940 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878368 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 62 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 1575.26
Current children cumulated vsize (KiB) 32428

[startup+1662.3 s]
/proc/loadavg: 2.09 2.12 2.10 3/183 21981
/proc/meminfo: memFree=31527140/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1633.54 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 5387231 44263371 0 1 21688 2955 98328 40383 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 62 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 1633.54
Current children cumulated vsize (KiB) 32428

[startup+1722.3 s]
/proc/loadavg: 2.13 2.12 2.10 3/184 22634
/proc/meminfo: memFree=31495212/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1691.88 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 5517225 45843859 0 1 22469 3054 101827 41838 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297878368 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 62 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 1691.88
Current children cumulated vsize (KiB) 32428

[startup+1782.3 s]
/proc/loadavg: 2.04 2.09 2.09 3/185 23303
/proc/meminfo: memFree=31508408/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1750.63 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 5647235 47446679 0 1 23250 3152 105366 43295 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 62 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
Current children cumulated CPU time (s) 1750.63
Current children cumulated vsize (KiB) 32428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1833.6 s]
/proc/loadavg: 1.94 2.06 2.08 3/185 23922
/proc/meminfo: memFree=31492776/32873844 swapFree=7132/7132
[pid=3275] ppid=3273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3275/stat : 3275 (npSolver-wbo-It) S 3273 3275 3236 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30419444 9367552 275 33554432000 4194304 5064252 140735593105376 140735593104288 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3275/statm: 2287 275 233 213 0 72 0
[pid=3280] ppid=3275 vsize=23280 CPUtime=1799.8 cores=1,3,5,7
/proc/3280/stat : 3280 (npSolver-wbo) S 3275 3275 3236 0 -1 4202496 5756492 48782700 0 1 23906 3238 108331 44505 20 0 1 0 30419445 23838720 5341 33554432000 4194304 6006132 140737297887008 140737297877856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 72 0 0
/proc/3280/statm: 5820 5341 177 443 0 5373 0
[pid=23920] ppid=3280 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23920/stat : 23920 (cp2_post.sh) S 3280 3275 3236 0 -1 4202496 613 225 0 0 0 0 0 0 20 0 1 0 30602782 9367552 266 33554432000 4194304 5064252 140733622404656 140733622402944 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23920/statm: 2287 266 225 213 0 72 0
[pid=23922] ppid=23920 vsize=10504 CPUtime=0.22 cores=1,3,5,7
/proc/23922/stat : 23922 (coprocessor) R 23920 3275 3236 0 -1 4202496 2863 0 0 0 14 8 0 0 20 0 1 0 30602782 10756096 1903 33554432000 4194304 6586260 140735303326272 140735303323288 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/23922/statm: 2626 1903 148 584 0 2038 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 52080

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3275 and gives
#  childrusage.ru_utime.tv_sec=1322
#  childrusage.ru_utime.tv_usec=388966
#  childrusage.ru_stime.tv_sec=477
#  childrusage.ru_stime.tv_usec=438418
# CPU time returned by wait4() is 1799.83
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1833.62
CPU time (s): 1800.02
CPU user time (s): 1322.51
CPU system time (s): 477.51
CPU usage (%): 98.1674
Max. virtual memory (cumulated for all children) (KiB): 96064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1322.39
system time used= 477.438
maximum resident set size= 49476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54540820
page faults= 1
swaps= 0
block input operations= 80
block output operations= 49427416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1029812
involuntary context switches= 36293

runsolver used 3.70544 second user time and 10.1065 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-09 03:15:24
IDJOB=3752996
IDBENCH=79007
IDSOLVER=2336
FILE ID=node132/3752996-1339204524
RUNJOBID= node132-1339204524-3253
PBS_JOBID= 14643857
Free space on /tmp= 71024 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752996-1339204524/watcher-3752996-1339204524 -o /tmp/evaluation-result-3752996-1339204524/solver-3752996-1339204524 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752996-1339204524.wbo 20162951 HOME HOME

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

MD5SUM BENCH= fc4fc608292ff0814d25e97efc86eb19
RANDOM SEED=20162951

node132.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.213
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	: 5332.42
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.213
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	: 5332.55
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.213
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	: 5332.55
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.213
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	: 5332.56
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.213
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	: 5332.55
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.213
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	: 5332.55
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.213
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	: 5332.55
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.213
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31695148 kB
Buffers:          260212 kB
Cached:            80588 kB
SwapCached:          972 kB
Active:           281416 kB
Inactive:          67560 kB
Active(anon):       1432 kB
Inactive(anon):     4920 kB
Active(file):     279984 kB
Inactive(file):    62640 kB
Unevictable:        7132 kB
Mlocked:            7132 kB
SwapTotal:      67108856 kB
SwapFree:       67100716 kB
Dirty:             18076 kB
Writeback:             0 kB
AnonPages:         10460 kB
Mapped:             9904 kB
Shmem:                 8 kB
Slab:             690968 kB
SReclaimable:     132864 kB
SUnreclaim:       558104 kB
KernelStack:        1416 kB
PageTables:         4020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71132 MiB
End job on node132 at 2012-06-09 03:45:58