Trace number 3752921

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.08 1844.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
MD5SUM1aa357a852c71e740dd551340d4d5189
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark35.3196
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints911
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46278
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46277
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 683
Number of bits of the biggest sum of numbers10
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.04	c run usual solver
0.00/0.13	o 950
0.00/0.13	c starting approximation
0.00/0.13	c factor = 2
0.00/0.13	c factor still to low - shrinking to 5.1927
0.00/0.13	c approx number of clauses: 1e+06
0.00/0.13	c current bound: 475
0.00/0.95	c current bound: 475
1.47/1.75	c current bound: 475
2.54/2.60	c current bound: 475
3.33/3.43	c current bound: 475
3.91/4.24	c current bound: 475
4.72/5.05	c current bound: 475
5.54/5.86	c current bound: 475
6.54/6.68	c current bound: 475
7.40/7.67	c current bound: 475
7.97/8.47	c current bound: 475
8.77/9.30	c current bound: 475
9.60/10.10	c current bound: 475
10.66/10.91	c current bound: 475
11.22/11.72	c current bound: 475
12.03/12.69	c current bound: 475
13.08/13.50	c current bound: 475
13.88/14.31	c current bound: 475
14.44/15.12	c current bound: 475
15.24/15.92	c current bound: 475
16.05/16.72	c current bound: 475
17.10/17.75	c current bound: 475
17.66/18.56	c current bound: 475
18.46/19.36	c current bound: 475
19.28/20.17	c current bound: 475
20.25/20.98	c current bound: 475
20.90/21.79	c current bound: 475
21.99/22.73	c current bound: 475
22.52/23.55	c current bound: 475
23.35/24.36	c current bound: 475
24.16/25.17	c current bound: 475
24.98/25.99	c current bound: 475
26.04/26.80	c current bound: 475
26.85/28.10	c current bound: 475
27.41/28.91	c current bound: 475
28.45/29.72	c current bound: 475
29.03/30.55	c current bound: 475
29.86/31.36	c current bound: 475
30.66/32.16	c current bound: 475
31.66/32.97	c current bound: 475
32.29/33.78	c current bound: 475
33.37/34.60	c current bound: 475
33.92/35.42	c current bound: 475
34.95/36.25	c current bound: 475
35.56/37.05	c current bound: 475
36.37/38.05	c current bound: 475
37.17/38.85	c current bound: 475
38.17/39.69	c current bound: 475
38.80/40.49	c current bound: 475
39.87/41.30	c current bound: 475
40.42/42.11	c current bound: 475
41.49/43.06	c current bound: 475
42.05/43.88	c current bound: 475
42.86/44.69	c current bound: 475
43.67/45.50	c current bound: 475
44.72/46.30	c current bound: 475
45.28/47.12	c current bound: 475
46.10/47.92	c current bound: 475
46.89/48.78	c current bound: 475
48.00/49.60	c current bound: 475
48.53/50.42	c current bound: 475
49.36/51.24	c current bound: 475
50.17/52.04	c current bound: 475
51.19/52.84	c current bound: 475
51.78/53.67	c current bound: 475
52.62/54.47	c current bound: 475
53.41/55.29	c current bound: 475
54.51/56.12	c current bound: 475
55.06/56.95	c current bound: 475
55.90/57.77	c current bound: 475
56.99/58.74	c current bound: 475
57.74/59.56	c current bound: 475
58.35/60.36	c current bound: 475
59.15/61.18	c current bound: 475
59.98/62.00	c current bound: 475
61.04/62.80	c current bound: 475
61.87/63.72	c current bound: 475
62.41/64.54	c current bound: 475
63.24/65.36	c current bound: 475
64.05/66.18	c current bound: 475
65.15/67.00	c current bound: 475
65.69/67.82	c current bound: 475
66.79/68.80	c current bound: 475
67.31/69.62	c current bound: 475
68.38/70.44	c current bound: 475
68.96/71.26	c current bound: 475
69.78/72.07	c current bound: 475
70.60/72.89	c current bound: 475
71.69/73.87	c current bound: 475
72.24/74.67	c current bound: 475
73.05/75.49	c current bound: 475
73.86/76.30	c current bound: 475
74.92/77.12	c current bound: 475
75.49/77.95	c current bound: 475
76.32/78.93	c current bound: 475
77.14/79.75	c current bound: 475
77.96/80.57	c current bound: 475
78.98/81.39	c current bound: 475
79.60/82.23	c current bound: 475
80.43/83.05	c current bound: 475
81.54/84.03	c current bound: 475
82.31/84.85	c current bound: 475
82.91/85.65	c current bound: 475
83.71/86.47	c current bound: 475
84.53/87.29	c current bound: 475
85.61/88.11	c current bound: 475
86.43/89.08	c current bound: 475
86.99/89.89	c current bound: 475
87.80/90.72	c current bound: 475
88.63/91.53	c current bound: 475
89.67/92.37	c current bound: 475
90.57/93.20	c current bound: 475
91.11/94.18	c current bound: 475
91.93/94.98	c current bound: 475
92.91/95.79	c current bound: 475
93.55/96.59	c current bound: 475
94.35/97.41	c current bound: 475
95.16/98.23	c current bound: 475
96.27/99.18	c current bound: 475
96.80/100.00	c current bound: 475
97.63/100.82	c current bound: 475
98.45/101.64	c current bound: 475
99.49/102.45	c current bound: 475
100.07/103.27	c current bound: 475
100.90/104.25	c current bound: 475
101.72/105.05	c current bound: 475
102.53/105.86	c current bound: 475
103.52/106.66	c current bound: 475
104.12/107.45	c current bound: 475
104.92/108.26	c current bound: 475
105.91/109.06	c current bound: 475
106.78/109.91	c current bound: 475
107.34/110.71	c current bound: 475
108.15/111.52	c current bound: 475
109.18/112.32	c current bound: 475
109.76/113.13	c current bound: 475
110.58/113.95	c current bound: 475
111.39/114.77	c current bound: 475
112.39/115.59	c current bound: 475
113.03/116.40	c current bound: 475
113.84/117.21	c current bound: 475
114.63/118.03	c current bound: 475
115.67/118.86	c current bound: 475
116.55/119.73	c current bound: 475
117.09/120.54	c current bound: 475
117.90/121.37	c current bound: 475
118.91/122.19	c current bound: 475
119.55/123.01	c current bound: 475
120.37/123.83	c current bound: 475
121.18/124.65	c current bound: 475
122.28/125.50	c current bound: 475
122.83/126.31	c current bound: 475
123.64/127.12	c current bound: 475
124.45/127.92	c current bound: 475
125.47/128.74	c current bound: 475
126.07/129.56	c current bound: 475
126.88/130.37	c current bound: 475
127.70/131.18	c current bound: 475
128.67/131.99	c current bound: 475
129.31/132.80	c current bound: 475
130.13/133.60	c current bound: 475
130.92/134.41	c current bound: 475
131.98/135.36	c current bound: 475
132.54/136.17	c current bound: 475
133.35/136.98	c current bound: 475
134.16/137.79	c current bound: 475
135.13/138.60	c current bound: 475
135.78/139.41	c current bound: 475
136.86/140.34	c current bound: 475
137.40/141.15	c current bound: 475
138.41/141.96	c current bound: 475
139.01/142.76	c current bound: 475
139.83/143.57	c current bound: 475
140.63/144.38	c current bound: 475
141.61/145.19	c current bound: 475
142.25/146.01	c current bound: 475
143.08/146.83	c current bound: 475
143.90/147.65	c current bound: 475
144.91/148.45	c current bound: 475
145.52/149.26	c current bound: 475
146.31/150.07	c current bound: 475
147.13/151.01	c current bound: 475
148.17/151.82	c current bound: 475
148.73/152.62	c current bound: 475
149.54/153.43	c current bound: 475
150.34/154.24	c current bound: 475
151.36/155.05	c current bound: 475
151.97/155.86	c current bound: 475
152.78/156.71	c current bound: 475
153.58/157.51	c current bound: 475
154.61/158.35	c current bound: 475
155.23/159.16	c current bound: 475
156.03/159.97	c current bound: 475
156.85/160.78	c current bound: 475
157.66/161.59	c current bound: 475
158.47/162.41	c current bound: 475
159.28/163.23	c current bound: 475
160.32/164.05	c current bound: 475
160.91/164.86	c current bound: 475
161.74/165.68	c current bound: 475
162.83/166.61	c current bound: 475
163.37/167.43	c current bound: 475
164.41/168.22	c current bound: 475
165.00/169.05	c current bound: 475
165.81/169.86	c current bound: 475
166.63/170.66	c current bound: 475
167.42/171.48	c current bound: 475
168.53/172.40	c current bound: 475
169.07/173.22	c current bound: 475
169.89/174.02	c current bound: 475
170.94/174.84	c current bound: 475
171.52/175.64	c current bound: 475
172.32/176.47	c current bound: 475
173.15/177.30	c current bound: 475
174.22/178.13	c current bound: 475
174.81/178.94	c current bound: 475
175.61/179.76	c current bound: 475
176.64/180.56	c current bound: 475
177.24/181.37	c current bound: 475
178.33/182.33	c current bound: 475
178.87/183.16	c current bound: 475
179.69/183.98	c current bound: 475
180.70/184.80	c current bound: 475
181.34/185.62	c current bound: 475
182.17/186.44	c current bound: 475
182.99/187.43	c current bound: 475
184.03/188.24	c current bound: 475
184.61/189.03	c current bound: 475
185.41/189.85	c current bound: 475
186.23/190.65	c current bound: 475
187.23/191.46	c current bound: 475
188.10/192.47	c current bound: 475
188.65/193.29	c current bound: 475
189.48/194.11	c current bound: 475
190.30/194.94	c current bound: 475
191.34/195.76	c current bound: 475
191.94/196.58	c current bound: 475
193.03/197.50	c current bound: 475
193.57/198.31	c current bound: 475
194.61/199.11	c current bound: 475
195.20/199.94	c current bound: 475
196.02/200.77	c current bound: 475
196.84/201.57	c current bound: 475
197.81/202.37	c current bound: 475
198.44/203.21	c current bound: 475
199.23/204.03	c current bound: 475
200.05/204.85	c current bound: 475
201.09/205.67	c current bound: 475
201.70/206.47	c current bound: 475
202.49/207.29	c current bound: 475
203.32/208.12	c current bound: 475
204.37/208.95	c current bound: 475
204.97/209.76	c current bound: 475
205.78/210.57	c current bound: 475
206.59/211.37	c current bound: 475
207.40/212.19	c current bound: 475
208.22/213.18	c current bound: 475
209.04/214.00	c current bound: 475
209.86/214.83	c current bound: 475
210.90/215.64	c current bound: 475
211.49/216.45	c current bound: 475
212.31/217.27	c current bound: 475
213.40/218.23	c current bound: 475
214.15/219.05	c current bound: 475
214.77/219.87	c current bound: 475
215.58/220.69	c current bound: 475
216.67/221.50	c current bound: 475
217.47/222.32	c current bound: 475
218.30/223.31	c current bound: 475
218.87/224.14	c current bound: 475
219.67/224.94	c current bound: 475
220.48/225.76	c current bound: 475
221.51/226.58	c current bound: 475
222.41/227.40	c current bound: 475
222.95/228.42	c current bound: 475
223.78/229.24	c current bound: 475
224.81/230.06	c current bound: 475
225.43/230.88	c current bound: 475
226.24/231.71	c current bound: 475
227.06/232.52	c current bound: 475
228.16/233.52	c current bound: 475
228.93/234.34	c current bound: 475
229.52/235.16	c current bound: 475
230.34/235.97	c current bound: 475
231.12/236.76	c current bound: 475
232.13/237.58	c current bound: 475
233.02/238.54	c current bound: 475
233.57/239.35	c current bound: 475
234.35/240.15	c current bound: 475
235.36/240.95	c current bound: 475
235.95/241.74	c current bound: 475
236.77/242.57	c current bound: 475
237.56/243.36	c current bound: 475
238.61/244.23	c current bound: 475
239.18/245.05	c current bound: 475
240.00/245.87	c current bound: 475
240.82/246.68	c current bound: 475
241.80/247.49	c current bound: 475
242.45/248.31	c current bound: 475
243.27/249.13	c current bound: 475
244.09/249.95	c current bound: 475
245.12/250.75	c current bound: 475
245.70/251.57	c current bound: 475
246.82/252.40	c current bound: 475
247.35/253.21	c current bound: 475
248.45/254.18	c current bound: 475
248.99/254.98	c current bound: 475
249.79/255.79	c current bound: 475
250.60/256.60	c current bound: 475
251.66/257.43	c current bound: 475
252.24/258.22	c current bound: 475
253.04/259.20	c current bound: 475
253.87/260.02	c current bound: 475
254.91/260.82	c current bound: 475
255.48/261.64	c current bound: 475
256.31/262.46	c current bound: 475
257.11/263.27	c current bound: 475
258.17/264.28	c current bound: 475
258.91/265.09	c current bound: 475
259.55/265.91	c current bound: 475
260.35/266.72	c current bound: 475
261.18/267.54	c current bound: 475
262.20/268.35	c current bound: 475
262.81/269.38	c current bound: 475
263.89/270.20	c current bound: 475
264.43/271.02	c current bound: 475
265.49/271.84	c current bound: 475
266.07/272.65	c current bound: 475
266.89/273.47	c current bound: 475
267.72/274.45	c current bound: 475
268.55/275.27	c current bound: 475
269.54/276.09	c current bound: 475
270.18/276.93	c current bound: 475
271.02/277.73	c current bound: 475
271.82/278.53	c current bound: 475
272.91/279.54	c current bound: 475
273.45/280.36	c current bound: 475
274.27/281.18	c current bound: 475
275.10/282.01	c current bound: 475
276.15/282.84	c current bound: 475
276.75/283.64	c current bound: 475
277.82/284.63	c current bound: 475
278.38/285.46	c current bound: 475
279.22/286.29	c current bound: 475
280.29/287.12	c current bound: 475
280.87/287.94	c current bound: 475
281.70/288.76	c current bound: 475
282.53/289.78	c current bound: 475
283.37/290.62	c current bound: 475
284.41/291.45	c current bound: 475
285.04/292.28	c current bound: 475
285.85/293.10	c current bound: 475
286.68/293.92	c current bound: 475
287.76/294.90	c current bound: 475
288.33/295.74	c current bound: 475
289.14/296.55	c current bound: 475
289.95/297.39	c current bound: 475
291.05/298.20	c current bound: 475
291.61/299.02	c current bound: 475
292.42/299.95	c current bound: 475
293.22/300.78	c current bound: 475
294.07/301.62	c current bound: 475
295.12/302.45	c current bound: 475
295.74/303.28	c current bound: 475
296.58/304.10	c current bound: 475
297.40/305.06	c current bound: 475
298.39/305.88	c current bound: 475
299.05/306.70	c current bound: 475
299.86/307.53	c current bound: 475
300.70/308.36	c current bound: 475
301.71/309.19	c current bound: 475
302.60/310.15	c current bound: 475
303.18/310.98	c current bound: 475
304.02/311.81	c current bound: 475
304.84/312.64	c current bound: 475
305.85/313.46	c current bound: 475
306.49/314.29	c current bound: 475
307.31/315.24	c current bound: 475
308.14/316.07	c current bound: 475
309.22/316.90	c current bound: 475
309.81/317.73	c current bound: 475
310.61/318.54	c current bound: 475
311.41/319.35	c current bound: 475
312.49/320.27	c current bound: 475
313.04/321.08	c current bound: 475
313.85/321.88	c current bound: 475
314.66/322.69	c current bound: 475
315.72/323.50	c current bound: 475
316.28/324.31	c current bound: 475
317.09/325.12	c current bound: 475
317.90/325.98	c current bound: 475
318.89/326.79	c current bound: 475
319.80/327.60	c current bound: 475
320.34/328.40	c current bound: 475
321.14/329.21	c current bound: 475
322.19/330.01	c current bound: 475
322.76/330.82	c current bound: 475
323.57/331.63	c current bound: 475
324.39/332.44	c current bound: 475
325.39/333.24	c current bound: 475
325.98/334.05	c current bound: 475
326.80/334.86	c current bound: 475
327.89/335.75	c current bound: 475
328.62/336.57	c current bound: 475
329.24/337.38	c current bound: 475
330.05/338.19	c current bound: 475
331.12/339.00	c current bound: 475
331.91/339.81	c current bound: 475
332.47/340.62	c current bound: 475
333.56/341.50	c current bound: 475
334.10/342.32	c current bound: 475
335.18/343.13	c current bound: 475
335.74/343.95	c current bound: 475
336.56/344.77	c current bound: 475
337.39/345.59	c current bound: 475
338.47/346.41	c current bound: 475
339.02/347.23	c current bound: 475
339.84/348.05	c current bound: 475
340.87/348.87	c current bound: 475
341.48/349.69	c current bound: 475
342.29/350.50	c current bound: 475
343.11/351.54	c current bound: 475
343.94/352.36	c current bound: 475
344.95/353.17	c current bound: 475
345.57/353.99	c current bound: 475
346.38/354.81	c current bound: 475
347.21/355.63	c current bound: 475
348.27/356.53	c current bound: 475
348.83/357.35	c current bound: 475
349.64/358.17	c current bound: 475
350.47/358.99	c current bound: 475
351.54/359.81	c current bound: 475
352.12/360.63	c current bound: 475
353.22/361.62	c current bound: 475
353.76/362.44	c current bound: 475
354.58/363.26	c current bound: 475
355.59/364.09	c current bound: 475
356.22/364.89	c current bound: 475
357.03/365.71	c current bound: 475
358.15/366.66	c current bound: 475
358.87/367.48	c current bound: 475
359.77/368.30	c current bound: 475
360.30/369.12	c current bound: 475
361.12/369.94	c current bound: 475
362.16/370.76	c current bound: 475
363.05/371.74	c current bound: 475
363.59/372.56	c current bound: 475
364.41/373.38	c current bound: 475
365.23/374.20	c current bound: 475
366.30/375.01	c current bound: 475
366.87/375.84	c current bound: 475
367.97/376.73	c current bound: 475
368.51/377.54	c current bound: 475
369.54/378.36	c current bound: 475
370.15/379.19	c current bound: 475
370.97/380.00	c current bound: 475
371.79/380.82	c current bound: 475
372.84/381.64	c current bound: 475
373.69/382.50	c current bound: 475
374.23/383.32	c current bound: 475
375.05/384.14	c current bound: 475
376.09/384.95	c current bound: 475
376.68/385.77	c current bound: 475
377.49/386.59	c current bound: 475
378.31/387.40	c current bound: 475
379.37/388.23	c current bound: 475
379.96/389.05	c current bound: 475
380.77/389.86	c current bound: 475
381.59/390.66	c current bound: 475
382.39/391.48	c current bound: 475
383.21/392.43	c current bound: 475
384.03/393.25	c current bound: 475
384.86/394.07	c current bound: 475
385.86/394.89	c current bound: 475
386.50/395.71	c current bound: 475
387.31/396.53	c current bound: 475
388.43/397.50	c current bound: 475
389.21/398.32	c current bound: 475
389.80/399.15	c current bound: 475
390.61/399.97	c current bound: 475
391.44/400.79	c current bound: 475
392.53/401.62	c current bound: 475
393.36/402.56	c current bound: 475
393.90/403.38	c current bound: 475
394.71/404.19	c current bound: 475
395.54/405.02	c current bound: 475
396.60/405.84	c current bound: 475
397.19/406.65	c current bound: 475
397.99/407.65	c current bound: 475
398.82/408.47	c current bound: 475
399.82/409.28	c current bound: 475
400.45/410.11	c current bound: 475
401.31/410.96	c current bound: 475
402.13/411.78	c current bound: 475
403.24/412.74	c current bound: 475
404.00/413.56	c current bound: 475
404.60/414.37	c current bound: 475
405.42/415.19	c current bound: 475
406.23/416.01	c current bound: 475
407.29/416.83	c current bound: 475
407.86/417.73	c current bound: 475
408.68/418.55	c current bound: 475
409.50/419.37	c current bound: 475
410.50/420.20	c current bound: 475
411.15/421.02	c current bound: 475
411.97/421.84	c current bound: 475
412.79/422.84	c current bound: 475
413.83/423.66	c current bound: 475
414.46/424.49	c current bound: 475
415.27/425.31	c current bound: 475
416.08/426.12	c current bound: 475
417.13/426.94	c current bound: 475
417.73/427.79	c current bound: 475
418.54/428.61	c current bound: 475
419.36/429.42	c current bound: 475
420.41/430.25	c current bound: 475
421.00/431.07	c current bound: 475
421.82/431.88	c current bound: 475
422.65/432.82	c current bound: 475
423.45/433.63	c current bound: 475
424.49/434.45	c current bound: 475
425.10/435.27	c current bound: 475
425.92/436.09	c current bound: 475
426.74/436.91	c current bound: 475
427.84/437.90	c current bound: 475
428.38/438.72	c current bound: 475
429.20/439.54	c current bound: 475
430.02/440.37	c current bound: 475
431.03/441.18	c current bound: 475
431.66/442.00	c current bound: 475
432.49/443.01	c current bound: 475
433.30/443.82	c current bound: 475
434.12/444.65	c current bound: 475
435.15/445.47	c current bound: 475
435.77/446.29	c current bound: 475
436.59/447.10	c current bound: 475
437.71/448.14	c current bound: 475
438.45/448.97	c current bound: 475
439.08/449.79	c current bound: 475
439.90/450.62	c current bound: 475
440.72/451.44	c current bound: 475
441.75/452.26	c current bound: 475
442.62/453.28	c current bound: 475
443.19/454.11	c current bound: 475
444.00/454.93	c current bound: 475
444.82/455.75	c current bound: 475
445.84/456.57	c current bound: 475
446.45/457.38	c current bound: 475
447.28/458.37	c current bound: 475
448.10/459.19	c current bound: 475
448.92/460.00	c current bound: 475
450.00/460.82	c current bound: 475
450.56/461.64	c current bound: 475
451.39/462.45	c current bound: 475
452.46/463.42	c current bound: 475
453.24/464.24	c current bound: 475
453.82/465.06	c current bound: 475
454.66/465.87	c current bound: 475
455.46/466.69	c current bound: 475
456.55/467.52	c current bound: 475
457.39/468.48	c current bound: 475
457.93/469.28	c current bound: 475
458.72/470.10	c current bound: 475
459.79/470.92	c current bound: 475
460.37/471.74	c current bound: 475
461.18/472.57	c current bound: 475
462.31/473.55	c current bound: 475
462.83/474.38	c current bound: 475
463.83/475.20	c current bound: 475
464.48/476.02	c current bound: 475
465.30/476.84	c current bound: 475
466.11/477.66	c current bound: 475
467.21/478.61	c current bound: 475
467.76/479.44	c current bound: 475
468.57/480.24	c current bound: 475
469.39/481.05	c current bound: 475
470.40/481.86	c current bound: 475
471.00/482.67	c current bound: 475
471.82/483.67	c current bound: 475
472.61/484.48	c current bound: 475
473.42/485.28	c current bound: 475
474.22/486.09	c current bound: 475
475.30/486.90	c current bound: 475
475.85/487.70	c current bound: 475
476.92/488.66	c current bound: 475
477.65/489.47	c current bound: 475
478.28/490.28	c current bound: 475
479.08/491.08	c current bound: 475
479.88/491.89	c current bound: 475
480.70/492.69	c current bound: 475
481.77/493.64	c current bound: 475
482.31/494.45	c current bound: 475
483.12/495.25	c current bound: 475
484.11/496.06	c current bound: 475
484.73/496.87	c current bound: 475
485.54/497.67	c current bound: 475
486.34/498.48	c current bound: 475
487.15/499.29	c current bound: 475
487.96/500.09	c current bound: 475
489.02/500.90	c current bound: 475
489.81/501.71	c current bound: 475
490.37/502.51	c current bound: 475
491.18/503.32	c current bound: 475
491.98/504.24	c current bound: 475
492.99/505.05	c current bound: 475
493.60/505.86	c current bound: 475
494.40/506.67	c current bound: 475
495.21/507.47	c current bound: 475
496.19/508.28	c current bound: 475
496.83/509.09	c current bound: 475
497.63/509.97	c current bound: 475
498.46/510.78	c current bound: 475
499.44/511.59	c current bound: 475
500.08/512.40	c current bound: 475
500.91/513.23	c current bound: 475
501.73/514.05	c current bound: 475
502.75/514.86	c current bound: 475
503.35/515.68	c current bound: 475
504.18/516.48	c current bound: 475
504.98/517.29	c current bound: 475
506.05/518.11	c current bound: 475
506.62/518.93	c current bound: 475
507.43/519.83	c current bound: 475
508.26/520.63	c current bound: 475
509.28/521.44	c current bound: 475
509.89/522.27	c current bound: 475
510.69/523.07	c current bound: 475
511.79/523.90	c current bound: 475
512.59/524.72	c current bound: 475
513.16/525.61	c current bound: 475
513.99/526.43	c current bound: 475
514.81/527.24	c current bound: 475
515.85/528.06	c current bound: 475
516.45/528.88	c current bound: 475
517.28/529.70	c current bound: 475
518.09/530.52	c current bound: 475
519.14/531.34	c current bound: 475
519.72/532.16	c current bound: 475
520.54/532.98	c current bound: 475
521.37/533.80	c current bound: 475
522.45/534.62	c current bound: 475
523.29/535.58	c current bound: 475
523.83/536.40	c current bound: 475
524.66/537.23	c current bound: 475
525.70/538.05	c current bound: 475
526.31/538.88	c current bound: 475
527.41/539.70	c current bound: 475
528.23/540.64	c current bound: 475
528.78/541.46	c current bound: 475
529.78/542.28	c current bound: 475
530.69/543.10	c current bound: 475
531.22/543.92	c current bound: 475
532.05/544.73	c current bound: 475
533.15/545.72	c current bound: 475
533.70/546.54	c current bound: 475
534.51/547.36	c current bound: 475
535.33/548.18	c current bound: 475
536.32/548.99	c current bound: 475
536.96/549.81	c current bound: 475
538.10/550.77	c current bound: 475
538.65/551.57	c current bound: 475
539.45/552.38	c current bound: 475
540.54/553.20	c current bound: 475
541.08/554.01	c current bound: 475
541.90/554.84	c current bound: 475
542.93/555.66	c current bound: 475
543.79/556.53	c current bound: 475
544.64/557.43	c current bound: 475
545.18/558.25	c current bound: 475
546.01/559.07	c current bound: 475
547.01/559.88	c current bound: 475
547.92/560.70	c current bound: 475
548.45/561.54	c current bound: 475
549.27/562.35	c current bound: 475
550.28/563.16	c current bound: 475
550.89/563.97	c current bound: 475
551.69/564.77	c current bound: 475
552.51/565.58	c current bound: 475
553.31/566.39	c current bound: 475
554.11/567.19	c current bound: 475
554.93/568.00	c current bound: 475
555.96/568.81	c current bound: 475
556.54/569.62	c current bound: 475
557.36/570.43	c current bound: 475
558.18/571.39	c current bound: 475
558.98/572.20	c current bound: 475
560.04/573.01	c current bound: 475
560.61/573.81	c current bound: 475
561.41/574.62	c current bound: 475
562.43/575.45	c current bound: 475
563.29/576.42	c current bound: 475
563.84/577.23	c current bound: 475
564.65/578.04	c current bound: 475
565.47/578.84	c current bound: 475
566.46/579.65	c current bound: 475
567.08/580.46	c current bound: 475
567.90/581.43	c current bound: 475
568.69/582.24	c current bound: 475
569.71/583.07	c current bound: 475
570.32/583.88	c current bound: 475
571.42/584.70	c current bound: 475
572.21/585.50	c current bound: 475
573.02/586.45	c current bound: 475
573.57/587.26	c current bound: 475
574.39/588.09	c current bound: 475
575.21/588.91	c current bound: 475
576.27/589.73	c current bound: 475
576.86/590.55	c current bound: 475
577.95/591.52	c current bound: 475
578.78/592.42	c current bound: 475
579.31/593.24	c current bound: 475
580.35/594.06	c current bound: 475
580.96/594.89	c current bound: 475
581.79/595.71	c current bound: 475
582.60/596.67	c current bound: 475
583.43/597.49	c current bound: 475
584.24/598.31	c current bound: 475
585.06/599.12	c current bound: 475
585.89/599.92	c current bound: 475
586.91/600.72	c current bound: 475
587.75/601.68	c current bound: 475
588.30/602.49	c current bound: 475
589.10/603.30	c current bound: 475
589.92/604.12	c current bound: 475
590.97/604.94	c current bound: 475
591.56/605.76	c current bound: 475
592.37/606.74	c current bound: 475
593.18/607.56	c current bound: 475
594.20/608.39	c current bound: 475
594.84/609.21	c current bound: 475
595.69/610.05	c current bound: 475
596.50/610.87	c current bound: 475
597.60/611.75	c current bound: 475
598.12/612.57	c current bound: 475
598.94/613.39	c current bound: 475
599.77/614.21	c current bound: 475
600.84/615.04	c current bound: 475
601.43/615.84	c current bound: 475
602.22/616.65	c current bound: 475
603.05/617.52	c current bound: 475
604.09/618.33	c current bound: 475
604.68/619.15	c current bound: 475
605.50/619.98	c current bound: 475
606.33/620.79	c current bound: 475
607.39/621.62	c current bound: 475
607.97/622.43	c current bound: 475
608.79/623.27	c current bound: 475
609.63/624.08	c current bound: 475
610.60/624.89	c current bound: 475
611.24/625.72	c current bound: 475
612.07/626.54	c current bound: 475
613.16/627.50	c current bound: 475
613.69/628.29	c current bound: 475
614.50/629.09	c current bound: 475
615.29/629.89	c current bound: 475
616.10/630.72	c current bound: 475
617.15/631.54	c current bound: 475
618.00/632.52	c current bound: 475
618.57/633.35	c current bound: 475
619.39/634.17	c current bound: 475
620.22/634.99	c current bound: 475
621.30/635.81	c current bound: 475
621.85/636.63	c current bound: 475
622.96/637.62	c current bound: 475
623.49/638.44	c current bound: 475
624.53/639.24	c current bound: 475
625.11/640.06	c current bound: 475
625.93/640.89	c current bound: 475
626.76/641.71	c current bound: 475
627.85/642.61	c current bound: 475
628.64/643.43	c current bound: 475
629.21/644.24	c current bound: 475
630.03/645.05	c current bound: 475
631.04/645.87	c current bound: 475
631.65/646.68	c current bound: 475
632.46/647.48	c current bound: 475
633.26/648.31	c current bound: 475
634.32/649.14	c current bound: 475
634.89/649.95	c current bound: 475
635.71/650.77	c current bound: 475
636.54/651.59	c current bound: 475
637.62/652.42	c current bound: 475
638.19/653.24	c current bound: 475
639.01/654.06	c current bound: 475
639.82/654.88	c current bound: 475
640.93/655.70	c current bound: 475
641.47/656.52	c current bound: 475
642.31/657.33	c current bound: 475
643.39/658.34	c current bound: 475
643.93/659.17	c current bound: 475
644.93/659.99	c current bound: 475
645.56/660.81	c current bound: 475
646.38/661.63	c current bound: 475
647.21/662.45	c current bound: 475
648.29/663.46	c current bound: 475
648.84/664.28	c current bound: 475
649.94/665.10	c current bound: 475
650.48/665.92	c current bound: 475
651.54/666.73	c current bound: 475
652.12/667.55	c current bound: 475
652.94/668.48	c current bound: 475
654.03/669.30	c current bound: 475
654.55/670.11	c current bound: 475
655.61/670.93	c current bound: 475
656.20/671.76	c current bound: 475
657.03/672.58	c current bound: 475
658.12/673.50	c current bound: 475
658.81/674.30	c current bound: 475
659.46/675.10	c current bound: 475
660.26/675.90	c current bound: 475
661.06/676.71	c current bound: 475
662.13/677.50	c current bound: 475
662.66/678.31	c current bound: 475
663.46/679.12	c current bound: 475
664.51/679.92	c current bound: 475
665.07/680.72	c current bound: 475
665.87/681.52	c current bound: 475
666.66/682.32	c current bound: 475
667.69/683.12	c current bound: 475
668.26/683.93	c current bound: 475
669.08/684.74	c current bound: 475
669.88/685.54	c current bound: 475
670.91/686.34	c current bound: 475
671.48/687.14	c current bound: 475
672.29/687.96	c current bound: 475
673.34/688.92	c current bound: 475
674.15/689.72	c current bound: 475
674.72/690.52	c current bound: 475
675.51/691.33	c current bound: 475
676.31/692.12	c current bound: 475
677.34/692.92	c current bound: 475
677.90/693.73	c current bound: 475
678.99/694.60	c current bound: 475
679.53/695.42	c current bound: 475
680.59/696.24	c current bound: 475
681.19/697.06	c current bound: 475
682.01/697.88	c current bound: 475
682.83/698.70	c current bound: 475
683.90/699.52	c current bound: 475
684.46/700.34	c current bound: 475
685.29/701.14	c current bound: 475
686.29/701.97	c current bound: 475
686.90/702.78	c current bound: 475
687.72/703.60	c current bound: 475
688.54/704.61	c current bound: 475
689.38/705.43	c current bound: 475
690.41/706.24	c current bound: 475
690.99/707.06	c current bound: 475
691.81/707.87	c current bound: 475
692.62/708.67	c current bound: 475
693.67/709.63	c current bound: 475
694.23/710.43	c current bound: 475
695.04/711.25	c current bound: 475
695.85/712.05	c current bound: 475
696.86/712.88	c current bound: 475
697.48/713.70	c current bound: 475
698.58/714.69	c current bound: 475
699.11/715.50	c current bound: 475
699.93/716.33	c current bound: 475
700.99/717.14	c current bound: 475
701.57/717.96	c current bound: 475
702.39/718.78	c current bound: 475
703.49/719.76	c current bound: 475
704.23/720.58	c current bound: 475
704.85/721.39	c current bound: 475
705.67/722.21	c current bound: 475
706.49/723.03	c current bound: 475
707.54/723.85	c current bound: 475
708.37/724.82	c current bound: 475
708.92/725.64	c current bound: 475
709.74/726.45	c current bound: 475
710.75/727.27	c current bound: 475
711.37/728.08	c current bound: 475
712.18/728.88	c current bound: 475
712.99/729.79	c current bound: 475
713.79/730.62	c current bound: 475
714.86/731.45	c current bound: 475
715.46/732.27	c current bound: 475
716.28/733.11	c current bound: 475
717.14/733.95	c current bound: 475
718.25/734.94	c current bound: 475
718.79/735.76	c current bound: 475
719.61/736.58	c current bound: 475
720.46/737.41	c current bound: 475
721.50/738.23	c current bound: 475
722.12/739.06	c current bound: 475
722.92/739.98	c current bound: 475
723.72/740.78	c current bound: 475
724.54/741.60	c current bound: 475
725.58/742.41	c current bound: 475
726.16/743.22	c current bound: 475
726.96/744.03	c current bound: 475
727.99/744.85	c current bound: 475
728.85/745.72	c current bound: 475
729.42/746.52	c current bound: 475
730.22/747.35	c current bound: 475
731.25/748.15	c current bound: 475
731.85/748.97	c current bound: 475
732.68/749.79	c current bound: 475
733.50/750.61	c current bound: 475
734.56/751.43	c current bound: 475
735.12/752.24	c current bound: 475
735.95/753.06	c current bound: 475
736.76/753.86	c current bound: 475
737.76/754.67	c current bound: 475
738.68/755.66	c current bound: 475
739.21/756.48	c current bound: 475
740.04/757.28	c current bound: 475
740.84/758.11	c current bound: 475
741.92/758.93	c current bound: 475
742.48/759.72	c current bound: 475
743.57/760.71	c current bound: 475
744.11/761.51	c current bound: 475
745.17/762.32	c current bound: 475
745.72/763.14	c current bound: 475
746.54/763.96	c current bound: 475
747.36/764.78	c current bound: 475
748.46/765.81	c current bound: 475
749.26/766.63	c current bound: 475
749.82/767.45	c current bound: 475
750.64/768.25	c current bound: 475
751.64/769.08	c current bound: 475
752.56/769.90	c current bound: 475
753.08/770.88	c current bound: 475
753.90/771.69	c current bound: 475
754.73/772.50	c current bound: 475
755.78/773.32	c current bound: 475
756.36/774.14	c current bound: 475
757.17/774.94	c current bound: 475
757.97/775.90	c current bound: 475
759.03/776.74	c current bound: 475
759.61/777.56	c current bound: 475
760.43/778.38	c current bound: 475
761.25/779.19	c current bound: 475
762.32/780.02	c current bound: 475
763.17/781.01	c current bound: 475
763.72/781.84	c current bound: 475
764.55/782.66	c current bound: 475
765.38/783.49	c current bound: 475
766.37/784.29	c current bound: 475
767.01/785.11	c current bound: 475
767.82/786.02	c current bound: 475
768.63/786.84	c current bound: 475
769.66/787.64	c current bound: 475
770.26/788.44	c current bound: 475
771.07/789.27	c current bound: 475
771.87/790.08	c current bound: 475
772.86/790.90	c current bound: 475
773.51/791.75	c current bound: 475
774.31/792.55	c current bound: 475
775.11/793.35	c current bound: 475
776.12/794.17	c current bound: 475
776.74/795.00	c current bound: 475
777.57/795.81	c current bound: 475
778.37/796.63	c current bound: 475
779.43/797.44	c current bound: 475
780.01/798.28	c current bound: 475
781.14/799.10	c current bound: 475
781.67/799.92	c current bound: 475
782.73/800.73	c current bound: 475
783.30/801.55	c current bound: 475
784.39/802.40	c current bound: 475
784.93/803.22	c current bound: 475
785.98/804.03	c current bound: 475
786.56/804.86	c current bound: 475
787.38/805.65	c current bound: 475
788.38/806.47	c current bound: 475
789.21/807.37	c current bound: 475
790.12/808.20	c current bound: 475
790.65/809.02	c current bound: 475
791.46/809.83	c current bound: 475
792.50/810.65	c current bound: 475
793.10/811.46	c current bound: 475
793.93/812.29	c current bound: 475
794.74/813.09	c current bound: 475
795.83/813.90	c current bound: 475
796.36/814.70	c current bound: 475
797.17/815.50	c current bound: 475
798.21/816.33	c current bound: 475
798.79/817.14	c current bound: 475
799.61/817.96	c current bound: 475
800.43/818.78	c current bound: 475
801.52/819.60	c current bound: 475
802.34/820.40	c current bound: 475
802.87/821.22	c current bound: 475
803.69/822.21	c current bound: 475
804.51/823.04	c current bound: 475
805.56/823.86	c current bound: 475
806.15/824.68	c current bound: 475
806.97/825.50	c current bound: 475
807.79/826.33	c current bound: 475
808.88/827.36	c current bound: 475
809.44/828.19	c current bound: 475
810.28/829.01	c current bound: 475
811.09/829.82	c current bound: 475
812.13/830.64	c current bound: 475
812.72/831.46	c current bound: 475
813.83/832.43	c current bound: 475
814.38/833.25	c current bound: 475
815.18/834.07	c current bound: 475
816.19/834.88	c current bound: 475
816.82/835.70	c current bound: 475
817.64/836.52	c current bound: 475
818.46/837.51	c current bound: 475
819.50/838.34	c current bound: 475
820.09/839.17	c current bound: 475
820.92/839.99	c current bound: 475
821.75/840.78	c current bound: 475
822.72/841.58	c current bound: 475
823.61/842.57	c current bound: 475
824.19/843.38	c current bound: 475
824.98/844.18	c current bound: 475
825.80/844.99	c current bound: 475
826.86/845.81	c current bound: 475
827.42/846.62	c current bound: 475
828.22/847.55	c current bound: 475
829.03/848.35	c current bound: 475
830.05/849.16	c current bound: 475
830.66/849.97	c current bound: 475
831.46/850.78	c current bound: 475
832.27/851.58	c current bound: 475
833.08/852.39	c current bound: 475
833.89/853.28	c current bound: 475
835.00/854.10	c current bound: 475
835.53/854.91	c current bound: 475
836.61/855.73	c current bound: 475
837.18/856.55	c current bound: 475
837.99/857.35	c current bound: 475
838.99/858.17	c current bound: 475
839.62/858.99	c current bound: 475
840.44/859.81	c current bound: 475
841.25/860.63	c current bound: 475
842.29/861.45	c current bound: 475
842.90/862.27	c current bound: 475
844.02/863.26	c current bound: 475
844.55/864.08	c current bound: 475
845.37/864.90	c current bound: 475
846.45/865.71	c current bound: 475
847.00/866.53	c current bound: 475
847.82/867.35	c current bound: 475
848.64/868.33	c current bound: 475
849.68/869.15	c current bound: 475
850.28/869.97	c current bound: 475
851.10/870.79	c current bound: 475
851.93/871.62	c current bound: 475
853.04/872.52	c current bound: 475
853.85/873.50	c current bound: 475
854.39/874.32	c current bound: 475
855.21/875.16	c current bound: 475
856.05/875.96	c current bound: 475
857.05/876.78	c current bound: 475
857.68/877.61	c current bound: 475
858.51/878.58	c current bound: 475
859.33/879.39	c current bound: 475
860.14/880.21	c current bound: 475
861.21/881.03	c current bound: 475
861.78/881.85	c current bound: 475
862.61/882.67	c current bound: 475
863.70/883.67	c current bound: 475
864.42/884.49	c current bound: 475
865.07/885.31	c current bound: 475
865.89/886.13	c current bound: 475
866.72/886.94	c current bound: 475
867.73/887.76	c current bound: 475
868.58/888.76	c current bound: 475
869.13/889.56	c current bound: 475
869.95/890.38	c current bound: 475
870.75/891.18	c current bound: 475
871.55/891.99	c current bound: 475
872.35/892.78	c current bound: 475
873.42/893.73	c current bound: 475
873.96/894.55	c current bound: 475
874.98/895.35	c current bound: 475
875.58/896.15	c current bound: 475
876.38/896.95	c current bound: 475
877.39/897.75	c current bound: 475
877.98/898.55	c current bound: 475
878.80/899.42	c current bound: 475
879.61/900.24	c current bound: 475
880.65/901.07	c current bound: 475
881.26/901.88	c current bound: 475
882.08/902.71	c current bound: 475
882.89/903.52	c current bound: 475
883.94/904.32	c current bound: 475
884.51/905.11	c current bound: 475
885.31/905.93	c current bound: 475
886.13/906.73	c current bound: 475
887.14/907.55	c current bound: 475
887.74/908.37	c current bound: 475
888.85/909.34	c current bound: 475
889.38/910.15	c current bound: 475
890.39/910.97	c current bound: 475
891.02/911.79	c current bound: 475
891.83/912.58	c current bound: 475
892.65/913.40	c current bound: 475
893.70/914.33	c current bound: 475
894.48/915.14	c current bound: 475
895.05/915.94	c current bound: 475
895.87/916.76	c current bound: 475
896.68/917.59	c current bound: 475
897.52/918.39	c current bound: 475
898.31/919.19	c current bound: 475
899.11/920.05	c current bound: 475
900.11/920.88	c current bound: 475
900.75/921.70	c current bound: 475
901.56/922.52	c current bound: 475
902.38/923.34	c current bound: 475
903.42/924.16	c current bound: 475
904.04/924.98	c current bound: 475
904.86/925.81	c current bound: 475
905.68/926.63	c current bound: 475
906.71/927.44	c current bound: 475
907.31/928.26	c current bound: 475
908.14/929.08	c current bound: 475
909.24/930.20	c current bound: 475
909.77/931.03	c current bound: 475
910.82/931.85	c current bound: 475
911.42/932.67	c current bound: 475
912.25/933.49	c current bound: 475
913.06/934.28	c current bound: 475
914.12/935.22	c current bound: 475
914.91/936.04	c current bound: 475
915.50/936.87	c current bound: 475
916.33/937.69	c current bound: 475
917.15/938.51	c current bound: 475
918.21/939.34	c current bound: 475
918.79/940.28	c current bound: 475
919.63/941.11	c current bound: 475
920.46/941.93	c current bound: 475
921.50/942.75	c current bound: 475
922.09/943.57	c current bound: 475
922.91/944.39	c current bound: 475
923.73/945.38	c current bound: 475
924.55/946.20	c current bound: 475
925.63/947.03	c current bound: 475
926.20/947.85	c current bound: 475
927.02/948.67	c current bound: 475
927.85/949.47	c current bound: 475
928.91/950.44	c current bound: 475
929.46/951.26	c current bound: 475
930.28/952.07	c current bound: 475
931.10/952.89	c current bound: 475
932.20/953.70	c current bound: 475
932.74/954.52	c current bound: 475
933.84/955.53	c current bound: 475
934.37/956.35	c current bound: 475
935.39/957.16	c current bound: 475
936.00/957.98	c current bound: 475
936.80/958.81	c current bound: 475
937.65/959.63	c current bound: 475
938.74/960.58	c current bound: 475
939.47/961.40	c current bound: 475
940.12/962.22	c current bound: 475
940.94/963.02	c current bound: 475
941.75/963.84	c current bound: 475
942.78/964.65	c current bound: 475
943.66/965.62	c current bound: 475
944.20/966.44	c current bound: 475
945.02/967.26	c current bound: 475
946.03/968.08	c current bound: 475
946.66/968.90	c current bound: 475
947.48/969.72	c current bound: 475
948.59/970.70	c current bound: 475
949.13/971.53	c current bound: 475
950.18/972.36	c current bound: 475
950.79/973.19	c current bound: 475
951.60/974.01	c current bound: 475
952.43/974.83	c current bound: 475
953.54/975.72	c current bound: 475
954.07/976.53	c current bound: 475
954.89/977.35	c current bound: 475
955.71/978.17	c current bound: 475
956.70/978.99	c current bound: 475
957.34/979.81	c current bound: 475
958.17/980.63	c current bound: 475
958.99/981.46	c current bound: 475
959.98/982.28	c current bound: 475
960.60/983.10	c current bound: 475
961.42/983.92	c current bound: 475
962.24/984.74	c current bound: 475
963.29/985.56	c current bound: 475
963.89/986.38	c current bound: 475
964.70/987.19	c current bound: 475
965.52/988.01	c current bound: 475
966.59/988.83	c current bound: 475
967.16/989.65	c current bound: 475
967.98/990.48	c current bound: 475
968.81/991.45	c current bound: 475
969.84/992.26	c current bound: 475
970.44/993.08	c current bound: 475
971.26/993.89	c current bound: 475
972.08/994.71	c current bound: 475
973.16/995.53	c current bound: 475
973.72/996.47	c current bound: 475
974.54/997.28	c current bound: 475
975.36/998.10	c current bound: 475
976.43/998.92	c current bound: 475
976.99/999.75	c current bound: 475
977.81/1000.56	c current bound: 475
978.64/1001.53	c current bound: 475
979.46/1002.35	c current bound: 475
980.49/1003.17	c current bound: 475
981.10/1003.98	c current bound: 475
982.19/1004.80	c current bound: 475
982.74/1005.62	c current bound: 475
983.83/1006.61	c current bound: 475
984.38/1007.43	c current bound: 475
985.20/1008.24	c current bound: 475
986.01/1009.06	c current bound: 475
987.04/1009.89	c current bound: 475
987.65/1010.70	c current bound: 475
988.49/1011.73	c current bound: 475
989.30/1012.53	c current bound: 475
990.10/1013.34	c current bound: 475
991.14/1014.17	c current bound: 475
992.04/1015.00	c current bound: 475
992.58/1015.81	c current bound: 475
993.39/1016.78	c current bound: 475
994.48/1017.60	c current bound: 475
995.30/1018.40	c current bound: 475
995.82/1019.22	c current bound: 475
996.65/1020.04	c current bound: 475
997.69/1020.86	c current bound: 475
998.54/1021.84	c current bound: 475
999.11/1022.64	c current bound: 475
999.91/1023.46	c current bound: 475
1000.92/1024.27	c current bound: 475
1001.84/1025.10	c current bound: 475
1002.37/1025.93	c current bound: 475
1003.48/1026.91	c current bound: 475
1004.02/1027.72	c current bound: 475
1005.07/1028.54	c current bound: 475
1005.66/1029.36	c current bound: 475
1006.47/1030.18	c current bound: 475
1007.58/1031.00	c current bound: 475
1008.38/1031.96	c current bound: 475
1008.93/1032.78	c current bound: 475
1009.74/1033.62	c current bound: 475
1010.58/1034.44	c current bound: 475
1011.61/1035.27	c current bound: 475
1012.52/1036.10	c current bound: 475
1013.08/1037.09	c current bound: 475
1013.90/1037.91	c current bound: 475
1014.72/1038.73	c current bound: 475
1015.77/1039.55	c current bound: 475
1016.36/1040.37	c current bound: 475
1017.18/1041.19	c current bound: 475
1017.99/1042.14	c current bound: 475
1019.02/1042.96	c current bound: 475
1019.63/1043.78	c current bound: 475
1020.45/1044.61	c current bound: 475
1021.27/1045.42	c current bound: 475
1022.32/1046.24	c current bound: 475
1023.20/1047.22	c current bound: 475
1023.74/1048.02	c current bound: 475
1024.54/1048.83	c current bound: 475
1025.37/1049.65	c current bound: 475
1026.39/1050.48	c current bound: 475
1027.28/1051.30	c current bound: 475
1027.82/1052.25	c current bound: 475
1028.65/1053.08	c current bound: 475
1029.76/1053.90	c current bound: 475
1030.30/1054.72	c current bound: 475
1031.11/1055.54	c current bound: 475
1031.94/1056.36	c current bound: 475
1033.02/1057.32	c current bound: 475
1033.79/1058.14	c current bound: 475
1034.39/1058.96	c current bound: 475
1035.50/1059.80	c current bound: 475
1036.05/1060.62	c current bound: 475
1037.10/1061.44	c current bound: 475
1037.69/1062.41	c current bound: 475
1038.54/1063.25	c current bound: 475
1039.36/1064.07	c current bound: 475
1040.35/1064.89	c current bound: 475
1041.00/1065.70	c current bound: 475
1041.82/1066.53	c current bound: 475
1042.64/1067.49	c current bound: 475
1043.47/1068.31	c current bound: 475
1044.54/1069.14	c current bound: 475
1045.11/1069.96	c current bound: 475
1045.93/1070.77	c current bound: 475
1047.04/1071.60	c current bound: 475
1047.85/1072.57	c current bound: 475
1048.40/1073.38	c current bound: 475
1049.49/1074.20	c current bound: 475
1050.03/1075.00	c current bound: 475
1051.09/1075.82	c current bound: 475
1051.66/1076.65	c current bound: 475
1052.77/1077.61	c current bound: 475
1053.30/1078.43	c current bound: 475
1054.34/1079.26	c current bound: 475
1054.93/1080.07	c current bound: 475
1055.75/1080.89	c current bound: 475
1056.57/1081.72	c current bound: 475
1057.63/1082.58	c current bound: 475
1058.20/1083.39	c current bound: 475
1059.02/1084.21	c current bound: 475
1059.83/1085.02	c current bound: 475
1060.88/1085.85	c current bound: 475
1061.48/1086.66	c current bound: 475
1062.30/1087.49	c current bound: 475
1063.11/1088.34	c current bound: 475
1064.14/1089.14	c current bound: 475
1064.73/1089.96	c current bound: 475
1065.56/1090.78	c current bound: 475
1066.65/1091.60	c current bound: 475
1067.44/1092.42	c current bound: 475
1068.00/1093.24	c current bound: 475
1068.82/1094.08	c current bound: 475
1069.95/1094.90	c current bound: 475
1070.74/1095.72	c current bound: 475
1071.31/1096.54	c current bound: 475
1072.12/1097.36	c current bound: 475
1072.94/1098.37	c current bound: 475
1073.77/1099.19	c current bound: 475
1074.74/1099.99	c current bound: 475
1075.39/1100.80	c current bound: 475
1076.21/1101.63	c current bound: 475
1077.03/1102.44	c current bound: 475
1078.11/1103.44	c current bound: 475
1078.66/1104.26	c current bound: 475
1079.48/1105.07	c current bound: 475
1080.30/1105.90	c current bound: 475
1081.37/1106.73	c current bound: 475
1081.95/1107.55	c current bound: 475
1083.06/1108.55	c current bound: 475
1083.60/1109.37	c current bound: 475
1084.43/1110.19	c current bound: 475
1085.50/1111.01	c current bound: 475
1086.08/1111.83	c current bound: 475
1086.88/1112.65	c current bound: 475
1087.99/1113.63	c current bound: 475
1088.74/1114.45	c current bound: 475
1089.34/1115.28	c current bound: 475
1090.17/1116.08	c current bound: 475
1090.97/1116.90	c current bound: 475
1092.05/1117.72	c current bound: 475
1092.92/1118.70	c current bound: 475
1093.44/1119.53	c current bound: 475
1094.26/1120.35	c current bound: 475
1095.08/1121.16	c current bound: 475
1096.10/1121.98	c current bound: 475
1097.01/1122.80	c current bound: 475
1097.82/1123.74	c current bound: 475
1098.36/1124.56	c current bound: 475
1099.38/1125.38	c current bound: 475
1099.99/1126.21	c current bound: 475
1100.86/1127.06	c current bound: 475
1101.67/1127.88	c current bound: 475
1102.78/1128.85	c current bound: 475
1103.52/1129.67	c current bound: 475
1104.13/1130.49	c current bound: 475
1104.96/1131.29	c current bound: 475
1105.76/1132.11	c current bound: 475
1106.82/1132.93	c current bound: 475
1107.41/1133.89	c current bound: 475
1108.23/1134.71	c current bound: 475
1109.04/1135.52	c current bound: 475
1110.09/1136.34	c current bound: 475
1110.66/1137.15	c current bound: 475
1111.49/1137.98	c current bound: 475
1112.59/1138.98	c current bound: 475
1113.41/1139.80	c current bound: 475
1114.20/1140.62	c current bound: 475
1114.77/1141.44	c current bound: 475
1115.59/1142.26	c current bound: 475
1116.61/1143.08	c current bound: 475
1117.51/1144.06	c current bound: 475
1118.05/1144.87	c current bound: 475
1118.88/1145.69	c current bound: 475
1119.69/1146.51	c current bound: 475
1120.75/1147.34	c current bound: 475
1121.33/1148.16	c current bound: 475
1122.16/1149.12	c current bound: 475
1122.97/1149.94	c current bound: 475
1124.01/1150.77	c current bound: 475
1124.63/1151.59	c current bound: 475
1125.73/1152.55	c current bound: 475
1126.26/1153.36	c current bound: 475
1127.08/1154.35	c current bound: 475
1128.10/1155.16	c current bound: 475
1128.70/1155.97	c current bound: 475
1129.52/1156.79	c current bound: 475
1130.34/1157.61	c current bound: 475
1131.40/1158.42	c current bound: 475
1132.26/1159.44	c current bound: 475
1132.79/1160.25	c current bound: 475
1133.61/1161.07	c current bound: 475
1134.42/1161.88	c current bound: 475
1135.52/1162.71	c current bound: 475
1136.06/1163.53	c current bound: 475
1136.89/1164.48	c current bound: 475
1137.98/1165.30	c current bound: 475
1138.77/1166.12	c current bound: 475
1139.34/1166.94	c current bound: 475
1140.16/1167.76	c current bound: 475
1140.98/1168.58	c current bound: 475
1142.09/1169.55	c current bound: 475
1142.83/1170.38	c current bound: 475
1143.45/1171.21	c current bound: 475
1144.28/1172.02	c current bound: 475
1145.09/1172.81	c current bound: 475
1146.15/1173.63	c current bound: 475
1147.00/1174.61	c current bound: 475
1147.53/1175.42	c current bound: 475
1148.36/1176.23	c current bound: 475
1149.36/1177.04	c current bound: 475
1149.95/1177.85	c current bound: 475
1150.77/1178.66	c current bound: 475
1151.58/1179.61	c current bound: 475
1152.62/1180.42	c current bound: 475
1153.21/1181.23	c current bound: 475
1154.02/1182.04	c current bound: 475
1154.83/1182.85	c current bound: 475
1155.83/1183.67	c current bound: 475
1156.71/1184.68	c current bound: 475
1157.28/1185.49	c current bound: 475
1158.10/1186.30	c current bound: 475
1158.90/1187.11	c current bound: 475
1159.94/1187.93	c current bound: 475
1160.52/1188.73	c current bound: 475
1161.32/1189.73	c current bound: 475
1162.14/1190.54	c current bound: 475
1163.17/1191.35	c current bound: 475
1163.77/1192.16	c current bound: 475
1164.58/1192.97	c current bound: 475
1165.37/1193.77	c current bound: 475
1166.45/1194.71	c current bound: 475
1166.99/1195.52	c current bound: 475
1167.80/1196.32	c current bound: 475
1168.62/1197.13	c current bound: 475
1169.63/1197.94	c current bound: 475
1170.24/1198.76	c current bound: 475
1171.05/1199.56	c current bound: 475
1171.86/1200.37	c current bound: 475
1172.85/1201.18	c current bound: 475
1173.75/1202.00	c current bound: 475
1174.29/1202.81	c current bound: 475
1175.10/1203.61	c current bound: 475
1176.15/1204.43	c current bound: 475
1176.73/1205.23	c current bound: 475
1177.54/1206.04	c current bound: 475
1178.54/1206.87	c current bound: 475
1179.17/1207.68	c current bound: 475
1179.99/1208.49	c current bound: 475
1181.07/1209.30	c current bound: 475
1181.87/1210.28	c current bound: 475
1182.58/1211.10	c current bound: 475
1183.23/1211.91	c current bound: 475
1184.04/1212.71	c current bound: 475
1184.85/1213.52	c current bound: 475
1185.87/1214.34	c current bound: 475
1186.47/1215.30	c current bound: 475
1187.28/1216.11	c current bound: 475
1188.09/1216.92	c current bound: 475
1189.13/1217.74	c current bound: 475
1189.73/1218.55	c current bound: 475
1190.53/1219.35	c current bound: 475
1191.34/1220.32	c current bound: 475
1192.36/1221.15	c current bound: 475
1192.97/1221.96	c current bound: 475
1193.78/1222.76	c current bound: 475
1194.60/1223.57	c current bound: 475
1195.59/1224.39	c current bound: 475
1196.48/1225.33	c current bound: 475
1197.02/1226.14	c current bound: 475
1197.84/1226.95	c current bound: 475
1198.85/1227.78	c current bound: 475
1199.47/1228.58	c current bound: 475
1200.29/1229.39	c current bound: 475
1201.36/1230.35	c current bound: 475
1201.90/1231.17	c current bound: 475
1202.91/1231.98	c current bound: 475
1203.53/1232.80	c current bound: 475
1204.33/1233.62	c current bound: 475
1205.16/1234.44	c current bound: 475
1206.25/1235.39	c current bound: 475
1206.80/1236.20	c current bound: 475
1207.61/1237.02	c current bound: 475
1208.43/1237.84	c current bound: 475
1209.46/1238.66	c current bound: 475
1210.07/1239.48	c current bound: 475
1210.89/1240.47	c current bound: 475
1211.72/1241.29	c current bound: 475
1212.54/1242.12	c current bound: 475
1213.60/1242.94	c current bound: 475
1214.18/1243.76	c current bound: 475
1214.99/1244.58	c current bound: 475
1216.10/1245.55	c current bound: 475
1216.84/1246.38	c current bound: 475
1217.47/1247.21	c current bound: 475
1218.33/1248.05	c current bound: 475
1219.15/1248.88	c current bound: 475
1220.26/1249.70	c current bound: 475
1221.08/1250.64	c current bound: 475
1221.62/1251.46	c current bound: 475
1222.44/1252.28	c current bound: 475
1223.27/1253.10	c current bound: 475
1224.33/1253.92	c current bound: 475
1224.90/1254.74	c current bound: 475
1225.72/1255.73	c current bound: 475
1226.54/1256.55	c current bound: 475
1227.56/1257.37	c current bound: 475
1228.18/1258.19	c current bound: 475
1229.00/1258.99	c current bound: 475
1229.80/1259.81	c current bound: 475
1230.91/1260.75	c current bound: 475
1231.45/1261.57	c current bound: 475
1232.27/1262.39	c current bound: 475
1233.09/1263.21	c current bound: 475
1234.15/1264.05	c current bound: 475
1234.76/1264.88	c current bound: 475
1235.57/1265.86	c current bound: 475
1236.38/1266.67	c current bound: 475
1237.20/1267.51	c current bound: 475
1238.29/1268.32	c current bound: 475
1238.86/1269.14	c current bound: 475
1239.67/1269.95	c current bound: 475
1240.77/1270.93	c current bound: 475
1241.53/1271.74	c current bound: 475
1242.13/1272.58	c current bound: 475
1242.96/1273.39	c current bound: 475
1243.77/1274.20	c current bound: 475
1244.84/1275.02	c current bound: 475
1245.68/1275.99	c current bound: 475
1246.20/1276.80	c current bound: 475
1247.02/1277.62	c current bound: 475
1247.85/1278.44	c current bound: 475
1248.87/1279.26	c current bound: 475
1249.48/1280.09	c current bound: 475
1250.30/1281.11	c current bound: 475
1251.12/1281.93	c current bound: 475
1252.18/1282.75	c current bound: 475
1252.76/1283.56	c current bound: 475
1253.59/1284.39	c current bound: 475
1254.41/1285.21	c current bound: 475
1255.52/1286.15	c current bound: 475
1256.26/1286.97	c current bound: 475
1257.16/1287.80	c current bound: 475
1257.69/1288.61	c current bound: 475
1258.52/1289.43	c current bound: 475
1259.55/1290.26	c current bound: 475
1260.16/1291.22	c current bound: 475
1260.96/1292.04	c current bound: 475
1261.79/1292.87	c current bound: 475
1262.79/1293.69	c current bound: 475
1263.43/1294.51	c current bound: 475
1264.27/1295.35	c current bound: 475
1265.37/1296.35	c current bound: 475
1265.92/1297.17	c current bound: 475
1266.92/1297.99	c current bound: 475
1267.55/1298.80	c current bound: 475
1268.37/1299.62	c current bound: 475
1269.18/1300.44	c current bound: 475
1270.24/1301.38	c current bound: 475
1271.09/1302.20	c current bound: 475
1271.63/1303.02	c current bound: 475
1272.45/1303.84	c current bound: 475
1273.48/1304.66	c current bound: 475
1274.08/1305.49	c current bound: 475
1274.91/1306.43	c current bound: 475
1275.74/1307.26	c current bound: 475
1276.57/1308.06	c current bound: 475
1277.37/1308.88	c current bound: 475
1278.47/1309.70	c current bound: 475
1279.02/1310.53	c current bound: 475
1280.14/1311.58	c current bound: 475
1280.94/1312.40	c current bound: 475
1281.49/1313.22	c current bound: 475
1282.31/1314.03	c current bound: 475
1283.13/1314.85	c current bound: 475
1284.15/1315.69	c current bound: 475
1285.06/1316.68	c current bound: 475
1285.61/1317.49	c current bound: 475
1286.42/1318.31	c current bound: 475
1287.24/1319.12	c current bound: 475
1288.30/1319.95	c current bound: 475
1288.88/1320.76	c current bound: 475
1290.01/1321.79	c current bound: 475
1290.83/1322.60	c current bound: 475
1291.62/1323.42	c current bound: 475
1292.18/1324.24	c current bound: 475
1292.99/1325.06	c current bound: 475
1293.84/1325.89	c current bound: 475
1294.93/1326.86	c current bound: 475
1295.66/1327.68	c current bound: 475
1296.28/1328.49	c current bound: 475
1297.10/1329.31	c current bound: 475
1297.91/1330.13	c current bound: 475
1298.96/1330.94	c current bound: 475
1299.85/1331.90	c current bound: 475
1300.37/1332.72	c current bound: 475
1301.20/1333.54	c current bound: 475
1302.24/1334.36	c current bound: 475
1302.85/1335.17	c current bound: 475
1303.65/1335.99	c current bound: 475
1304.47/1336.95	c current bound: 475
1305.50/1337.77	c current bound: 475
1306.11/1338.59	c current bound: 475
1306.93/1339.40	c current bound: 475
1307.74/1340.22	c current bound: 475
1308.80/1341.04	c current bound: 475
1309.68/1342.00	c current bound: 475
1310.21/1342.82	c current bound: 475
1311.03/1343.64	c current bound: 475
1311.84/1344.46	c current bound: 475
1312.87/1345.28	c current bound: 475
1313.48/1346.09	c current bound: 475
1314.30/1347.07	c current bound: 475
1315.12/1347.89	c current bound: 475
1316.20/1348.72	c current bound: 475
1316.76/1349.53	c current bound: 475
1317.58/1350.36	c current bound: 475
1318.41/1351.18	c current bound: 475
1319.51/1352.15	c current bound: 475
1320.25/1352.98	c current bound: 475
1320.88/1353.81	c current bound: 475
1321.71/1354.64	c current bound: 475
1322.55/1355.48	c current bound: 475
1323.56/1356.30	c current bound: 475
1324.21/1357.29	c current bound: 475
1325.03/1358.11	c current bound: 475
1325.84/1358.92	c current bound: 475
1326.89/1359.74	c current bound: 475
1327.48/1360.56	c current bound: 475
1328.29/1361.37	c current bound: 475
1329.12/1362.32	c current bound: 475
1329.94/1363.15	c current bound: 475
1330.96/1363.98	c current bound: 475
1331.59/1364.80	c current bound: 475
1332.41/1365.63	c current bound: 475
1333.24/1366.45	c current bound: 475
1334.33/1367.41	c current bound: 475
1334.87/1368.23	c current bound: 475
1335.69/1369.05	c current bound: 475
1336.52/1369.87	c current bound: 475
1337.53/1370.67	c current bound: 475
1338.14/1371.49	c current bound: 475
1338.96/1372.44	c current bound: 475
1339.79/1373.27	c current bound: 475
1340.61/1374.09	c current bound: 475
1341.70/1374.91	c current bound: 475
1342.27/1375.74	c current bound: 475
1343.08/1376.56	c current bound: 475
1344.18/1377.56	c current bound: 475
1344.91/1378.37	c current bound: 475
1345.53/1379.19	c current bound: 475
1346.36/1380.01	c current bound: 475
1347.17/1380.82	c current bound: 475
1348.22/1381.64	c current bound: 475
1349.08/1382.61	c current bound: 475
1349.63/1383.43	c current bound: 475
1350.44/1384.25	c current bound: 475
1351.47/1385.07	c current bound: 475
1352.09/1385.89	c current bound: 475
1352.90/1386.71	c current bound: 475
1354.03/1387.72	c current bound: 475
1354.57/1388.52	c current bound: 475
1355.60/1389.34	c current bound: 475
1356.17/1390.16	c current bound: 475
1357.00/1390.97	c current bound: 475
1358.11/1391.80	c current bound: 475
1358.93/1392.74	c current bound: 475
1359.47/1393.56	c current bound: 475
1360.31/1394.39	c current bound: 475
1361.11/1395.21	c current bound: 475
1362.17/1396.03	c current bound: 475
1362.75/1396.85	c current bound: 475
1363.57/1397.73	c current bound: 475
1364.40/1398.55	c current bound: 475
1365.43/1399.37	c current bound: 475
1366.05/1400.18	c current bound: 475
1367.16/1401.00	c current bound: 475
1367.69/1401.82	c current bound: 475
1368.74/1402.64	c current bound: 475
1369.60/1403.51	c current bound: 475
1370.16/1404.33	c current bound: 475
1370.98/1405.16	c current bound: 475
1371.81/1405.99	c current bound: 475
1372.89/1406.81	c current bound: 475
1373.45/1407.63	c current bound: 475
1374.27/1408.45	c current bound: 475
1375.30/1409.26	c current bound: 475
1375.91/1410.08	c current bound: 475
1377.01/1410.90	c current bound: 475
1377.53/1411.71	c current bound: 475
1378.59/1412.53	c current bound: 475
1379.44/1413.53	c current bound: 475
1380.00/1414.35	c current bound: 475
1380.84/1415.18	c current bound: 475
1381.65/1415.99	c current bound: 475
1382.72/1416.82	c current bound: 475
1383.28/1417.64	c current bound: 475
1384.38/1418.61	c current bound: 475
1384.96/1419.43	c current bound: 475
1385.97/1420.25	c current bound: 475
1386.60/1421.08	c current bound: 475
1387.41/1421.89	c current bound: 475
1388.22/1422.70	c current bound: 475
1389.27/1423.72	c current bound: 475
1390.07/1424.53	c current bound: 475
1390.66/1425.35	c current bound: 475
1391.48/1426.15	c current bound: 475
1392.29/1426.97	c current bound: 475
1393.28/1427.77	c current bound: 475
1394.18/1428.72	c current bound: 475
1394.71/1429.53	c current bound: 475
1395.52/1430.33	c current bound: 475
1396.55/1431.15	c current bound: 475
1397.15/1431.95	c current bound: 475
1397.95/1432.78	c current bound: 475
1398.77/1433.74	c current bound: 475
1399.80/1434.57	c current bound: 475
1400.42/1435.38	c current bound: 475
1401.23/1436.19	c current bound: 475
1402.03/1437.00	c current bound: 475
1403.08/1437.82	c current bound: 475
1403.92/1438.76	c current bound: 475
1404.46/1439.57	c current bound: 475
1405.27/1440.38	c current bound: 475
1406.09/1441.19	c current bound: 475
1406.90/1442.00	c current bound: 475
1407.71/1442.80	c current bound: 475
1408.51/1443.61	c current bound: 475
1409.52/1444.46	c current bound: 475
1410.13/1445.26	c current bound: 475
1410.94/1446.07	c current bound: 475
1411.76/1446.88	c current bound: 475
1412.81/1447.70	c current bound: 475
1413.38/1448.50	c current bound: 475
1414.18/1449.31	c current bound: 475
1414.99/1450.12	c current bound: 475
1416.02/1450.95	c current bound: 475
1416.62/1451.76	c current bound: 475
1417.44/1452.57	c current bound: 475
1418.25/1453.39	c current bound: 475
1419.31/1454.36	c current bound: 475
1419.87/1455.17	c current bound: 475
1420.69/1455.97	c current bound: 475
1421.50/1456.78	c current bound: 475
1422.56/1457.60	c current bound: 475
1423.12/1458.41	c current bound: 475
1423.92/1459.36	c current bound: 475
1424.73/1460.17	c current bound: 475
1425.55/1460.97	c current bound: 475
1426.37/1461.78	c current bound: 475
1427.18/1462.59	c current bound: 475
1427.97/1463.41	c current bound: 475
1429.07/1464.35	c current bound: 475
1429.81/1465.18	c current bound: 475
1430.43/1465.99	c current bound: 475
1431.25/1466.81	c current bound: 475
1432.07/1467.61	c current bound: 475
1433.12/1468.43	c current bound: 475
1433.69/1469.41	c current bound: 475
1434.52/1470.23	c current bound: 475
1435.34/1471.05	c current bound: 475
1436.36/1471.87	c current bound: 475
1436.98/1472.68	c current bound: 475
1438.08/1473.50	c current bound: 475
1438.61/1474.48	c current bound: 475
1439.43/1475.31	c current bound: 475
1440.52/1476.12	c current bound: 475
1441.07/1476.95	c current bound: 475
1441.90/1477.77	c current bound: 475
1442.72/1478.59	c current bound: 475
1443.80/1479.56	c current bound: 475
1444.34/1480.38	c current bound: 475
1445.16/1481.19	c current bound: 475
1445.98/1482.01	c current bound: 475
1447.06/1482.83	c current bound: 475
1447.63/1483.65	c current bound: 475
1448.45/1484.58	c current bound: 475
1449.54/1485.40	c current bound: 475
1450.32/1486.21	c current bound: 475
1450.90/1487.04	c current bound: 475
1451.72/1487.85	c current bound: 475
1452.53/1488.67	c current bound: 475
1453.63/1489.62	c current bound: 475
1454.39/1490.44	c current bound: 475
1454.99/1491.26	c current bound: 475
1455.81/1492.08	c current bound: 475
1456.63/1492.90	c current bound: 475
1457.70/1493.72	c current bound: 475
1458.27/1494.73	c current bound: 475
1459.08/1495.55	c current bound: 475
1459.91/1496.37	c current bound: 475
1460.92/1497.19	c current bound: 475
1461.55/1498.01	c current bound: 475
1462.38/1498.83	c current bound: 475
1463.48/1499.74	c current bound: 475
1464.23/1500.55	c current bound: 475
1464.83/1501.37	c current bound: 475
1465.65/1502.19	c current bound: 475
1466.46/1503.00	c current bound: 475
1467.53/1503.83	c current bound: 475
1468.38/1504.80	c current bound: 475
1468.93/1505.62	c current bound: 475
1469.75/1506.45	c current bound: 475
1470.57/1507.27	c current bound: 475
1471.58/1508.08	c current bound: 475
1472.22/1508.91	c current bound: 475
1473.03/1509.73	c current bound: 475
1473.84/1510.61	c current bound: 475
1474.91/1511.43	c current bound: 475
1475.49/1512.25	c current bound: 475
1476.31/1513.08	c current bound: 475
1477.43/1513.90	c current bound: 475
1478.22/1514.71	c current bound: 475
1478.76/1515.52	c current bound: 475
1479.59/1516.34	c current bound: 475
1480.41/1517.16	c current bound: 475
1481.41/1517.98	c current bound: 475
1482.04/1518.79	c current bound: 475
1482.86/1519.62	c current bound: 475
1483.68/1520.57	c current bound: 475
1484.69/1521.39	c current bound: 475
1485.32/1522.21	c current bound: 475
1486.14/1523.03	c current bound: 475
1486.96/1523.85	c current bound: 475
1487.99/1524.66	c current bound: 475
1488.88/1525.67	c current bound: 475
1489.41/1526.49	c current bound: 475
1490.24/1527.31	c current bound: 475
1491.05/1528.13	c current bound: 475
1492.09/1528.95	c current bound: 475
1492.69/1529.77	c current bound: 475
1493.51/1530.81	c current bound: 475
1494.33/1531.63	c current bound: 475
1495.38/1532.44	c current bound: 475
1495.98/1533.27	c current bound: 475
1496.80/1534.09	c current bound: 475
1497.62/1534.91	c current bound: 475
1498.69/1535.75	c current bound: 475
1499.27/1536.57	c current bound: 475
1500.38/1537.42	c current bound: 475
1500.92/1538.24	c current bound: 475
1501.96/1539.08	c current bound: 475
1502.87/1539.92	c current bound: 475
1503.43/1540.89	c current bound: 475
1504.25/1541.71	c current bound: 475
1505.07/1542.51	c current bound: 475
1506.12/1543.31	c current bound: 475
1506.67/1544.13	c current bound: 475
1507.49/1544.95	c current bound: 475
1508.30/1545.98	c current bound: 475
1509.12/1546.80	c current bound: 475
1510.20/1547.62	c current bound: 475
1510.75/1548.43	c current bound: 475
1511.58/1549.25	c current bound: 475
1512.60/1550.07	c current bound: 475
1513.48/1551.09	c current bound: 475
1514.02/1551.91	c current bound: 475
1514.88/1552.75	c current bound: 475
1515.69/1553.58	c current bound: 475
1516.68/1554.38	c current bound: 475
1517.31/1555.18	c current bound: 475
1518.40/1556.16	c current bound: 475
1518.93/1556.98	c current bound: 475
1519.76/1557.81	c current bound: 475
1520.83/1558.61	c current bound: 475
1521.38/1559.42	c current bound: 475
1522.21/1560.24	c current bound: 475
1523.29/1561.26	c current bound: 475
1524.05/1562.08	c current bound: 475
1524.67/1562.90	c current bound: 475
1525.48/1563.70	c current bound: 475
1526.29/1564.53	c current bound: 475
1527.34/1565.35	c current bound: 475
1528.21/1566.35	c current bound: 475
1528.76/1567.15	c current bound: 475
1529.55/1567.97	c current bound: 475
1530.37/1568.76	c current bound: 475
1531.17/1569.57	c current bound: 475
1531.98/1570.37	c current bound: 475
1533.07/1571.35	c current bound: 475
1533.59/1572.16	c current bound: 475
1534.60/1572.98	c current bound: 475
1535.23/1573.80	c current bound: 475
1536.06/1574.62	c current bound: 475
1536.88/1575.44	c current bound: 475
1537.96/1576.46	c current bound: 475
1538.49/1577.27	c current bound: 475
1539.31/1578.09	c current bound: 475
1540.12/1578.91	c current bound: 475
1541.18/1579.73	c current bound: 475
1541.77/1580.54	c current bound: 475
1542.86/1581.50	c current bound: 475
1543.41/1582.32	c current bound: 475
1544.23/1583.14	c current bound: 475
1545.25/1583.94	c current bound: 475
1545.84/1584.77	c current bound: 475
1546.67/1585.59	c current bound: 475
1547.49/1586.56	c current bound: 475
1548.48/1587.38	c current bound: 475
1549.39/1588.20	c current bound: 475
1549.92/1589.01	c current bound: 475
1550.74/1589.84	c current bound: 475
1551.78/1590.66	c current bound: 475
1552.63/1591.67	c current bound: 475
1553.19/1592.48	c current bound: 475
1553.99/1593.31	c current bound: 475
1554.83/1594.13	c current bound: 475
1555.87/1594.95	c current bound: 475
1556.46/1595.77	c current bound: 475
1557.58/1596.75	c current bound: 475
1558.11/1597.56	c current bound: 475
1559.12/1598.38	c current bound: 475
1559.75/1599.20	c current bound: 475
1560.56/1600.02	c current bound: 475
1561.38/1600.83	c current bound: 475
1562.47/1601.81	c current bound: 475
1563.26/1602.63	c current bound: 475
1563.84/1603.44	c current bound: 475
1564.65/1604.26	c current bound: 475
1565.47/1605.07	c current bound: 475
1566.28/1605.88	c current bound: 475
1567.37/1606.90	c current bound: 475
1567.90/1607.72	c current bound: 475
1568.72/1608.54	c current bound: 475
1569.76/1609.35	c current bound: 475
1570.36/1610.17	c current bound: 475
1571.47/1611.00	c current bound: 475
1572.29/1612.04	c current bound: 475
1572.82/1612.84	c current bound: 475
1573.83/1613.66	c current bound: 475
1574.45/1614.48	c current bound: 475
1575.27/1615.29	c current bound: 475
1576.08/1616.11	c current bound: 475
1577.17/1617.14	c current bound: 475
1577.73/1617.96	c current bound: 475
1578.53/1618.78	c current bound: 475
1579.36/1619.58	c current bound: 475
1580.34/1620.37	c current bound: 475
1580.95/1621.18	c current bound: 475
1582.04/1622.18	c current bound: 475
1582.57/1623.00	c current bound: 475
1583.38/1623.82	c current bound: 475
1584.43/1624.64	c current bound: 475
1585.01/1625.45	c current bound: 475
1585.84/1626.27	c current bound: 475
1586.66/1627.24	c current bound: 475
1587.67/1628.07	c current bound: 475
1588.28/1628.89	c current bound: 475
1589.10/1629.71	c current bound: 475
1589.91/1630.53	c current bound: 475
1590.96/1631.35	c current bound: 475
1591.82/1632.37	c current bound: 475
1592.37/1633.18	c current bound: 475
1593.17/1634.00	c current bound: 475
1593.99/1634.82	c current bound: 475
1595.05/1635.62	c current bound: 475
1595.62/1636.44	c current bound: 475
1596.43/1637.41	c current bound: 475
1597.25/1638.22	c current bound: 475
1598.29/1639.04	c current bound: 475
1598.89/1639.87	c current bound: 475
1599.70/1640.68	c current bound: 475
1600.53/1641.50	c current bound: 475
1601.60/1642.43	c current bound: 475
1602.15/1643.25	c current bound: 475
1602.97/1644.07	c current bound: 475
1603.78/1644.87	c current bound: 475
1604.77/1645.69	c current bound: 475
1605.39/1646.51	c current bound: 475
1606.52/1647.50	c current bound: 475
1607.06/1648.32	c current bound: 475
1607.88/1649.14	c current bound: 475
1608.91/1649.93	c current bound: 475
1609.50/1650.76	c current bound: 475
1610.33/1651.58	c current bound: 475
1611.14/1652.45	c current bound: 475
1612.14/1653.27	c current bound: 475
1612.75/1654.08	c current bound: 475
1613.85/1654.90	c current bound: 475
1614.38/1655.72	c current bound: 475
1615.44/1656.54	c current bound: 475
1616.04/1657.36	c current bound: 475
1616.85/1658.22	c current bound: 475
1617.66/1659.03	c current bound: 475
1618.69/1659.84	c current bound: 475
1619.27/1660.64	c current bound: 475
1620.07/1661.45	c current bound: 475
1621.07/1662.27	c current bound: 475
1621.69/1663.10	c current bound: 475
1622.51/1663.93	c current bound: 475
1623.35/1664.76	c current bound: 475
1624.37/1665.57	c current bound: 475
1624.99/1666.39	c current bound: 475
1625.81/1667.20	c current bound: 475
1626.90/1668.19	c current bound: 475
1627.44/1669.01	c current bound: 475
1628.50/1669.81	c current bound: 475
1629.07/1670.61	c current bound: 475
1629.86/1671.43	c current bound: 475
1630.67/1672.23	c current bound: 475
1631.72/1673.07	c current bound: 475
1632.29/1673.89	c current bound: 475
1633.11/1674.72	c current bound: 475
1633.93/1675.54	c current bound: 475
1634.97/1676.35	c current bound: 475
1635.57/1677.18	c current bound: 475
1636.41/1678.00	c current bound: 475
1637.23/1678.87	c current bound: 475
1638.21/1679.67	c current bound: 475
1638.82/1680.49	c current bound: 475
1639.64/1681.31	c current bound: 475
1640.46/1682.13	c current bound: 475
1641.51/1682.95	c current bound: 475
1642.10/1683.76	c current bound: 475
1642.91/1684.55	c current bound: 475
1643.91/1685.37	c current bound: 475
1644.52/1686.17	c current bound: 475
1645.32/1686.99	c current bound: 475
1646.15/1687.81	c current bound: 475
1647.26/1688.75	c current bound: 475
1647.99/1689.57	c current bound: 475
1648.60/1690.37	c current bound: 475
1649.41/1691.19	c current bound: 475
1650.23/1692.01	c current bound: 475
1651.30/1692.83	c current bound: 475
1651.87/1693.83	c current bound: 475
1652.69/1694.66	c current bound: 475
1653.53/1695.47	c current bound: 475
1654.51/1696.27	c current bound: 475
1655.14/1697.09	c current bound: 475
1655.95/1697.92	c current bound: 475
1657.06/1698.92	c current bound: 475
1657.59/1699.71	c current bound: 475
1658.65/1700.54	c current bound: 475
1659.23/1701.36	c current bound: 475
1660.04/1702.18	c current bound: 475
1660.86/1702.98	c current bound: 475
1661.95/1703.98	c current bound: 475
1662.49/1704.79	c current bound: 475
1663.30/1705.61	c current bound: 475
1664.13/1706.43	c current bound: 475
1665.17/1707.25	c current bound: 475
1665.76/1708.07	c current bound: 475
1666.59/1709.05	c current bound: 475
1667.41/1709.87	c current bound: 475
1668.53/1710.70	c current bound: 475
1669.31/1711.52	c current bound: 475
1669.88/1712.35	c current bound: 475
1670.71/1713.16	c current bound: 475
1671.53/1714.14	c current bound: 475
1672.55/1714.95	c current bound: 475
1673.14/1715.75	c current bound: 475
1673.95/1716.57	c current bound: 475
1674.75/1717.39	c current bound: 475
1675.86/1718.20	c current bound: 475
1676.69/1719.19	c current bound: 475
1677.22/1719.99	c current bound: 475
1678.02/1720.79	c current bound: 475
1679.07/1721.61	c current bound: 475
1679.64/1722.43	c current bound: 475
1680.45/1723.25	c current bound: 475
1681.27/1724.16	c current bound: 475
1682.07/1724.97	c current bound: 475
1682.88/1725.77	c current bound: 475
1683.67/1726.59	c current bound: 475
1684.50/1727.41	c current bound: 475
1685.56/1728.23	c current bound: 475
1686.14/1729.04	c current bound: 475
1686.94/1729.86	c current bound: 475
1687.76/1730.66	c current bound: 475
1688.76/1731.47	c current bound: 475
1689.38/1732.29	c current bound: 475
1690.20/1733.12	c current bound: 475
1691.02/1733.94	c current bound: 475
1692.06/1734.76	c current bound: 475
1692.65/1735.58	c current bound: 475
1693.47/1736.38	c current bound: 475
1694.29/1737.21	c current bound: 475
1695.35/1738.05	c current bound: 475
1695.94/1738.88	c current bound: 475
1697.07/1739.72	c current bound: 475
1697.60/1740.52	c current bound: 475
1698.64/1741.34	c current bound: 475
1699.22/1742.16	c current bound: 475
1700.04/1742.98	c current bound: 475
1700.86/1743.82	c current bound: 475
1701.94/1744.63	c current bound: 475
1702.81/1745.50	c current bound: 475
1703.34/1746.31	c current bound: 475
1704.16/1747.13	c current bound: 475
1705.21/1747.95	c current bound: 475
1705.81/1748.78	c current bound: 475
1706.64/1749.58	c current bound: 475
1707.43/1750.39	c current bound: 475
1708.52/1751.22	c current bound: 475
1709.07/1752.04	c current bound: 475
1709.89/1752.86	c current bound: 475
1710.71/1753.68	c current bound: 475
1711.83/1754.51	c current bound: 475
1712.64/1755.52	c current bound: 475
1713.20/1756.32	c current bound: 475
1714.00/1757.14	c current bound: 475
1715.03/1757.97	c current bound: 475
1715.65/1758.77	c current bound: 475
1716.46/1759.59	c current bound: 475
1717.56/1760.54	c current bound: 475
1718.10/1761.36	c current bound: 475
1719.11/1762.17	c current bound: 475
1719.72/1762.99	c current bound: 475
1720.81/1763.80	c current bound: 475
1721.62/1764.60	c current bound: 475
1722.15/1765.40	c current bound: 475
1722.97/1766.24	c current bound: 475
1723.77/1767.07	c current bound: 475
1724.60/1767.89	c current bound: 475
1725.41/1768.69	c current bound: 475
1726.22/1769.50	c current bound: 475
1727.28/1770.30	c current bound: 475
1728.07/1771.12	c current bound: 475
1728.65/1771.93	c current bound: 475
1729.46/1772.74	c current bound: 475
1730.27/1773.55	c current bound: 475
1731.28/1774.35	c current bound: 475
1731.90/1775.16	c current bound: 475
1732.70/1776.07	c current bound: 475
1733.51/1776.88	c current bound: 475
1734.58/1777.71	c current bound: 475
1735.16/1778.52	c current bound: 475
1735.97/1779.33	c current bound: 475
1736.79/1780.15	c current bound: 475
1737.87/1781.11	c current bound: 475
1738.66/1781.92	c current bound: 475
1739.24/1782.73	c current bound: 475
1740.05/1783.54	c current bound: 475
1741.05/1784.37	c current bound: 475
1741.68/1785.18	c current bound: 475
1742.49/1786.15	c current bound: 475
1743.30/1786.95	c current bound: 475
1744.10/1787.75	c current bound: 475
1745.10/1788.56	c current bound: 475
1745.72/1789.37	c current bound: 475
1746.52/1790.19	c current bound: 475
1747.35/1791.11	c current bound: 475
1748.39/1791.92	c current bound: 475
1748.98/1792.73	c current bound: 475
1749.80/1793.55	c current bound: 475
1750.59/1794.35	c current bound: 475
1751.60/1795.16	c current bound: 475
1752.21/1795.97	c current bound: 475
1753.02/1796.84	c current bound: 475
1753.84/1797.64	c current bound: 475
1754.87/1798.46	c current bound: 475
1755.45/1799.28	c current bound: 475
1756.28/1800.09	c current bound: 475
1757.10/1800.92	c current bound: 475
1758.17/1801.72	c current bound: 475
1758.73/1802.54	c current bound: 475
1759.54/1803.36	c current bound: 475
1760.54/1804.18	c current bound: 475
1761.18/1805.00	c current bound: 475
1762.00/1805.80	c current bound: 475
1763.09/1806.73	c current bound: 475
1763.63/1807.55	c current bound: 475
1764.66/1808.37	c current bound: 475
1765.57/1809.20	c current bound: 475
1766.11/1810.02	c current bound: 475
1766.92/1810.83	c current bound: 475
1768.02/1811.86	c current bound: 475
1768.56/1812.67	c current bound: 475
1769.37/1813.49	c current bound: 475
1770.20/1814.32	c current bound: 475
1771.26/1815.12	c current bound: 475
1771.83/1815.94	c current bound: 475
1772.65/1816.93	c current bound: 475
1773.46/1817.73	c current bound: 475
1774.27/1818.55	c current bound: 475
1775.29/1819.37	c current bound: 475
1775.90/1820.19	c current bound: 475
1776.73/1821.01	c current bound: 475
1777.84/1822.00	c current bound: 475
1778.62/1822.82	c current bound: 475
1779.18/1823.64	c current bound: 475
1780.01/1824.43	c current bound: 475
1780.80/1825.26	c current bound: 475
1781.83/1826.09	c current bound: 475
1782.75/1827.37	c current bound: 475
1783.48/1828.20	c current bound: 475
1784.12/1829.01	c current bound: 475
1784.94/1829.84	c current bound: 475
1785.75/1830.64	c current bound: 475
1786.78/1831.46	c current bound: 475
1787.37/1832.28	c current bound: 475
1788.21/1833.10	c current bound: 475
1789.04/1833.94	c current bound: 475
1790.08/1834.77	c current bound: 475
1790.69/1835.59	c current bound: 475
1791.51/1836.41	c current bound: 475
1792.34/1837.24	c current bound: 475
1793.36/1838.07	c current bound: 475
1793.97/1838.89	c current bound: 475
1794.79/1839.71	c current bound: 475
1795.62/1840.54	c current bound: 475
1796.66/1841.36	c current bound: 475
1797.54/1842.42	c current bound: 475
1798.07/1843.24	c current bound: 475
1798.90/1844.07	c current bound: 475
1799.72/1844.61	HOME/npSolver-wbo-Itdqb.sh: line 18:  9595 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 9594
/proc/meminfo: memFree=31295600/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0

[startup+0.0915089 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 9594
/proc/meminfo: memFree=31295600/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100281 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 9594
/proc/meminfo: memFree=31295600/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300268 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 9594
/proc/meminfo: memFree=31295600/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700122 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 9594
/proc/meminfo: memFree=31295600/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50016 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9613
/proc/meminfo: memFree=31275120/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1.47 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 6116 32430 0 0 21 3 105 18 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29804

[startup+3.10027 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 9629
/proc/meminfo: memFree=31241732/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=2.65 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 10413 52283 0 0 38 5 179 43 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 29804

[startup+6.30026 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 9657
/proc/meminfo: memFree=31234264/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=5.91 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 19021 114974 0 0 72 9 411 99 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 29804

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 9713
/proc/meminfo: memFree=31226128/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=12.29 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) R 9594 9594 10289 0 -1 4202496 34453 239001 0 0 133 16 869 211 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099760 4582253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 29804

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9837
/proc/meminfo: memFree=31289596/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=24.53 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 68517 471696 0 0 272 33 1728 420 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 24.53
Current children cumulated vsize (KiB) 29804

[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 10100
/proc/meminfo: memFree=31235812/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=49.36 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 133084 949653 0 0 530 61 3482 863 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 49.36
Current children cumulated vsize (KiB) 29804

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/184 10535
/proc/meminfo: memFree=31225628/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=99.28 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 264356 1894941 0 0 1017 116 7045 1750 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
[pid=10533] ppid=9595 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10533/stat : 10533 (cp2_post.sh) S 9595 9594 10289 0 -1 4202496 613 224 0 0 0 0 0 0 20 0 1 0 386403429 9367552 266 33554432000 4194304 5064252 140734541411584 140734541409872 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10533/statm: 2287 266 225 213 0 72 0
[pid=10535] ppid=10533 vsize=10148 CPUtime=0.11 cores=0,2,4,6
/proc/10535/stat : 10535 (coprocessor) R 10533 9594 10289 0 -1 4202496 2550 0 0 0 8 3 0 0 20 0 1 0 386403429 10391552 1702 33554432000 4194304 6586260 140735372367504 140735372364520 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/10535/statm: 2537 1702 148 584 0 1949 0
Current children cumulated CPU time (s) 99.39
Current children cumulated vsize (KiB) 49100

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/181 11041
/proc/meminfo: memFree=31218892/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=158.47 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 421452 3025164 0 0 1640 187 11234 2786 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 158.47
Current children cumulated vsize (KiB) 29804

[startup+222.3 s]
/proc/loadavg: 1.89 1.97 1.99 3/183 11552
/proc/meminfo: memFree=31195824/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=217.22 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 576396 4141551 0 0 2215 253 15420 3834 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 27 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
[pid=11550] ppid=9595 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11550/stat : 11550 (cp2_post.sh) S 9595 9594 10289 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 386415414 9367552 265 33554432000 4194304 5064252 140736663417216 140736663415504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11550/statm: 2287 265 225 213 0 72 0
[pid=11552] ppid=11550 vsize=10148 CPUtime=0.25 cores=0,2,4,6
/proc/11552/stat : 11552 (coprocessor) R 11550 9594 10289 0 -1 4202496 2039 0 0 0 16 9 0 0 20 0 1 0 386415415 10391552 1702 33554432000 4194304 6586260 140735829611920 140735829608840 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/11552/statm: 2537 1702 148 584 0 1949 0
Current children cumulated CPU time (s) 217.47
Current children cumulated vsize (KiB) 49100

[startup+282.3 s]
/proc/loadavg: 1.96 1.97 1.99 3/183 12046
/proc/meminfo: memFree=31160296/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=275.48 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 731333 5251266 0 0 2790 318 19561 4879 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 32 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 275.48
Current children cumulated vsize (KiB) 29804

[startup+342.3 s]
/proc/loadavg: 2.20 2.02 2.00 3/183 12553
/proc/meminfo: memFree=31154220/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1212.92 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 3199677 23054565 0 0 12057 1390 86124 21721 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 118 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1212.92
Current children cumulated vsize (KiB) 29804

[startup+1302.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/184 20612
/proc/meminfo: memFree=31178088/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1271.18 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 3352469 24160260 0 0 12622 1456 90268 22772 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 118 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
[pid=20611] ppid=9595 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20611/stat : 20611 (satsolver.sh) S 9595 9594 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386523440 9367552 266 33554432000 4194304 5064252 140735498292448 140735498291360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20611/statm: 2287 266 226 213 0 72 0
[pid=20612] ppid=20611 vsize=12808 CPUtime=0 cores=0,2,4,6
/proc/20612/stat : 20612 (glucose) R 20611 9594 10289 0 -1 4202496 1920 0 0 0 0 0 0 0 20 0 1 0 386523440 13115392 1835 33554432000 4194304 5208918 140734662698512 140735498291384 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20612/statm: 3202 1838 70 248 0 2951 0
Current children cumulated CPU time (s) 1271.18
Current children cumulated vsize (KiB) 51760

[startup+1362.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/184 21102
/proc/meminfo: memFree=31138792/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1329.12 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 3503116 25258712 0 0 13180 1520 94386 23826 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 118 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1329.12
Current children cumulated vsize (KiB) 29804

[startup+1422.31 s]
/proc/loadavg: 1.97 2.04 2.01 3/184 21606
/proc/meminfo: memFree=31104756/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1387.78 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 3658053 26363033 0 0 13756 1586 98546 24890 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 122 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
[pid=21605] ppid=9595 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21605/stat : 21605 (satsolver.sh) S 9595 9594 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386535409 9367552 267 33554432000 4194304 5064252 140736656988672 140736656987584 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21605/statm: 2287 267 226 213 0 72 0
[pid=21606] ppid=21605 vsize=48480 CPUtime=0.3 cores=0,2,4,6
/proc/21606/stat : 21606 (glucose) R 21605 9594 10289 0 -1 4202496 10566 0 0 0 29 1 0 0 20 0 1 0 386535410 49643520 10667 33554432000 4194304 5208918 140737163084896 140736656987608 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21606/statm: 12120 10667 95 248 0 11869 0
Current children cumulated CPU time (s) 1388.08
Current children cumulated vsize (KiB) 87432

[startup+1482.3 s]
/proc/loadavg: 1.94 2.02 2.00 3/184 22103
/proc/meminfo: memFree=31098280/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1446.36 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 3812997 27479587 0 0 14364 1654 102682 25936 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 126 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1446.36
Current children cumulated vsize (KiB) 29804

[startup+1542.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/185 22610
/proc/meminfo: memFree=31091464/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1505.07 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 3965796 28588410 0 0 14930 1720 106872 26985 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 132 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1505.07
Current children cumulated vsize (KiB) 29804

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/184 23106
/proc/meminfo: memFree=31172692/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1562.57 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 4118581 29678387 0 0 15496 1785 110948 28028 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 132 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1562.57
Current children cumulated vsize (KiB) 29804

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 4/185 23610
/proc/meminfo: memFree=31175192/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1621.19 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) R 9594 9594 10289 0 -1 4202496 4272479 30793939 0 0 16067 1852 115131 29069 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099760 5056727 0 0 4096 0 0 0 0 17 0 0 0 138 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1621.19
Current children cumulated vsize (KiB) 29804

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 24107
/proc/meminfo: memFree=31171504/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1679.64 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 4426324 31912080 0 0 16638 1919 119304 30103 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 145 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1679.64
Current children cumulated vsize (KiB) 29804

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/184 24618
/proc/meminfo: memFree=31137588/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1738.79 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 4583413 33033148 0 0 17232 1990 123501 31156 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356099184 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 153 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1738.79
Current children cumulated vsize (KiB) 29804

[startup+1842.3 s]
/proc/loadavg: 1.94 2.00 1.99 3/182 25333
/proc/meminfo: memFree=31259900/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1797.27 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 4736212 34141324 0 0 17811 2054 127655 32207 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 158 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
Current children cumulated CPU time (s) 1797.27
Current children cumulated vsize (KiB) 29804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1844.6 s]
/proc/loadavg: 1.94 2.00 1.99 4/183 25399
/proc/meminfo: memFree=31252612/32873844 swapFree=7380/7380
[pid=9594] ppid=9592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9594/stat : 9594 (npSolver-wbo-It) S 9592 9594 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386393211 9367552 274 33554432000 4194304 5064252 140733242953184 140733242952096 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9594/statm: 2287 274 233 213 0 72 0
[pid=9595] ppid=9594 vsize=20656 CPUtime=1799.72 cores=0,2,4,6
/proc/9595/stat : 9595 (npSolver-wbo) S 9594 9594 10289 0 -1 4202496 4742668 34188213 0 0 17835 2057 127830 32250 20 0 1 0 386393211 21151744 4616 33554432000 4194304 6006132 140737356107824 140737356098672 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 158 0 0
/proc/9595/statm: 5164 4616 176 443 0 4717 0
[pid=25399] ppid=9595 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25399/stat : 25399 (cp2_post.sh) S 9595 9594 10289 0 -1 4202496 613 0 0 0 0 0 0 0 20 0 1 0 386577671 9367552 266 33554432000 4194304 5064252 140736130483584 140736130481872 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25399/statm: 2287 266 225 213 0 72 0
Current children cumulated CPU time (s) 1799.72
Current children cumulated vsize (KiB) 38952

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1844.62
CPU time (s): 1800.08
CPU user time (s): 1456.98
CPU system time (s): 343.096
CPU usage (%): 97.5854
Max. virtual memory (cumulated for all children) (KiB): 89456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1456.66
system time used= 343.086
maximum resident set size= 45932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38932683
page faults= 0
swaps= 0
block input operations= 8
block output operations= 31036760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 611272
involuntary context switches= 26898

runsolver used 3.9254 second user time and 10.2784 second system time

The end

Launcher Data

Begin job on node118 at 2012-06-09 02:44:31
IDJOB=3752921
IDBENCH=78896
IDSOLVER=2336
FILE ID=node118/3752921-1339202671
RUNJOBID= node118-1339184624-11432
PBS_JOBID= 14643819
Free space on /tmp= 70788 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--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-3752921-1339202671/watcher-3752921-1339202671 -o /tmp/evaluation-result-3752921-1339202671/solver-3752921-1339202671 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752921-1339202671.wbo 539674307 HOME HOME

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

MD5SUM BENCH= 1aa357a852c71e740dd551340d4d5189
RANDOM SEED=539674307

node118.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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31295600 kB
Buffers:          324292 kB
Cached:           330200 kB
SwapCached:         6500 kB
Active:           366952 kB
Inactive:         329824 kB
Active(anon):      34692 kB
Inactive(anon):     6640 kB
Active(file):     332260 kB
Inactive(file):   323184 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67095476 kB
Dirty:              9296 kB
Writeback:             0 kB
AnonPages:         42632 kB
Mapped:             9884 kB
Shmem:                 0 kB
Slab:             740744 kB
SReclaimable:     180860 kB
SUnreclaim:       559884 kB
KernelStack:        1520 kB
PageTables:         4032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     160764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 70764 MiB
End job on node118 at 2012-06-09 03:15:16