Trace number 3753113

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.04 1814.42

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
MD5SUM3100ea9ba7746ae86daacced189e255b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark109
Best CPU time to get the best result obtained on this benchmark0.015996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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.02	c run usual solver
0.00/0.05	o 9382
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 47.8482
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 4691
0.00/0.76	c current bound: 4691
1.19/1.47	c current bound: 4691
2.06/2.19	c current bound: 4691
2.61/2.90	c current bound: 4691
3.33/3.62	c current bound: 4691
4.28/4.32	c current bound: 4691
4.75/5.19	c current bound: 4691
5.45/5.90	c current bound: 4691
6.42/6.61	c current bound: 4691
6.88/7.33	c current bound: 4691
7.60/8.04	c current bound: 4691
8.51/8.75	c current bound: 4691
9.01/9.46	c current bound: 4691
9.73/10.17	c current bound: 4691
10.43/10.88	c current bound: 4691
11.14/11.59	c current bound: 4691
11.86/12.30	c current bound: 4691
12.56/13.01	c current bound: 4691
13.28/13.72	c current bound: 4691
14.21/14.43	c current bound: 4691
14.69/15.17	c current bound: 4691
15.42/15.89	c current bound: 4691
16.37/16.60	c current bound: 4691
16.84/17.31	c current bound: 4691
17.55/18.02	c current bound: 4691
18.48/18.73	c current bound: 4691
18.96/19.45	c current bound: 4691
19.67/20.16	c current bound: 4691
20.57/20.87	c current bound: 4691
21.09/21.58	c current bound: 4691
21.80/22.29	c current bound: 4691
22.51/23.00	c current bound: 4691
23.23/23.71	c current bound: 4691
23.93/24.42	c current bound: 4691
24.63/25.13	c current bound: 4691
25.34/25.84	c current bound: 4691
26.25/26.55	c current bound: 4691
26.76/27.26	c current bound: 4691
27.48/27.97	c current bound: 4691
28.36/28.68	c current bound: 4691
29.17/29.40	c current bound: 4691
29.89/30.29	c current bound: 4691
30.60/31.00	c current bound: 4691
31.04/31.72	c current bound: 4691
31.76/32.43	c current bound: 4691
32.69/33.14	c current bound: 4691
33.18/33.85	c current bound: 4691
33.89/34.57	c current bound: 4691
34.79/35.29	c current bound: 4691
35.33/36.01	c current bound: 4691
36.05/36.72	c current bound: 4691
36.99/37.43	c current bound: 4691
37.47/38.15	c current bound: 4691
38.20/38.86	c current bound: 4691
39.09/39.58	c current bound: 4691
39.90/40.59	c current bound: 4691
40.61/41.30	c current bound: 4691
41.05/42.01	c current bound: 4691
41.77/42.72	c current bound: 4691
42.48/43.43	c current bound: 4691
43.41/44.16	c current bound: 4691
43.93/44.87	c current bound: 4691
44.63/45.66	c current bound: 4691
45.35/46.38	c current bound: 4691
46.06/47.09	c current bound: 4691
46.78/47.80	c current bound: 4691
47.73/48.51	c current bound: 4691
48.21/49.22	c current bound: 4691
48.92/49.94	c current bound: 4691
49.84/50.64	c current bound: 4691
50.35/51.35	c current bound: 4691
51.05/52.08	c current bound: 4691
51.94/52.80	c current bound: 4691
52.49/53.51	c current bound: 4691
53.21/54.23	c current bound: 4691
54.14/54.93	c current bound: 4691
54.63/55.64	c current bound: 4691
55.33/56.35	c current bound: 4691
56.04/57.06	c current bound: 4691
56.75/57.79	c current bound: 4691
57.48/58.50	c current bound: 4691
58.19/59.21	c current bound: 4691
58.90/59.92	c current bound: 4691
59.84/60.63	c current bound: 4691
60.31/61.35	c current bound: 4691
61.04/62.07	c current bound: 4691
61.94/62.77	c current bound: 4691
62.46/63.48	c current bound: 4691
63.18/64.20	c current bound: 4691
64.12/64.91	c current bound: 4691
64.60/65.64	c current bound: 4691
65.32/66.36	c current bound: 4691
66.22/67.07	c current bound: 4691
66.73/67.78	c current bound: 4691
67.45/68.49	c current bound: 4691
68.42/69.20	c current bound: 4691
68.86/69.91	c current bound: 4691
69.57/70.62	c current bound: 4691
70.29/71.34	c current bound: 4691
71.00/72.04	c current bound: 4691
71.90/72.75	c current bound: 4691
72.43/73.46	c current bound: 4691
73.14/74.17	c current bound: 4691
74.01/74.88	c current bound: 4691
74.54/75.59	c current bound: 4691
75.25/76.30	c current bound: 4691
76.22/77.01	c current bound: 4691
76.67/77.72	c current bound: 4691
77.38/78.44	c current bound: 4691
78.32/79.15	c current bound: 4691
78.82/79.87	c current bound: 4691
79.81/80.71	c current bound: 4691
80.49/81.42	c current bound: 4691
80.96/82.13	c current bound: 4691
81.68/82.84	c current bound: 4691
82.60/83.55	c current bound: 4691
83.10/84.26	c current bound: 4691
83.82/84.97	c current bound: 4691
84.77/85.84	c current bound: 4691
85.23/86.55	c current bound: 4691
85.95/87.27	c current bound: 4691
86.83/87.98	c current bound: 4691
87.37/88.70	c current bound: 4691
88.09/89.42	c current bound: 4691
89.02/90.13	c current bound: 4691
89.77/91.15	c current bound: 4691
90.22/91.86	c current bound: 4691
90.93/92.57	c current bound: 4691
91.63/93.28	c current bound: 4691
92.36/94.00	c current bound: 4691
93.30/94.71	c current bound: 4691
93.78/95.42	c current bound: 4691
94.49/96.13	c current bound: 4691
95.41/96.84	c current bound: 4691
95.91/97.55	c current bound: 4691
96.63/98.27	c current bound: 4691
97.52/98.98	c current bound: 4691
98.04/99.69	c current bound: 4691
98.75/100.40	c current bound: 4691
99.74/101.31	c current bound: 4691
100.18/102.02	c current bound: 4691
100.89/102.73	c current bound: 4691
101.82/103.44	c current bound: 4691
102.30/104.15	c current bound: 4691
103.01/104.86	c current bound: 4691
103.92/105.57	c current bound: 4691
104.45/106.29	c current bound: 4691
105.16/107.01	c current bound: 4691
106.12/107.73	c current bound: 4691
106.59/108.43	c current bound: 4691
107.30/109.15	c current bound: 4691
108.01/109.86	c current bound: 4691
108.72/110.57	c current bound: 4691
109.43/111.28	c current bound: 4691
110.14/111.99	c current bound: 4691
110.86/112.71	c current bound: 4691
111.80/113.42	c current bound: 4691
112.29/114.13	c current bound: 4691
113.00/114.84	c current bound: 4691
113.91/115.55	c current bound: 4691
114.42/116.26	c current bound: 4691
115.13/116.97	c current bound: 4691
116.01/117.68	c current bound: 4691
116.53/118.39	c current bound: 4691
117.52/119.10	c current bound: 4691
118.23/119.81	c current bound: 4691
118.68/120.52	c current bound: 4691
119.38/121.23	c current bound: 4691
120.09/121.94	c current bound: 4691
120.80/122.65	c current bound: 4691
121.71/123.36	c current bound: 4691
122.22/124.08	c current bound: 4691
123.20/124.80	c current bound: 4691
123.90/125.51	c current bound: 4691
124.37/126.23	c current bound: 4691
125.10/126.95	c current bound: 4691
126.01/127.66	c current bound: 4691
126.53/128.39	c current bound: 4691
127.26/129.11	c current bound: 4691
128.19/129.82	c current bound: 4691
128.68/130.53	c current bound: 4691
129.40/131.25	c current bound: 4691
130.29/131.96	c current bound: 4691
130.82/132.67	c current bound: 4691
131.52/133.38	c current bound: 4691
132.23/134.09	c current bound: 4691
132.94/134.81	c current bound: 4691
133.66/135.52	c current bound: 4691
134.38/136.23	c current bound: 4691
135.08/136.95	c current bound: 4691
136.00/137.66	c current bound: 4691
136.52/138.39	c current bound: 4691
137.51/139.10	c current bound: 4691
138.19/139.81	c current bound: 4691
138.66/140.52	c current bound: 4691
139.38/141.24	c current bound: 4691
140.29/141.97	c current bound: 4691
140.81/142.67	c current bound: 4691
141.52/143.40	c current bound: 4691
142.50/144.10	c current bound: 4691
142.95/144.82	c current bound: 4691
143.67/145.53	c current bound: 4691
144.60/146.24	c current bound: 4691
145.08/146.95	c current bound: 4691
145.80/147.66	c current bound: 4691
146.51/148.37	c current bound: 4691
147.22/149.08	c current bound: 4691
147.93/149.80	c current bound: 4691
148.65/150.51	c current bound: 4691
149.63/151.34	c current bound: 4691
150.08/152.06	c current bound: 4691
150.79/152.77	c current bound: 4691
151.51/153.48	c current bound: 4691
152.48/154.20	c current bound: 4691
152.93/154.91	c current bound: 4691
153.64/155.62	c current bound: 4691
154.58/156.33	c current bound: 4691
155.05/157.04	c current bound: 4691
155.77/157.75	c current bound: 4691
156.68/158.46	c current bound: 4691
157.20/159.17	c current bound: 4691
157.91/159.88	c current bound: 4691
158.79/160.59	c current bound: 4691
159.33/161.29	c current bound: 4691
160.03/162.00	c current bound: 4691
161.00/162.72	c current bound: 4691
161.46/163.43	c current bound: 4691
162.17/164.14	c current bound: 4691
162.88/164.85	c current bound: 4691
163.59/165.57	c current bound: 4691
164.31/166.38	c current bound: 4691
165.02/167.09	c current bound: 4691
165.73/167.80	c current bound: 4691
166.44/168.51	c current bound: 4691
167.13/169.22	c current bound: 4691
167.85/169.93	c current bound: 4691
168.77/170.64	c current bound: 4691
169.52/171.52	c current bound: 4691
169.98/172.22	c current bound: 4691
170.69/172.94	c current bound: 4691
171.40/173.64	c current bound: 4691
172.11/174.35	c current bound: 4691
173.01/175.07	c current bound: 4691
173.53/175.78	c current bound: 4691
174.52/176.68	c current bound: 4691
174.96/177.39	c current bound: 4691
175.68/178.10	c current bound: 4691
176.38/178.81	c current bound: 4691
177.10/179.52	c current bound: 4691
177.80/180.24	c current bound: 4691
178.51/180.94	c current bound: 4691
179.42/181.65	c current bound: 4691
179.94/182.36	c current bound: 4691
180.65/183.08	c current bound: 4691
181.52/183.79	c current bound: 4691
182.07/184.50	c current bound: 4691
182.78/185.22	c current bound: 4691
183.73/185.93	c current bound: 4691
184.20/186.65	c current bound: 4691
184.92/187.36	c current bound: 4691
185.81/188.08	c current bound: 4691
186.34/188.79	c current bound: 4691
187.06/189.50	c current bound: 4691
188.00/190.21	c current bound: 4691
188.47/190.92	c current bound: 4691
189.18/191.64	c current bound: 4691
189.90/192.36	c current bound: 4691
190.60/193.06	c current bound: 4691
191.31/193.78	c current bound: 4691
192.01/194.48	c current bound: 4691
192.72/195.19	c current bound: 4691
193.69/195.90	c current bound: 4691
194.14/196.68	c current bound: 4691
194.85/197.39	c current bound: 4691
195.83/198.10	c current bound: 4691
196.27/198.80	c current bound: 4691
196.98/199.52	c current bound: 4691
197.92/200.22	c current bound: 4691
198.40/200.93	c current bound: 4691
199.10/201.64	c current bound: 4691
200.02/202.35	c current bound: 4691
200.52/203.06	c current bound: 4691
201.24/203.77	c current bound: 4691
201.95/204.48	c current bound: 4691
202.65/205.19	c current bound: 4691
203.36/205.91	c current bound: 4691
204.09/206.62	c current bound: 4691
204.79/207.33	c current bound: 4691
205.71/208.04	c current bound: 4691
206.21/208.75	c current bound: 4691
206.92/209.47	c current bound: 4691
207.81/210.18	c current bound: 4691
208.34/210.89	c current bound: 4691
209.05/211.73	c current bound: 4691
209.99/212.44	c current bound: 4691
210.47/213.14	c current bound: 4691
211.19/213.86	c current bound: 4691
212.09/214.57	c current bound: 4691
212.62/215.28	c current bound: 4691
213.33/216.00	c current bound: 4691
214.29/216.78	c current bound: 4691
214.74/217.49	c current bound: 4691
215.46/218.21	c current bound: 4691
216.40/218.93	c current bound: 4691
216.89/219.64	c current bound: 4691
217.61/220.36	c current bound: 4691
218.51/221.08	c current bound: 4691
219.04/221.85	c current bound: 4691
219.76/222.56	c current bound: 4691
220.66/223.27	c current bound: 4691
221.18/223.98	c current bound: 4691
221.89/224.69	c current bound: 4691
222.60/225.40	c current bound: 4691
223.30/226.11	c current bound: 4691
224.28/227.14	c current bound: 4691
224.93/227.85	c current bound: 4691
225.44/228.56	c current bound: 4691
226.16/229.28	c current bound: 4691
227.05/229.99	c current bound: 4691
227.59/230.70	c current bound: 4691
228.30/231.42	c current bound: 4691
229.24/232.14	c current bound: 4691
229.72/232.85	c current bound: 4691
230.43/233.56	c current bound: 4691
231.32/234.27	c current bound: 4691
231.84/234.98	c current bound: 4691
232.55/235.69	c current bound: 4691
233.54/236.40	c current bound: 4691
233.98/237.11	c current bound: 4691
234.70/237.82	c current bound: 4691
235.40/238.55	c current bound: 4691
236.13/239.25	c current bound: 4691
236.83/239.96	c current bound: 4691
237.54/240.67	c current bound: 4691
238.24/241.38	c current bound: 4691
239.12/242.09	c current bound: 4691
239.93/242.80	c current bound: 4691
240.38/243.51	c current bound: 4691
241.33/244.22	c current bound: 4691
241.81/244.93	c current bound: 4691
242.50/245.64	c current bound: 4691
243.41/246.35	c current bound: 4691
243.92/247.07	c current bound: 4691
244.65/247.78	c current bound: 4691
245.35/248.48	c current bound: 4691
246.06/249.19	c current bound: 4691
246.78/249.90	c current bound: 4691
247.49/250.61	c current bound: 4691
248.19/251.32	c current bound: 4691
249.13/252.18	c current bound: 4691
249.60/252.89	c current bound: 4691
250.31/253.60	c current bound: 4691
251.02/254.31	c current bound: 4691
251.73/255.03	c current bound: 4691
252.45/255.74	c current bound: 4691
253.37/256.45	c current bound: 4691
253.87/257.27	c current bound: 4691
254.57/257.98	c current bound: 4691
255.28/258.70	c current bound: 4691
255.99/259.41	c current bound: 4691
256.71/260.12	c current bound: 4691
257.64/260.83	c current bound: 4691
258.13/261.54	c current bound: 4691
258.85/262.40	c current bound: 4691
259.55/263.12	c current bound: 4691
260.26/263.84	c current bound: 4691
260.99/264.55	c current bound: 4691
261.88/265.26	c current bound: 4691
262.41/265.97	c current bound: 4691
263.13/266.69	c current bound: 4691
264.11/267.51	c current bound: 4691
264.56/268.21	c current bound: 4691
265.28/268.93	c current bound: 4691
266.19/269.64	c current bound: 4691
266.69/270.36	c current bound: 4691
267.40/271.07	c current bound: 4691
268.29/271.78	c current bound: 4691
269.08/272.73	c current bound: 4691
269.55/273.45	c current bound: 4691
270.26/274.16	c current bound: 4691
270.98/274.87	c current bound: 4691
271.69/275.58	c current bound: 4691
272.67/276.47	c current bound: 4691
273.27/277.19	c current bound: 4691
273.82/278.05	c current bound: 4691
274.52/278.77	c current bound: 4691
275.42/279.48	c current bound: 4691
276.23/280.20	c current bound: 4691
276.68/280.91	c current bound: 4691
277.62/281.63	c current bound: 4691
278.10/282.34	c current bound: 4691
278.81/283.05	c current bound: 4691
279.73/283.76	c current bound: 4691
280.24/284.47	c current bound: 4691
280.94/285.19	c current bound: 4691
281.66/285.90	c current bound: 4691
282.37/286.61	c current bound: 4691
283.09/287.33	c current bound: 4691
283.81/288.04	c current bound: 4691
284.52/288.76	c current bound: 4691
285.24/289.48	c current bound: 4691
286.24/290.20	c current bound: 4691
286.67/290.92	c current bound: 4691
287.63/291.64	c current bound: 4691
288.12/292.36	c current bound: 4691
288.84/293.07	c current bound: 4691
289.84/293.80	c current bound: 4691
290.28/294.51	c current bound: 4691
291.00/295.24	c current bound: 4691
291.94/295.96	c current bound: 4691
292.44/296.68	c current bound: 4691
293.44/297.40	c current bound: 4691
294.15/298.11	c current bound: 4691
294.59/298.83	c current bound: 4691
295.32/299.55	c current bound: 4691
296.23/300.26	c current bound: 4691
296.74/300.98	c current bound: 4691
297.47/301.70	c current bound: 4691
298.44/302.43	c current bound: 4691
298.91/303.13	c current bound: 4691
299.62/303.85	c current bound: 4691
300.33/304.57	c current bound: 4691
301.34/305.30	c current bound: 4691
301.78/306.02	c current bound: 4691
302.51/306.75	c current bound: 4691
303.23/307.47	c current bound: 4691
303.96/308.17	c current bound: 4691
304.66/308.90	c current bound: 4691
305.39/309.62	c current bound: 4691
306.31/310.35	c current bound: 4691
306.83/311.07	c current bound: 4691
307.56/311.79	c current bound: 4691
308.52/312.51	c current bound: 4691
309.00/313.23	c current bound: 4691
309.71/313.96	c current bound: 4691
310.62/314.68	c current bound: 4691
311.14/315.39	c current bound: 4691
311.86/316.12	c current bound: 4691
312.81/316.83	c current bound: 4691
313.30/317.55	c current bound: 4691
314.02/318.26	c current bound: 4691
314.92/318.98	c current bound: 4691
315.45/319.70	c current bound: 4691
316.18/320.41	c current bound: 4691
317.12/321.12	c current bound: 4691
317.60/321.83	c current bound: 4691
318.31/322.55	c current bound: 4691
319.02/323.26	c current bound: 4691
319.74/323.97	c current bound: 4691
320.45/324.68	c current bound: 4691
321.17/325.39	c current bound: 4691
321.89/326.10	c current bound: 4691
322.83/326.81	c current bound: 4691
323.30/327.52	c current bound: 4691
324.02/328.24	c current bound: 4691
324.94/328.95	c current bound: 4691
325.44/329.67	c current bound: 4691
326.15/330.39	c current bound: 4691
327.15/331.10	c current bound: 4691
327.59/331.83	c current bound: 4691
328.32/332.56	c current bound: 4691
329.23/333.26	c current bound: 4691
329.75/333.98	c current bound: 4691
330.47/334.71	c current bound: 4691
331.43/335.43	c current bound: 4691
331.91/336.15	c current bound: 4691
332.64/336.87	c current bound: 4691
333.36/337.59	c current bound: 4691
334.08/338.29	c current bound: 4691
334.78/339.01	c current bound: 4691
335.50/339.73	c current bound: 4691
336.23/340.45	c current bound: 4691
337.14/341.17	c current bound: 4691
337.65/341.89	c current bound: 4691
338.37/342.61	c current bound: 4691
339.33/343.31	c current bound: 4691
339.80/344.03	c current bound: 4691
340.52/344.75	c current bound: 4691
341.44/345.47	c current bound: 4691
341.95/346.19	c current bound: 4691
342.67/346.91	c current bound: 4691
343.64/347.63	c current bound: 4691
344.12/348.33	c current bound: 4691
344.83/349.05	c current bound: 4691
345.75/349.77	c current bound: 4691
346.27/350.50	c current bound: 4691
346.99/351.22	c current bound: 4691
347.95/351.94	c current bound: 4691
348.43/352.65	c current bound: 4691
349.15/353.37	c current bound: 4691
349.87/354.09	c current bound: 4691
350.60/354.81	c current bound: 4691
351.30/355.53	c current bound: 4691
352.02/356.25	c current bound: 4691
352.75/356.96	c current bound: 4691
353.46/357.67	c current bound: 4691
354.17/358.38	c current bound: 4691
355.15/359.10	c current bound: 4691
355.85/359.82	c current bound: 4691
356.33/360.53	c current bound: 4691
357.03/361.26	c current bound: 4691
357.94/361.97	c current bound: 4691
358.48/362.69	c current bound: 4691
359.20/363.40	c current bound: 4691
360.16/364.11	c current bound: 4691
360.63/364.83	c current bound: 4691
361.33/365.53	c current bound: 4691
362.26/366.24	c current bound: 4691
362.75/366.96	c current bound: 4691
363.46/367.67	c current bound: 4691
364.17/368.40	c current bound: 4691
364.88/369.11	c current bound: 4691
365.59/369.82	c current bound: 4691
366.30/370.54	c current bound: 4691
367.03/371.25	c current bound: 4691
367.73/371.96	c current bound: 4691
368.44/372.68	c current bound: 4691
369.44/373.40	c current bound: 4691
370.13/374.11	c current bound: 4691
370.60/374.83	c current bound: 4691
371.32/375.55	c current bound: 4691
372.25/376.27	c current bound: 4691
372.76/376.99	c current bound: 4691
373.48/377.71	c current bound: 4691
374.43/378.42	c current bound: 4691
374.90/379.13	c current bound: 4691
375.62/379.85	c current bound: 4691
376.55/380.58	c current bound: 4691
377.08/381.29	c current bound: 4691
377.79/382.02	c current bound: 4691
378.73/382.74	c current bound: 4691
379.23/383.45	c current bound: 4691
379.94/384.17	c current bound: 4691
380.67/384.89	c current bound: 4691
381.39/385.61	c current bound: 4691
382.11/386.34	c current bound: 4691
382.83/387.04	c current bound: 4691
383.55/387.76	c current bound: 4691
384.27/388.52	c current bound: 4691
385.02/389.24	c current bound: 4691
385.74/389.96	c current bound: 4691
386.46/390.67	c current bound: 4691
387.17/391.38	c current bound: 4691
387.89/392.12	c current bound: 4691
388.85/392.84	c current bound: 4691
389.35/393.58	c current bound: 4691
390.33/394.30	c current bound: 4691
391.01/395.02	c current bound: 4691
391.49/395.73	c current bound: 4691
392.21/396.46	c current bound: 4691
393.12/397.19	c current bound: 4691
393.66/397.91	c current bound: 4691
394.38/398.62	c current bound: 4691
395.34/399.34	c current bound: 4691
395.82/400.05	c current bound: 4691
396.52/400.78	c current bound: 4691
397.43/401.50	c current bound: 4691
397.98/402.21	c current bound: 4691
398.69/402.93	c current bound: 4691
399.63/403.67	c current bound: 4691
400.16/404.39	c current bound: 4691
401.14/405.10	c current bound: 4691
401.83/405.81	c current bound: 4691
402.29/406.53	c current bound: 4691
403.01/407.24	c current bound: 4691
403.73/407.95	c current bound: 4691
404.44/408.66	c current bound: 4691
405.15/409.37	c current bound: 4691
405.86/410.08	c current bound: 4691
406.57/410.80	c current bound: 4691
407.53/411.52	c current bound: 4691
408.00/412.23	c current bound: 4691
408.71/412.94	c current bound: 4691
409.64/413.65	c current bound: 4691
410.14/414.37	c current bound: 4691
410.86/415.08	c current bound: 4691
411.74/415.80	c current bound: 4691
412.29/416.51	c current bound: 4691
413.00/417.23	c current bound: 4691
413.93/417.96	c current bound: 4691
414.44/418.66	c current bound: 4691
415.15/419.38	c current bound: 4691
416.15/420.10	c current bound: 4691
416.59/420.82	c current bound: 4691
417.30/421.54	c current bound: 4691
418.04/422.26	c current bound: 4691
418.75/422.98	c current bound: 4691
419.48/423.69	c current bound: 4691
420.17/424.40	c current bound: 4691
420.89/425.12	c current bound: 4691
421.83/425.84	c current bound: 4691
422.33/426.56	c current bound: 4691
423.05/427.28	c current bound: 4691
423.94/427.99	c current bound: 4691
424.48/428.70	c current bound: 4691
425.20/429.42	c current bound: 4691
426.14/430.14	c current bound: 4691
426.63/430.86	c current bound: 4691
427.35/431.58	c current bound: 4691
428.25/432.30	c current bound: 4691
428.78/433.02	c current bound: 4691
429.51/433.73	c current bound: 4691
430.45/434.45	c current bound: 4691
430.95/435.17	c current bound: 4691
431.67/435.89	c current bound: 4691
432.67/436.60	c current bound: 4691
433.11/437.32	c current bound: 4691
433.83/438.05	c current bound: 4691
434.55/438.75	c current bound: 4691
435.26/439.47	c current bound: 4691
435.97/440.19	c current bound: 4691
436.69/440.91	c current bound: 4691
437.42/441.64	c current bound: 4691
438.35/442.36	c current bound: 4691
438.85/443.07	c current bound: 4691
439.57/443.78	c current bound: 4691
440.44/444.49	c current bound: 4691
440.99/445.20	c current bound: 4691
441.71/445.92	c current bound: 4691
442.65/446.63	c current bound: 4691
443.13/447.34	c current bound: 4691
443.84/448.05	c current bound: 4691
444.76/448.76	c current bound: 4691
445.27/449.48	c current bound: 4691
445.97/450.19	c current bound: 4691
446.69/450.90	c current bound: 4691
447.40/451.61	c current bound: 4691
448.12/452.32	c current bound: 4691
448.82/453.04	c current bound: 4691
449.53/453.75	c current bound: 4691
450.45/454.46	c current bound: 4691
450.95/455.17	c current bound: 4691
451.67/455.89	c current bound: 4691
452.65/456.61	c current bound: 4691
453.11/457.32	c current bound: 4691
453.84/458.04	c current bound: 4691
454.76/458.75	c current bound: 4691
455.25/459.47	c current bound: 4691
455.97/460.19	c current bound: 4691
456.94/460.91	c current bound: 4691
457.40/461.63	c current bound: 4691
458.12/462.36	c current bound: 4691
459.05/463.08	c current bound: 4691
459.57/463.79	c current bound: 4691
460.28/464.50	c current bound: 4691
461.26/465.21	c current bound: 4691
461.71/465.93	c current bound: 4691
462.43/466.65	c current bound: 4691
463.14/467.37	c current bound: 4691
463.87/468.09	c current bound: 4691
464.59/468.80	c current bound: 4691
465.30/469.52	c current bound: 4691
466.02/470.24	c current bound: 4691
466.94/470.96	c current bound: 4691
467.45/471.68	c current bound: 4691
468.18/472.39	c current bound: 4691
469.16/473.11	c current bound: 4691
469.62/473.82	c current bound: 4691
470.33/474.54	c current bound: 4691
471.27/475.26	c current bound: 4691
471.76/475.97	c current bound: 4691
472.48/476.70	c current bound: 4691
473.45/477.42	c current bound: 4691
473.92/478.13	c current bound: 4691
474.64/478.86	c current bound: 4691
475.56/479.59	c current bound: 4691
476.10/480.32	c current bound: 4691
476.83/481.04	c current bound: 4691
477.76/481.76	c current bound: 4691
478.27/482.48	c current bound: 4691
479.00/483.20	c current bound: 4691
479.96/483.93	c current bound: 4691
480.43/484.64	c current bound: 4691
481.13/485.36	c current bound: 4691
481.84/486.07	c current bound: 4691
482.56/486.79	c current bound: 4691
483.55/487.50	c current bound: 4691
484.00/488.21	c current bound: 4691
484.72/488.92	c current bound: 4691
485.64/489.64	c current bound: 4691
486.15/490.35	c current bound: 4691
486.85/491.06	c current bound: 4691
487.76/491.77	c current bound: 4691
488.27/492.48	c current bound: 4691
488.99/493.20	c current bound: 4691
489.71/493.91	c current bound: 4691
490.42/494.62	c current bound: 4691
491.11/495.33	c current bound: 4691
492.06/496.05	c current bound: 4691
492.57/496.76	c current bound: 4691
493.28/497.48	c current bound: 4691
494.00/498.20	c current bound: 4691
494.71/498.91	c current bound: 4691
495.43/499.63	c current bound: 4691
496.13/500.34	c current bound: 4691
496.86/501.07	c current bound: 4691
497.59/501.79	c current bound: 4691
498.30/502.50	c current bound: 4691
499.03/503.22	c current bound: 4691
499.98/503.93	c current bound: 4691
500.45/504.65	c current bound: 4691
501.17/505.37	c current bound: 4691
502.08/506.08	c current bound: 4691
502.89/506.80	c current bound: 4691
503.34/507.53	c current bound: 4691
504.28/508.25	c current bound: 4691
504.80/508.97	c current bound: 4691
505.51/509.69	c current bound: 4691
506.47/510.42	c current bound: 4691
506.96/511.14	c current bound: 4691
507.68/511.86	c current bound: 4691
508.57/512.57	c current bound: 4691
509.11/513.29	c current bound: 4691
509.81/514.00	c current bound: 4691
510.78/514.72	c current bound: 4691
511.24/515.43	c current bound: 4691
511.97/516.15	c current bound: 4691
512.69/516.87	c current bound: 4691
513.39/517.58	c current bound: 4691
514.10/518.30	c current bound: 4691
514.83/519.01	c current bound: 4691
515.54/519.72	c current bound: 4691
516.47/520.43	c current bound: 4691
516.97/521.14	c current bound: 4691
517.68/521.86	c current bound: 4691
518.57/522.58	c current bound: 4691
519.11/523.29	c current bound: 4691
519.82/524.01	c current bound: 4691
520.78/524.72	c current bound: 4691
521.25/525.44	c current bound: 4691
521.97/526.15	c current bound: 4691
522.88/526.87	c current bound: 4691
523.40/527.58	c current bound: 4691
524.11/528.29	c current bound: 4691
525.08/529.02	c current bound: 4691
525.54/529.73	c current bound: 4691
526.25/530.43	c current bound: 4691
526.96/531.14	c current bound: 4691
527.67/531.85	c current bound: 4691
528.57/532.56	c current bound: 4691
529.10/533.28	c current bound: 4691
530.08/534.02	c current bound: 4691
530.74/534.73	c current bound: 4691
531.24/535.44	c current bound: 4691
531.96/536.15	c current bound: 4691
532.87/536.86	c current bound: 4691
533.37/537.57	c current bound: 4691
534.09/538.28	c current bound: 4691
534.94/539.00	c current bound: 4691
535.50/539.71	c current bound: 4691
536.21/540.42	c current bound: 4691
537.15/541.13	c current bound: 4691
537.64/541.85	c current bound: 4691
538.34/542.56	c current bound: 4691
539.06/543.27	c current bound: 4691
539.77/543.99	c current bound: 4691
540.49/544.70	c current bound: 4691
541.19/545.42	c current bound: 4691
541.92/546.14	c current bound: 4691
542.84/546.86	c current bound: 4691
543.36/547.57	c current bound: 4691
544.08/548.28	c current bound: 4691
545.03/549.00	c current bound: 4691
545.50/549.71	c current bound: 4691
546.20/550.42	c current bound: 4691
547.13/551.14	c current bound: 4691
547.63/551.85	c current bound: 4691
548.35/552.57	c current bound: 4691
549.25/553.28	c current bound: 4691
550.06/554.00	c current bound: 4691
550.51/554.71	c current bound: 4691
551.44/555.43	c current bound: 4691
551.93/556.14	c current bound: 4691
552.64/556.85	c current bound: 4691
553.35/557.56	c current bound: 4691
554.07/558.28	c current bound: 4691
554.78/558.99	c current bound: 4691
555.49/559.70	c current bound: 4691
556.20/560.42	c current bound: 4691
557.14/561.14	c current bound: 4691
557.65/561.87	c current bound: 4691
558.37/562.58	c current bound: 4691
559.34/563.30	c current bound: 4691
559.81/564.01	c current bound: 4691
560.51/564.72	c current bound: 4691
561.45/565.44	c current bound: 4691
561.94/566.16	c current bound: 4691
562.66/566.87	c current bound: 4691
563.53/567.59	c current bound: 4691
564.09/568.30	c current bound: 4691
564.81/569.02	c current bound: 4691
565.76/569.73	c current bound: 4691
566.24/570.44	c current bound: 4691
566.94/571.15	c current bound: 4691
567.65/571.86	c current bound: 4691
568.36/572.57	c current bound: 4691
569.07/573.28	c current bound: 4691
569.78/574.00	c current bound: 4691
570.51/574.71	c current bound: 4691
571.46/575.43	c current bound: 4691
571.95/576.14	c current bound: 4691
572.66/576.85	c current bound: 4691
573.58/577.56	c current bound: 4691
574.08/578.26	c current bound: 4691
574.78/578.98	c current bound: 4691
575.66/579.70	c current bound: 4691
576.20/580.41	c current bound: 4691
576.92/581.13	c current bound: 4691
577.86/581.84	c current bound: 4691
578.36/582.55	c current bound: 4691
579.06/583.26	c current bound: 4691
579.78/583.98	c current bound: 4691
580.50/584.69	c current bound: 4691
581.22/585.40	c current bound: 4691
581.93/586.13	c current bound: 4691
582.66/586.84	c current bound: 4691
583.57/587.57	c current bound: 4691
584.10/588.28	c current bound: 4691
584.81/589.24	c current bound: 4691
585.52/589.95	c current bound: 4691
586.43/590.67	c current bound: 4691
586.95/591.38	c current bound: 4691
587.67/592.10	c current bound: 4691
588.63/592.83	c current bound: 4691
589.11/593.54	c current bound: 4691
589.83/594.25	c current bound: 4691
590.53/594.97	c current bound: 4691
591.26/595.69	c current bound: 4691
591.98/596.41	c current bound: 4691
592.70/597.12	c current bound: 4691
593.42/597.84	c current bound: 4691
594.34/598.56	c current bound: 4691
594.85/599.27	c current bound: 4691
595.55/599.99	c current bound: 4691
596.54/600.70	c current bound: 4691
596.99/601.42	c current bound: 4691
597.71/602.15	c current bound: 4691
598.64/602.86	c current bound: 4691
599.16/603.58	c current bound: 4691
599.89/604.29	c current bound: 4691
600.84/605.01	c current bound: 4691
601.30/605.73	c current bound: 4691
602.02/606.44	c current bound: 4691
602.95/607.16	c current bound: 4691
603.46/607.88	c current bound: 4691
604.46/608.60	c current bound: 4691
605.15/609.31	c current bound: 4691
605.60/610.03	c current bound: 4691
606.32/610.74	c current bound: 4691
607.04/611.46	c current bound: 4691
607.76/612.18	c current bound: 4691
608.48/612.89	c current bound: 4691
609.19/613.60	c current bound: 4691
609.92/614.31	c current bound: 4691
610.85/615.03	c current bound: 4691
611.34/615.75	c current bound: 4691
612.05/616.46	c current bound: 4691
612.95/617.17	c current bound: 4691
613.47/617.88	c current bound: 4691
614.46/618.60	c current bound: 4691
615.17/619.30	c current bound: 4691
615.61/620.02	c current bound: 4691
616.34/620.73	c current bound: 4691
617.28/621.44	c current bound: 4691
617.76/622.16	c current bound: 4691
618.48/622.88	c current bound: 4691
619.48/623.60	c current bound: 4691
619.92/624.31	c current bound: 4691
620.62/625.05	c current bound: 4691
621.37/625.77	c current bound: 4691
622.09/626.49	c current bound: 4691
622.81/627.20	c current bound: 4691
623.53/627.92	c current bound: 4691
624.23/628.64	c current bound: 4691
625.17/629.35	c current bound: 4691
625.68/630.07	c current bound: 4691
626.40/630.79	c current bound: 4691
627.37/631.51	c current bound: 4691
627.83/632.23	c current bound: 4691
628.57/632.96	c current bound: 4691
629.47/633.68	c current bound: 4691
630.01/634.38	c current bound: 4691
630.72/635.10	c current bound: 4691
631.69/635.84	c current bound: 4691
632.18/636.56	c current bound: 4691
632.89/637.28	c current bound: 4691
633.78/638.00	c current bound: 4691
634.34/638.72	c current bound: 4691
635.06/639.43	c current bound: 4691
635.99/640.15	c current bound: 4691
636.48/640.89	c current bound: 4691
637.22/641.61	c current bound: 4691
638.19/642.33	c current bound: 4691
638.66/643.05	c current bound: 4691
639.38/643.77	c current bound: 4691
640.11/644.48	c current bound: 4691
640.82/645.21	c current bound: 4691
641.55/645.93	c current bound: 4691
642.27/646.64	c current bound: 4691
642.99/647.36	c current bound: 4691
643.73/648.08	c current bound: 4691
644.44/648.80	c current bound: 4691
645.15/649.52	c current bound: 4691
646.08/650.24	c current bound: 4691
646.60/650.96	c current bound: 4691
647.32/651.68	c current bound: 4691
648.29/652.40	c current bound: 4691
648.75/653.11	c current bound: 4691
649.46/653.83	c current bound: 4691
650.39/654.55	c current bound: 4691
650.89/655.26	c current bound: 4691
651.60/655.98	c current bound: 4691
652.49/656.68	c current bound: 4691
653.01/657.39	c current bound: 4691
653.73/658.11	c current bound: 4691
654.68/658.83	c current bound: 4691
655.17/659.54	c current bound: 4691
655.88/660.26	c current bound: 4691
656.58/660.97	c current bound: 4691
657.30/661.67	c current bound: 4691
658.01/662.39	c current bound: 4691
658.99/663.10	c current bound: 4691
659.43/663.81	c current bound: 4691
660.37/664.52	c current bound: 4691
660.85/665.24	c current bound: 4691
661.58/665.96	c current bound: 4691
662.48/666.66	c current bound: 4691
662.99/667.37	c current bound: 4691
663.70/668.08	c current bound: 4691
664.67/668.81	c current bound: 4691
665.13/669.52	c current bound: 4691
665.86/670.25	c current bound: 4691
666.77/670.96	c current bound: 4691
667.27/671.67	c current bound: 4691
667.98/672.39	c current bound: 4691
668.96/673.11	c current bound: 4691
669.42/673.82	c current bound: 4691
670.14/674.53	c current bound: 4691
670.84/675.24	c current bound: 4691
671.55/675.95	c current bound: 4691
672.45/676.66	c current bound: 4691
672.97/677.37	c current bound: 4691
673.68/678.09	c current bound: 4691
674.65/678.80	c current bound: 4691
675.10/679.51	c current bound: 4691
675.81/680.23	c current bound: 4691
676.75/680.95	c current bound: 4691
677.24/681.66	c current bound: 4691
677.94/682.38	c current bound: 4691
678.83/683.09	c current bound: 4691
679.37/683.79	c current bound: 4691
680.09/684.51	c current bound: 4691
681.02/685.22	c current bound: 4691
681.50/685.93	c current bound: 4691
682.22/686.65	c current bound: 4691
682.92/687.35	c current bound: 4691
683.63/688.07	c current bound: 4691
684.33/688.78	c current bound: 4691
685.31/689.62	c current bound: 4691
685.75/690.33	c current bound: 4691
686.46/691.04	c current bound: 4691
687.17/691.75	c current bound: 4691
687.89/692.46	c current bound: 4691
688.60/693.18	c current bound: 4691
689.33/693.89	c current bound: 4691
690.03/694.65	c current bound: 4691
690.95/695.36	c current bound: 4691
691.46/696.07	c current bound: 4691
692.18/696.79	c current bound: 4691
693.16/697.50	c current bound: 4691
693.60/698.21	c current bound: 4691
694.32/698.92	c current bound: 4691
695.29/699.85	c current bound: 4691
695.74/700.56	c current bound: 4691
696.45/701.28	c current bound: 4691
697.16/701.99	c current bound: 4691
697.88/702.70	c current bound: 4691
698.58/703.42	c current bound: 4691
699.53/704.13	c current bound: 4691
700.02/704.87	c current bound: 4691
700.73/705.60	c current bound: 4691
701.70/706.32	c current bound: 4691
702.18/707.03	c current bound: 4691
702.88/707.75	c current bound: 4691
703.79/708.46	c current bound: 4691
704.31/709.17	c current bound: 4691
705.28/709.91	c current bound: 4691
705.98/710.62	c current bound: 4691
706.44/711.33	c current bound: 4691
707.15/712.04	c current bound: 4691
708.06/712.75	c current bound: 4691
708.58/713.47	c current bound: 4691
709.29/714.18	c current bound: 4691
710.25/715.01	c current bound: 4691
710.72/715.72	c current bound: 4691
711.43/716.43	c current bound: 4691
712.36/717.14	c current bound: 4691
712.85/717.86	c current bound: 4691
713.56/718.58	c current bound: 4691
714.27/719.28	c current bound: 4691
715.25/720.13	c current bound: 4691
715.69/720.84	c current bound: 4691
716.61/721.55	c current bound: 4691
717.11/722.26	c current bound: 4691
717.82/722.97	c current bound: 4691
718.53/723.68	c current bound: 4691
719.25/724.39	c current bound: 4691
719.96/725.23	c current bound: 4691
720.89/725.94	c current bound: 4691
721.37/726.66	c current bound: 4691
722.11/727.38	c current bound: 4691
722.81/728.08	c current bound: 4691
723.53/728.79	c current bound: 4691
724.24/729.52	c current bound: 4691
725.21/730.51	c current bound: 4691
725.67/731.22	c current bound: 4691
726.38/731.93	c current bound: 4691
727.32/732.64	c current bound: 4691
727.79/733.34	c current bound: 4691
728.50/734.06	c current bound: 4691
729.41/734.77	c current bound: 4691
729.93/735.51	c current bound: 4691
730.67/736.22	c current bound: 4691
731.60/736.93	c current bound: 4691
732.07/737.64	c current bound: 4691
732.79/738.35	c current bound: 4691
733.50/739.06	c current bound: 4691
734.21/739.76	c current bound: 4691
735.19/740.50	c current bound: 4691
735.62/741.22	c current bound: 4691
736.34/741.93	c current bound: 4691
737.26/742.64	c current bound: 4691
737.76/743.35	c current bound: 4691
738.48/744.06	c current bound: 4691
739.37/744.78	c current bound: 4691
739.91/745.49	c current bound: 4691
740.62/746.20	c current bound: 4691
741.58/746.92	c current bound: 4691
742.04/747.63	c current bound: 4691
742.76/748.34	c current bound: 4691
743.67/749.05	c current bound: 4691
744.18/749.76	c current bound: 4691
744.89/750.47	c current bound: 4691
745.60/751.18	c current bound: 4691
746.30/751.90	c current bound: 4691
747.03/752.62	c current bound: 4691
747.74/753.33	c current bound: 4691
748.45/754.04	c current bound: 4691
749.36/754.75	c current bound: 4691
749.88/755.46	c current bound: 4691
750.60/756.18	c current bound: 4691
751.47/756.89	c current bound: 4691
752.01/757.61	c current bound: 4691
752.73/758.32	c current bound: 4691
753.67/759.04	c current bound: 4691
754.16/759.75	c current bound: 4691
755.13/760.50	c current bound: 4691
755.83/761.22	c current bound: 4691
756.31/761.93	c current bound: 4691
757.03/762.65	c current bound: 4691
757.92/763.36	c current bound: 4691
758.44/764.07	c current bound: 4691
759.15/764.78	c current bound: 4691
759.86/765.49	c current bound: 4691
760.57/766.19	c current bound: 4691
761.27/766.91	c current bound: 4691
761.98/767.61	c current bound: 4691
762.71/768.33	c current bound: 4691
763.62/769.04	c current bound: 4691
764.12/769.75	c current bound: 4691
764.82/770.48	c current bound: 4691
765.82/771.21	c current bound: 4691
766.28/771.91	c current bound: 4691
767.00/772.63	c current bound: 4691
767.93/773.34	c current bound: 4691
768.42/774.05	c current bound: 4691
769.12/774.76	c current bound: 4691
770.02/775.47	c current bound: 4691
770.54/776.18	c current bound: 4691
771.26/776.89	c current bound: 4691
771.97/777.60	c current bound: 4691
772.67/778.31	c current bound: 4691
773.37/779.02	c current bound: 4691
774.09/779.73	c current bound: 4691
775.06/780.54	c current bound: 4691
775.50/781.25	c current bound: 4691
776.21/781.96	c current bound: 4691
776.92/782.68	c current bound: 4691
777.63/783.39	c current bound: 4691
778.35/784.10	c current bound: 4691
779.06/784.81	c current bound: 4691
779.99/785.52	c current bound: 4691
780.47/786.24	c current bound: 4691
781.19/786.95	c current bound: 4691
782.10/787.65	c current bound: 4691
782.61/788.36	c current bound: 4691
783.33/789.07	c current bound: 4691
784.21/789.78	c current bound: 4691
785.02/790.76	c current bound: 4691
785.46/791.47	c current bound: 4691
786.17/792.18	c current bound: 4691
786.86/792.89	c current bound: 4691
787.58/793.60	c current bound: 4691
788.53/794.31	c current bound: 4691
789.00/795.02	c current bound: 4691
789.72/795.75	c current bound: 4691
790.70/796.51	c current bound: 4691
791.14/797.21	c current bound: 4691
791.83/797.92	c current bound: 4691
792.77/798.63	c current bound: 4691
793.26/799.34	c current bound: 4691
793.97/800.06	c current bound: 4691
794.87/800.77	c current bound: 4691
795.39/801.48	c current bound: 4691
796.11/802.19	c current bound: 4691
796.82/802.90	c current bound: 4691
797.52/803.61	c current bound: 4691
798.24/804.32	c current bound: 4691
798.94/805.03	c current bound: 4691
799.65/805.73	c current bound: 4691
800.58/806.44	c current bound: 4691
801.07/807.15	c current bound: 4691
801.78/807.87	c current bound: 4691
802.67/808.58	c current bound: 4691
803.20/809.29	c current bound: 4691
803.92/810.00	c current bound: 4691
804.89/810.84	c current bound: 4691
805.32/811.55	c current bound: 4691
806.04/812.27	c current bound: 4691
806.94/812.98	c current bound: 4691
807.47/813.69	c current bound: 4691
808.18/814.40	c current bound: 4691
809.13/815.11	c current bound: 4691
809.60/815.87	c current bound: 4691
810.32/816.59	c current bound: 4691
811.19/817.30	c current bound: 4691
811.75/818.01	c current bound: 4691
812.45/818.72	c current bound: 4691
813.39/819.43	c current bound: 4691
813.88/820.14	c current bound: 4691
814.59/820.85	c current bound: 4691
815.29/821.56	c current bound: 4691
816.01/822.27	c current bound: 4691
816.72/822.98	c current bound: 4691
817.43/823.69	c current bound: 4691
818.14/824.41	c current bound: 4691
819.09/825.12	c current bound: 4691
819.57/825.83	c current bound: 4691
820.27/826.54	c current bound: 4691
821.18/827.25	c current bound: 4691
821.69/827.96	c current bound: 4691
822.40/828.67	c current bound: 4691
823.28/829.38	c current bound: 4691
823.83/830.09	c current bound: 4691
824.54/830.85	c current bound: 4691
825.45/831.56	c current bound: 4691
825.97/832.28	c current bound: 4691
826.68/832.99	c current bound: 4691
827.40/833.70	c current bound: 4691
828.11/834.41	c current bound: 4691
828.81/835.12	c current bound: 4691
829.77/836.01	c current bound: 4691
830.24/836.72	c current bound: 4691
830.94/837.44	c current bound: 4691
831.88/838.15	c current bound: 4691
832.38/838.86	c current bound: 4691
833.09/839.58	c current bound: 4691
833.80/840.29	c current bound: 4691
834.52/841.02	c current bound: 4691
835.23/841.74	c current bound: 4691
835.93/842.44	c current bound: 4691
836.64/843.15	c current bound: 4691
837.55/843.86	c current bound: 4691
838.06/844.57	c current bound: 4691
838.77/845.28	c current bound: 4691
839.72/846.14	c current bound: 4691
840.19/846.85	c current bound: 4691
840.91/847.56	c current bound: 4691
841.61/848.27	c current bound: 4691
842.32/848.98	c current bound: 4691
843.03/849.69	c current bound: 4691
843.99/850.40	c current bound: 4691
844.71/851.20	c current bound: 4691
845.16/851.91	c current bound: 4691
846.10/852.63	c current bound: 4691
846.59/853.34	c current bound: 4691
847.31/854.06	c current bound: 4691
848.21/854.76	c current bound: 4691
848.72/855.47	c current bound: 4691
849.42/856.29	c current bound: 4691
850.39/857.00	c current bound: 4691
850.85/857.71	c current bound: 4691
851.56/858.42	c current bound: 4691
852.50/859.13	c current bound: 4691
852.98/859.84	c current bound: 4691
853.70/860.55	c current bound: 4691
854.66/861.40	c current bound: 4691
855.12/862.11	c current bound: 4691
855.83/862.83	c current bound: 4691
856.75/863.53	c current bound: 4691
857.25/864.24	c current bound: 4691
857.96/864.95	c current bound: 4691
858.87/865.66	c current bound: 4691
859.37/866.59	c current bound: 4691
860.09/867.29	c current bound: 4691
861.04/868.00	c current bound: 4691
861.50/868.71	c current bound: 4691
862.21/869.43	c current bound: 4691
863.13/870.13	c current bound: 4691
863.63/870.84	c current bound: 4691
864.33/871.69	c current bound: 4691
865.30/872.40	c current bound: 4691
865.76/873.11	c current bound: 4691
866.48/873.83	c current bound: 4691
867.41/874.54	c current bound: 4691
867.89/875.25	c current bound: 4691
868.60/875.97	c current bound: 4691
869.59/876.77	c current bound: 4691
870.02/877.47	c current bound: 4691
870.73/878.19	c current bound: 4691
871.60/878.90	c current bound: 4691
872.16/879.61	c current bound: 4691
872.88/880.33	c current bound: 4691
873.81/881.03	c current bound: 4691
874.29/881.87	c current bound: 4691
875.00/882.58	c current bound: 4691
875.88/883.29	c current bound: 4691
876.42/884.00	c current bound: 4691
877.13/884.71	c current bound: 4691
878.08/885.43	c current bound: 4691
878.56/886.14	c current bound: 4691
879.27/886.88	c current bound: 4691
879.97/887.59	c current bound: 4691
880.68/888.30	c current bound: 4691
881.41/889.01	c current bound: 4691
882.10/889.72	c current bound: 4691
882.82/890.43	c current bound: 4691
883.73/891.14	c current bound: 4691
884.47/892.04	c current bound: 4691
884.95/892.75	c current bound: 4691
885.66/893.46	c current bound: 4691
886.37/894.17	c current bound: 4691
887.07/894.88	c current bound: 4691
887.78/895.59	c current bound: 4691
888.49/896.30	c current bound: 4691
889.21/897.19	c current bound: 4691
889.93/897.91	c current bound: 4691
890.88/898.62	c current bound: 4691
891.35/899.32	c current bound: 4691
892.05/900.03	c current bound: 4691
892.76/900.74	c current bound: 4691
893.48/901.45	c current bound: 4691
894.44/902.24	c current bound: 4691
894.90/902.95	c current bound: 4691
895.60/903.66	c current bound: 4691
896.31/904.37	c current bound: 4691
897.03/905.08	c current bound: 4691
898.00/905.80	c current bound: 4691
898.69/906.51	c current bound: 4691
899.16/907.36	c current bound: 4691
899.87/908.07	c current bound: 4691
900.57/908.79	c current bound: 4691
901.55/909.50	c current bound: 4691
901.99/910.21	c current bound: 4691
902.92/910.92	c current bound: 4691
903.42/911.63	c current bound: 4691
904.13/912.39	c current bound: 4691
905.09/913.10	c current bound: 4691
905.53/913.81	c current bound: 4691
906.25/914.53	c current bound: 4691
907.20/915.25	c current bound: 4691
907.70/915.97	c current bound: 4691
908.42/916.68	c current bound: 4691
909.39/917.69	c current bound: 4691
910.12/918.41	c current bound: 4691
910.57/919.12	c current bound: 4691
911.30/919.85	c current bound: 4691
912.01/920.56	c current bound: 4691
912.73/921.28	c current bound: 4691
913.45/922.00	c current bound: 4691
914.17/922.71	c current bound: 4691
914.87/923.43	c current bound: 4691
915.80/924.15	c current bound: 4691
916.32/924.85	c current bound: 4691
917.02/925.57	c current bound: 4691
917.92/926.29	c current bound: 4691
918.45/927.02	c current bound: 4691
919.20/927.76	c current bound: 4691
920.12/928.47	c current bound: 4691
920.93/929.20	c current bound: 4691
921.36/929.91	c current bound: 4691
922.30/930.63	c current bound: 4691
922.80/931.35	c current bound: 4691
923.52/932.07	c current bound: 4691
924.43/932.78	c current bound: 4691
924.95/933.50	c current bound: 4691
925.68/934.22	c current bound: 4691
926.61/934.94	c current bound: 4691
927.12/935.66	c current bound: 4691
928.12/936.41	c current bound: 4691
928.79/937.13	c current bound: 4691
929.27/937.84	c current bound: 4691
929.98/938.56	c current bound: 4691
930.71/939.28	c current bound: 4691
931.71/940.00	c current bound: 4691
932.14/940.72	c current bound: 4691
932.86/941.44	c current bound: 4691
933.59/942.16	c current bound: 4691
934.31/942.87	c current bound: 4691
935.02/943.58	c current bound: 4691
935.74/944.30	c current bound: 4691
936.69/945.01	c current bound: 4691
937.17/945.74	c current bound: 4691
937.88/946.45	c current bound: 4691
938.80/947.16	c current bound: 4691
939.31/947.86	c current bound: 4691
940.02/948.58	c current bound: 4691
940.91/949.29	c current bound: 4691
941.45/950.00	c current bound: 4691
942.16/950.71	c current bound: 4691
943.09/951.43	c current bound: 4691
943.58/952.14	c current bound: 4691
944.30/952.85	c current bound: 4691
945.02/953.56	c current bound: 4691
945.72/954.28	c current bound: 4691
946.44/954.99	c current bound: 4691
947.15/955.70	c current bound: 4691
947.87/956.43	c current bound: 4691
948.81/957.15	c current bound: 4691
949.31/957.86	c current bound: 4691
950.03/958.58	c current bound: 4691
951.03/959.30	c current bound: 4691
951.48/960.02	c current bound: 4691
952.18/960.74	c current bound: 4691
953.12/961.46	c current bound: 4691
953.63/962.18	c current bound: 4691
954.64/962.90	c current bound: 4691
955.33/963.62	c current bound: 4691
955.80/964.34	c current bound: 4691
956.52/965.06	c current bound: 4691
957.42/965.78	c current bound: 4691
957.95/966.51	c current bound: 4691
958.70/967.24	c current bound: 4691
959.62/967.94	c current bound: 4691
960.13/968.66	c current bound: 4691
960.84/969.39	c current bound: 4691
961.84/970.10	c current bound: 4691
962.28/970.83	c current bound: 4691
963.02/971.55	c current bound: 4691
963.73/972.27	c current bound: 4691
964.45/972.98	c current bound: 4691
965.15/973.70	c current bound: 4691
965.88/974.42	c current bound: 4691
966.59/975.13	c current bound: 4691
967.53/975.86	c current bound: 4691
968.05/976.58	c current bound: 4691
968.76/977.30	c current bound: 4691
969.72/978.01	c current bound: 4691
970.19/978.74	c current bound: 4691
970.93/979.46	c current bound: 4691
971.84/980.18	c current bound: 4691
972.64/980.90	c current bound: 4691
973.09/981.61	c current bound: 4691
974.04/982.34	c current bound: 4691
974.53/983.04	c current bound: 4691
975.24/983.76	c current bound: 4691
976.13/984.48	c current bound: 4691
976.94/985.20	c current bound: 4691
977.39/985.91	c current bound: 4691
978.34/986.63	c current bound: 4691
978.83/987.35	c current bound: 4691
979.55/988.06	c current bound: 4691
980.25/988.77	c current bound: 4691
980.97/989.48	c current bound: 4691
981.69/990.19	c current bound: 4691
982.40/990.91	c current bound: 4691
983.12/991.62	c current bound: 4691
984.06/992.35	c current bound: 4691
984.56/993.06	c current bound: 4691
985.27/993.77	c current bound: 4691
986.16/994.47	c current bound: 4691
986.68/995.18	c current bound: 4691
987.66/995.90	c current bound: 4691
988.37/996.62	c current bound: 4691
988.83/997.33	c current bound: 4691
989.56/998.04	c current bound: 4691
990.47/998.75	c current bound: 4691
990.98/999.47	c current bound: 4691
991.70/1000.19	c current bound: 4691
992.69/1000.90	c current bound: 4691
993.12/1001.61	c current bound: 4691
993.84/1002.33	c current bound: 4691
994.54/1003.05	c current bound: 4691
995.26/1003.75	c current bound: 4691
995.97/1004.47	c current bound: 4691
996.68/1005.18	c current bound: 4691
997.39/1005.89	c current bound: 4691
998.34/1006.60	c current bound: 4691
998.81/1007.31	c current bound: 4691
999.52/1008.03	c current bound: 4691
1000.44/1008.77	c current bound: 4691
1000.97/1009.48	c current bound: 4691
1001.95/1010.20	c current bound: 4691
1002.65/1010.91	c current bound: 4691
1003.11/1011.62	c current bound: 4691
1003.82/1012.33	c current bound: 4691
1004.75/1013.05	c current bound: 4691
1005.26/1013.76	c current bound: 4691
1005.97/1014.47	c current bound: 4691
1006.68/1015.19	c current bound: 4691
1007.65/1015.90	c current bound: 4691
1008.10/1016.62	c current bound: 4691
1008.83/1017.34	c current bound: 4691
1009.55/1018.05	c current bound: 4691
1010.27/1018.77	c current bound: 4691
1010.99/1019.48	c current bound: 4691
1011.96/1020.20	c current bound: 4691
1012.64/1020.92	c current bound: 4691
1013.14/1021.63	c current bound: 4691
1013.85/1022.35	c current bound: 4691
1014.75/1023.06	c current bound: 4691
1015.28/1023.77	c current bound: 4691
1015.98/1024.48	c current bound: 4691
1016.86/1025.19	c current bound: 4691
1017.42/1025.91	c current bound: 4691
1018.12/1026.62	c current bound: 4691
1019.07/1027.34	c current bound: 4691
1019.56/1028.05	c current bound: 4691
1020.27/1028.76	c current bound: 4691
1020.98/1029.49	c current bound: 4691
1021.70/1030.21	c current bound: 4691
1022.43/1030.92	c current bound: 4691
1023.14/1031.63	c current bound: 4691
1023.84/1032.34	c current bound: 4691
1024.76/1033.06	c current bound: 4691
1025.28/1033.77	c current bound: 4691
1025.98/1034.48	c current bound: 4691
1026.86/1035.19	c current bound: 4691
1027.66/1035.90	c current bound: 4691
1028.10/1036.61	c current bound: 4691
1029.05/1037.32	c current bound: 4691
1029.52/1038.03	c current bound: 4691
1030.23/1038.74	c current bound: 4691
1031.15/1039.46	c current bound: 4691
1031.67/1040.17	c current bound: 4691
1032.39/1040.88	c current bound: 4691
1033.10/1041.60	c current bound: 4691
1033.80/1042.31	c current bound: 4691
1034.53/1043.05	c current bound: 4691
1035.23/1043.76	c current bound: 4691
1035.96/1044.48	c current bound: 4691
1036.67/1045.19	c current bound: 4691
1037.36/1045.90	c current bound: 4691
1038.09/1046.61	c current bound: 4691
1039.03/1047.33	c current bound: 4691
1039.51/1048.04	c current bound: 4691
1040.22/1048.76	c current bound: 4691
1041.12/1049.48	c current bound: 4691
1041.92/1050.20	c current bound: 4691
1042.37/1050.91	c current bound: 4691
1043.32/1051.62	c current bound: 4691
1043.80/1052.34	c current bound: 4691
1044.51/1053.06	c current bound: 4691
1045.42/1053.77	c current bound: 4691
1045.95/1054.49	c current bound: 4691
1046.93/1055.20	c current bound: 4691
1047.61/1055.92	c current bound: 4691
1048.10/1056.64	c current bound: 4691
1048.83/1057.36	c current bound: 4691
1049.54/1058.07	c current bound: 4691
1050.26/1058.78	c current bound: 4691
1050.96/1059.49	c current bound: 4691
1051.67/1060.20	c current bound: 4691
1052.39/1060.93	c current bound: 4691
1053.31/1061.64	c current bound: 4691
1053.83/1062.35	c current bound: 4691
1054.54/1063.07	c current bound: 4691
1055.43/1063.78	c current bound: 4691
1055.97/1064.51	c current bound: 4691
1056.69/1065.21	c current bound: 4691
1057.62/1065.93	c current bound: 4691
1058.10/1066.65	c current bound: 4691
1058.82/1067.36	c current bound: 4691
1059.72/1068.08	c current bound: 4691
1060.25/1068.79	c current bound: 4691
1060.96/1069.51	c current bound: 4691
1061.93/1070.23	c current bound: 4691
1062.39/1070.93	c current bound: 4691
1063.10/1071.64	c current bound: 4691
1063.81/1072.36	c current bound: 4691
1064.53/1073.07	c current bound: 4691
1065.24/1073.78	c current bound: 4691
1066.23/1074.50	c current bound: 4691
1066.68/1075.21	c current bound: 4691
1067.62/1075.92	c current bound: 4691
1068.11/1076.64	c current bound: 4691
1068.83/1077.35	c current bound: 4691
1069.74/1078.06	c current bound: 4691
1070.26/1078.77	c current bound: 4691
1070.96/1079.49	c current bound: 4691
1071.94/1080.21	c current bound: 4691
1072.41/1080.93	c current bound: 4691
1073.12/1081.64	c current bound: 4691
1074.03/1082.36	c current bound: 4691
1074.55/1083.07	c current bound: 4691
1075.25/1083.78	c current bound: 4691
1075.96/1084.50	c current bound: 4691
1076.68/1085.21	c current bound: 4691
1077.38/1085.92	c current bound: 4691
1078.11/1086.64	c current bound: 4691
1078.82/1087.35	c current bound: 4691
1079.73/1088.07	c current bound: 4691
1080.25/1088.80	c current bound: 4691
1080.98/1089.51	c current bound: 4691
1081.92/1090.23	c current bound: 4691
1082.41/1090.95	c current bound: 4691
1083.12/1091.66	c current bound: 4691
1084.03/1092.38	c current bound: 4691
1084.56/1093.09	c current bound: 4691
1085.27/1093.81	c current bound: 4691
1086.21/1094.53	c current bound: 4691
1086.71/1095.24	c current bound: 4691
1087.42/1095.95	c current bound: 4691
1088.32/1096.67	c current bound: 4691
1088.84/1097.38	c current bound: 4691
1089.82/1098.10	c current bound: 4691
1090.51/1098.82	c current bound: 4691
1090.99/1099.53	c current bound: 4691
1091.71/1100.25	c current bound: 4691
1092.43/1100.96	c current bound: 4691
1093.15/1101.67	c current bound: 4691
1093.85/1102.39	c current bound: 4691
1094.58/1103.10	c current bound: 4691
1095.29/1103.81	c current bound: 4691
1096.23/1104.53	c current bound: 4691
1096.72/1105.24	c current bound: 4691
1097.44/1105.96	c current bound: 4691
1098.32/1106.68	c current bound: 4691
1098.87/1107.40	c current bound: 4691
1099.58/1108.12	c current bound: 4691
1100.53/1108.83	c current bound: 4691
1101.00/1109.55	c current bound: 4691
1101.73/1110.26	c current bound: 4691
1102.63/1110.97	c current bound: 4691
1103.15/1111.69	c current bound: 4691
1104.13/1112.40	c current bound: 4691
1104.82/1113.11	c current bound: 4691
1105.29/1113.83	c current bound: 4691
1106.00/1114.54	c current bound: 4691
1106.72/1115.25	c current bound: 4691
1107.43/1115.96	c current bound: 4691
1108.13/1116.66	c current bound: 4691
1108.84/1117.37	c current bound: 4691
1109.55/1118.09	c current bound: 4691
1110.42/1118.79	c current bound: 4691
1110.97/1119.50	c current bound: 4691
1111.67/1120.21	c current bound: 4691
1112.62/1120.92	c current bound: 4691
1113.09/1121.63	c current bound: 4691
1113.80/1122.35	c current bound: 4691
1114.78/1123.11	c current bound: 4691
1115.22/1123.82	c current bound: 4691
1115.94/1124.53	c current bound: 4691
1116.87/1125.24	c current bound: 4691
1117.36/1125.95	c current bound: 4691
1118.06/1126.66	c current bound: 4691
1118.78/1127.37	c current bound: 4691
1119.49/1128.08	c current bound: 4691
1120.20/1128.79	c current bound: 4691
1120.91/1129.50	c current bound: 4691
1121.61/1130.21	c current bound: 4691
1122.55/1130.92	c current bound: 4691
1123.04/1131.63	c current bound: 4691
1123.75/1132.35	c current bound: 4691
1124.66/1133.06	c current bound: 4691
1125.17/1133.78	c current bound: 4691
1125.89/1134.49	c current bound: 4691
1126.75/1135.19	c current bound: 4691
1127.30/1135.90	c current bound: 4691
1128.01/1136.62	c current bound: 4691
1128.95/1137.33	c current bound: 4691
1129.44/1138.04	c current bound: 4691
1130.15/1138.75	c current bound: 4691
1130.86/1139.46	c current bound: 4691
1131.55/1140.16	c current bound: 4691
1132.26/1140.88	c current bound: 4691
1132.98/1141.59	c current bound: 4691
1133.70/1142.31	c current bound: 4691
1134.67/1143.16	c current bound: 4691
1135.13/1143.87	c current bound: 4691
1135.84/1144.59	c current bound: 4691
1136.81/1145.30	c current bound: 4691
1137.26/1146.01	c current bound: 4691
1137.97/1146.72	c current bound: 4691
1138.90/1147.44	c current bound: 4691
1139.39/1148.15	c current bound: 4691
1140.12/1148.86	c current bound: 4691
1141.01/1149.57	c current bound: 4691
1141.52/1150.28	c current bound: 4691
1142.23/1151.00	c current bound: 4691
1143.18/1151.71	c current bound: 4691
1143.66/1152.42	c current bound: 4691
1144.63/1153.46	c current bound: 4691
1145.07/1154.18	c current bound: 4691
1145.78/1154.89	c current bound: 4691
1146.49/1155.60	c current bound: 4691
1147.21/1156.32	c current bound: 4691
1147.92/1157.02	c current bound: 4691
1148.64/1157.73	c current bound: 4691
1149.54/1158.44	c current bound: 4691
1150.04/1159.15	c current bound: 4691
1150.77/1159.87	c current bound: 4691
1151.65/1160.58	c current bound: 4691
1152.20/1161.29	c current bound: 4691
1152.91/1162.01	c current bound: 4691
1153.87/1162.72	c current bound: 4691
1154.34/1163.44	c current bound: 4691
1155.06/1164.15	c current bound: 4691
1155.96/1164.86	c current bound: 4691
1156.49/1165.57	c current bound: 4691
1157.20/1166.29	c current bound: 4691
1157.91/1166.99	c current bound: 4691
1158.61/1167.70	c current bound: 4691
1159.32/1168.41	c current bound: 4691
1160.03/1169.12	c current bound: 4691
1160.73/1169.83	c current bound: 4691
1161.66/1170.54	c current bound: 4691
1162.16/1171.25	c current bound: 4691
1162.87/1171.96	c current bound: 4691
1163.76/1172.68	c current bound: 4691
1164.57/1173.51	c current bound: 4691
1165.01/1174.22	c current bound: 4691
1165.95/1174.94	c current bound: 4691
1166.44/1175.65	c current bound: 4691
1167.14/1176.36	c current bound: 4691
1168.04/1177.08	c current bound: 4691
1168.86/1177.80	c current bound: 4691
1169.31/1178.54	c current bound: 4691
1170.25/1179.25	c current bound: 4691
1170.76/1179.97	c current bound: 4691
1171.49/1180.69	c current bound: 4691
1172.47/1181.54	c current bound: 4691
1172.91/1182.25	c current bound: 4691
1173.62/1182.97	c current bound: 4691
1174.50/1183.68	c current bound: 4691
1175.32/1184.40	c current bound: 4691
1175.78/1185.13	c current bound: 4691
1176.72/1185.85	c current bound: 4691
1177.22/1186.56	c current bound: 4691
1177.95/1187.29	c current bound: 4691
1178.91/1188.01	c current bound: 4691
1179.38/1188.72	c current bound: 4691
1180.11/1189.44	c current bound: 4691
1181.02/1190.16	c current bound: 4691
1181.55/1190.88	c current bound: 4691
1182.26/1191.61	c current bound: 4691
1183.22/1192.33	c current bound: 4691
1183.69/1193.04	c current bound: 4691
1184.41/1193.76	c current bound: 4691
1185.13/1194.48	c current bound: 4691
1185.84/1195.19	c current bound: 4691
1186.55/1195.90	c current bound: 4691
1187.26/1196.63	c current bound: 4691
1187.99/1197.35	c current bound: 4691
1188.91/1198.06	c current bound: 4691
1189.42/1198.78	c current bound: 4691
1190.14/1199.49	c current bound: 4691
1191.09/1200.20	c current bound: 4691
1191.57/1200.91	c current bound: 4691
1192.28/1201.63	c current bound: 4691
1193.20/1202.34	c current bound: 4691
1193.69/1203.05	c current bound: 4691
1194.41/1203.76	c current bound: 4691
1195.30/1204.47	c current bound: 4691
1195.83/1205.18	c current bound: 4691
1196.55/1205.89	c current bound: 4691
1197.52/1206.60	c current bound: 4691
1197.98/1207.33	c current bound: 4691
1198.70/1208.04	c current bound: 4691
1199.42/1208.76	c current bound: 4691
1200.12/1209.47	c current bound: 4691
1200.83/1210.18	c current bound: 4691
1201.55/1210.89	c current bound: 4691
1202.27/1211.60	c current bound: 4691
1203.19/1212.32	c current bound: 4691
1203.69/1213.03	c current bound: 4691
1204.40/1213.75	c current bound: 4691
1205.29/1214.47	c current bound: 4691
1205.82/1215.18	c current bound: 4691
1206.54/1215.89	c current bound: 4691
1207.50/1216.62	c current bound: 4691
1207.98/1217.32	c current bound: 4691
1208.68/1218.04	c current bound: 4691
1209.61/1218.77	c current bound: 4691
1210.12/1219.47	c current bound: 4691
1210.83/1220.19	c current bound: 4691
1211.55/1220.90	c current bound: 4691
1212.26/1221.61	c current bound: 4691
1212.98/1222.32	c current bound: 4691
1213.69/1223.05	c current bound: 4691
1214.42/1223.77	c current bound: 4691
1215.12/1224.48	c current bound: 4691
1215.83/1225.19	c current bound: 4691
1216.56/1225.91	c current bound: 4691
1217.50/1226.62	c current bound: 4691
1217.99/1227.34	c current bound: 4691
1218.71/1228.05	c current bound: 4691
1219.60/1228.77	c current bound: 4691
1220.14/1229.48	c current bound: 4691
1220.86/1230.20	c current bound: 4691
1221.82/1230.93	c current bound: 4691
1222.30/1231.64	c current bound: 4691
1223.01/1232.35	c current bound: 4691
1223.90/1233.07	c current bound: 4691
1224.44/1233.79	c current bound: 4691
1225.43/1234.50	c current bound: 4691
1226.12/1235.21	c current bound: 4691
1226.59/1235.93	c current bound: 4691
1227.31/1236.64	c current bound: 4691
1228.02/1237.34	c current bound: 4691
1228.72/1238.06	c current bound: 4691
1229.43/1238.77	c current bound: 4691
1230.15/1239.48	c current bound: 4691
1230.86/1240.19	c current bound: 4691
1231.82/1240.90	c current bound: 4691
1232.28/1241.61	c current bound: 4691
1232.99/1242.32	c current bound: 4691
1233.91/1243.03	c current bound: 4691
1234.41/1243.74	c current bound: 4691
1235.12/1244.45	c current bound: 4691
1236.03/1245.16	c current bound: 4691
1236.55/1245.87	c current bound: 4691
1237.25/1246.58	c current bound: 4691
1237.97/1247.29	c current bound: 4691
1238.94/1248.00	c current bound: 4691
1239.39/1248.76	c current bound: 4691
1240.11/1249.47	c current bound: 4691
1240.81/1250.18	c current bound: 4691
1241.79/1250.90	c current bound: 4691
1242.24/1251.61	c current bound: 4691
1242.95/1252.32	c current bound: 4691
1243.87/1253.04	c current bound: 4691
1244.65/1253.91	c current bound: 4691
1245.10/1254.62	c current bound: 4691
1245.81/1255.34	c current bound: 4691
1246.52/1256.07	c current bound: 4691
1247.26/1256.79	c current bound: 4691
1247.98/1257.50	c current bound: 4691
1248.70/1258.22	c current bound: 4691
1249.42/1258.95	c current bound: 4691
1250.33/1259.67	c current bound: 4691
1250.84/1260.39	c current bound: 4691
1251.57/1261.11	c current bound: 4691
1252.52/1261.83	c current bound: 4691
1253.00/1262.55	c current bound: 4691
1253.72/1263.26	c current bound: 4691
1254.71/1264.22	c current bound: 4691
1255.39/1264.94	c current bound: 4691
1255.88/1265.66	c current bound: 4691
1256.59/1266.37	c current bound: 4691
1257.31/1267.09	c current bound: 4691
1258.02/1267.81	c current bound: 4691
1258.74/1268.53	c current bound: 4691
1259.45/1269.23	c current bound: 4691
1260.18/1269.96	c current bound: 4691
1260.89/1270.67	c current bound: 4691
1261.60/1271.39	c current bound: 4691
1262.32/1272.11	c current bound: 4691
1263.28/1272.83	c current bound: 4691
1263.77/1273.55	c current bound: 4691
1264.48/1274.25	c current bound: 4691
1265.37/1274.97	c current bound: 4691
1265.91/1275.69	c current bound: 4691
1266.63/1276.41	c current bound: 4691
1267.59/1277.13	c current bound: 4691
1268.07/1277.84	c current bound: 4691
1268.78/1278.56	c current bound: 4691
1269.70/1279.28	c current bound: 4691
1270.48/1280.00	c current bound: 4691
1270.93/1280.71	c current bound: 4691
1271.89/1281.42	c current bound: 4691
1272.36/1282.14	c current bound: 4691
1273.06/1282.85	c current bound: 4691
1273.78/1283.56	c current bound: 4691
1274.50/1284.27	c current bound: 4691
1275.21/1284.98	c current bound: 4691
1275.91/1285.68	c current bound: 4691
1276.90/1286.57	c current bound: 4691
1277.34/1287.28	c current bound: 4691
1278.31/1288.00	c current bound: 4691
1278.76/1288.71	c current bound: 4691
1279.48/1289.42	c current bound: 4691
1280.18/1290.14	c current bound: 4691
1280.89/1290.86	c current bound: 4691
1281.62/1291.57	c current bound: 4691
1282.33/1292.29	c current bound: 4691
1283.05/1293.00	c current bound: 4691
1283.99/1293.71	c current bound: 4691
1284.46/1294.42	c current bound: 4691
1285.18/1295.14	c current bound: 4691
1286.10/1295.86	c current bound: 4691
1286.62/1296.58	c current bound: 4691
1287.33/1297.29	c current bound: 4691
1288.32/1298.01	c current bound: 4691
1288.78/1298.73	c current bound: 4691
1289.49/1299.43	c current bound: 4691
1290.41/1300.15	c current bound: 4691
1290.92/1300.87	c current bound: 4691
1291.63/1301.59	c current bound: 4691
1292.63/1302.31	c current bound: 4691
1293.07/1303.03	c current bound: 4691
1293.80/1303.75	c current bound: 4691
1294.52/1304.46	c current bound: 4691
1295.23/1305.18	c current bound: 4691
1296.22/1305.90	c current bound: 4691
1296.67/1306.62	c current bound: 4691
1297.40/1307.34	c current bound: 4691
1298.32/1308.06	c current bound: 4691
1298.84/1308.77	c current bound: 4691
1299.55/1309.48	c current bound: 4691
1300.52/1310.20	c current bound: 4691
1300.97/1310.92	c current bound: 4691
1301.70/1311.64	c current bound: 4691
1302.63/1312.36	c current bound: 4691
1303.14/1313.07	c current bound: 4691
1304.13/1313.80	c current bound: 4691
1304.82/1314.51	c current bound: 4691
1305.30/1315.24	c current bound: 4691
1306.02/1315.96	c current bound: 4691
1306.94/1316.68	c current bound: 4691
1307.75/1317.40	c current bound: 4691
1308.19/1318.11	c current bound: 4691
1309.14/1318.83	c current bound: 4691
1309.62/1319.54	c current bound: 4691
1310.34/1320.25	c current bound: 4691
1311.06/1320.97	c current bound: 4691
1311.77/1321.68	c current bound: 4691
1312.48/1322.39	c current bound: 4691
1313.19/1323.10	c current bound: 4691
1313.91/1323.82	c current bound: 4691
1314.84/1324.53	c current bound: 4691
1315.34/1325.24	c current bound: 4691
1316.04/1325.95	c current bound: 4691
1316.96/1326.66	c current bound: 4691
1317.47/1327.37	c current bound: 4691
1318.18/1328.08	c current bound: 4691
1319.06/1328.79	c current bound: 4691
1319.60/1329.50	c current bound: 4691
1320.32/1330.21	c current bound: 4691
1321.28/1330.93	c current bound: 4691
1321.75/1331.64	c current bound: 4691
1322.46/1332.36	c current bound: 4691
1323.18/1333.08	c current bound: 4691
1323.91/1333.79	c current bound: 4691
1324.62/1334.50	c current bound: 4691
1325.33/1335.22	c current bound: 4691
1326.04/1335.94	c current bound: 4691
1326.97/1336.65	c current bound: 4691
1327.48/1337.41	c current bound: 4691
1328.24/1338.14	c current bound: 4691
1329.17/1338.85	c current bound: 4691
1329.70/1339.56	c current bound: 4691
1330.39/1340.28	c current bound: 4691
1331.38/1341.00	c current bound: 4691
1331.83/1341.72	c current bound: 4691
1332.56/1342.44	c current bound: 4691
1333.48/1343.16	c current bound: 4691
1334.00/1343.87	c current bound: 4691
1334.71/1344.58	c current bound: 4691
1335.59/1345.30	c current bound: 4691
1336.14/1346.02	c current bound: 4691
1336.86/1346.74	c current bound: 4691
1337.80/1347.46	c current bound: 4691
1338.31/1348.17	c current bound: 4691
1339.03/1348.89	c current bound: 4691
1340.00/1349.61	c current bound: 4691
1340.46/1350.33	c current bound: 4691
1341.18/1351.05	c current bound: 4691
1341.91/1351.78	c current bound: 4691
1342.92/1352.50	c current bound: 4691
1343.37/1353.23	c current bound: 4691
1344.08/1353.95	c current bound: 4691
1344.82/1354.66	c current bound: 4691
1345.53/1355.37	c current bound: 4691
1346.24/1356.09	c current bound: 4691
1346.96/1356.82	c current bound: 4691
1347.90/1357.53	c current bound: 4691
1348.39/1358.25	c current bound: 4691
1349.12/1358.98	c current bound: 4691
1350.03/1359.69	c current bound: 4691
1350.56/1360.41	c current bound: 4691
1351.28/1361.14	c current bound: 4691
1352.22/1361.86	c current bound: 4691
1352.73/1362.56	c current bound: 4691
1353.43/1363.28	c current bound: 4691
1354.32/1363.99	c current bound: 4691
1354.86/1364.69	c current bound: 4691
1355.57/1365.40	c current bound: 4691
1356.52/1366.12	c current bound: 4691
1356.99/1366.82	c current bound: 4691
1357.71/1367.54	c current bound: 4691
1358.42/1368.25	c current bound: 4691
1359.14/1368.96	c current bound: 4691
1359.85/1369.66	c current bound: 4691
1360.55/1370.38	c current bound: 4691
1361.26/1371.09	c current bound: 4691
1361.98/1371.80	c current bound: 4691
1362.68/1372.51	c current bound: 4691
1363.40/1373.23	c current bound: 4691
1364.33/1373.95	c current bound: 4691
1364.84/1374.65	c current bound: 4691
1365.54/1375.37	c current bound: 4691
1366.54/1376.10	c current bound: 4691
1366.99/1376.83	c current bound: 4691
1367.72/1377.55	c current bound: 4691
1368.64/1378.27	c current bound: 4691
1369.16/1378.99	c current bound: 4691
1370.16/1379.73	c current bound: 4691
1370.81/1380.44	c current bound: 4691
1371.32/1381.16	c current bound: 4691
1372.04/1381.88	c current bound: 4691
1372.76/1382.60	c current bound: 4691
1373.48/1383.32	c current bound: 4691
1374.20/1384.04	c current bound: 4691
1374.90/1384.75	c current bound: 4691
1375.62/1385.46	c current bound: 4691
1376.33/1386.17	c current bound: 4691
1377.04/1386.89	c current bound: 4691
1377.76/1387.61	c current bound: 4691
1378.72/1388.34	c current bound: 4691
1379.22/1389.06	c current bound: 4691
1379.94/1389.77	c current bound: 4691
1380.82/1390.49	c current bound: 4691
1381.37/1391.20	c current bound: 4691
1382.08/1391.92	c current bound: 4691
1383.03/1392.63	c current bound: 4691
1383.51/1393.35	c current bound: 4691
1384.23/1394.08	c current bound: 4691
1385.12/1394.79	c current bound: 4691
1385.67/1395.52	c current bound: 4691
1386.40/1396.24	c current bound: 4691
1387.33/1396.96	c current bound: 4691
1387.86/1397.69	c current bound: 4691
1388.58/1398.40	c current bound: 4691
1389.54/1399.12	c current bound: 4691
1390.01/1399.83	c current bound: 4691
1390.72/1400.55	c current bound: 4691
1391.45/1401.27	c current bound: 4691
1392.17/1401.98	c current bound: 4691
1392.89/1402.70	c current bound: 4691
1393.60/1403.42	c current bound: 4691
1394.33/1404.14	c current bound: 4691
1395.25/1404.86	c current bound: 4691
1395.78/1405.58	c current bound: 4691
1396.50/1406.29	c current bound: 4691
1397.48/1407.00	c current bound: 4691
1397.92/1407.71	c current bound: 4691
1398.63/1408.42	c current bound: 4691
1399.57/1409.13	c current bound: 4691
1400.05/1409.84	c current bound: 4691
1400.76/1410.56	c current bound: 4691
1401.68/1411.27	c current bound: 4691
1402.19/1411.97	c current bound: 4691
1402.90/1412.68	c current bound: 4691
1403.61/1413.39	c current bound: 4691
1404.32/1414.11	c current bound: 4691
1405.04/1414.83	c current bound: 4691
1405.75/1415.55	c current bound: 4691
1406.47/1416.27	c current bound: 4691
1407.19/1416.99	c current bound: 4691
1407.92/1417.71	c current bound: 4691
1408.62/1418.43	c current bound: 4691
1409.56/1419.15	c current bound: 4691
1410.06/1419.86	c current bound: 4691
1410.78/1420.57	c current bound: 4691
1411.68/1421.29	c current bound: 4691
1412.22/1422.03	c current bound: 4691
1412.94/1422.75	c current bound: 4691
1413.87/1423.46	c current bound: 4691
1414.38/1424.18	c current bound: 4691
1415.11/1424.89	c current bound: 4691
1415.98/1425.60	c current bound: 4691
1416.53/1426.32	c current bound: 4691
1417.25/1427.04	c current bound: 4691
1418.17/1427.76	c current bound: 4691
1418.69/1428.48	c current bound: 4691
1419.70/1429.20	c current bound: 4691
1420.65/1429.90	c current bound: 4691
1420.84/1430.62	c current bound: 4691
1421.56/1431.34	c current bound: 4691
1422.28/1432.06	c current bound: 4691
1423.00/1432.78	c current bound: 4691
1423.99/1433.50	c current bound: 4691
1424.44/1434.22	c current bound: 4691
1425.16/1434.93	c current bound: 4691
1426.09/1435.64	c current bound: 4691
1426.60/1436.36	c current bound: 4691
1427.32/1437.08	c current bound: 4691
1428.29/1437.80	c current bound: 4691
1428.76/1438.53	c current bound: 4691
1429.49/1439.25	c current bound: 4691
1430.40/1439.96	c current bound: 4691
1430.92/1440.69	c current bound: 4691
1431.64/1441.41	c current bound: 4691
1432.59/1442.12	c current bound: 4691
1433.07/1442.85	c current bound: 4691
1433.81/1443.57	c current bound: 4691
1434.68/1444.29	c current bound: 4691
1435.23/1445.01	c current bound: 4691
1435.95/1445.72	c current bound: 4691
1436.89/1446.43	c current bound: 4691
1437.38/1447.15	c current bound: 4691
1438.09/1447.85	c current bound: 4691
1438.81/1448.57	c current bound: 4691
1439.50/1449.28	c current bound: 4691
1440.22/1449.98	c current bound: 4691
1440.93/1450.69	c current bound: 4691
1441.64/1451.40	c current bound: 4691
1442.58/1452.11	c current bound: 4691
1443.06/1452.82	c current bound: 4691
1443.76/1453.53	c current bound: 4691
1444.69/1454.24	c current bound: 4691
1445.18/1454.97	c current bound: 4691
1445.91/1455.68	c current bound: 4691
1446.77/1456.39	c current bound: 4691
1447.32/1457.10	c current bound: 4691
1448.03/1457.81	c current bound: 4691
1448.97/1458.51	c current bound: 4691
1449.45/1459.23	c current bound: 4691
1450.42/1460.25	c current bound: 4691
1451.05/1460.96	c current bound: 4691
1451.57/1461.66	c current bound: 4691
1452.29/1462.38	c current bound: 4691
1453.18/1463.09	c current bound: 4691
1453.72/1463.80	c current bound: 4691
1454.43/1464.51	c current bound: 4691
1455.37/1465.22	c current bound: 4691
1455.85/1465.93	c current bound: 4691
1456.56/1466.65	c current bound: 4691
1457.47/1467.36	c current bound: 4691
1457.97/1468.08	c current bound: 4691
1458.70/1468.79	c current bound: 4691
1459.94/1469.50	c current bound: 4691
1460.12/1470.21	c current bound: 4691
1460.82/1470.92	c current bound: 4691
1461.53/1471.63	c current bound: 4691
1462.25/1472.34	c current bound: 4691
1463.15/1473.05	c current bound: 4691
1463.65/1473.76	c current bound: 4691
1464.36/1474.48	c current bound: 4691
1465.35/1475.23	c current bound: 4691
1465.80/1475.94	c current bound: 4691
1466.52/1476.67	c current bound: 4691
1467.41/1477.38	c current bound: 4691
1467.92/1478.08	c current bound: 4691
1468.91/1478.80	c current bound: 4691
1469.62/1479.51	c current bound: 4691
1470.06/1480.48	c current bound: 4691
1470.78/1481.19	c current bound: 4691
1471.76/1481.90	c current bound: 4691
1472.20/1482.61	c current bound: 4691
1472.91/1483.31	c current bound: 4691
1473.83/1484.02	c current bound: 4691
1474.33/1484.73	c current bound: 4691
1475.31/1485.56	c current bound: 4691
1475.75/1486.27	c current bound: 4691
1476.45/1486.98	c current bound: 4691
1477.16/1487.69	c current bound: 4691
1478.14/1488.40	c current bound: 4691
1478.57/1489.10	c current bound: 4691
1479.29/1489.81	c current bound: 4691
1480.23/1490.53	c current bound: 4691
1480.72/1491.24	c current bound: 4691
1481.42/1491.95	c current bound: 4691
1482.34/1492.65	c current bound: 4691
1482.84/1493.36	c current bound: 4691
1483.56/1494.08	c current bound: 4691
1484.25/1494.78	c current bound: 4691
1484.97/1495.49	c current bound: 4691
1485.68/1496.21	c current bound: 4691
1486.38/1496.91	c current bound: 4691
1487.10/1497.63	c current bound: 4691
1488.03/1498.33	c current bound: 4691
1488.52/1499.05	c current bound: 4691
1489.25/1499.76	c current bound: 4691
1490.13/1500.47	c current bound: 4691
1490.66/1501.18	c current bound: 4691
1491.38/1501.89	c current bound: 4691
1492.36/1502.60	c current bound: 4691
1492.80/1503.31	c current bound: 4691
1493.51/1504.03	c current bound: 4691
1494.42/1504.73	c current bound: 4691
1494.91/1505.47	c current bound: 4691
1495.64/1506.19	c current bound: 4691
1496.34/1506.90	c current bound: 4691
1497.05/1507.61	c current bound: 4691
1497.75/1508.32	c current bound: 4691
1498.47/1509.03	c current bound: 4691
1499.18/1509.74	c current bound: 4691
1500.09/1510.45	c current bound: 4691
1500.59/1511.17	c current bound: 4691
1501.33/1511.89	c current bound: 4691
1502.29/1512.61	c current bound: 4691
1502.76/1513.33	c current bound: 4691
1503.47/1514.04	c current bound: 4691
1504.40/1514.75	c current bound: 4691
1504.89/1515.47	c current bound: 4691
1505.61/1516.19	c current bound: 4691
1506.59/1516.91	c current bound: 4691
1507.04/1517.62	c current bound: 4691
1507.75/1518.33	c current bound: 4691
1508.67/1519.05	c current bound: 4691
1509.18/1519.76	c current bound: 4691
1509.88/1520.47	c current bound: 4691
1510.61/1521.20	c current bound: 4691
1511.32/1521.91	c current bound: 4691
1512.04/1522.63	c current bound: 4691
1512.76/1523.34	c current bound: 4691
1513.45/1524.05	c current bound: 4691
1514.36/1524.75	c current bound: 4691
1514.88/1525.52	c current bound: 4691
1515.60/1526.23	c current bound: 4691
1516.53/1526.94	c current bound: 4691
1517.00/1527.64	c current bound: 4691
1517.72/1528.36	c current bound: 4691
1518.62/1529.07	c current bound: 4691
1519.14/1529.78	c current bound: 4691
1519.85/1530.50	c current bound: 4691
1520.80/1531.21	c current bound: 4691
1521.27/1531.92	c current bound: 4691
1521.99/1532.64	c current bound: 4691
1522.91/1533.34	c current bound: 4691
1523.40/1534.05	c current bound: 4691
1524.12/1534.76	c current bound: 4691
1524.82/1535.49	c current bound: 4691
1525.55/1536.20	c current bound: 4691
1526.26/1536.92	c current bound: 4691
1526.96/1537.62	c current bound: 4691
1527.68/1538.33	c current bound: 4691
1528.60/1539.04	c current bound: 4691
1529.09/1539.75	c current bound: 4691
1530.06/1540.52	c current bound: 4691
1530.73/1541.23	c current bound: 4691
1531.22/1541.94	c current bound: 4691
1531.93/1542.69	c current bound: 4691
1532.84/1543.39	c current bound: 4691
1533.39/1544.10	c current bound: 4691
1534.10/1544.82	c current bound: 4691
1535.03/1545.53	c current bound: 4691
1535.51/1546.24	c current bound: 4691
1536.23/1546.96	c current bound: 4691
1537.14/1547.66	c current bound: 4691
1537.66/1548.38	c current bound: 4691
1538.36/1549.09	c current bound: 4691
1539.08/1549.80	c current bound: 4691
1539.77/1550.51	c current bound: 4691
1540.49/1551.22	c current bound: 4691
1541.19/1551.93	c current bound: 4691
1541.90/1552.64	c current bound: 4691
1542.83/1553.34	c current bound: 4691
1543.32/1554.05	c current bound: 4691
1544.03/1554.77	c current bound: 4691
1544.93/1555.48	c current bound: 4691
1545.46/1556.18	c current bound: 4691
1546.17/1556.89	c current bound: 4691
1547.02/1557.60	c current bound: 4691
1547.58/1558.31	c current bound: 4691
1548.29/1559.02	c current bound: 4691
1549.24/1559.73	c current bound: 4691
1549.71/1560.49	c current bound: 4691
1550.41/1561.21	c current bound: 4691
1551.37/1561.92	c current bound: 4691
1551.83/1562.63	c current bound: 4691
1552.54/1563.34	c current bound: 4691
1553.25/1564.05	c current bound: 4691
1553.96/1564.76	c current bound: 4691
1554.68/1565.53	c current bound: 4691
1555.39/1566.23	c current bound: 4691
1556.09/1566.94	c current bound: 4691
1557.00/1567.65	c current bound: 4691
1557.52/1568.36	c current bound: 4691
1558.22/1569.07	c current bound: 4691
1559.11/1569.78	c current bound: 4691
1559.90/1570.60	c current bound: 4691
1560.36/1571.31	c current bound: 4691
1561.30/1572.02	c current bound: 4691
1561.77/1572.73	c current bound: 4691
1562.48/1573.44	c current bound: 4691
1563.41/1574.15	c current bound: 4691
1563.90/1574.86	c current bound: 4691
1564.62/1575.71	c current bound: 4691
1565.56/1576.42	c current bound: 4691
1566.03/1577.13	c current bound: 4691
1566.74/1577.84	c current bound: 4691
1567.66/1578.55	c current bound: 4691
1568.16/1579.26	c current bound: 4691
1568.88/1579.97	c current bound: 4691
1569.82/1580.79	c current bound: 4691
1570.28/1581.50	c current bound: 4691
1571.00/1582.21	c current bound: 4691
1571.93/1582.92	c current bound: 4691
1572.41/1583.63	c current bound: 4691
1573.12/1584.34	c current bound: 4691
1574.05/1585.05	c current bound: 4691
1574.55/1585.94	c current bound: 4691
1575.26/1586.65	c current bound: 4691
1576.17/1587.37	c current bound: 4691
1576.68/1588.09	c current bound: 4691
1577.41/1588.81	c current bound: 4691
1578.36/1589.52	c current bound: 4691
1578.83/1590.23	c current bound: 4691
1579.80/1591.20	c current bound: 4691
1580.25/1591.91	c current bound: 4691
1580.95/1592.62	c current bound: 4691
1581.67/1593.32	c current bound: 4691
1582.60/1594.03	c current bound: 4691
1583.08/1594.74	c current bound: 4691
1583.80/1595.46	c current bound: 4691
1584.70/1596.17	c current bound: 4691
1585.22/1596.88	c current bound: 4691
1585.93/1597.59	c current bound: 4691
1586.80/1598.30	c current bound: 4691
1587.35/1599.01	c current bound: 4691
1588.07/1599.73	c current bound: 4691
1589.00/1600.44	c current bound: 4691
1589.49/1601.17	c current bound: 4691
1590.19/1601.88	c current bound: 4691
1590.91/1602.59	c current bound: 4691
1591.61/1603.30	c current bound: 4691
1592.33/1604.01	c current bound: 4691
1593.04/1604.72	c current bound: 4691
1593.75/1605.43	c current bound: 4691
1594.71/1606.26	c current bound: 4691
1595.16/1606.97	c current bound: 4691
1595.87/1607.68	c current bound: 4691
1596.59/1608.39	c current bound: 4691
1597.29/1609.09	c current bound: 4691
1598.01/1609.81	c current bound: 4691
1598.95/1610.53	c current bound: 4691
1599.70/1611.40	c current bound: 4691
1600.14/1612.11	c current bound: 4691
1600.86/1612.82	c current bound: 4691
1601.57/1613.53	c current bound: 4691
1602.27/1614.24	c current bound: 4691
1603.17/1614.95	c current bound: 4691
1603.69/1615.65	c current bound: 4691
1604.40/1616.72	c current bound: 4691
1605.10/1617.43	c current bound: 4691
1606.02/1618.14	c current bound: 4691
1606.52/1618.86	c current bound: 4691
1607.24/1619.57	c current bound: 4691
1608.12/1620.28	c current bound: 4691
1608.66/1620.99	c current bound: 4691
1609.64/1621.70	c current bound: 4691
1610.34/1622.41	c current bound: 4691
1610.80/1623.12	c current bound: 4691
1611.50/1623.83	c current bound: 4691
1612.21/1624.54	c current bound: 4691
1612.93/1625.24	c current bound: 4691
1613.83/1625.95	c current bound: 4691
1614.61/1626.72	c current bound: 4691
1615.05/1627.43	c current bound: 4691
1615.97/1628.14	c current bound: 4691
1616.46/1628.84	c current bound: 4691
1617.18/1629.56	c current bound: 4691
1618.08/1630.29	c current bound: 4691
1618.61/1630.99	c current bound: 4691
1619.32/1631.73	c current bound: 4691
1620.27/1632.44	c current bound: 4691
1620.75/1633.14	c current bound: 4691
1621.47/1633.86	c current bound: 4691
1622.36/1634.57	c current bound: 4691
1622.89/1635.28	c current bound: 4691
1623.59/1635.99	c current bound: 4691
1624.30/1636.70	c current bound: 4691
1625.01/1637.41	c current bound: 4691
1625.72/1638.12	c current bound: 4691
1626.43/1638.83	c current bound: 4691
1627.14/1639.53	c current bound: 4691
1628.06/1640.24	c current bound: 4691
1628.55/1640.95	c current bound: 4691
1629.53/1641.74	c current bound: 4691
1630.18/1642.45	c current bound: 4691
1630.67/1643.16	c current bound: 4691
1631.39/1643.87	c current bound: 4691
1632.35/1644.60	c current bound: 4691
1632.83/1645.31	c current bound: 4691
1633.53/1646.02	c current bound: 4691
1634.49/1646.72	c current bound: 4691
1634.96/1647.43	c current bound: 4691
1635.67/1648.15	c current bound: 4691
1636.57/1648.86	c current bound: 4691
1637.09/1649.57	c current bound: 4691
1637.81/1650.28	c current bound: 4691
1638.53/1650.99	c current bound: 4691
1639.50/1651.89	c current bound: 4691
1639.94/1652.61	c current bound: 4691
1640.89/1653.32	c current bound: 4691
1641.35/1654.03	c current bound: 4691
1642.06/1654.74	c current bound: 4691
1642.98/1655.44	c current bound: 4691
1643.49/1656.15	c current bound: 4691
1644.19/1656.98	c current bound: 4691
1645.07/1657.69	c current bound: 4691
1645.87/1658.40	c current bound: 4691
1646.33/1659.11	c current bound: 4691
1647.27/1659.82	c current bound: 4691
1647.74/1660.53	c current bound: 4691
1648.45/1661.24	c current bound: 4691
1649.41/1662.18	c current bound: 4691
1649.87/1662.89	c current bound: 4691
1650.85/1663.60	c current bound: 4691
1651.56/1664.31	c current bound: 4691
1652.01/1665.01	c current bound: 4691
1652.70/1665.73	c current bound: 4691
1653.64/1666.43	c current bound: 4691
1654.12/1667.14	c current bound: 4691
1654.84/1667.86	c current bound: 4691
1655.55/1668.56	c current bound: 4691
1656.26/1669.27	c current bound: 4691
1656.97/1669.98	c current bound: 4691
1657.68/1670.69	c current bound: 4691
1658.38/1671.49	c current bound: 4691
1659.09/1672.20	c current bound: 4691
1659.80/1672.91	c current bound: 4691
1660.51/1673.62	c current bound: 4691
1661.44/1674.33	c current bound: 4691
1661.93/1675.04	c current bound: 4691
1662.65/1675.76	c current bound: 4691
1663.55/1676.47	c current bound: 4691
1664.07/1677.18	c current bound: 4691
1664.78/1677.89	c current bound: 4691
1665.75/1678.60	c current bound: 4691
1666.20/1679.31	c current bound: 4691
1666.92/1680.04	c current bound: 4691
1667.85/1680.74	c current bound: 4691
1668.34/1681.45	c current bound: 4691
1669.06/1682.17	c current bound: 4691
1669.76/1682.88	c current bound: 4691
1670.46/1683.59	c current bound: 4691
1671.44/1684.30	c current bound: 4691
1671.89/1685.01	c current bound: 4691
1672.61/1685.73	c current bound: 4691
1673.53/1686.44	c current bound: 4691
1674.30/1687.20	c current bound: 4691
1674.75/1687.92	c current bound: 4691
1675.68/1688.63	c current bound: 4691
1676.18/1689.35	c current bound: 4691
1676.90/1690.07	c current bound: 4691
1677.79/1690.78	c current bound: 4691
1678.31/1691.48	c current bound: 4691
1679.02/1692.32	c current bound: 4691
1679.95/1693.04	c current bound: 4691
1680.45/1693.75	c current bound: 4691
1681.17/1694.48	c current bound: 4691
1682.06/1695.19	c current bound: 4691
1682.60/1695.89	c current bound: 4691
1683.30/1696.60	c current bound: 4691
1684.25/1697.36	c current bound: 4691
1684.73/1698.07	c current bound: 4691
1685.44/1698.78	c current bound: 4691
1686.31/1699.49	c current bound: 4691
1686.86/1700.20	c current bound: 4691
1687.57/1700.91	c current bound: 4691
1688.53/1701.62	c current bound: 4691
1688.99/1702.58	c current bound: 4691
1689.70/1703.29	c current bound: 4691
1690.66/1704.00	c current bound: 4691
1691.12/1704.71	c current bound: 4691
1691.82/1705.42	c current bound: 4691
1692.76/1706.13	c current bound: 4691
1693.25/1706.84	c current bound: 4691
1693.97/1707.56	c current bound: 4691
1694.87/1708.27	c current bound: 4691
1695.38/1708.98	c current bound: 4691
1696.09/1709.69	c current bound: 4691
1696.80/1710.40	c current bound: 4691
1697.51/1711.10	c current bound: 4691
1698.22/1711.81	c current bound: 4691
1698.93/1712.55	c current bound: 4691
1699.65/1713.26	c current bound: 4691
1700.35/1713.96	c current bound: 4691
1701.06/1714.67	c current bound: 4691
1701.78/1715.38	c current bound: 4691
1702.66/1716.10	c current bound: 4691
1703.20/1716.80	c current bound: 4691
1703.90/1717.71	c current bound: 4691
1704.61/1718.43	c current bound: 4691
1705.33/1719.14	c current bound: 4691
1706.03/1719.85	c current bound: 4691
1706.94/1720.57	c current bound: 4691
1707.47/1721.28	c current bound: 4691
1708.45/1722.00	c current bound: 4691
1709.14/1722.74	c current bound: 4691
1709.61/1723.45	c current bound: 4691
1710.33/1724.16	c current bound: 4691
1711.21/1724.87	c current bound: 4691
1711.73/1725.57	c current bound: 4691
1712.45/1726.29	c current bound: 4691
1713.42/1727.01	c current bound: 4691
1713.87/1727.86	c current bound: 4691
1714.58/1728.57	c current bound: 4691
1715.46/1729.28	c current bound: 4691
1716.01/1729.99	c current bound: 4691
1716.71/1730.70	c current bound: 4691
1717.67/1731.41	c current bound: 4691
1718.14/1732.12	c current bound: 4691
1718.83/1732.92	c current bound: 4691
1719.78/1733.62	c current bound: 4691
1720.26/1734.33	c current bound: 4691
1720.97/1735.05	c current bound: 4691
1721.88/1735.75	c current bound: 4691
1722.39/1736.46	c current bound: 4691
1723.10/1737.18	c current bound: 4691
1724.06/1738.17	c current bound: 4691
1724.53/1738.88	c current bound: 4691
1725.24/1739.61	c current bound: 4691
1726.20/1740.33	c current bound: 4691
1726.69/1741.04	c current bound: 4691
1727.40/1741.75	c current bound: 4691
1728.30/1742.46	c current bound: 4691
1728.82/1743.21	c current bound: 4691
1729.55/1743.92	c current bound: 4691
1730.50/1744.63	c current bound: 4691
1730.97/1745.33	c current bound: 4691
1731.69/1746.05	c current bound: 4691
1732.59/1746.79	c current bound: 4691
1733.13/1747.50	c current bound: 4691
1733.84/1748.21	c current bound: 4691
1734.81/1748.92	c current bound: 4691
1735.27/1749.62	c current bound: 4691
1735.99/1750.34	c current bound: 4691
1736.70/1751.06	c current bound: 4691
1737.41/1751.77	c current bound: 4691
1738.13/1752.48	c current bound: 4691
1738.85/1753.19	c current bound: 4691
1739.57/1753.92	c current bound: 4691
1740.51/1754.63	c current bound: 4691
1740.98/1755.34	c current bound: 4691
1741.69/1756.05	c current bound: 4691
1742.61/1756.76	c current bound: 4691
1743.13/1757.47	c current bound: 4691
1743.84/1758.19	c current bound: 4691
1744.72/1758.89	c current bound: 4691
1745.26/1759.60	c current bound: 4691
1745.96/1760.32	c current bound: 4691
1746.90/1761.03	c current bound: 4691
1747.39/1761.74	c current bound: 4691
1748.11/1762.45	c current bound: 4691
1748.81/1763.18	c current bound: 4691
1749.53/1763.89	c current bound: 4691
1750.24/1764.60	c current bound: 4691
1750.95/1765.31	c current bound: 4691
1751.66/1766.03	c current bound: 4691
1752.57/1766.74	c current bound: 4691
1753.09/1767.46	c current bound: 4691
1753.80/1768.18	c current bound: 4691
1754.69/1768.89	c current bound: 4691
1755.23/1769.60	c current bound: 4691
1755.94/1770.32	c current bound: 4691
1756.88/1771.03	c current bound: 4691
1757.36/1771.74	c current bound: 4691
1758.07/1772.45	c current bound: 4691
1759.06/1773.35	c current bound: 4691
1759.51/1774.06	c current bound: 4691
1760.22/1774.78	c current bound: 4691
1761.10/1775.49	c current bound: 4691
1761.65/1776.20	c current bound: 4691
1762.36/1776.92	c current bound: 4691
1763.30/1777.62	c current bound: 4691
1763.78/1778.33	c current bound: 4691
1764.49/1779.05	c current bound: 4691
1765.40/1779.75	c current bound: 4691
1765.91/1780.47	c current bound: 4691
1766.62/1781.18	c current bound: 4691
1767.33/1781.89	c current bound: 4691
1768.05/1782.61	c current bound: 4691
1768.77/1783.33	c current bound: 4691
1769.48/1784.04	c current bound: 4691
1770.19/1784.75	c current bound: 4691
1771.11/1785.46	c current bound: 4691
1771.61/1786.17	c current bound: 4691
1772.32/1786.88	c current bound: 4691
1773.20/1787.59	c current bound: 4691
1773.74/1788.44	c current bound: 4691
1774.46/1789.15	c current bound: 4691
1775.34/1789.85	c current bound: 4691
1775.86/1790.56	c current bound: 4691
1776.58/1791.28	c current bound: 4691
1777.46/1791.99	c current bound: 4691
1778.27/1792.70	c current bound: 4691
1778.72/1793.50	c current bound: 4691
1779.68/1794.21	c current bound: 4691
1780.15/1794.92	c current bound: 4691
1780.85/1795.63	c current bound: 4691
1781.79/1796.35	c current bound: 4691
1782.28/1797.06	c current bound: 4691
1783.01/1797.79	c current bound: 4691
1783.98/1798.55	c current bound: 4691
1784.43/1799.26	c current bound: 4691
1785.14/1799.98	c current bound: 4691
1786.02/1800.70	c current bound: 4691
1786.57/1801.40	c current bound: 4691
1787.28/1802.12	c current bound: 4691
1788.21/1802.83	c current bound: 4691
1788.70/1803.62	c current bound: 4691
1789.41/1804.33	c current bound: 4691
1790.34/1805.04	c current bound: 4691
1790.84/1805.75	c current bound: 4691
1791.54/1806.46	c current bound: 4691
1792.25/1807.17	c current bound: 4691
1792.95/1807.88	c current bound: 4691
1793.93/1808.93	c current bound: 4691
1794.58/1809.64	c current bound: 4691
1795.09/1810.35	c current bound: 4691
1795.80/1811.07	c current bound: 4691
1796.70/1811.78	c current bound: 4691
1797.22/1812.49	c current bound: 4691
1797.94/1813.21	c current bound: 4691
1798.90/1813.92	c current bound: 4691
1799.39/1814.41	HOME/npSolver-wbo-Itdqb.sh: line 18:  2945 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-3753113-1339210165/watcher-3753113-1339210165 -o /tmp/evaluation-result-3753113-1339210165/solver-3753113-1339210165 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753113-1339210165.wbo 379571555 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 2944
/proc/meminfo: memFree=26203740/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0

[startup+0.0923271 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 2944
/proc/meminfo: memFree=26203740/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100215 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 2944
/proc/meminfo: memFree=26203740/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300158 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 2944
/proc/meminfo: memFree=26203740/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70019 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 2944
/proc/meminfo: memFree=26203740/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50017 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 2977
/proc/meminfo: memFree=26116268/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1.49 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) R 2944 2944 1637 0 -1 4202496 6368 36441 0 0 19 3 98 29 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712165344 5056727 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29012

[startup+3.10018 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 2998
/proc/meminfo: memFree=26142968/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=2.98 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 10897 65813 0 0 41 5 196 56 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 29012

[startup+6.3002 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 3063
/proc/meminfo: memFree=26128604/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=5.83 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 18469 125299 0 0 73 9 389 112 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 29012

[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 3203
/proc/meminfo: memFree=26129044/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=12.21 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 35506 260076 0 0 144 17 826 234 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 29012

[startup+25.5002 s]
/proc/loadavg: 1.96 2.00 2.00 3/181 3483
/proc/meminfo: memFree=26129744/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=24.99 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 69580 530491 0 0 287 33 1702 477 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 29012

[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 2.00 3/182 4016
/proc/meminfo: memFree=26161096/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=50.35 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 135844 1063772 0 0 566 65 3429 975 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 29012

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 5106
/proc/meminfo: memFree=26124428/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=100.54 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 270238 2116929 0 0 1131 128 6852 1943 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
[pid=5103] ppid=2945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5103/stat : 5103 (satsolver.sh) S 2945 2944 1637 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387152143 9367552 266 33554432000 4194304 5064252 140737038626768 140737038625680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 2287 266 226 213 0 72 0
[pid=5104] ppid=5103 vsize=48432 CPUtime=0.18 cores=0,2,4,6
/proc/5104/stat : 5104 (glucose) R 5103 2944 1637 0 -1 4202496 10225 0 0 0 17 1 0 0 20 0 1 0 387152143 49594368 10896 33554432000 4194304 5208918 140735119559440 140735118508840 4211561 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5104/statm: 12108 10896 95 248 0 11857 0
Current children cumulated CPU time (s) 100.72
Current children cumulated vsize (KiB) 86592

[startup+162.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 6371
/proc/meminfo: memFree=26111968/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=160.39 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 429250 3375002 0 0 1800 202 10924 3113 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 160.39
Current children cumulated vsize (KiB) 29012

[startup+222.3 s]
/proc/loadavg: 1.91 1.96 1.98 3/181 7647
/proc/meminfo: memFree=26123180/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=219.76 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 586378 4629630 0 0 2459 278 14969 4270 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 219.76
Current children cumulated vsize (KiB) 29012

[startup+282.3 s]
/proc/loadavg: 1.91 1.95 1.98 3/183 8884
/proc/meminfo: memFree=26109476/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=278.1 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 741604 5854930 0 0 3114 350 18944 5402 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 278.1
Current children cumulated vsize (KiB) 29012

[startup+342.3 s]
/proc/loadavg: 1.96 1.96 1.98 3/181 10160
/proc/meminfo: memFree=26153160/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=338.01 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 899074 7103924 0 0 3784 424 23002 6591 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
[pid=10158] ppid=2945 vsize=9148 CPUtime=0 cores=0,2,4,6

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

Current children cumulated CPU time (s) 1420.65
Current children cumulated vsize (KiB) 38160

[startup+1430.01 s]
/proc/loadavg: 1.98 1.94 1.93 3/181 697
/proc/meminfo: memFree=26146400/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1420.49 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 2799286 29815321 0 0 15930 1727 96575 27817 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 1420.49
Current children cumulated vsize (KiB) 29012
#
############


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

[startup+1469.5 s]
/proc/loadavg: 2.23 1.99 1.94 3/181 1556
/proc/meminfo: memFree=26148120/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1459.68 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 2846373 30640856 0 0 16361 1771 99267 28569 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712165344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
[pid=1552] ppid=2945 vsize=9148 CPUtime=0.26 cores=0,2,4,6
/proc/1552/stat : 1552 (cp2_post.sh) S 2945 2944 1637 0 -1 4202496 639 2945 0 0 0 0 14 12 20 0 1 0 387288856 9367552 269 33554432000 4194304 5064252 140736186496160 140736186495072 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1552/statm: 2287 269 228 213 0 72 0
Current children cumulated CPU time (s) 1459.94
Current children cumulated vsize (KiB) 38160

[startup+1469.61 s]
/proc/loadavg: 2.23 1.99 1.94 3/181 1556
/proc/meminfo: memFree=26148120/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1459.76 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 2847191 30641369 0 0 16368 1772 99267 28569 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 1459.76
Current children cumulated vsize (KiB) 29012
#
############


[startup+1482.3 s]
/proc/loadavg: 2.32 2.02 1.95 3/183 1834
/proc/meminfo: memFree=26097320/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1471.84 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 2861998 30895386 0 0 16504 1785 100088 28807 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 1471.84
Current children cumulated vsize (KiB) 29012

[startup+1542.3 s]
/proc/loadavg: 2.12 2.02 1.95 3/183 3147
/proc/meminfo: memFree=26106816/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1531.57 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 2935162 32151938 0 0 17174 1852 104165 29966 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
[pid=3146] ppid=2945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3146/stat : 3146 (satsolver.sh) S 2945 2944 1637 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387296135 9367552 266 33554432000 4194304 5064252 140735037135584 140735037134496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3146/statm: 2287 266 226 213 0 72 0
[pid=3147] ppid=3146 vsize=48436 CPUtime=0.26 cores=0,2,4,6
/proc/3147/stat : 3147 (glucose) R 3146 2944 1637 0 -1 4202496 10396 0 0 0 25 1 0 0 20 0 1 0 387296135 49598464 10578 33554432000 4194304 5208918 140735245695040 140735244644440 4211712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3147/statm: 12109 10578 95 248 0 11858 0
Current children cumulated CPU time (s) 1531.83
Current children cumulated vsize (KiB) 86596

[startup+1602.3 s]
/proc/loadavg: 1.96 2.00 1.95 3/183 4400
/proc/meminfo: memFree=26067360/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1590.55 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 3007455 33398576 0 0 17833 1923 108182 31117 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 1590.55
Current children cumulated vsize (KiB) 29012

[startup+1662.3 s]
/proc/loadavg: 1.90 1.98 1.94 1/183 5660
/proc/meminfo: memFree=26139176/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1649.52 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 3079748 34644523 0 0 18493 1992 112201 32266 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 1649.52
Current children cumulated vsize (KiB) 29012

[startup+1722.3 s]
/proc/loadavg: 1.86 1.95 1.93 3/183 6902
/proc/meminfo: memFree=26125240/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1708.54 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 3152041 35886323 0 0 19154 2060 116221 33419 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 1708.54
Current children cumulated vsize (KiB) 29012

[startup+1782.3 s]
/proc/loadavg: 1.95 1.96 1.93 3/181 8171
/proc/meminfo: memFree=26110832/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1767.69 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 3224334 37132288 0 0 19814 2130 120254 34571 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
Current children cumulated CPU time (s) 1767.69
Current children cumulated vsize (KiB) 29012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.4 s]
/proc/loadavg: 1.97 1.96 1.93 4/182 8846
/proc/meminfo: memFree=26145888/32873648 swapFree=7116/7116
[pid=2944] ppid=2942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (npSolver-wbo-It) S 2942 2944 1637 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387141932 9367552 275 33554432000 4194304 5064252 140736733136800 140736733135712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2944/statm: 2287 275 233 213 0 72 0
[pid=2945] ppid=2944 vsize=19864 CPUtime=1799.36 cores=0,2,4,6
/proc/2945/stat : 2945 (npSolver-wbo) S 2944 2944 1637 0 -1 4202496 3262667 37802651 0 0 20165 2166 122429 35176 20 0 1 0 387141932 20340736 4207 33554432000 4194304 6006132 140734712173408 140734712164256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2945/statm: 4966 4207 177 443 0 4519 0
[pid=8842] ppid=2945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8842/stat : 8842 (cp2_post.sh) S 2945 2944 1637 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 387323368 9367552 265 33554432000 4194304 5064252 140735931231456 140735931229744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8842/statm: 2287 265 225 213 0 72 0
[pid=8843] ppid=8842 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (cat) R 8842 2944 1637 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 387323369 4100096 122 33554432000 4194304 4236627 140735952562352 140735952561448 260190324192 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8843/statm: 1001 122 96 11 0 67 0
[pid=8844] ppid=8842 vsize=8096 CPUtime=0.03 cores=0,2,4,6
/proc/8844/stat : 8844 (coprocessor) R 8842 2944 1637 0 -1 4202496 1876 0 0 0 3 0 0 0 20 0 1 0 387323369 8290304 1308 33554432000 4194304 6586260 140735327756128 140735327753144 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 2024 1309 148 584 0 1436 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 50260

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1814.42
CPU time (s): 1800.04
CPU user time (s): 1426.31
CPU system time (s): 373.734
CPU usage (%): 99.2077
Max. virtual memory (cumulated for all children) (KiB): 87324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1425.96
system time used= 373.434
maximum resident set size= 43896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41066756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34850560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 721401
involuntary context switches= 33399

runsolver used 3.36749 second user time and 8.89865 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-09 04:49:25
IDJOB=3753113
IDBENCH=79419
IDSOLVER=2336
FILE ID=node123/3753113-1339210165
RUNJOBID= node123-1339208364-2140
PBS_JOBID= 14643868
Free space on /tmp= 68144 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh13_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753113-1339210165/watcher-3753113-1339210165 -o /tmp/evaluation-result-3753113-1339210165/solver-3753113-1339210165 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753113-1339210165.wbo 379571555 HOME HOME

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

MD5SUM BENCH= 3100ea9ba7746ae86daacced189e255b
RANDOM SEED=379571555

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26205592 kB
Buffers:         1838072 kB
Cached:          3757000 kB
SwapCached:         2012 kB
Active:          5277396 kB
Inactive:         335300 kB
Active(anon):      15900 kB
Inactive(anon):     2736 kB
Active(file):    5261496 kB
Inactive(file):   332564 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100324 kB
Dirty:             17140 kB
Writeback:             0 kB
AnonPages:         69456 kB
Mapped:             9768 kB
Shmem:                 0 kB
Slab:             917560 kB
SReclaimable:     361740 kB
SUnreclaim:       555820 kB
KernelStack:        1520 kB
PageTables:         3676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     136236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68128 MiB
End job on node123 at 2012-06-09 05:19:39