Trace number 3715643

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? (TO) 1800.11 1796.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
MD5SUM0e6c262e00c2bafdec71b4c92c644f07
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark0.469928
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints28
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1248
Number of bits of the biggest sum of numbers11
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.05	c run usual solver
1.87/1.96	o 1169
1.87/1.96	c starting approximation
1.87/1.96	c factor = 2
1.87/1.96	c current bound: 584
2.66/2.77	c current bound: 584
3.46/3.59	c current bound: 584
4.36/4.41	c current bound: 584
4.38/5.23	c current bound: 584
5.96/6.05	c current bound: 584
6.77/6.87	c current bound: 584
6.85/7.68	c current bound: 584
8.46/8.50	c current bound: 584
9.26/9.32	c current bound: 584
10.06/10.14	c current bound: 584
10.12/10.95	c current bound: 584
11.66/11.77	c current bound: 584
12.45/12.59	c current bound: 584
13.35/13.41	c current bound: 584
13.38/14.23	c current bound: 584
14.94/15.04	c current bound: 584
15.76/15.86	c current bound: 584
16.56/16.67	c current bound: 584
16.64/17.49	c current bound: 584
18.25/18.31	c current bound: 584
19.07/19.12	c current bound: 584
19.86/19.94	c current bound: 584
19.92/20.83	c current bound: 584
21.48/21.65	c current bound: 584
22.27/22.47	c current bound: 584
23.08/23.28	c current bound: 584
23.97/24.10	c current bound: 584
24.78/24.92	c current bound: 584
25.58/25.74	c current bound: 584
26.39/26.55	c current bound: 584
26.46/27.38	c current bound: 584
27.98/28.19	c current bound: 584
28.88/29.01	c current bound: 584
29.67/29.83	c current bound: 584
29.74/30.65	c current bound: 584
31.27/31.46	c current bound: 584
32.08/32.28	c current bound: 584
32.89/33.10	c current bound: 584
33.78/33.91	c current bound: 584
34.57/34.73	c current bound: 584
35.39/35.54	c current bound: 584
36.20/36.35	c current bound: 584
36.26/37.17	c current bound: 584
37.78/37.99	c current bound: 584
38.67/38.81	c current bound: 584
39.49/39.62	c current bound: 584
39.52/40.45	c current bound: 584
41.08/41.26	c current bound: 584
41.87/42.08	c current bound: 584
42.78/42.90	c current bound: 584
43.57/43.72	c current bound: 584
44.37/44.54	c current bound: 584
45.17/45.36	c current bound: 584
45.26/46.18	c current bound: 584
46.88/47.00	c current bound: 584
47.68/47.82	c current bound: 584
48.46/48.63	c current bound: 584
48.52/49.45	c current bound: 584
50.07/50.27	c current bound: 584
50.88/51.09	c current bound: 584
51.78/51.91	c current bound: 584
51.80/52.73	c current bound: 584
53.38/53.55	c current bound: 584
54.17/54.37	c current bound: 584
55.04/55.27	c current bound: 584
55.09/56.09	c current bound: 584
56.68/56.91	c current bound: 584
57.49/57.72	c current bound: 584
58.29/58.54	c current bound: 584
58.35/59.36	c current bound: 584
59.89/60.18	c current bound: 584
60.77/61.01	c current bound: 584
61.57/61.83	c current bound: 584
61.62/62.65	c current bound: 584
63.16/63.47	c current bound: 584
63.97/64.29	c current bound: 584
64.86/65.10	c current bound: 584
65.69/65.92	c current bound: 584
66.48/66.74	c current bound: 584
67.27/67.55	c current bound: 584
68.07/68.37	c current bound: 584
68.16/69.18	c current bound: 584
69.75/70.00	c current bound: 584
70.58/70.82	c current bound: 584
71.37/71.64	c current bound: 584
71.44/72.46	c current bound: 584
72.97/73.28	c current bound: 584
73.76/74.09	c current bound: 584
74.68/74.91	c current bound: 584
74.69/75.73	c current bound: 584
76.27/76.55	c current bound: 584
77.05/77.36	c current bound: 584
77.88/78.18	c current bound: 584
78.76/79.00	c current bound: 584
79.58/79.82	c current bound: 584
80.36/80.64	c current bound: 584
81.17/81.45	c current bound: 584
81.24/82.27	c current bound: 584
82.76/83.09	c current bound: 584
83.67/83.91	c current bound: 584
84.46/84.73	c current bound: 584
84.51/85.54	c current bound: 584
86.06/86.37	c current bound: 584
86.87/87.19	c current bound: 584
86.97/88.00	c current bound: 584
88.58/88.82	c current bound: 584
89.36/89.64	c current bound: 584
90.16/90.45	c current bound: 584
90.24/91.27	c current bound: 584
91.76/92.09	c current bound: 584
92.66/92.91	c current bound: 584
93.46/93.73	c current bound: 584
93.50/94.55	c current bound: 584
95.06/95.38	c current bound: 584
95.85/96.20	c current bound: 584
96.75/97.01	c current bound: 584
96.79/97.83	c current bound: 584
98.34/98.66	c current bound: 584
99.16/99.47	c current bound: 584
99.95/100.29	c current bound: 584
100.86/101.11	c current bound: 584
101.64/101.94	c current bound: 584
102.45/102.76	c current bound: 584
103.25/103.57	c current bound: 584
103.33/104.39	c current bound: 584
104.94/105.20	c current bound: 584
105.75/106.03	c current bound: 584
106.56/106.84	c current bound: 584
106.61/107.66	c current bound: 584
108.14/108.47	c current bound: 584
108.94/109.29	c current bound: 584
109.85/110.11	c current bound: 584
110.65/110.92	c current bound: 584
111.45/111.74	c current bound: 584
112.24/112.55	c current bound: 584
113.05/113.37	c current bound: 584
113.13/114.18	c current bound: 584
114.74/115.00	c current bound: 584
115.53/115.81	c current bound: 584
116.36/116.65	c current bound: 584
116.41/117.47	c current bound: 584
117.94/118.29	c current bound: 584
118.84/119.11	c current bound: 584
119.64/119.92	c current bound: 584
119.68/120.74	c current bound: 584
121.23/121.56	c current bound: 584
122.05/122.39	c current bound: 584
122.97/123.20	c current bound: 584
123.75/124.02	c current bound: 584
124.53/124.83	c current bound: 584
125.34/125.65	c current bound: 584
125.41/126.47	c current bound: 584
126.94/127.28	c current bound: 584
127.84/128.10	c current bound: 584
128.64/128.92	c current bound: 584
128.67/129.74	c current bound: 584
130.24/130.56	c current bound: 584
131.02/131.39	c current bound: 584
131.90/132.21	c current bound: 584
132.73/133.02	c current bound: 584
133.51/133.84	c current bound: 584
134.32/134.66	c current bound: 584
135.12/135.48	c current bound: 584
136.03/136.30	c current bound: 584
136.81/137.11	c current bound: 584
137.60/137.93	c current bound: 584
138.41/138.75	c current bound: 584
138.49/139.57	c current bound: 584
140.02/140.39	c current bound: 584
140.91/141.21	c current bound: 584
141.73/142.03	c current bound: 584
141.76/142.85	c current bound: 584
143.31/143.66	c current bound: 584
144.11/144.48	c current bound: 584
144.91/145.30	c current bound: 584
145.82/146.11	c current bound: 584
146.61/146.93	c current bound: 584
147.41/147.76	c current bound: 584
148.21/148.58	c current bound: 584
149.12/149.40	c current bound: 584
149.90/150.21	c current bound: 584
150.71/151.03	c current bound: 584
151.52/151.85	c current bound: 584
151.58/152.67	c current bound: 584
153.11/153.48	c current bound: 584
153.90/154.29	c current bound: 584
154.82/155.11	c current bound: 584
155.62/155.92	c current bound: 584
156.40/156.75	c current bound: 584
157.20/157.57	c current bound: 584
157.28/158.38	c current bound: 584
158.89/159.21	c current bound: 584
159.71/160.02	c current bound: 584
160.51/160.84	c current bound: 584
160.57/161.66	c current bound: 584
162.10/162.48	c current bound: 584
163.02/163.30	c current bound: 584
163.81/164.11	c current bound: 584
163.85/164.93	c current bound: 584
165.40/165.78	c current bound: 584
166.27/166.61	c current bound: 584
167.06/167.43	c current bound: 584
167.14/168.24	c current bound: 584
168.67/169.06	c current bound: 584
169.47/169.89	c current bound: 584
170.37/170.71	c current bound: 584
171.18/171.52	c current bound: 584
171.98/172.34	c current bound: 584
172.77/173.16	c current bound: 584
173.57/173.98	c current bound: 584
174.47/174.80	c current bound: 584
175.28/175.62	c current bound: 584
176.07/176.44	c current bound: 584
176.88/177.26	c current bound: 584
176.95/178.07	c current bound: 584
178.56/178.90	c current bound: 584
179.37/179.72	c current bound: 584
180.17/180.54	c current bound: 584
180.23/181.36	c current bound: 584
181.76/182.18	c current bound: 584
182.68/183.00	c current bound: 584
183.47/183.81	c current bound: 584
184.28/184.62	c current bound: 584
185.06/185.44	c current bound: 584
185.86/186.25	c current bound: 584
186.67/187.07	c current bound: 584
186.76/187.89	c current bound: 584
188.37/188.71	c current bound: 584
189.15/189.53	c current bound: 584
189.97/190.35	c current bound: 584
190.03/191.17	c current bound: 584
191.55/191.99	c current bound: 584
192.45/192.81	c current bound: 584
193.28/193.62	c current bound: 584
193.31/194.44	c current bound: 584
194.87/195.25	c current bound: 584
195.68/196.07	c current bound: 584
195.76/196.89	c current bound: 584
197.36/197.71	c current bound: 584
198.16/198.53	c current bound: 584
198.96/199.35	c current bound: 584
199.02/200.16	c current bound: 584
200.56/200.98	c current bound: 584
201.44/201.80	c current bound: 584
202.26/202.62	c current bound: 584
202.30/203.44	c current bound: 584
203.87/204.25	c current bound: 584
204.66/205.07	c current bound: 584
205.46/205.89	c current bound: 584
206.35/206.72	c current bound: 584
207.14/207.54	c current bound: 584
207.93/208.36	c current bound: 584
208.75/209.18	c current bound: 584
208.84/209.99	c current bound: 584
210.45/210.81	c current bound: 584
211.24/211.63	c current bound: 584
212.04/212.45	c current bound: 584
212.12/213.27	c current bound: 584
213.63/214.08	c current bound: 584
214.55/214.90	c current bound: 584
215.34/215.72	c current bound: 584
215.37/216.54	c current bound: 584
216.93/217.35	c current bound: 584
217.74/218.17	c current bound: 584
218.54/218.99	c current bound: 584
219.42/219.81	c current bound: 584
220.24/220.62	c current bound: 584
221.04/221.44	c current bound: 584
221.83/222.26	c current bound: 584
221.92/223.09	c current bound: 584
223.52/223.91	c current bound: 584
224.34/224.72	c current bound: 584
225.14/225.54	c current bound: 584
225.21/226.36	c current bound: 584
226.74/227.18	c current bound: 584
227.65/228.00	c current bound: 584
228.44/228.82	c current bound: 584
228.47/229.64	c current bound: 584
230.03/230.46	c current bound: 584
230.83/231.28	c current bound: 584
230.94/232.10	c current bound: 584
232.54/232.91	c current bound: 584
233.33/233.73	c current bound: 584
234.13/234.54	c current bound: 584
234.18/235.36	c current bound: 584
235.72/236.17	c current bound: 584
236.63/237.00	c current bound: 584
237.42/237.81	c current bound: 584
237.46/238.63	c current bound: 584
239.02/239.45	c current bound: 584
239.82/240.26	c current bound: 584
240.63/241.08	c current bound: 584
240.73/241.93	c current bound: 584
242.30/242.75	c current bound: 584
243.10/243.57	c current bound: 584
243.89/244.37	c current bound: 584
243.99/245.19	c current bound: 584
245.60/246.01	c current bound: 584
246.39/246.83	c current bound: 584
247.21/247.64	c current bound: 584
247.26/248.46	c current bound: 584
248.80/249.27	c current bound: 584
249.59/250.09	c current bound: 584
250.49/250.91	c current bound: 584
250.53/251.73	c current bound: 584
252.09/252.55	c current bound: 584
252.90/253.36	c current bound: 584
253.71/254.18	c current bound: 584
253.80/254.99	c current bound: 584
255.40/255.81	c current bound: 584
256.20/256.63	c current bound: 584
257.00/257.45	c current bound: 584
257.06/258.27	c current bound: 584
258.59/259.09	c current bound: 584
259.51/259.92	c current bound: 584
260.31/260.74	c current bound: 584
260.35/261.55	c current bound: 584
261.90/262.37	c current bound: 584
262.70/263.19	c current bound: 584
263.60/264.01	c current bound: 584
263.63/264.82	c current bound: 584
265.20/265.64	c current bound: 584
266.01/266.46	c current bound: 584
266.09/267.28	c current bound: 584
267.70/268.10	c current bound: 584
268.51/268.92	c current bound: 584
269.31/269.74	c current bound: 584
269.36/270.56	c current bound: 584
270.89/271.38	c current bound: 584
271.70/272.19	c current bound: 584
272.60/273.01	c current bound: 584
273.43/273.82	c current bound: 584
274.21/274.64	c current bound: 584
275.01/275.46	c current bound: 584
275.81/276.28	c current bound: 584
275.90/277.09	c current bound: 584
277.51/277.92	c current bound: 584
278.30/278.73	c current bound: 584
279.10/279.54	c current bound: 584
279.16/280.36	c current bound: 584
280.70/281.17	c current bound: 584
281.49/281.99	c current bound: 584
282.41/282.80	c current bound: 584
283.20/283.61	c current bound: 584
283.98/284.43	c current bound: 584
284.80/285.25	c current bound: 584
285.60/286.07	c current bound: 584
285.68/286.89	c current bound: 584
287.29/287.71	c current bound: 584
288.10/288.53	c current bound: 584
288.91/289.35	c current bound: 584
288.96/290.16	c current bound: 584
290.50/290.98	c current bound: 584
291.39/291.81	c current bound: 584
292.21/292.62	c current bound: 584
292.23/293.44	c current bound: 584
293.80/294.24	c current bound: 584
294.59/295.06	c current bound: 584
294.69/295.89	c current bound: 584
296.30/296.71	c current bound: 584
297.10/297.52	c current bound: 584
297.90/298.34	c current bound: 584
297.95/299.16	c current bound: 584
299.50/299.98	c current bound: 584
300.29/300.79	c current bound: 584
301.19/301.61	c current bound: 584
302.01/302.42	c current bound: 584
302.79/303.25	c current bound: 584
303.61/304.06	c current bound: 584
304.40/304.88	c current bound: 584
305.29/305.70	c current bound: 584
306.11/306.52	c current bound: 584
306.90/307.34	c current bound: 584
307.70/308.18	c current bound: 584
307.80/308.99	c current bound: 584
309.39/309.81	c current bound: 584
310.19/310.63	c current bound: 584
311.01/311.45	c current bound: 584
311.06/312.27	c current bound: 584
312.60/313.09	c current bound: 584
313.49/313.90	c current bound: 584
314.31/314.73	c current bound: 584
314.34/315.54	c current bound: 584
315.89/316.36	c current bound: 584
316.69/317.18	c current bound: 584
317.51/318.00	c current bound: 584
318.40/318.82	c current bound: 584
319.20/319.64	c current bound: 584
320.00/320.45	c current bound: 584
320.79/321.27	c current bound: 584
320.88/322.09	c current bound: 584
322.48/322.91	c current bound: 584
323.29/323.73	c current bound: 584
324.09/324.55	c current bound: 584
324.16/325.37	c current bound: 584
325.70/326.18	c current bound: 584
326.57/327.00	c current bound: 584
327.41/327.81	c current bound: 584
327.43/328.63	c current bound: 584
328.99/329.44	c current bound: 584
329.79/330.26	c current bound: 584
329.88/331.08	c current bound: 584
331.47/331.90	c current bound: 584
332.30/332.72	c current bound: 584
333.08/333.54	c current bound: 584
333.15/334.35	c current bound: 584
334.69/335.18	c current bound: 584
335.60/336.00	c current bound: 584
336.39/336.81	c current bound: 584
336.42/337.63	c current bound: 584
337.98/338.44	c current bound: 584
338.79/339.26	c current bound: 584
339.60/340.08	c current bound: 584
340.47/340.90	c current bound: 584
341.29/341.72	c current bound: 584
342.07/342.54	c current bound: 584
342.90/343.35	c current bound: 584
342.96/344.17	c current bound: 584
344.49/344.99	c current bound: 584
345.38/345.80	c current bound: 584
346.20/346.62	c current bound: 584
346.22/347.44	c current bound: 584
347.79/348.26	c current bound: 584
348.58/349.08	c current bound: 584
349.38/349.89	c current bound: 584
350.27/350.71	c current bound: 584
351.07/351.53	c current bound: 584
351.88/352.34	c current bound: 584
352.68/353.16	c current bound: 584
352.76/353.98	c current bound: 584
354.39/354.80	c current bound: 584
355.18/355.61	c current bound: 584
355.99/356.43	c current bound: 584
356.02/357.25	c current bound: 584
357.58/358.06	c current bound: 584
358.38/358.88	c current bound: 584
358.48/359.70	c current bound: 584
360.07/360.52	c current bound: 584
360.87/361.33	c current bound: 584
361.67/362.15	c current bound: 584
361.75/362.97	c current bound: 584
363.27/363.79	c current bound: 584
364.18/364.61	c current bound: 584
364.98/365.43	c current bound: 584
365.02/366.25	c current bound: 584
366.58/367.07	c current bound: 584
367.37/367.88	c current bound: 584
368.18/368.70	c current bound: 584
369.08/369.52	c current bound: 584
369.88/370.34	c current bound: 584
370.68/371.15	c current bound: 584
371.48/371.97	c current bound: 584
371.56/372.79	c current bound: 584
373.18/373.61	c current bound: 584
373.97/374.41	c current bound: 584
374.78/375.22	c current bound: 584
374.82/376.04	c current bound: 584
376.37/376.85	c current bound: 584
377.19/377.67	c current bound: 584
377.99/378.50	c current bound: 584
378.87/379.32	c current bound: 584
379.67/380.14	c current bound: 584
380.46/380.96	c current bound: 584
381.28/381.77	c current bound: 584
381.35/382.59	c current bound: 584
382.96/383.41	c current bound: 584
383.77/384.23	c current bound: 584
384.58/385.05	c current bound: 584
384.64/385.86	c current bound: 584
386.18/386.69	c current bound: 584
387.06/387.51	c current bound: 584
387.87/388.32	c current bound: 584
387.91/389.14	c current bound: 584
389.46/389.95	c current bound: 584
390.26/390.77	c current bound: 584
390.36/391.59	c current bound: 584
391.97/392.41	c current bound: 584
392.76/393.22	c current bound: 584
393.57/394.05	c current bound: 584
393.64/394.86	c current bound: 584
395.16/395.68	c current bound: 584
396.07/396.50	c current bound: 584
396.86/397.32	c current bound: 584
396.90/398.14	c current bound: 584
398.46/398.96	c current bound: 584
399.27/399.77	c current bound: 584
400.07/400.59	c current bound: 584
400.96/401.41	c current bound: 584
401.76/402.29	c current bound: 584
402.59/403.11	c current bound: 584
403.39/403.93	c current bound: 584
403.44/404.74	c current bound: 584
404.99/405.57	c current bound: 584
405.78/406.39	c current bound: 584
406.70/407.22	c current bound: 584
406.73/408.08	c current bound: 584
408.33/408.90	c current bound: 584
409.16/409.72	c current bound: 584
409.94/410.54	c current bound: 584
410.02/411.36	c current bound: 584
411.55/412.18	c current bound: 584
412.47/413.00	c current bound: 584
413.26/413.82	c current bound: 584
413.27/414.63	c current bound: 584
414.85/415.45	c current bound: 584
415.64/416.27	c current bound: 584
416.45/417.09	c current bound: 584
417.35/417.91	c current bound: 584
418.14/418.73	c current bound: 584
418.94/419.54	c current bound: 584
419.74/420.36	c current bound: 584
419.83/421.18	c current bound: 584
421.43/422.00	c current bound: 584
422.25/422.82	c current bound: 584
423.05/423.64	c current bound: 584
423.10/424.45	c current bound: 584
424.64/425.27	c current bound: 584
425.55/426.10	c current bound: 584
426.34/426.91	c current bound: 584
426.38/427.73	c current bound: 584
427.95/428.55	c current bound: 584
428.74/429.36	c current bound: 584
429.55/430.17	c current bound: 584
429.63/430.99	c current bound: 584
431.24/431.81	c current bound: 584
432.03/432.63	c current bound: 584
432.84/433.45	c current bound: 584
432.89/434.26	c current bound: 584
434.44/435.08	c current bound: 584
435.35/435.90	c current bound: 584
436.14/436.71	c current bound: 584
436.18/437.53	c current bound: 584
437.72/438.35	c current bound: 584
438.53/439.17	c current bound: 584
438.62/439.99	c current bound: 584
440.23/440.81	c current bound: 584
441.02/441.63	c current bound: 584
441.85/442.47	c current bound: 584
441.90/443.29	c current bound: 584
443.51/444.11	c current bound: 584
444.30/444.93	c current bound: 584
445.11/445.75	c current bound: 584
445.17/446.57	c current bound: 584
446.71/447.38	c current bound: 584
447.60/448.21	c current bound: 584
448.39/449.03	c current bound: 584
448.45/449.85	c current bound: 584
449.99/450.67	c current bound: 584
450.81/451.48	c current bound: 584
451.71/452.30	c current bound: 584
452.51/453.12	c current bound: 584
453.29/453.93	c current bound: 584
454.09/454.75	c current bound: 584
454.89/455.57	c current bound: 584
454.98/456.39	c current bound: 584
456.58/457.20	c current bound: 584
457.38/458.01	c current bound: 584
458.20/458.83	c current bound: 584
458.24/459.66	c current bound: 584
459.78/460.48	c current bound: 584
460.67/461.30	c current bound: 584
461.50/462.12	c current bound: 584
461.53/462.93	c current bound: 584
463.08/463.75	c current bound: 584
463.87/464.57	c current bound: 584
464.69/465.38	c current bound: 584
465.58/466.20	c current bound: 584
466.39/467.02	c current bound: 584
467.18/467.84	c current bound: 584
467.98/468.66	c current bound: 584
468.06/469.48	c current bound: 584
469.66/470.30	c current bound: 584
470.48/471.11	c current bound: 584
471.27/471.93	c current bound: 584
471.33/472.75	c current bound: 584
472.88/473.57	c current bound: 584
473.69/474.39	c current bound: 584
473.79/475.20	c current bound: 584
475.39/476.02	c current bound: 584
476.18/476.84	c current bound: 584
476.98/477.66	c current bound: 584
477.05/478.48	c current bound: 584
478.66/479.30	c current bound: 584
479.48/480.12	c current bound: 584
480.28/480.94	c current bound: 584
480.35/481.76	c current bound: 584
481.88/482.58	c current bound: 584
482.77/483.40	c current bound: 584
483.59/484.22	c current bound: 584
483.63/485.04	c current bound: 584
485.18/485.86	c current bound: 584
485.97/486.67	c current bound: 584
486.78/487.49	c current bound: 584
487.67/488.31	c current bound: 584
488.48/489.13	c current bound: 584
489.27/489.95	c current bound: 584
490.08/490.77	c current bound: 584
490.16/491.59	c current bound: 584
491.78/492.41	c current bound: 584
492.58/493.23	c current bound: 584
493.38/494.05	c current bound: 584
493.45/494.87	c current bound: 584
494.98/495.68	c current bound: 584
495.87/496.50	c current bound: 584
496.68/497.32	c current bound: 584
496.72/498.14	c current bound: 584
498.27/498.95	c current bound: 584
499.08/499.77	c current bound: 584
499.89/500.58	c current bound: 584
499.99/501.39	c current bound: 584
501.58/502.21	c current bound: 584
502.36/503.03	c current bound: 584
503.17/503.85	c current bound: 584
503.23/504.67	c current bound: 584
504.76/505.49	c current bound: 584
505.66/506.30	c current bound: 584
506.48/507.12	c current bound: 584
506.51/507.96	c current bound: 584
508.04/508.78	c current bound: 584
508.94/509.60	c current bound: 584
509.75/510.42	c current bound: 584
509.79/511.24	c current bound: 584
511.34/512.05	c current bound: 584
512.14/512.87	c current bound: 584
512.23/513.69	c current bound: 584
513.83/514.51	c current bound: 584
514.66/515.32	c current bound: 584
515.46/516.13	c current bound: 584
515.51/516.95	c current bound: 584
517.04/517.77	c current bound: 584
517.85/518.59	c current bound: 584
518.75/519.41	c current bound: 584
518.79/520.23	c current bound: 584
520.35/521.05	c current bound: 584
521.14/521.86	c current bound: 584
521.96/522.68	c current bound: 584
522.04/523.49	c current bound: 584
523.64/524.31	c current bound: 584
524.43/525.13	c current bound: 584
525.25/525.95	c current bound: 584
525.31/526.77	c current bound: 584
526.85/527.59	c current bound: 584
527.74/528.41	c current bound: 584
528.56/529.22	c current bound: 584
528.59/530.05	c current bound: 584
530.13/530.86	c current bound: 584
530.93/531.67	c current bound: 584
531.75/532.49	c current bound: 584
532.64/533.31	c current bound: 584
533.43/534.13	c current bound: 584
534.24/534.95	c current bound: 584
535.04/535.76	c current bound: 584
535.13/536.58	c current bound: 584
536.73/537.40	c current bound: 584
537.55/538.22	c current bound: 584
538.34/539.04	c current bound: 584
538.39/539.86	c current bound: 584
539.93/540.67	c current bound: 584
540.73/541.49	c current bound: 584
541.64/542.31	c current bound: 584
541.66/543.18	c current bound: 584
543.17/543.99	c current bound: 584
544.07/544.81	c current bound: 584
544.89/545.63	c current bound: 584
544.91/546.44	c current bound: 584
546.46/547.26	c current bound: 584
547.27/548.08	c current bound: 584
548.19/548.90	c current bound: 584
548.97/549.72	c current bound: 584
549.78/550.54	c current bound: 584
550.57/551.36	c current bound: 584
550.64/552.18	c current bound: 584
552.26/553.00	c current bound: 584
553.07/553.82	c current bound: 584
553.87/554.64	c current bound: 584
553.92/555.45	c current bound: 584
555.47/556.26	c current bound: 584
556.28/557.09	c current bound: 584
557.17/557.90	c current bound: 584
557.20/558.73	c current bound: 584
558.77/559.55	c current bound: 584
559.58/560.36	c current bound: 584
560.37/561.18	c current bound: 584
561.26/562.00	c current bound: 584
562.09/562.82	c current bound: 584
562.89/563.64	c current bound: 584
563.68/564.46	c current bound: 584
563.76/565.28	c current bound: 584
565.28/566.09	c current bound: 584
566.17/566.91	c current bound: 584
566.99/567.73	c current bound: 584
567.03/568.55	c current bound: 584
568.57/569.37	c current bound: 584
569.37/570.19	c current bound: 584
570.27/571.01	c current bound: 584
570.30/571.83	c current bound: 584
571.86/572.65	c current bound: 584
572.69/573.47	c current bound: 584
573.48/574.29	c current bound: 584
574.39/575.11	c current bound: 584
575.18/575.92	c current bound: 584
575.98/576.74	c current bound: 584
576.78/577.56	c current bound: 584
577.65/578.44	c current bound: 584
578.42/579.26	c current bound: 584
579.21/580.09	c current bound: 584
580.11/580.91	c current bound: 584
580.13/581.73	c current bound: 584
581.73/582.55	c current bound: 584
582.51/583.37	c current bound: 584
583.31/584.20	c current bound: 584
584.20/585.01	c current bound: 584
585.00/585.83	c current bound: 584
585.80/586.65	c current bound: 584
586.60/587.47	c current bound: 584
586.70/588.29	c current bound: 584
588.30/589.12	c current bound: 584
589.08/589.93	c current bound: 584
589.90/590.75	c current bound: 584
589.96/591.57	c current bound: 584
591.50/592.39	c current bound: 584
592.40/593.21	c current bound: 584
593.21/594.02	c current bound: 584
593.23/594.84	c current bound: 584
594.80/595.66	c current bound: 584
595.59/596.48	c current bound: 584
595.71/597.29	c current bound: 584
597.29/598.11	c current bound: 584
598.11/598.93	c current bound: 584
598.90/599.74	c current bound: 584
598.96/600.56	c current bound: 584
600.50/601.37	c current bound: 584
601.30/602.19	c current bound: 584
602.20/603.01	c current bound: 584
602.24/603.83	c current bound: 584
603.80/604.64	c current bound: 584
604.61/605.46	c current bound: 584
605.41/606.27	c current bound: 584
605.49/607.09	c current bound: 584
607.09/607.91	c current bound: 584
607.91/608.72	c current bound: 584
608.70/609.53	c current bound: 584
608.75/610.35	c current bound: 584
610.30/611.16	c current bound: 584
611.10/611.98	c current bound: 584
612.02/612.81	c current bound: 584
612.80/613.62	c current bound: 584
613.61/614.43	c current bound: 584
614.39/615.25	c current bound: 584
615.20/616.07	c current bound: 584
615.29/616.89	c current bound: 584
616.88/617.71	c current bound: 584
617.70/618.53	c current bound: 584
618.50/619.34	c current bound: 584
618.57/620.16	c current bound: 584
620.11/620.97	c current bound: 584
621.02/621.80	c current bound: 584
621.80/622.61	c current bound: 584
621.84/623.43	c current bound: 584
623.41/624.25	c current bound: 584
624.21/625.07	c current bound: 584
624.29/625.89	c current bound: 584
625.90/626.71	c current bound: 584
626.70/627.53	c current bound: 584
627.51/628.35	c current bound: 584
627.56/629.17	c current bound: 584
629.10/629.98	c current bound: 584
629.90/630.79	c current bound: 584
630.80/631.61	c current bound: 584
630.83/632.44	c current bound: 584
632.41/633.26	c current bound: 584
633.20/634.08	c current bound: 584
634.02/634.89	c current bound: 584
634.89/635.70	c current bound: 584
635.71/636.51	c current bound: 584
636.49/637.34	c current bound: 584
637.30/638.15	c current bound: 584
637.37/638.97	c current bound: 584
638.89/639.78	c current bound: 584
639.79/640.61	c current bound: 584
640.61/641.42	c current bound: 584
640.64/642.24	c current bound: 584
642.19/643.06	c current bound: 584
642.99/643.88	c current bound: 584
643.79/644.70	c current bound: 584
644.70/645.51	c current bound: 584
645.49/646.33	c current bound: 584
646.29/647.15	c current bound: 584
647.10/647.97	c current bound: 584
647.99/648.84	c current bound: 584
648.76/649.66	c current bound: 584
649.54/650.47	c current bound: 584
650.36/651.29	c current bound: 584
651.24/652.11	c current bound: 584
652.05/652.93	c current bound: 584
652.84/653.75	c current bound: 584
653.64/654.57	c current bound: 584
653.73/655.38	c current bound: 584
655.35/656.20	c current bound: 584
656.15/657.02	c current bound: 584
656.95/657.83	c current bound: 584
657.00/658.65	c current bound: 584
658.53/659.46	c current bound: 584
659.33/660.28	c current bound: 584
659.44/661.10	c current bound: 584
661.03/661.92	c current bound: 584
661.83/662.74	c current bound: 584
662.63/663.56	c current bound: 584
662.72/664.36	c current bound: 584
664.24/665.18	c current bound: 584
665.02/665.99	c current bound: 584
665.93/666.81	c current bound: 584
665.96/667.63	c current bound: 584
667.52/668.45	c current bound: 584
668.32/669.27	c current bound: 584
669.13/670.09	c current bound: 584
670.02/670.90	c current bound: 584
670.85/671.72	c current bound: 584
671.64/672.54	c current bound: 584
672.44/673.37	c current bound: 584
672.51/674.19	c current bound: 584
674.11/675.00	c current bound: 584
674.93/675.82	c current bound: 584
675.72/676.64	c current bound: 584
675.78/677.46	c current bound: 584
677.33/678.28	c current bound: 584
678.13/679.09	c current bound: 584
679.02/679.91	c current bound: 584
679.06/680.72	c current bound: 584
680.62/681.54	c current bound: 584
681.42/682.36	c current bound: 584
682.23/683.18	c current bound: 584
683.11/684.00	c current bound: 584
683.91/684.81	c current bound: 584
684.73/685.62	c current bound: 584
685.52/686.44	c current bound: 584
685.58/687.27	c current bound: 584
687.11/688.08	c current bound: 584
688.00/688.90	c current bound: 584
688.82/689.72	c current bound: 584
688.85/690.54	c current bound: 584
690.41/691.36	c current bound: 584
691.21/692.17	c current bound: 584
691.31/692.99	c current bound: 584
692.91/693.81	c current bound: 584
693.71/694.64	c current bound: 584
694.50/695.46	c current bound: 584
694.58/696.28	c current bound: 584
696.21/697.10	c current bound: 584
697.01/697.91	c current bound: 584
697.79/698.72	c current bound: 584
697.86/699.54	c current bound: 584
699.39/700.36	c current bound: 584
700.21/701.18	c current bound: 584
701.10/702.00	c current bound: 584
701.91/702.81	c current bound: 584
702.70/703.63	c current bound: 584
703.51/704.45	c current bound: 584
704.30/705.28	c current bound: 584
705.21/706.10	c current bound: 584
705.99/706.91	c current bound: 584
706.81/707.72	c current bound: 584
707.61/708.54	c current bound: 584
707.66/709.36	c current bound: 584
709.21/710.18	c current bound: 584
710.00/710.99	c current bound: 584
710.91/711.81	c current bound: 584
710.94/712.63	c current bound: 584
712.51/713.44	c current bound: 584
713.31/714.26	c current bound: 584
714.10/715.07	c current bound: 584
714.20/715.89	c current bound: 584
715.80/716.71	c current bound: 584
716.62/717.52	c current bound: 584
717.42/718.33	c current bound: 584
717.47/719.15	c current bound: 584
718.98/719.99	c current bound: 584
719.88/720.81	c current bound: 584
720.70/721.62	c current bound: 584
720.72/722.44	c current bound: 584
722.28/723.25	c current bound: 584
723.07/724.07	c current bound: 584
723.17/724.89	c current bound: 584
724.78/725.72	c current bound: 584
725.59/726.54	c current bound: 584
726.37/727.35	c current bound: 584
726.45/728.17	c current bound: 584
727.97/728.98	c current bound: 584
728.87/729.80	c current bound: 584
729.68/730.62	c current bound: 584
729.73/731.44	c current bound: 584
731.28/732.25	c current bound: 584
732.09/733.07	c current bound: 584
732.88/733.89	c current bound: 584
733.77/734.71	c current bound: 584
734.58/735.53	c current bound: 584
735.37/736.35	c current bound: 584
736.19/737.17	c current bound: 584
736.27/737.99	c current bound: 584
737.87/738.81	c current bound: 584
738.67/739.63	c current bound: 584
739.48/740.44	c current bound: 584
739.53/741.26	c current bound: 584
741.07/742.08	c current bound: 584
741.97/742.90	c current bound: 584
742.77/743.72	c current bound: 584
742.81/744.54	c current bound: 584
744.36/745.36	c current bound: 584
745.17/746.17	c current bound: 584
745.97/746.98	c current bound: 584
746.86/747.80	c current bound: 584
747.67/748.62	c current bound: 584
748.46/749.44	c current bound: 584
749.28/750.26	c current bound: 584
749.36/751.08	c current bound: 584
750.87/751.89	c current bound: 584
751.77/752.71	c current bound: 584
752.57/753.53	c current bound: 584
752.62/754.35	c current bound: 584
754.15/755.17	c current bound: 584
754.97/755.99	c current bound: 584
755.87/756.81	c current bound: 584
755.90/757.63	c current bound: 584
757.47/758.45	c current bound: 584
758.27/759.27	c current bound: 584
758.36/760.09	c current bound: 584
759.96/760.91	c current bound: 584
760.77/761.72	c current bound: 584
761.56/762.54	c current bound: 584
761.62/763.36	c current bound: 584
763.17/764.17	c current bound: 584
763.97/764.99	c current bound: 584
764.86/765.81	c current bound: 584
764.89/766.63	c current bound: 584
766.47/767.44	c current bound: 584
767.27/768.26	c current bound: 584
768.08/769.08	c current bound: 584
768.97/769.90	c current bound: 584
769.78/770.72	c current bound: 584
770.56/771.54	c current bound: 584
771.37/772.35	c current bound: 584
771.44/773.17	c current bound: 584
772.98/773.98	c current bound: 584
773.86/774.80	c current bound: 584
774.68/775.62	c current bound: 584
774.72/776.44	c current bound: 584
776.28/777.26	c current bound: 584
777.07/778.08	c current bound: 584
777.88/778.90	c current bound: 584
778.77/779.72	c current bound: 584
779.57/780.54	c current bound: 584
780.37/781.35	c current bound: 584
781.18/782.17	c current bound: 584
782.08/783.00	c current bound: 584
782.88/783.82	c current bound: 584
783.66/784.65	c current bound: 584
784.45/785.47	c current bound: 584
784.53/786.28	c current bound: 584
786.16/787.10	c current bound: 584
786.95/787.92	c current bound: 584
787.74/788.73	c current bound: 584
787.80/789.55	c current bound: 584
789.40/790.38	c current bound: 584
789.46/791.22	c current bound: 584
790.32/792.09	c current bound: 584
791.21/792.94	c current bound: 584
792.08/793.78	c current bound: 584
793.74/794.61	c current bound: 584
793.79/795.45	c current bound: 584
795.50/796.30	c current bound: 584
795.52/797.15	c current bound: 584
796.38/797.99	c current bound: 584
797.25/798.83	c current bound: 584
798.11/799.73	c current bound: 584
799.77/800.55	c current bound: 584
800.62/801.37	c current bound: 584
801.45/802.20	c current bound: 584
802.30/803.02	c current bound: 584
803.14/803.84	c current bound: 584
803.98/804.65	c current bound: 584
804.81/805.47	c current bound: 584
805.66/806.29	c current bound: 584
806.49/807.11	c current bound: 584
807.32/807.92	c current bound: 584
808.17/808.74	c current bound: 584
809.01/809.55	c current bound: 584
809.83/810.37	c current bound: 584
810.67/811.21	c current bound: 584
811.51/812.03	c current bound: 584
812.35/812.84	c current bound: 584
813.19/813.66	c current bound: 584
814.04/814.48	c current bound: 584
814.86/815.29	c current bound: 584
815.70/816.12	c current bound: 584
816.53/816.97	c current bound: 584
817.39/817.78	c current bound: 584
818.23/818.60	c current bound: 584
819.06/819.42	c current bound: 584
819.91/820.24	c current bound: 584
820.74/821.06	c current bound: 584
821.59/821.88	c current bound: 584
822.42/822.75	c current bound: 584
823.29/823.57	c current bound: 584
824.12/824.38	c current bound: 584
824.96/825.20	c current bound: 584
825.79/826.02	c current bound: 584
826.64/826.84	c current bound: 584
827.47/827.65	c current bound: 584
828.31/828.50	c current bound: 584
829.16/829.31	c current bound: 584
830.00/830.13	c current bound: 584
830.83/830.94	c current bound: 584
831.68/831.76	c current bound: 584
832.51/832.58	c current bound: 584
833.36/833.40	c current bound: 584
834.19/834.26	c current bound: 584
835.05/835.07	c current bound: 584
835.87/835.89	c current bound: 584
836.71/836.71	c current bound: 584
837.56/837.52	c current bound: 584
838.40/838.35	c current bound: 584
839.23/839.16	c current bound: 584
840.07/839.98	c current bound: 584
840.91/840.79	c current bound: 584
841.74/841.62	c current bound: 584
842.59/842.44	c current bound: 584
843.43/843.26	c current bound: 584
844.27/844.08	c current bound: 584
845.10/844.89	c current bound: 584
845.95/845.75	c current bound: 584
846.80/846.56	c current bound: 584
847.63/847.38	c current bound: 584
848.50/848.21	c current bound: 584
849.32/849.03	c current bound: 584
850.16/849.84	c current bound: 584
850.99/850.66	c current bound: 584
851.83/851.50	c current bound: 584
852.68/852.32	c current bound: 584
853.52/853.13	c current bound: 584
854.36/853.95	c current bound: 584
855.20/854.78	c current bound: 584
856.07/855.60	c current bound: 584
856.90/856.42	c current bound: 584
857.72/857.25	c current bound: 584
858.55/858.07	c current bound: 584
859.41/858.88	c current bound: 584
860.24/859.70	c current bound: 584
861.09/860.52	c current bound: 584
861.92/861.34	c current bound: 584
862.76/862.15	c current bound: 584
863.60/862.99	c current bound: 584
864.45/863.82	c current bound: 584
865.28/864.63	c current bound: 584
866.11/865.44	c current bound: 584
866.95/866.26	c current bound: 584
867.79/867.08	c current bound: 584
868.62/867.90	c current bound: 584
869.47/868.78	c current bound: 584
870.32/869.59	c current bound: 584
871.16/870.41	c current bound: 584
872.00/871.23	c current bound: 584
872.84/872.05	c current bound: 584
873.69/872.87	c current bound: 584
874.52/873.68	c current bound: 584
875.39/874.51	c current bound: 584
876.21/875.33	c current bound: 584
877.04/876.14	c current bound: 584
877.89/876.96	c current bound: 584
878.72/877.78	c current bound: 584
879.56/878.59	c current bound: 584
880.39/879.41	c current bound: 584
881.23/880.27	c current bound: 584
882.08/881.10	c current bound: 584
882.92/881.91	c current bound: 584
883.75/882.73	c current bound: 584
884.60/883.55	c current bound: 584
885.45/884.38	c current bound: 584
886.28/885.20	c current bound: 584
887.14/886.04	c current bound: 584
887.97/886.85	c current bound: 584
888.81/887.66	c current bound: 584
889.64/888.49	c current bound: 584
890.49/889.31	c current bound: 584
891.32/890.12	c current bound: 584
892.17/890.97	c current bound: 584
893.01/891.79	c current bound: 584
893.85/892.61	c current bound: 584
894.69/893.42	c current bound: 584
895.53/894.24	c current bound: 584
896.37/895.07	c current bound: 584
897.22/895.88	c current bound: 584
898.05/896.76	c current bound: 584
898.90/897.57	c current bound: 584
899.75/898.40	c current bound: 584
900.59/899.22	c current bound: 584
901.43/900.04	c current bound: 584
902.26/900.86	c current bound: 584
903.10/901.68	c current bound: 584
903.95/902.52	c current bound: 584
904.79/903.33	c current bound: 584
905.62/904.14	c current bound: 584
906.46/904.96	c current bound: 584
907.29/905.78	c current bound: 584
908.18/906.60	c current bound: 584
908.99/907.44	c current bound: 584
909.83/908.26	c current bound: 584
910.68/909.08	c current bound: 584
911.56/909.90	c current bound: 584
912.36/910.72	c current bound: 584
913.20/911.54	c current bound: 584
914.04/912.36	c current bound: 584
914.88/913.17	c current bound: 584
915.71/913.98	c current bound: 584
916.59/914.82	c current bound: 584
917.40/915.63	c current bound: 584
918.23/916.45	c current bound: 584
919.08/917.27	c current bound: 584
919.91/918.09	c current bound: 584
920.80/918.94	c current bound: 584
921.61/919.76	c current bound: 584
922.44/920.57	c current bound: 584
923.29/921.40	c current bound: 584
924.13/922.22	c current bound: 584
924.96/923.03	c current bound: 584
925.81/923.85	c current bound: 584
926.65/924.70	c current bound: 584
927.50/925.52	c current bound: 584
928.34/926.35	c current bound: 584
929.18/927.17	c current bound: 584
930.01/927.98	c current bound: 584
930.90/928.80	c current bound: 584
931.70/929.62	c current bound: 584
932.54/930.49	c current bound: 584
933.39/931.31	c current bound: 584
934.25/932.13	c current bound: 584
935.08/932.94	c current bound: 584
935.90/933.76	c current bound: 584
936.74/934.57	c current bound: 584
937.58/935.39	c current bound: 584
938.42/936.25	c current bound: 584
939.27/937.07	c current bound: 584
940.12/937.89	c current bound: 584
940.95/938.71	c current bound: 584
941.80/939.52	c current bound: 584
942.64/940.34	c current bound: 584
943.47/941.15	c current bound: 584
944.31/942.02	c current bound: 584
945.16/942.84	c current bound: 584
946.00/943.65	c current bound: 584
946.85/944.47	c current bound: 584
947.69/945.29	c current bound: 584
948.52/946.11	c current bound: 584
949.36/946.92	c current bound: 584
950.19/947.75	c current bound: 584
951.05/948.57	c current bound: 584
951.88/949.39	c current bound: 584
952.72/950.20	c current bound: 584
953.56/951.02	c current bound: 584
954.40/951.85	c current bound: 584
955.25/952.66	c current bound: 584
956.09/953.52	c current bound: 584
956.94/954.34	c current bound: 584
957.77/955.16	c current bound: 584
958.61/955.98	c current bound: 584
959.45/956.80	c current bound: 584
960.28/957.61	c current bound: 584
961.13/958.43	c current bound: 584
961.96/959.29	c current bound: 584
962.81/960.11	c current bound: 584
963.65/960.94	c current bound: 584
964.50/961.76	c current bound: 584
965.34/962.58	c current bound: 584
966.21/963.40	c current bound: 584
967.02/964.22	c current bound: 584
967.86/965.05	c current bound: 584
968.69/965.87	c current bound: 584
969.53/966.69	c current bound: 584
970.38/967.51	c current bound: 584
971.21/968.33	c current bound: 584
972.04/969.15	c current bound: 584
972.87/969.98	c current bound: 584
973.73/970.80	c current bound: 584
974.57/971.62	c current bound: 584
975.41/972.44	c current bound: 584
976.24/973.25	c current bound: 584
977.08/974.08	c current bound: 584
977.92/974.90	c current bound: 584
978.76/975.72	c current bound: 584
979.61/976.54	c current bound: 584
980.45/977.35	c current bound: 584
981.27/978.17	c current bound: 584
982.11/978.99	c current bound: 584
982.97/979.81	c current bound: 584
983.80/980.63	c current bound: 584
984.64/981.46	c current bound: 584
985.47/982.27	c current bound: 584
986.32/983.08	c current bound: 584
987.15/983.90	c current bound: 584
987.99/984.71	c current bound: 584
988.84/985.53	c current bound: 584
989.67/986.35	c current bound: 584
990.51/987.21	c current bound: 584
991.36/988.02	c current bound: 584
992.19/988.84	c current bound: 584
993.02/989.65	c current bound: 584
993.87/990.48	c current bound: 584
994.71/991.29	c current bound: 584
995.55/992.11	c current bound: 584
996.40/992.97	c current bound: 584
997.25/993.80	c current bound: 584
998.07/994.61	c current bound: 584
998.93/995.42	c current bound: 584
999.75/996.23	c current bound: 584
1000.59/997.05	c current bound: 584
1001.44/997.87	c current bound: 584
1002.28/998.76	c current bound: 584
1003.12/999.58	c current bound: 584
1003.95/1000.39	c current bound: 584
1004.79/1001.21	c current bound: 584
1005.63/1002.03	c current bound: 584
1006.47/1002.85	c current bound: 584
1007.31/1003.66	c current bound: 584
1008.14/1004.48	c current bound: 584
1008.98/1005.29	c current bound: 584
1009.83/1006.11	c current bound: 584
1010.65/1006.93	c current bound: 584
1011.49/1007.75	c current bound: 584
1012.34/1008.56	c current bound: 584
1013.17/1009.38	c current bound: 584
1014.00/1010.19	c current bound: 584
1014.84/1011.01	c current bound: 584
1015.68/1011.83	c current bound: 584
1016.52/1012.65	c current bound: 584
1017.36/1013.46	c current bound: 584
1018.19/1014.42	c current bound: 584
1019.04/1015.24	c current bound: 584
1019.88/1016.05	c current bound: 584
1020.71/1016.87	c current bound: 584
1021.56/1017.68	c current bound: 584
1022.41/1018.50	c current bound: 584
1023.24/1019.36	c current bound: 584
1024.07/1020.18	c current bound: 584
1024.93/1020.99	c current bound: 584
1025.77/1021.81	c current bound: 584
1026.62/1022.63	c current bound: 584
1027.45/1023.45	c current bound: 584
1028.29/1024.27	c current bound: 584
1029.13/1025.10	c current bound: 584
1030.01/1025.92	c current bound: 584
1030.82/1026.74	c current bound: 584
1031.67/1027.56	c current bound: 584
1032.50/1028.37	c current bound: 584
1033.34/1029.20	c current bound: 584
1034.19/1030.01	c current bound: 584
1035.02/1030.86	c current bound: 584
1035.87/1031.68	c current bound: 584
1036.71/1032.50	c current bound: 584
1037.55/1033.32	c current bound: 584
1038.39/1034.14	c current bound: 584
1039.23/1034.96	c current bound: 584
1040.07/1035.78	c current bound: 584
1040.94/1036.64	c current bound: 584
1041.76/1037.45	c current bound: 584
1042.61/1038.28	c current bound: 584
1043.47/1039.11	c current bound: 584
1044.28/1039.93	c current bound: 584
1045.14/1040.75	c current bound: 584
1045.98/1041.57	c current bound: 584
1046.82/1042.41	c current bound: 584
1047.66/1043.23	c current bound: 584
1048.51/1044.04	c current bound: 584
1049.34/1044.86	c current bound: 584
1050.18/1045.68	c current bound: 584
1051.07/1046.51	c current bound: 584
1051.87/1047.33	c current bound: 584
1052.71/1048.15	c current bound: 584
1053.54/1048.96	c current bound: 584
1054.38/1049.78	c current bound: 584
1055.21/1050.59	c current bound: 584
1056.05/1051.40	c current bound: 584
1056.89/1052.22	c current bound: 584
1057.72/1053.04	c current bound: 584
1058.56/1053.87	c current bound: 584
1059.41/1054.68	c current bound: 584
1060.26/1055.50	c current bound: 584
1061.09/1056.32	c current bound: 584
1061.92/1057.14	c current bound: 584
1062.77/1057.95	c current bound: 584
1063.61/1058.82	c current bound: 584
1064.45/1059.65	c current bound: 584
1065.29/1060.46	c current bound: 584
1066.13/1061.28	c current bound: 584
1067.02/1062.10	c current bound: 584
1067.81/1062.92	c current bound: 584
1068.66/1063.73	c current bound: 584
1069.50/1064.61	c current bound: 584
1070.34/1065.43	c current bound: 584
1071.17/1066.24	c current bound: 584
1072.01/1067.05	c current bound: 584
1072.85/1067.87	c current bound: 584
1073.69/1068.69	c current bound: 584
1074.53/1069.51	c current bound: 584
1075.37/1070.34	c current bound: 584
1076.22/1071.16	c current bound: 584
1077.05/1071.99	c current bound: 584
1077.93/1072.81	c current bound: 584
1078.74/1073.63	c current bound: 584
1079.58/1074.44	c current bound: 584
1080.42/1075.27	c current bound: 584
1081.26/1076.12	c current bound: 584
1082.11/1076.94	c current bound: 584
1082.95/1077.75	c current bound: 584
1083.78/1078.58	c current bound: 584
1084.63/1079.39	c current bound: 584
1085.47/1080.22	c current bound: 584
1086.32/1081.04	c current bound: 584
1087.16/1081.89	c current bound: 584
1088.00/1082.70	c current bound: 584
1088.83/1083.52	c current bound: 584
1089.66/1084.33	c current bound: 584
1090.50/1085.14	c current bound: 584
1091.34/1085.96	c current bound: 584
1092.16/1086.77	c current bound: 584
1093.01/1087.62	c current bound: 584
1093.85/1088.44	c current bound: 584
1094.67/1089.26	c current bound: 584
1095.45/1090.07	c current bound: 584
1095.55/1090.89	c current bound: 584
1097.15/1091.71	c current bound: 584
1097.96/1092.52	c current bound: 584
1098.76/1093.34	c current bound: 584
1098.81/1094.16	c current bound: 584
1100.35/1094.97	c current bound: 584
1101.14/1095.79	c current bound: 584
1102.06/1096.61	c current bound: 584
1102.09/1097.43	c current bound: 584
1103.65/1098.25	c current bound: 584
1104.44/1099.07	c current bound: 584
1104.53/1099.88	c current bound: 584
1106.14/1100.70	c current bound: 584
1106.96/1101.52	c current bound: 584
1107.75/1102.34	c current bound: 584
1107.81/1103.16	c current bound: 584
1109.35/1103.98	c current bound: 584
1110.16/1104.79	c current bound: 584
1111.05/1105.61	c current bound: 584
1111.09/1106.43	c current bound: 584
1112.65/1107.25	c current bound: 584
1113.45/1108.07	c current bound: 584
1114.25/1108.88	c current bound: 584
1115.16/1109.70	c current bound: 584
1115.97/1110.52	c current bound: 584
1116.76/1111.34	c current bound: 584
1117.56/1112.14	c current bound: 584
1117.62/1112.97	c current bound: 584
1119.15/1113.79	c current bound: 584
1120.04/1114.60	c current bound: 584
1120.87/1115.42	c current bound: 584
1120.89/1116.23	c current bound: 584
1122.46/1117.05	c current bound: 584
1123.26/1117.86	c current bound: 584
1124.07/1118.68	c current bound: 584
1124.15/1119.49	c current bound: 584
1125.74/1120.30	c current bound: 584
1126.55/1121.12	c current bound: 584
1127.36/1121.94	c current bound: 584
1127.42/1122.76	c current bound: 584
1128.95/1123.58	c current bound: 584
1129.87/1124.40	c current bound: 584
1130.66/1125.22	c current bound: 584
1130.70/1126.03	c current bound: 584
1132.24/1126.85	c current bound: 584
1133.06/1127.67	c current bound: 584
1133.94/1128.52	c current bound: 584
1133.97/1129.34	c current bound: 584
1135.53/1130.16	c current bound: 584
1136.34/1130.98	c current bound: 584
1136.43/1131.80	c current bound: 584
1138.04/1132.62	c current bound: 584
1138.83/1133.44	c current bound: 584
1139.63/1134.26	c current bound: 584
1139.71/1135.08	c current bound: 584
1141.23/1135.89	c current bound: 584
1142.12/1136.71	c current bound: 584
1142.92/1137.53	c current bound: 584
1142.97/1138.35	c current bound: 584
1144.54/1139.18	c current bound: 584
1145.32/1140.00	c current bound: 584
1146.23/1140.81	c current bound: 584
1146.26/1141.63	c current bound: 584
1147.81/1142.45	c current bound: 584
1148.63/1143.27	c current bound: 584
1149.42/1144.09	c current bound: 584
1150.31/1144.90	c current bound: 584
1151.13/1145.72	c current bound: 584
1151.92/1146.54	c current bound: 584
1152.74/1147.37	c current bound: 584
1152.82/1148.19	c current bound: 584
1154.42/1149.01	c current bound: 584
1155.23/1149.83	c current bound: 584
1156.03/1150.65	c current bound: 584
1156.09/1151.47	c current bound: 584
1157.63/1152.28	c current bound: 584
1158.51/1153.10	c current bound: 584
1159.33/1153.92	c current bound: 584
1159.37/1154.74	c current bound: 584
1160.93/1155.56	c current bound: 584
1161.72/1156.37	c current bound: 584
1162.53/1157.19	c current bound: 584
1163.42/1158.01	c current bound: 584
1164.21/1158.83	c current bound: 584
1165.02/1159.64	c current bound: 584
1165.82/1160.46	c current bound: 584
1165.90/1161.27	c current bound: 584
1167.40/1162.09	c current bound: 584
1168.31/1162.90	c current bound: 584
1169.13/1163.72	c current bound: 584
1169.16/1164.54	c current bound: 584
1170.73/1165.36	c current bound: 584
1171.52/1166.18	c current bound: 584
1171.62/1167.00	c current bound: 584
1173.22/1167.88	c current bound: 584
1173.96/1168.69	c current bound: 584
1174.85/1169.51	c current bound: 584
1175.68/1170.33	c current bound: 584
1175.71/1171.14	c current bound: 584
1177.26/1171.97	c current bound: 584
1178.07/1172.78	c current bound: 584
1178.16/1173.60	c current bound: 584
1179.77/1174.41	c current bound: 584
1180.55/1175.23	c current bound: 584
1181.36/1176.05	c current bound: 584
1181.43/1176.87	c current bound: 584
1182.96/1177.68	c current bound: 584
1183.77/1178.49	c current bound: 584
1184.67/1179.31	c current bound: 584
1184.70/1180.13	c current bound: 584
1186.26/1180.94	c current bound: 584
1187.07/1181.77	c current bound: 584
1187.86/1182.58	c current bound: 584
1188.75/1183.40	c current bound: 584
1189.55/1184.23	c current bound: 584
1190.36/1185.05	c current bound: 584
1191.16/1185.87	c current bound: 584
1191.26/1186.68	c current bound: 584
1192.87/1187.51	c current bound: 584
1193.66/1188.33	c current bound: 584
1194.48/1189.14	c current bound: 584
1194.53/1189.96	c current bound: 584
1196.06/1190.78	c current bound: 584
1196.94/1191.60	c current bound: 584
1197.77/1192.43	c current bound: 584
1197.80/1193.25	c current bound: 584
1199.35/1194.07	c current bound: 584
1200.16/1194.89	c current bound: 584
1200.97/1195.70	c current bound: 584
1201.86/1196.52	c current bound: 584
1202.66/1197.33	c current bound: 584
1203.45/1198.16	c current bound: 584
1204.25/1198.98	c current bound: 584
1205.13/1199.80	c current bound: 584
1205.94/1200.62	c current bound: 584
1206.75/1201.43	c current bound: 584
1207.56/1202.25	c current bound: 584
1207.63/1203.07	c current bound: 584
1209.15/1203.89	c current bound: 584
1210.04/1204.71	c current bound: 584
1210.86/1205.52	c current bound: 584
1210.90/1206.35	c current bound: 584
1212.44/1207.16	c current bound: 584
1213.25/1207.98	c current bound: 584
1214.15/1208.81	c current bound: 584
1214.17/1209.62	c current bound: 584
1215.73/1210.44	c current bound: 584
1216.54/1211.27	c current bound: 584
1216.62/1212.08	c current bound: 584
1218.24/1212.93	c current bound: 584
1219.01/1213.76	c current bound: 584
1219.82/1214.57	c current bound: 584
1219.91/1215.40	c current bound: 584
1221.51/1216.22	c current bound: 584
1222.31/1217.04	c current bound: 584
1223.11/1217.86	c current bound: 584
1223.19/1218.67	c current bound: 584
1224.71/1219.49	c current bound: 584
1225.61/1220.31	c current bound: 584
1226.41/1221.13	c current bound: 584
1226.45/1221.95	c current bound: 584
1228.00/1222.76	c current bound: 584
1228.81/1223.58	c current bound: 584
1229.68/1224.40	c current bound: 584
1230.51/1225.21	c current bound: 584
1231.29/1226.03	c current bound: 584
1232.10/1226.85	c current bound: 584
1232.91/1227.67	c current bound: 584
1232.99/1228.49	c current bound: 584
1234.59/1229.31	c current bound: 584
1235.40/1230.13	c current bound: 584
1236.21/1230.94	c current bound: 584
1236.26/1231.76	c current bound: 584
1237.80/1232.58	c current bound: 584
1238.68/1233.40	c current bound: 584
1239.51/1234.22	c current bound: 584
1239.54/1235.04	c current bound: 584
1241.09/1235.86	c current bound: 584
1241.89/1236.67	c current bound: 584
1242.70/1237.49	c current bound: 584
1243.60/1238.31	c current bound: 584
1244.40/1239.13	c current bound: 584
1245.19/1239.95	c current bound: 584
1246.00/1240.77	c current bound: 584
1246.07/1241.58	c current bound: 584
1247.69/1242.40	c current bound: 584
1248.49/1243.22	c current bound: 584
1249.30/1244.04	c current bound: 584
1249.36/1244.85	c current bound: 584
1250.91/1245.67	c current bound: 584
1251.70/1246.49	c current bound: 584
1252.59/1247.32	c current bound: 584
1252.63/1248.19	c current bound: 584
1254.22/1249.00	c current bound: 584
1255.03/1249.82	c current bound: 584
1255.83/1250.64	c current bound: 584
1255.89/1251.46	c current bound: 584
1257.43/1252.27	c current bound: 584
1258.22/1253.09	c current bound: 584
1259.13/1253.91	c current bound: 584
1259.93/1254.72	c current bound: 584
1260.72/1255.54	c current bound: 584
1261.51/1256.36	c current bound: 584
1261.60/1257.17	c current bound: 584
1263.13/1257.99	c current bound: 584
1264.02/1258.81	c current bound: 584
1264.82/1259.63	c current bound: 584
1264.87/1260.45	c current bound: 584
1266.42/1261.27	c current bound: 584
1267.21/1262.08	c current bound: 584
1268.11/1262.90	c current bound: 584
1268.92/1263.72	c current bound: 584
1269.72/1264.54	c current bound: 584
1270.51/1265.35	c current bound: 584
1271.31/1266.16	c current bound: 584
1271.40/1266.98	c current bound: 584
1272.92/1267.79	c current bound: 584
1273.81/1268.61	c current bound: 584
1274.63/1269.43	c current bound: 584
1274.66/1270.25	c current bound: 584
1276.21/1271.07	c current bound: 584
1277.00/1271.89	c current bound: 584
1277.90/1272.71	c current bound: 584
1277.93/1273.53	c current bound: 584
1279.51/1274.34	c current bound: 584
1280.30/1275.16	c current bound: 584
1281.12/1275.98	c current bound: 584
1281.21/1276.79	c current bound: 584
1282.82/1277.62	c current bound: 584
1283.61/1278.43	c current bound: 584
1284.42/1279.25	c current bound: 584
1284.48/1280.07	c current bound: 584
1286.01/1280.88	c current bound: 584
1286.93/1281.70	c current bound: 584
1287.71/1282.52	c current bound: 584
1288.55/1283.43	c current bound: 584
1289.31/1284.25	c current bound: 584
1290.11/1285.07	c current bound: 584
1290.92/1285.89	c current bound: 584
1291.79/1286.70	c current bound: 584
1292.62/1287.52	c current bound: 584
1293.46/1288.40	c current bound: 584
1294.26/1289.22	c current bound: 584
1294.29/1290.04	c current bound: 584
1295.85/1290.86	c current bound: 584
1296.65/1291.67	c current bound: 584
1297.45/1292.49	c current bound: 584
1298.35/1293.31	c current bound: 584
1299.14/1294.13	c current bound: 584
1299.95/1294.94	c current bound: 584
1300.75/1295.76	c current bound: 584
1300.83/1296.58	c current bound: 584
1302.44/1297.40	c current bound: 584
1303.25/1298.22	c current bound: 584
1304.07/1299.03	c current bound: 584
1304.09/1299.85	c current bound: 584
1305.64/1300.66	c current bound: 584
1306.43/1301.49	c current bound: 584
1307.35/1302.31	c current bound: 584
1308.15/1303.12	c current bound: 584
1308.93/1303.94	c current bound: 584
1309.74/1304.76	c current bound: 584
1309.83/1305.57	c current bound: 584
1311.35/1306.39	c current bound: 584
1312.24/1307.21	c current bound: 584
1313.04/1308.04	c current bound: 584
1313.10/1308.86	c current bound: 584
1314.64/1309.68	c current bound: 584
1315.53/1310.50	c current bound: 584
1316.34/1311.32	c current bound: 584
1316.37/1312.14	c current bound: 584
1317.94/1312.96	c current bound: 584
1318.74/1313.78	c current bound: 584
1319.55/1314.59	c current bound: 584
1320.45/1315.41	c current bound: 584
1321.24/1316.23	c current bound: 584
1322.04/1317.04	c current bound: 584
1322.84/1317.86	c current bound: 584
1322.92/1318.69	c current bound: 584
1324.53/1319.51	c current bound: 584
1325.33/1320.32	c current bound: 584
1326.14/1321.15	c current bound: 584
1326.20/1321.96	c current bound: 584
1327.73/1322.78	c current bound: 584
1328.62/1323.67	c current bound: 584
1329.36/1324.49	c current bound: 584
1330.26/1325.31	c current bound: 584
1331.06/1326.13	c current bound: 584
1331.87/1326.94	c current bound: 584
1332.67/1327.76	c current bound: 584
1332.74/1328.57	c current bound: 584
1334.26/1329.39	c current bound: 584
1335.16/1330.21	c current bound: 584
1335.97/1331.04	c current bound: 584
1336.02/1331.86	c current bound: 584
1337.55/1332.67	c current bound: 584
1338.37/1333.49	c current bound: 584
1339.25/1334.31	c current bound: 584
1339.29/1335.13	c current bound: 584
1340.87/1335.96	c current bound: 584
1341.66/1336.78	c current bound: 584
1342.47/1337.60	c current bound: 584
1343.36/1338.42	c current bound: 584
1344.16/1339.24	c current bound: 584
1344.97/1340.06	c current bound: 584
1345.78/1340.89	c current bound: 584
1346.65/1341.70	c current bound: 584
1347.48/1342.52	c current bound: 584
1348.26/1343.34	c current bound: 584
1349.08/1344.16	c current bound: 584
1349.14/1344.98	c current bound: 584
1350.66/1345.79	c current bound: 584
1351.57/1346.61	c current bound: 584
1352.38/1347.43	c current bound: 584
1352.42/1348.25	c current bound: 584
1353.97/1349.08	c current bound: 584
1354.76/1349.89	c current bound: 584
1355.68/1350.71	c current bound: 584
1355.70/1351.53	c current bound: 584
1357.27/1352.35	c current bound: 584
1358.06/1353.16	c current bound: 584
1358.15/1353.98	c current bound: 584
1359.76/1354.81	c current bound: 584
1360.57/1355.62	c current bound: 584
1361.36/1356.44	c current bound: 584
1361.44/1357.26	c current bound: 584
1362.97/1358.08	c current bound: 584
1363.88/1358.90	c current bound: 584
1364.68/1359.71	c current bound: 584
1364.70/1360.53	c current bound: 584
1366.27/1361.35	c current bound: 584
1367.06/1362.18	c current bound: 584
1367.88/1363.00	c current bound: 584
1368.77/1363.81	c current bound: 584
1369.56/1364.63	c current bound: 584
1370.37/1365.45	c current bound: 584
1371.17/1366.27	c current bound: 584
1371.27/1367.09	c current bound: 584
1372.86/1367.91	c current bound: 584
1373.67/1368.74	c current bound: 584
1374.48/1369.56	c current bound: 584
1374.54/1370.38	c current bound: 584
1376.19/1371.20	c current bound: 584
1376.98/1372.02	c current bound: 584
1377.79/1372.84	c current bound: 584
1377.84/1373.66	c current bound: 584
1379.38/1374.47	c current bound: 584
1380.17/1375.28	c current bound: 584
1381.07/1376.11	c current bound: 584
1381.11/1376.93	c current bound: 584
1382.68/1377.75	c current bound: 584
1383.48/1378.56	c current bound: 584
1384.28/1379.38	c current bound: 584
1385.16/1380.20	c current bound: 584
1385.99/1381.02	c current bound: 584
1386.78/1381.84	c current bound: 584
1387.58/1382.67	c current bound: 584
1387.66/1383.48	c current bound: 584
1389.18/1384.29	c current bound: 584
1390.09/1385.12	c current bound: 584
1390.88/1385.93	c current bound: 584
1390.94/1386.76	c current bound: 584
1392.48/1387.57	c current bound: 584
1393.27/1388.39	c current bound: 584
1394.18/1389.21	c current bound: 584
1394.21/1390.03	c current bound: 584
1395.77/1390.85	c current bound: 584
1396.59/1391.67	c current bound: 584
1396.67/1392.49	c current bound: 584
1398.28/1393.31	c current bound: 584
1399.08/1394.14	c current bound: 584
1399.87/1394.96	c current bound: 584
1399.97/1395.78	c current bound: 584
1401.59/1396.60	c current bound: 584
1402.38/1397.41	c current bound: 584
1403.18/1398.23	c current bound: 584
1403.24/1399.06	c current bound: 584
1404.76/1399.89	c current bound: 584
1405.66/1400.71	c current bound: 584
1406.45/1401.53	c current bound: 584
1406.53/1402.35	c current bound: 584
1408.06/1403.17	c current bound: 584
1408.86/1403.99	c current bound: 584
1409.75/1404.80	c current bound: 584
1409.78/1405.63	c current bound: 584
1411.37/1406.45	c current bound: 584
1412.16/1407.26	c current bound: 584
1412.99/1408.08	c current bound: 584
1413.88/1408.90	c current bound: 584
1414.67/1409.71	c current bound: 584
1415.47/1410.53	c current bound: 584
1416.28/1411.35	c current bound: 584
1416.34/1412.17	c current bound: 584
1417.86/1412.99	c current bound: 584
1418.77/1413.81	c current bound: 584
1419.58/1414.63	c current bound: 584
1419.62/1415.45	c current bound: 584
1421.17/1416.27	c current bound: 584
1421.97/1417.08	c current bound: 584
1422.77/1417.90	c current bound: 584
1423.67/1418.71	c current bound: 584
1424.46/1419.53	c current bound: 584
1425.27/1420.35	c current bound: 584
1426.08/1421.17	c current bound: 584
1426.16/1421.98	c current bound: 584
1427.77/1422.81	c current bound: 584
1428.57/1423.63	c current bound: 584
1429.38/1424.44	c current bound: 584
1429.43/1425.25	c current bound: 584
1430.97/1426.07	c current bound: 584
1431.77/1426.89	c current bound: 584
1432.68/1427.71	c current bound: 584
1432.70/1428.53	c current bound: 584
1434.28/1429.35	c current bound: 584
1435.06/1430.16	c current bound: 584
1435.14/1430.98	c current bound: 584
1436.67/1431.79	c current bound: 584
1437.56/1432.62	c current bound: 584
1438.36/1433.44	c current bound: 584
1438.42/1434.26	c current bound: 584
1439.96/1435.08	c current bound: 584
1440.87/1435.90	c current bound: 584
1441.65/1436.71	c current bound: 584
1441.69/1437.52	c current bound: 584
1443.26/1438.34	c current bound: 584
1444.06/1439.16	c current bound: 584
1444.86/1439.98	c current bound: 584
1445.77/1440.80	c current bound: 584
1446.55/1441.61	c current bound: 584
1447.37/1442.42	c current bound: 584
1448.17/1443.24	c current bound: 584
1448.22/1444.06	c current bound: 584
1449.76/1444.87	c current bound: 584
1450.56/1445.69	c current bound: 584
1451.46/1446.51	c current bound: 584
1451.50/1447.33	c current bound: 584
1453.07/1448.15	c current bound: 584
1453.87/1448.97	c current bound: 584
1454.67/1449.79	c current bound: 584
1455.56/1450.61	c current bound: 584
1456.37/1451.42	c current bound: 584
1457.17/1452.25	c current bound: 584
1457.98/1453.07	c current bound: 584
1458.05/1453.89	c current bound: 584
1459.67/1454.71	c current bound: 584
1460.46/1455.53	c current bound: 584
1461.27/1456.35	c current bound: 584
1461.33/1457.16	c current bound: 584
1462.85/1457.98	c current bound: 584
1463.76/1458.81	c current bound: 584
1464.56/1459.62	c current bound: 584
1464.59/1460.44	c current bound: 584
1466.17/1461.26	c current bound: 584
1466.96/1462.08	c current bound: 584
1467.06/1462.90	c current bound: 584
1468.66/1463.71	c current bound: 584
1469.45/1464.54	c current bound: 584
1470.29/1465.41	c current bound: 584
1471.10/1466.23	c current bound: 584
1471.14/1467.05	c current bound: 584
1472.68/1467.87	c current bound: 584
1473.60/1468.70	c current bound: 584
1474.40/1469.52	c current bound: 584
1474.44/1470.34	c current bound: 584
1476.00/1471.16	c current bound: 584
1476.78/1471.98	c current bound: 584
1476.89/1472.80	c current bound: 584
1478.49/1473.61	c current bound: 584
1479.29/1474.44	c current bound: 584
1480.08/1475.26	c current bound: 584
1480.16/1476.08	c current bound: 584
1481.78/1476.90	c current bound: 584
1482.57/1477.73	c current bound: 584
1483.38/1478.55	c current bound: 584
1483.45/1479.37	c current bound: 584
1484.97/1480.19	c current bound: 584
1485.88/1481.01	c current bound: 584
1486.66/1481.83	c current bound: 584
1486.74/1482.65	c current bound: 584
1488.27/1483.47	c current bound: 584
1489.08/1484.29	c current bound: 584
1489.96/1485.10	c current bound: 584
1490.78/1485.92	c current bound: 584
1491.57/1486.74	c current bound: 584
1492.37/1487.56	c current bound: 584
1493.18/1488.38	c current bound: 584
1494.05/1489.20	c current bound: 584
1494.87/1490.03	c current bound: 584
1495.66/1490.86	c current bound: 584
1496.47/1491.68	c current bound: 584
1497.36/1492.50	c current bound: 584
1498.17/1493.33	c current bound: 584
1498.97/1494.15	c current bound: 584
1499.77/1494.97	c current bound: 584
1499.85/1495.79	c current bound: 584
1501.47/1496.62	c current bound: 584
1502.26/1497.44	c current bound: 584
1503.05/1498.27	c current bound: 584
1503.15/1499.09	c current bound: 584
1504.75/1499.91	c current bound: 584
1505.56/1500.74	c current bound: 584
1506.36/1501.55	c current bound: 584
1506.42/1502.38	c current bound: 584
1508.05/1503.20	c current bound: 584
1508.84/1504.03	c current bound: 584
1509.66/1504.85	c current bound: 584
1509.70/1505.67	c current bound: 584
1511.23/1506.49	c current bound: 584
1512.14/1507.31	c current bound: 584
1512.94/1508.14	c current bound: 584
1512.99/1508.96	c current bound: 584
1514.59/1509.87	c current bound: 584
1515.33/1510.69	c current bound: 584
1516.24/1511.51	c current bound: 584
1516.26/1512.33	c current bound: 584
1517.83/1513.14	c current bound: 584
1518.64/1513.96	c current bound: 584
1519.50/1514.85	c current bound: 584
1519.53/1515.67	c current bound: 584
1521.15/1516.50	c current bound: 584
1521.97/1517.32	c current bound: 584
1522.76/1518.14	c current bound: 584
1522.82/1518.96	c current bound: 584
1524.42/1519.87	c current bound: 584
1525.15/1520.69	c current bound: 584
1526.05/1521.52	c current bound: 584
1526.85/1522.34	c current bound: 584
1526.91/1523.16	c current bound: 584
1528.45/1523.98	c current bound: 584
1529.31/1524.87	c current bound: 584
1530.05/1525.70	c current bound: 584
1530.96/1526.51	c current bound: 584
1531.75/1527.34	c current bound: 584
1532.55/1528.16	c current bound: 584
1533.35/1528.99	c current bound: 584
1534.24/1529.89	c current bound: 584
1535.05/1530.70	c current bound: 584
1535.85/1531.53	c current bound: 584
1536.67/1532.34	c current bound: 584
1536.72/1533.17	c current bound: 584
1538.25/1533.99	c current bound: 584
1539.15/1534.82	c current bound: 584
1539.96/1535.64	c current bound: 584
1540.01/1536.46	c current bound: 584
1541.54/1537.28	c current bound: 584
1542.43/1538.10	c current bound: 584
1543.24/1538.92	c current bound: 584
1543.28/1539.73	c current bound: 584
1544.83/1540.56	c current bound: 584
1545.64/1541.38	c current bound: 584
1546.55/1542.20	c current bound: 584
1546.56/1543.02	c current bound: 584
1548.14/1543.85	c current bound: 584
1548.93/1544.67	c current bound: 584
1549.72/1545.49	c current bound: 584
1550.62/1546.31	c current bound: 584
1551.42/1547.13	c current bound: 584
1552.22/1547.95	c current bound: 584
1553.02/1548.77	c current bound: 584
1553.10/1549.59	c current bound: 584
1554.71/1550.41	c current bound: 584
1555.52/1551.23	c current bound: 584
1556.31/1552.05	c current bound: 584
1556.38/1552.87	c current bound: 584
1557.91/1553.69	c current bound: 584
1558.80/1554.50	c current bound: 584
1559.61/1555.32	c current bound: 584
1559.64/1556.14	c current bound: 584
1561.19/1556.96	c current bound: 584
1562.02/1557.78	c current bound: 584
1562.11/1558.60	c current bound: 584
1563.72/1559.42	c current bound: 584
1564.51/1560.24	c current bound: 584
1565.30/1561.06	c current bound: 584
1565.38/1561.88	c current bound: 584
1566.98/1562.71	c current bound: 584
1567.79/1563.53	c current bound: 584
1568.58/1564.35	c current bound: 584
1568.66/1565.18	c current bound: 584
1570.28/1566.00	c current bound: 584
1571.08/1566.82	c current bound: 584
1571.86/1567.64	c current bound: 584
1571.92/1568.46	c current bound: 584
1573.45/1569.28	c current bound: 584
1574.36/1570.11	c current bound: 584
1575.14/1570.94	c current bound: 584
1575.22/1571.76	c current bound: 584
1576.73/1572.58	c current bound: 584
1577.63/1573.40	c current bound: 584
1578.46/1574.22	c current bound: 584
1578.48/1575.04	c current bound: 584
1580.04/1575.86	c current bound: 584
1580.83/1576.68	c current bound: 584
1581.72/1577.50	c current bound: 584
1582.53/1578.32	c current bound: 584
1583.33/1579.15	c current bound: 584
1584.12/1579.97	c current bound: 584
1584.92/1580.79	c current bound: 584
1585.81/1581.61	c current bound: 584
1586.62/1582.43	c current bound: 584
1587.41/1583.25	c current bound: 584
1588.23/1584.08	c current bound: 584
1589.12/1584.90	c current bound: 584
1589.92/1585.72	c current bound: 584
1590.71/1586.54	c current bound: 584
1591.51/1587.36	c current bound: 584
1591.60/1588.18	c current bound: 584
1593.20/1589.00	c current bound: 584
1594.00/1589.83	c current bound: 584
1594.81/1590.65	c current bound: 584
1594.87/1591.47	c current bound: 584
1596.40/1592.29	c current bound: 584
1597.29/1593.12	c current bound: 584
1598.10/1593.93	c current bound: 584
1598.14/1594.76	c current bound: 584
1599.68/1595.57	c current bound: 584
1600.56/1596.41	c current bound: 584
1601.40/1597.23	c current bound: 584
1601.42/1598.04	c current bound: 584
1602.97/1598.87	c current bound: 584
1603.76/1599.69	c current bound: 584
1604.67/1600.52	c current bound: 584
1604.70/1601.34	c current bound: 584
1606.25/1602.17	c current bound: 584
1607.06/1602.98	c current bound: 584
1607.86/1603.80	c current bound: 584
1608.77/1604.62	c current bound: 584
1609.56/1605.44	c current bound: 584
1610.36/1606.26	c current bound: 584
1611.15/1607.08	c current bound: 584
1612.07/1607.90	c current bound: 584
1612.85/1608.72	c current bound: 584
1613.64/1609.54	c current bound: 584
1614.44/1610.35	c current bound: 584
1614.51/1611.17	c current bound: 584
1616.12/1612.00	c current bound: 584
1616.93/1612.83	c current bound: 584
1617.74/1613.64	c current bound: 584
1617.79/1614.46	c current bound: 584
1619.33/1615.28	c current bound: 584
1620.21/1616.10	c current bound: 584
1621.02/1616.92	c current bound: 584
1621.06/1617.74	c current bound: 584
1622.61/1618.55	c current bound: 584
1623.42/1619.38	c current bound: 584
1623.51/1620.20	c current bound: 584
1625.12/1621.01	c current bound: 584
1625.92/1621.83	c current bound: 584
1626.71/1622.65	c current bound: 584
1626.78/1623.47	c current bound: 584
1628.30/1624.29	c current bound: 584
1629.20/1625.12	c current bound: 584
1630.00/1625.94	c current bound: 584
1630.07/1626.76	c current bound: 584
1631.59/1627.59	c current bound: 584
1632.49/1628.41	c current bound: 584
1633.28/1629.23	c current bound: 584
1633.34/1630.06	c current bound: 584
1634.89/1630.88	c current bound: 584
1635.80/1631.70	c current bound: 584
1636.59/1632.52	c current bound: 584
1636.62/1633.34	c current bound: 584
1638.17/1634.16	c current bound: 584
1638.97/1634.99	c current bound: 584
1639.87/1635.82	c current bound: 584
1639.89/1636.64	c current bound: 584
1641.44/1637.46	c current bound: 584
1642.24/1638.27	c current bound: 584
1643.05/1639.09	c current bound: 584
1643.94/1639.91	c current bound: 584
1644.74/1640.73	c current bound: 584
1645.53/1641.56	c current bound: 584
1646.33/1642.38	c current bound: 584
1646.43/1643.19	c current bound: 584
1648.04/1644.02	c current bound: 584
1648.82/1644.85	c current bound: 584
1649.63/1645.67	c current bound: 584
1649.71/1646.49	c current bound: 584
1651.31/1647.31	c current bound: 584
1652.10/1648.13	c current bound: 584
1652.91/1648.95	c current bound: 584
1652.98/1649.77	c current bound: 584
1654.50/1650.59	c current bound: 584
1655.40/1651.41	c current bound: 584
1656.20/1652.24	c current bound: 584
1656.26/1653.06	c current bound: 584
1657.79/1653.88	c current bound: 584
1658.69/1654.70	c current bound: 584
1659.51/1655.53	c current bound: 584
1659.54/1656.34	c current bound: 584
1661.10/1657.16	c current bound: 584
1661.88/1657.98	c current bound: 584
1662.69/1658.80	c current bound: 584
1662.80/1659.63	c current bound: 584
1664.40/1660.45	c current bound: 584
1665.19/1661.27	c current bound: 584
1665.99/1662.09	c current bound: 584
1666.88/1662.91	c current bound: 584
1667.68/1663.73	c current bound: 584
1668.47/1664.55	c current bound: 584
1669.28/1665.38	c current bound: 584
1669.37/1666.19	c current bound: 584
1670.98/1667.02	c current bound: 584
1671.76/1667.84	c current bound: 584
1672.56/1668.66	c current bound: 584
1672.65/1669.49	c current bound: 584
1674.26/1670.31	c current bound: 584
1675.06/1671.12	c current bound: 584
1675.87/1671.95	c current bound: 584
1675.92/1672.77	c current bound: 584
1677.45/1673.59	c current bound: 584
1678.35/1674.41	c current bound: 584
1678.37/1675.23	c current bound: 584
1679.20/1676.08	c current bound: 584
1680.84/1676.90	c current bound: 584
1681.64/1677.72	c current bound: 584
1682.44/1678.54	c current bound: 584
1682.49/1679.36	c current bound: 584
1684.02/1680.18	c current bound: 584
1684.93/1681.00	c current bound: 584
1685.73/1681.82	c current bound: 584
1685.77/1682.64	c current bound: 584
1687.32/1683.46	c current bound: 584
1688.13/1684.28	c current bound: 584
1689.02/1685.11	c current bound: 584
1689.04/1685.93	c current bound: 584
1690.61/1686.74	c current bound: 584
1691.41/1687.57	c current bound: 584
1691.50/1688.39	c current bound: 584
1693.12/1689.21	c current bound: 584
1693.91/1690.04	c current bound: 584
1694.70/1690.86	c current bound: 584
1694.78/1691.68	c current bound: 584
1696.38/1692.50	c current bound: 584
1697.21/1693.32	c current bound: 584
1697.98/1694.14	c current bound: 584
1698.06/1694.97	c current bound: 584
1699.59/1695.79	c current bound: 584
1700.49/1696.61	c current bound: 584
1701.29/1697.44	c current bound: 584
1701.35/1698.26	c current bound: 584
1702.87/1699.08	c current bound: 584
1703.77/1699.90	c current bound: 584
1704.59/1700.72	c current bound: 584
1704.62/1701.54	c current bound: 584
1706.19/1702.36	c current bound: 584
1706.97/1703.18	c current bound: 584
1707.86/1704.00	c current bound: 584
1708.69/1704.82	c current bound: 584
1709.47/1705.64	c current bound: 584
1710.27/1706.47	c current bound: 584
1711.08/1707.29	c current bound: 584
1711.98/1708.11	c current bound: 584
1712.76/1708.93	c current bound: 584
1713.57/1709.75	c current bound: 584
1714.38/1710.57	c current bound: 584
1714.45/1711.38	c current bound: 584
1716.06/1712.21	c current bound: 584
1716.87/1713.02	c current bound: 584
1717.66/1713.85	c current bound: 584
1717.72/1714.67	c current bound: 584
1719.26/1715.48	c current bound: 584
1720.14/1716.32	c current bound: 584
1720.92/1717.15	c current bound: 584
1720.99/1717.96	c current bound: 584
1722.52/1718.79	c current bound: 584
1723.43/1719.61	c current bound: 584
1724.23/1720.43	c current bound: 584
1724.28/1721.24	c current bound: 584
1725.81/1722.06	c current bound: 584
1726.62/1722.89	c current bound: 584
1727.52/1723.70	c current bound: 584
1727.53/1724.52	c current bound: 584
1729.10/1725.35	c current bound: 584
1729.90/1726.17	c current bound: 584
1730.70/1726.99	c current bound: 584
1731.60/1727.80	c current bound: 584
1732.42/1728.62	c current bound: 584
1733.19/1729.45	c current bound: 584
1734.00/1730.28	c current bound: 584
1734.91/1731.10	c current bound: 584
1735.71/1731.92	c current bound: 584
1736.49/1732.74	c current bound: 584
1737.29/1733.56	c current bound: 584
1737.37/1734.37	c current bound: 584
1738.97/1735.20	c current bound: 584
1739.79/1736.02	c current bound: 584
1740.57/1736.84	c current bound: 584
1740.64/1737.66	c current bound: 584
1742.17/1738.48	c current bound: 584
1743.07/1739.31	c current bound: 584
1743.88/1740.13	c current bound: 584
1743.93/1740.94	c current bound: 584
1745.54/1741.82	c current bound: 584
1746.33/1742.64	c current bound: 584
1747.12/1743.46	c current bound: 584
1747.21/1744.28	c current bound: 584
1748.81/1745.11	c current bound: 584
1749.61/1745.93	c current bound: 584
1750.47/1746.81	c current bound: 584
1750.47/1747.63	c current bound: 584
1752.03/1748.46	c current bound: 584
1752.83/1749.29	c current bound: 584
1753.73/1750.11	c current bound: 584
1753.77/1750.93	c current bound: 584
1755.39/1751.81	c current bound: 584
1756.17/1752.63	c current bound: 584
1756.96/1753.45	c current bound: 584
1757.03/1754.27	c current bound: 584
1758.56/1755.09	c current bound: 584
1759.46/1755.92	c current bound: 584
1760.26/1756.74	c current bound: 584
1760.33/1757.56	c current bound: 584
1761.86/1758.38	c current bound: 584
1762.76/1759.20	c current bound: 584
1763.57/1760.03	c current bound: 584
1763.60/1760.85	c current bound: 584
1765.14/1761.67	c current bound: 584
1765.97/1762.50	c current bound: 584
1766.86/1763.32	c current bound: 584
1766.88/1764.13	c current bound: 584
1768.44/1764.95	c current bound: 584
1769.24/1765.77	c current bound: 584
1770.05/1766.60	c current bound: 584
1770.94/1767.42	c current bound: 584
1771.73/1768.24	c current bound: 584
1772.52/1769.06	c current bound: 584
1773.33/1769.88	c current bound: 584
1774.22/1770.71	c current bound: 584
1775.02/1771.53	c current bound: 584
1775.82/1772.35	c current bound: 584
1776.63/1773.17	c current bound: 584
1776.72/1773.99	c current bound: 584
1778.33/1774.81	c current bound: 584
1779.11/1775.63	c current bound: 584
1779.92/1776.44	c current bound: 584
1779.97/1777.26	c current bound: 584
1781.51/1778.08	c current bound: 584
1782.40/1778.90	c current bound: 584
1783.23/1779.72	c current bound: 584
1783.25/1780.54	c current bound: 584
1784.79/1781.36	c current bound: 584
1785.60/1782.18	c current bound: 584
1785.71/1783.00	c current bound: 584
1787.30/1783.81	c current bound: 584
1788.09/1784.64	c current bound: 584
1788.89/1785.45	c current bound: 584
1788.96/1786.27	c current bound: 584
1790.49/1787.09	c current bound: 584
1791.38/1787.91	c current bound: 584
1792.18/1788.73	c current bound: 584
1792.24/1789.56	c current bound: 584
1793.78/1790.37	c current bound: 584
1794.69/1791.20	c current bound: 584
1795.47/1792.01	c current bound: 584
1795.51/1792.83	c current bound: 584
1797.07/1793.65	c current bound: 584
1797.88/1794.46	c current bound: 584
1798.68/1795.28	c current bound: 584
1799.56/1796.10	c current bound: 584
1800.09/1796.60	./satsolver.sh: line 5:  3482 Terminated              ./glucose $1 > $2 2> /dev/null
1800.09/1796.60	c error: unexpected solver exit code
1800.09/1796.60	s UNKNOWN

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-3715643-1338190769/watcher-3715643-1338190769 -o /tmp/evaluation-result-3715643-1338190769/solver-3715643-1338190769 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715643-1338190769.wbo 738985315 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.46 1.52 1.67 2/178 24292
/proc/meminfo: memFree=30940928/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0

[startup+0.101246 s]
/proc/loadavg: 1.46 1.52 1.67 2/178 24292
/proc/meminfo: memFree=30940928/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200321 s]
/proc/loadavg: 1.46 1.52 1.67 2/178 24292
/proc/meminfo: memFree=30940928/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300233 s]
/proc/loadavg: 1.46 1.52 1.67 2/178 24292
/proc/meminfo: memFree=30940928/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700229 s]
/proc/loadavg: 1.46 1.52 1.67 2/178 24292
/proc/meminfo: memFree=30940928/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 1.50 1.52 1.67 3/183 24364
/proc/meminfo: memFree=30931268/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=3708 CPUtime=0.45 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 1097 2884 0 0 5 0 38 2 20 0 1 0 285205459 3796992 477 33554432000 4194304 5990268 140733619215232 140733619209472 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24293/statm: 927 477 154 439 0 484 0
[pid=24321] ppid=24293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24321/stat : 24321 (satsolver.sh) S 24293 24292 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285205505 9367552 266 33554432000 4194304 5064252 140737411406960 140737411405872 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24321/statm: 2287 266 226 213 0 72 0
[pid=24322] ppid=24321 vsize=8860 CPUtime=1.02 cores=1,3,5,7
/proc/24322/stat : 24322 (glucose) R 24321 24292 15230 0 -1 4202496 2504 0 0 0 102 0 0 0 20 0 1 0 285205506 9072640 1623 33554432000 4194304 5208918 140735880540352 140735880538312 4214288 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24322/statm: 2215 1623 102 248 0 1964 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30864

[startup+3.10027 s]
/proc/loadavg: 1.50 1.52 1.67 3/183 24437
/proc/meminfo: memFree=30926788/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=2.75 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 1708 14975 0 0 6 2 262 5 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 13944

[startup+6.30027 s]
/proc/loadavg: 1.50 1.52 1.67 3/183 24672
/proc/meminfo: memFree=30924696/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=6.03 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 2900 38741 0 0 8 3 578 14 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 13944

[startup+12.7003 s]
/proc/loadavg: 1.58 1.54 1.68 3/183 25141
/proc/meminfo: memFree=30926612/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=12.55 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 5284 87781 0 0 11 3 1212 29 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 13944

[startup+25.5004 s]
/proc/loadavg: 1.64 1.55 1.68 3/183 26079
/proc/meminfo: memFree=30924744/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=24.82 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 9754 177183 0 0 18 5 2402 57 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
[pid=26053] ppid=24293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26053/stat : 26053 (satsolver.sh) S 24293 24292 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285207952 9367552 266 33554432000 4194304 5064252 140733717147984 140733717146896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26053/statm: 2287 266 226 213 0 72 0
[pid=26054] ppid=26053 vsize=8840 CPUtime=0.56 cores=1,3,5,7
/proc/26054/stat : 26054 (glucose) R 26053 24292 15230 0 -1 4202496 2106 0 0 0 56 0 0 0 20 0 1 0 285207952 9052160 1678 33554432000 4194304 5208918 140736857643584 140736857641432 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26054/statm: 2210 1678 104 248 0 1959 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 31932

[startup+51.1004 s]
/proc/loadavg: 1.43 1.51 1.66 3/184 27881
/proc/meminfo: memFree=30925216/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=3788 CPUtime=50.98 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) R 24292 24292 15230 0 -1 4202496 19116 366864 0 0 32 8 4935 123 20 0 1 0 285205459 3878912 519 33554432000 4194304 5990268 140733619215232 140733619207216 5042551 0 0 4096 0 0 0 0 17 3 0 0 7 0 0
/proc/24293/statm: 947 519 176 439 0 504 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 12936

[startup+102.3 s]
/proc/loadavg: 1.55 1.53 1.65 3/184 31559
/proc/meminfo: memFree=30927580/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=101.71 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 37766 735549 0 0 62 14 9847 248 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
[pid=31534] ppid=24293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31534/stat : 31534 (satsolver.sh) S 24293 24292 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285215653 9367552 266 33554432000 4194304 5064252 140736538303440 140736538302352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31534/statm: 2287 266 226 213 0 72 0
[pid=31535] ppid=31534 vsize=7676 CPUtime=0.35 cores=1,3,5,7
/proc/31535/stat : 31535 (glucose) R 31534 24292 15230 0 -1 4202496 2067 0 0 0 35 0 0 0 20 0 1 0 285215654 7860224 1535 33554432000 4194304 5208918 140733804214208 140733804212056 4229999 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31535/statm: 1919 1535 104 248 0 1668 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 30768

[startup+162.3 s]
/proc/loadavg: 2.02 1.65 1.68 3/183 3390
/proc/meminfo: memFree=30923776/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=161.39 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 59520 1166940 0 0 94 23 15625 397 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
[pid=3389] ppid=24293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3389/stat : 3389 (satsolver.sh) S 24293 24292 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285221626 9367552 266 33554432000 4194304 5064252 140734496920464 140734496919376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3389/statm: 2287 266 226 213 0 72 0
[pid=3390] ppid=3389 vsize=8844 CPUtime=0.61 cores=1,3,5,7
/proc/3390/stat : 3390 (glucose) R 3389 24292 15230 0 -1 4202496 2252 0 0 0 61 0 0 0 20 0 1 0 285221626 9056256 1715 33554432000 4194304 5208918 140735408238608 140735408236552 4232672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3390/statm: 2211 1715 104 248 0 1960 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 31936

[startup+222.307 s]
/proc/loadavg: 1.97 1.72 1.70 3/183 7683
/proc/meminfo: memFree=30921520/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=221.92 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 81572 1603321 0 0 126 30 21488 548 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 221.92
Current children cumulated vsize (KiB) 13944

[startup+282.3 s]
/proc/loadavg: 1.84 1.73 1.71 3/183 11911
/proc/meminfo: memFree=30923344/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/24293/statm: 1199 682 176 439 0 756 0
[pid=14202] ppid=24293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14202/stat : 14202 (satsolver.sh) S 24293 24292 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285329618 9367552 266 33554432000 4194304 5064252 140736002652880 140736002651792 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14202/statm: 2287 266 226 213 0 72 0
[pid=14203] ppid=14202 vsize=7988 CPUtime=0.7 cores=1,3,5,7
/proc/14203/stat : 14203 (glucose) R 14202 24292 15230 0 -1 4202496 2636 0 0 0 70 0 0 0 20 0 1 0 285329618 8179712 1580 33554432000 4194304 5208918 140733428802912 140733428800872 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14203/statm: 1997 1580 104 248 0 1746 0
Current children cumulated CPU time (s) 1247.59
Current children cumulated vsize (KiB) 31080

[startup+1302.3 s]
/proc/loadavg: 1.82 1.28 1.37 3/184 16600
/proc/meminfo: memFree=30916156/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1307.34 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 473747 9366476 0 0 716 245 125764 4009 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206128 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
[pid=16598] ppid=24293 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16598/stat : 16598 (cp2_post.sh) S 24293 24292 15230 0 -1 4202496 635 1617 0 0 0 0 1 0 20 0 1 0 285335687 9367552 268 33554432000 4194304 5064252 140733518623280 140733518622192 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16598/statm: 2287 268 228 213 0 72 0
Current children cumulated CPU time (s) 1307.35
Current children cumulated vsize (KiB) 23092

[startup+1362.3 s]
/proc/loadavg: 1.84 1.38 1.39 3/183 18929
/proc/meminfo: memFree=30913736/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1367.18 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 495792 9801119 0 0 749 254 131559 4156 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 18 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 1367.18
Current children cumulated vsize (KiB) 13944

[startup+1422.31 s]
/proc/loadavg: 1.85 1.46 1.42 3/183 21298
/proc/meminfo: memFree=30915784/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1426.98 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 517546 10229041 0 0 781 264 137347 4306 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 18 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
[pid=21292] ppid=24293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21292/stat : 21292 (satsolver.sh) S 24293 24292 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285347658 9367552 267 33554432000 4194304 5064252 140734736336128 140734736335040 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21292/statm: 2287 267 226 213 0 72 0
[pid=21293] ppid=21292 vsize=7540 CPUtime=0.3 cores=1,3,5,7
/proc/21293/stat : 21293 (glucose) R 21292 24292 15230 0 -1 4202496 1900 0 0 0 30 0 0 0 20 0 1 0 285347659 7720960 1478 33554432000 4194304 5208918 140733947399472 140733947397320 4334567 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21293/statm: 1885 1478 104 248 0 1634 0
Current children cumulated CPU time (s) 1427.28
Current children cumulated vsize (KiB) 30632

[startup+1482.3 s]
/proc/loadavg: 1.90 1.54 1.45 3/183 23619
/proc/meminfo: memFree=30913408/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1486.74 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 539300 10661254 0 0 814 272 143131 4457 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 1486.74
Current children cumulated vsize (KiB) 13944

[startup+1542.3 s]
/proc/loadavg: 1.96 1.62 1.48 4/183 25991
/proc/meminfo: memFree=30911152/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1546.56 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 561054 11092999 0 0 847 279 148914 4616 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 1546.56
Current children cumulated vsize (KiB) 13944

[startup+1602.3 s]
/proc/loadavg: 1.98 1.69 1.51 3/183 28308
/proc/meminfo: memFree=30914124/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1606.35 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 582808 11525167 0 0 880 286 154698 4771 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 1606.35
Current children cumulated vsize (KiB) 13944

[startup+1662.3 s]
/proc/loadavg: 2.25 1.79 1.55 3/183 30675
/proc/meminfo: memFree=30909736/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1666.1 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 604562 11955296 0 0 913 294 160486 4917 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 1666.1
Current children cumulated vsize (KiB) 13944

[startup+1722.3 s]
/proc/loadavg: 2.03 1.83 1.58 4/183 547
/proc/meminfo: memFree=30919104/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1725.91 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 626316 12389862 0 0 947 301 166270 5073 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 1725.91
Current children cumulated vsize (KiB) 13944

[startup+1782.3 s]
/proc/loadavg: 1.89 1.82 1.59 3/183 2929
/proc/meminfo: memFree=30910696/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1785.71 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 648070 12818782 0 0 979 309 172058 5225 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
Current children cumulated CPU time (s) 1785.71
Current children cumulated vsize (KiB) 13944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 1.84 1.81 1.59 3/183 3496
/proc/meminfo: memFree=30910680/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1799.6 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 653136 12917130 0 0 987 311 173402 5260 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
[pid=3481] ppid=24293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3481/stat : 3481 (satsolver.sh) S 24293 24292 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285385070 9367552 267 33554432000 4194304 5064252 140733536797200 140733536796112 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3481/statm: 2287 267 226 213 0 72 0
[pid=3482] ppid=3481 vsize=7812 CPUtime=0.49 cores=1,3,5,7
/proc/3482/stat : 3482 (glucose) R 3481 24292 15230 0 -1 4202496 2156 0 0 0 49 0 0 0 20 0 1 0 285385070 7999488 1624 33554432000 4194304 5208918 140734233626640 140734233624488 4229996 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3482/statm: 1953 1624 104 248 0 1702 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 30904

Sending SIGTERM to process tree (bottom up)

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

[startup+1796.6 s]
/proc/loadavg: 1.84 1.81 1.59 3/183 3496
/proc/meminfo: memFree=30910680/32873844 swapFree=7108/7108
[pid=24292] ppid=24285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24292/stat : 24292 (npSolver-wbo-It) S 24285 24292 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285205459 9367552 275 33554432000 4194304 5064252 140733207129488 140733207128400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24292/statm: 2287 275 233 213 0 72 0
[pid=24293] ppid=24292 vsize=4796 CPUtime=1799.6 cores=1,3,5,7
/proc/24293/stat : 24293 (npSolver-wbo) S 24292 24292 15230 0 -1 4202496 653136 12917130 0 0 987 311 173402 5260 20 0 1 0 285205459 4911104 682 33554432000 4194304 5990268 140733619215232 140733619206640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/24293/statm: 1199 682 176 439 0 756 0
[pid=3481] ppid=24293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3481/stat : 3481 (satsolver.sh) S 24293 24292 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285385070 9367552 267 33554432000 4194304 5064252 140733536797200 140733536796112 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3481/statm: 2287 267 226 213 0 72 0
[pid=3482] ppid=3481 vsize=7812 CPUtime=0.49 cores=1,3,5,7
/proc/3482/stat : 3482 (glucose) R 3481 24292 15230 0 -1 4202496 2156 0 0 0 49 0 0 0 20 0 1 0 285385070 7999488 1624 33554432000 4194304 5208918 140734233626640 140734233624488 4229996 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3482/statm: 1953 1624 104 248 0 1702 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 30904

Child status: 0
Real time (s): 1796.61
CPU time (s): 1800.11
CPU user time (s): 1744.39
CPU system time (s): 55.7215
CPU usage (%): 100.195
Max. virtual memory (cumulated for all children) (KiB): 34992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.39
system time used= 55.7215
maximum resident set size= 9356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13573414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3818952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46731
involuntary context switches= 28592

runsolver used 2.70559 second user time and 7.48586 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 09:39:29
IDJOB=3715643
IDBENCH=78812
IDSOLVER=2297
FILE ID=node103/3715643-1338190769
RUNJOBID= node103-1338166500-15763
PBS_JOBID= 14624530
Free space on /tmp= 71564 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715643-1338190769/watcher-3715643-1338190769 -o /tmp/evaluation-result-3715643-1338190769/solver-3715643-1338190769 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715643-1338190769.wbo 738985315 HOME HOME

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

MD5SUM BENCH= 0e6c262e00c2bafdec71b4c92c644f07
RANDOM SEED=738985315

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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		: 2666.189
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	: 5411.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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		: 2666.189
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:       32873844 kB
MemFree:        30934952 kB
Buffers:          454960 kB
Cached:           618628 kB
SwapCached:         4492 kB
Active:           734176 kB
Inactive:         360908 kB
Active(anon):      15304 kB
Inactive(anon):     6216 kB
Active(file):     718872 kB
Inactive(file):   354692 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099580 kB
Dirty:              9360 kB
Writeback:             0 kB
AnonPages:         24968 kB
Mapped:            12496 kB
Shmem:                 8 kB
Slab:             704720 kB
SReclaimable:     145200 kB
SUnreclaim:       559520 kB
KernelStack:        1544 kB
PageTables:         4384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     141264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71556 MiB
End job on node103 at 2012-05-28 10:09:26