Trace number 3715941

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.14 1805.31

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
MD5SUM1b4d108d74bb6ee9510c6f55f0fde657
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.759884
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1147
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.05	c run usual solver
1.36/1.45	o 2649
1.36/1.45	c starting approximation
1.36/1.45	c factor = 2
1.36/1.45	c current bound: 1324
2.44/2.61	c current bound: 1324
3.61/3.77	c current bound: 1324
4.77/4.93	c current bound: 1324
5.93/6.09	c current bound: 1324
7.09/7.25	c current bound: 1324
8.25/8.41	c current bound: 1324
9.40/9.57	c current bound: 1324
10.54/10.72	c current bound: 1324
11.70/11.87	c current bound: 1324
12.84/13.03	c current bound: 1324
14.03/14.19	c current bound: 1324
15.25/15.36	c current bound: 1324
16.46/16.52	c current bound: 1324
17.52/17.69	c current bound: 1324
18.67/18.84	c current bound: 1324
19.84/20.01	c current bound: 1324
21.00/21.17	c current bound: 1324
22.17/22.34	c current bound: 1324
23.35/23.51	c current bound: 1324
24.48/24.66	c current bound: 1324
25.63/25.81	c current bound: 1324
26.80/26.97	c current bound: 1324
27.95/28.13	c current bound: 1324
29.10/29.29	c current bound: 1324
30.27/30.44	c current bound: 1324
31.55/31.60	c current bound: 1324
32.72/32.85	c current bound: 1324
33.86/34.00	c current bound: 1324
34.95/35.16	c current bound: 1324
36.14/36.34	c current bound: 1324
37.23/37.52	c current bound: 1324
38.41/38.69	c current bound: 1324
39.56/39.84	c current bound: 1324
40.85/41.00	c current bound: 1324
41.86/42.15	c current bound: 1324
43.03/43.32	c current bound: 1324
44.20/44.48	c current bound: 1324
45.35/45.64	c current bound: 1324
46.50/46.79	c current bound: 1324
47.68/47.96	c current bound: 1324
48.83/49.12	c current bound: 1324
49.97/50.27	c current bound: 1324
51.13/51.44	c current bound: 1324
52.32/52.61	c current bound: 1324
53.55/53.93	c current bound: 1324
54.63/55.09	c current bound: 1324
55.78/56.25	c current bound: 1324
56.95/57.41	c current bound: 1324
58.09/58.55	c current bound: 1324
59.26/59.73	c current bound: 1324
60.43/60.89	c current bound: 1324
61.59/62.06	c current bound: 1324
62.76/63.22	c current bound: 1324
63.92/64.38	c current bound: 1324
65.08/65.55	c current bound: 1324
66.22/66.70	c current bound: 1324
67.38/67.88	c current bound: 1324
68.55/69.06	c current bound: 1324
69.73/70.23	c current bound: 1324
71.03/71.41	c current bound: 1324
72.12/72.57	c current bound: 1324
73.24/73.73	c current bound: 1324
74.53/74.90	c current bound: 1324
75.56/76.06	c current bound: 1324
76.72/77.21	c current bound: 1324
77.86/78.36	c current bound: 1324
79.04/79.54	c current bound: 1324
80.21/80.71	c current bound: 1324
81.37/81.87	c current bound: 1324
82.53/83.03	c current bound: 1324
83.69/84.18	c current bound: 1324
84.85/85.35	c current bound: 1324
85.99/86.50	c current bound: 1324
87.15/87.67	c current bound: 1324
88.34/88.83	c current bound: 1324
89.48/89.98	c current bound: 1324
90.64/91.15	c current bound: 1324
91.79/92.30	c current bound: 1324
93.01/93.47	c current bound: 1324
94.20/94.62	c current bound: 1324
95.28/95.79	c current bound: 1324
96.43/96.94	c current bound: 1324
97.72/98.10	c current bound: 1324
98.75/99.26	c current bound: 1324
99.90/100.41	c current bound: 1324
101.05/101.56	c current bound: 1324
102.20/102.72	c current bound: 1324
103.37/103.89	c current bound: 1324
104.52/105.05	c current bound: 1324
105.67/106.19	c current bound: 1324
106.85/107.36	c current bound: 1324
107.99/108.53	c current bound: 1324
109.17/109.69	c current bound: 1324
110.32/110.85	c current bound: 1324
111.49/112.02	c current bound: 1324
112.63/113.17	c current bound: 1324
113.90/114.32	c current bound: 1324
114.99/115.48	c current bound: 1324
116.10/116.64	c current bound: 1324
117.27/117.81	c current bound: 1324
118.45/118.98	c current bound: 1324
119.59/120.13	c current bound: 1324
120.75/121.29	c current bound: 1324
121.91/122.44	c current bound: 1324
123.07/123.61	c current bound: 1324
124.23/124.76	c current bound: 1324
125.39/125.93	c current bound: 1324
126.69/127.10	c current bound: 1324
127.72/128.25	c current bound: 1324
128.88/129.42	c current bound: 1324
130.04/130.58	c current bound: 1324
131.19/131.73	c current bound: 1324
132.34/132.88	c current bound: 1324
133.49/134.03	c current bound: 1324
134.64/135.19	c current bound: 1324
135.88/136.35	c current bound: 1324
137.08/137.51	c current bound: 1324
138.12/138.68	c current bound: 1324
139.31/139.85	c current bound: 1324
140.48/141.03	c current bound: 1324
141.78/142.20	c current bound: 1324
142.80/143.35	c current bound: 1324
143.97/144.51	c current bound: 1324
145.12/145.67	c current bound: 1324
146.28/146.83	c current bound: 1324
147.44/147.98	c current bound: 1324
148.61/149.16	c current bound: 1324
149.77/150.33	c current bound: 1324
150.94/151.49	c current bound: 1324
152.08/152.64	c current bound: 1324
153.25/153.81	c current bound: 1324
154.41/154.97	c current bound: 1324
155.66/156.14	c current bound: 1324
156.87/157.30	c current bound: 1324
157.89/158.45	c current bound: 1324
159.04/159.61	c current bound: 1324
160.21/160.78	c current bound: 1324
161.37/161.94	c current bound: 1324
162.54/163.09	c current bound: 1324
163.70/164.27	c current bound: 1324
164.86/165.42	c current bound: 1324
166.01/166.58	c current bound: 1324
167.15/167.74	c current bound: 1324
168.33/168.90	c current bound: 1324
169.50/170.07	c current bound: 1324
170.66/171.23	c current bound: 1324
171.96/172.40	c current bound: 1324
173.00/173.57	c current bound: 1324
174.14/174.73	c current bound: 1324
175.31/175.89	c current bound: 1324
176.54/177.07	c current bound: 1324
177.74/178.23	c current bound: 1324
178.80/179.39	c current bound: 1324
179.98/180.56	c current bound: 1324
181.12/181.70	c current bound: 1324
182.26/182.85	c current bound: 1324
183.43/184.01	c current bound: 1324
184.57/185.17	c current bound: 1324
185.75/186.34	c current bound: 1324
186.91/187.51	c current bound: 1324
188.06/188.66	c current bound: 1324
189.24/189.83	c current bound: 1324
190.40/190.99	c current bound: 1324
191.56/192.16	c current bound: 1324
192.71/193.31	c current bound: 1324
193.86/194.46	c current bound: 1324
195.00/195.62	c current bound: 1324
196.18/196.79	c current bound: 1324
197.47/198.01	c current bound: 1324
198.49/199.17	c current bound: 1324
199.65/200.33	c current bound: 1324
200.82/201.49	c current bound: 1324
202.00/202.67	c current bound: 1324
203.16/203.83	c current bound: 1324
204.30/204.98	c current bound: 1324
205.48/206.15	c current bound: 1324
206.64/207.32	c current bound: 1324
207.82/208.48	c current bound: 1324
208.97/209.64	c current bound: 1324
210.14/210.80	c current bound: 1324
211.30/211.97	c current bound: 1324
212.48/213.14	c current bound: 1324
213.75/214.30	c current bound: 1324
214.79/215.46	c current bound: 1324
216.05/216.62	c current bound: 1324
217.15/217.79	c current bound: 1324
218.27/218.96	c current bound: 1324
219.45/220.13	c current bound: 1324
220.59/221.27	c current bound: 1324
221.76/222.43	c current bound: 1324
222.91/223.60	c current bound: 1324
224.07/224.77	c current bound: 1324
225.23/225.94	c current bound: 1324
226.38/227.09	c current bound: 1324
227.55/228.26	c current bound: 1324
228.69/229.41	c current bound: 1324
229.88/230.59	c current bound: 1324
231.05/231.75	c current bound: 1324
232.20/232.91	c current bound: 1324
233.36/234.07	c current bound: 1324
234.50/235.22	c current bound: 1324
235.67/236.38	c current bound: 1324
236.91/237.55	c current bound: 1324
238.11/238.83	c current bound: 1324
239.16/239.99	c current bound: 1324
240.32/241.16	c current bound: 1324
241.50/242.33	c current bound: 1324
242.65/243.48	c current bound: 1324
243.81/244.65	c current bound: 1324
244.97/245.81	c current bound: 1324
246.14/246.98	c current bound: 1324
247.31/248.14	c current bound: 1324
248.47/249.31	c current bound: 1324
249.63/250.47	c current bound: 1324
250.81/251.64	c current bound: 1324
252.10/252.80	c current bound: 1324
253.13/253.98	c current bound: 1324
254.37/255.11	c current bound: 1324
255.46/256.28	c current bound: 1324
256.58/257.45	c current bound: 1324
257.74/258.60	c current bound: 1324
258.89/259.76	c current bound: 1324
260.17/260.90	c current bound: 1324
261.19/262.05	c current bound: 1324
262.35/263.21	c current bound: 1324
263.50/264.36	c current bound: 1324
264.66/265.53	c current bound: 1324
265.81/266.69	c current bound: 1324
267.01/267.89	c current bound: 1324
268.18/269.05	c current bound: 1324
269.34/270.21	c current bound: 1324
270.52/271.38	c current bound: 1324
271.66/272.53	c current bound: 1324
272.82/273.70	c current bound: 1324
273.98/274.85	c current bound: 1324
275.25/276.02	c current bound: 1324
276.35/277.18	c current bound: 1324
277.48/278.35	c current bound: 1324
278.62/279.50	c current bound: 1324
279.78/280.66	c current bound: 1324
280.93/281.81	c current bound: 1324
282.10/282.98	c current bound: 1324
283.25/284.27	c current bound: 1324
284.40/285.44	c current bound: 1324
285.56/286.59	c current bound: 1324
286.72/287.75	c current bound: 1324
288.00/288.90	c current bound: 1324
289.02/290.06	c current bound: 1324
290.21/291.24	c current bound: 1324
291.34/292.39	c current bound: 1324
292.51/293.55	c current bound: 1324
293.66/294.70	c current bound: 1324
294.88/295.86	c current bound: 1324
296.08/297.02	c current bound: 1324
297.13/298.18	c current bound: 1324
298.29/299.33	c current bound: 1324
299.45/300.49	c current bound: 1324
300.60/301.66	c current bound: 1324
301.75/302.81	c current bound: 1324
302.92/303.97	c current bound: 1324
304.06/305.12	c current bound: 1324
305.23/306.29	c current bound: 1324
306.40/307.46	c current bound: 1324
307.56/308.62	c current bound: 1324
308.71/309.77	c current bound: 1324
309.86/310.93	c current bound: 1324
311.02/312.09	c current bound: 1324
312.16/313.23	c current bound: 1324
313.31/314.39	c current bound: 1324
314.48/315.56	c current bound: 1324
315.74/316.72	c current bound: 1324
316.84/317.88	c current bound: 1324
317.95/319.04	c current bound: 1324
319.12/320.20	c current bound: 1324
320.28/321.37	c current bound: 1324
321.44/322.53	c current bound: 1324
322.59/323.69	c current bound: 1324
323.74/324.83	c current bound: 1324
325.03/326.00	c current bound: 1324
326.05/327.16	c current bound: 1324
327.23/328.33	c current bound: 1324
328.39/329.49	c current bound: 1324
329.54/330.65	c current bound: 1324
330.69/331.81	c current bound: 1324
331.87/332.98	c current bound: 1324
333.02/334.14	c current bound: 1324
334.18/335.29	c current bound: 1324
335.34/336.46	c current bound: 1324
336.61/337.63	c current bound: 1324
337.81/338.80	c current bound: 1324
338.84/339.96	c current bound: 1324
340.01/341.13	c current bound: 1324
341.31/342.30	c current bound: 1324
342.34/343.46	c current bound: 1324
343.51/344.64	c current bound: 1324
344.67/345.79	c current bound: 1324
345.83/346.96	c current bound: 1324
346.99/348.12	c current bound: 1324
348.15/349.27	c current bound: 1324
349.31/350.43	c current bound: 1324
350.46/351.59	c current bound: 1324
351.62/352.74	c current bound: 1324
352.82/353.94	c current bound: 1324
354.09/355.10	c current bound: 1324
355.13/356.26	c current bound: 1324
356.39/357.42	c current bound: 1324
357.46/358.58	c current bound: 1324
358.61/359.75	c current bound: 1324
359.76/360.90	c current bound: 1324
360.92/362.07	c current bound: 1324
362.10/363.23	c current bound: 1324
363.25/364.39	c current bound: 1324
364.40/365.56	c current bound: 1324
365.58/366.72	c current bound: 1324
366.74/367.88	c current bound: 1324
367.90/369.05	c current bound: 1324
369.06/370.21	c current bound: 1324
370.20/371.36	c current bound: 1324
371.35/372.51	c current bound: 1324
372.53/373.68	c current bound: 1324
373.67/374.83	c current bound: 1324
374.81/375.98	c current bound: 1324
375.98/377.14	c current bound: 1324
377.26/378.40	c current bound: 1324
378.40/379.55	c current bound: 1324
379.55/380.71	c current bound: 1324
380.71/381.87	c current bound: 1324
381.87/383.02	c current bound: 1324
383.01/384.18	c current bound: 1324
384.18/385.34	c current bound: 1324
385.47/386.50	c current bound: 1324
386.49/387.66	c current bound: 1324
387.66/388.82	c current bound: 1324
388.82/389.98	c current bound: 1324
389.97/391.14	c current bound: 1324
391.14/392.31	c current bound: 1324
392.30/393.46	c current bound: 1324
393.45/394.63	c current bound: 1324
394.61/395.79	c current bound: 1324
395.78/396.95	c current bound: 1324
397.06/398.13	c current bound: 1324
398.14/399.29	c current bound: 1324
399.27/400.44	c current bound: 1324
400.54/401.60	c current bound: 1324
401.60/402.77	c current bound: 1324
402.75/403.93	c current bound: 1324
403.92/405.09	c current bound: 1324
405.05/406.25	c current bound: 1324
406.22/407.41	c current bound: 1324
407.40/408.58	c current bound: 1324
408.55/409.74	c current bound: 1324
409.72/410.91	c current bound: 1324
410.90/412.08	c current bound: 1324
412.05/413.24	c current bound: 1324
413.21/414.41	c current bound: 1324
414.38/415.57	c current bound: 1324
415.55/416.74	c current bound: 1324
416.71/417.89	c current bound: 1324
417.93/419.05	c current bound: 1324
419.13/420.22	c current bound: 1324
420.18/421.38	c current bound: 1324
421.35/422.54	c current bound: 1324
422.51/423.71	c current bound: 1324
423.68/424.88	c current bound: 1324
424.84/426.05	c current bound: 1324
426.01/427.22	c current bound: 1324
427.18/428.38	c current bound: 1324
428.32/429.53	c current bound: 1324
429.61/430.70	c current bound: 1324
430.65/431.87	c current bound: 1324
431.82/433.04	c current bound: 1324
433.11/434.20	c current bound: 1324
434.12/435.35	c current bound: 1324
435.29/436.52	c current bound: 1324
436.44/437.68	c current bound: 1324
437.68/438.85	c current bound: 1324
438.88/440.02	c current bound: 1324
439.95/441.21	c current bound: 1324
441.13/442.38	c current bound: 1324
442.29/443.55	c current bound: 1324
443.45/444.71	c current bound: 1324
444.62/445.88	c current bound: 1324
445.78/447.05	c current bound: 1324
446.94/448.21	c current bound: 1324
448.12/449.38	c current bound: 1324
449.25/450.52	c current bound: 1324
450.41/451.69	c current bound: 1324
451.56/452.84	c current bound: 1324
452.72/453.99	c current bound: 1324
454.00/455.22	c current bound: 1324
455.02/456.36	c current bound: 1324
456.27/457.54	c current bound: 1324
457.36/458.70	c current bound: 1324
458.52/459.86	c current bound: 1324
459.68/461.03	c current bound: 1324
460.85/462.19	c current bound: 1324
462.00/463.35	c current bound: 1324
463.14/464.51	c current bound: 1324
464.30/465.66	c current bound: 1324
465.45/466.82	c current bound: 1324
466.62/467.98	c current bound: 1324
467.77/469.13	c current bound: 1324
468.93/470.29	c current bound: 1324
470.08/471.51	c current bound: 1324
471.24/472.68	c current bound: 1324
472.42/473.84	c current bound: 1324
473.55/474.99	c current bound: 1324
474.70/476.15	c current bound: 1324
475.97/477.32	c current bound: 1324
477.07/478.50	c current bound: 1324
478.20/479.66	c current bound: 1324
479.37/480.82	c current bound: 1324
480.54/481.99	c current bound: 1324
481.70/483.15	c current bound: 1324
482.87/484.33	c current bound: 1324
484.17/485.52	c current bound: 1324
485.20/486.67	c current bound: 1324
486.34/487.83	c current bound: 1324
487.50/488.99	c current bound: 1324
488.66/490.15	c current bound: 1324
489.82/491.32	c current bound: 1324
490.99/492.47	c current bound: 1324
492.14/493.64	c current bound: 1324
493.42/494.80	c current bound: 1324
494.47/495.96	c current bound: 1324
495.74/497.12	c current bound: 1324
496.83/498.28	c current bound: 1324
497.95/499.45	c current bound: 1324
499.11/500.63	c current bound: 1324
500.42/501.80	c current bound: 1324
501.46/502.96	c current bound: 1324
502.60/504.11	c current bound: 1324
503.75/505.26	c current bound: 1324
504.93/506.43	c current bound: 1324
506.06/507.58	c current bound: 1324
507.23/508.74	c current bound: 1324
508.37/509.89	c current bound: 1324
509.54/511.06	c current bound: 1324
510.71/512.24	c current bound: 1324
511.88/513.40	c current bound: 1324
513.03/514.55	c current bound: 1324
514.19/515.74	c current bound: 1324
515.46/516.92	c current bound: 1324
516.57/518.08	c current bound: 1324
517.68/519.25	c current bound: 1324
518.86/520.42	c current bound: 1324
520.02/521.58	c current bound: 1324
521.19/522.74	c current bound: 1324
522.35/523.90	c current bound: 1324
523.50/525.05	c current bound: 1324
524.65/526.21	c current bound: 1324
525.81/527.37	c current bound: 1324
526.97/528.53	c current bound: 1324
528.13/529.69	c current bound: 1324
529.43/530.90	c current bound: 1324
530.47/532.06	c current bound: 1324
531.60/533.21	c current bound: 1324
532.78/534.39	c current bound: 1324
533.93/535.55	c current bound: 1324
535.21/536.72	c current bound: 1324
536.31/537.90	c current bound: 1324
537.43/539.04	c current bound: 1324
538.71/540.20	c current bound: 1324
539.75/541.35	c current bound: 1324
540.88/542.50	c current bound: 1324
542.04/543.66	c current bound: 1324
543.19/544.81	c current bound: 1324
544.33/545.95	c current bound: 1324
545.48/547.14	c current bound: 1324
546.64/548.30	c current bound: 1324
547.82/549.47	c current bound: 1324
548.97/550.63	c current bound: 1324
550.14/551.80	c current bound: 1324
551.31/552.97	c current bound: 1324
552.47/554.13	c current bound: 1324
553.62/555.29	c current bound: 1324
554.79/556.45	c current bound: 1324
556.07/557.60	c current bound: 1324
557.16/558.78	c current bound: 1324
558.27/559.95	c current bound: 1324
559.43/561.14	c current bound: 1324
560.57/562.29	c current bound: 1324
561.73/563.44	c current bound: 1324
562.86/564.59	c current bound: 1324
564.04/565.76	c current bound: 1324
565.20/566.92	c current bound: 1324
566.50/568.10	c current bound: 1324
567.54/569.26	c current bound: 1324
568.70/570.42	c current bound: 1324
569.87/571.61	c current bound: 1324
571.10/572.83	c current bound: 1324
572.23/573.98	c current bound: 1324
573.60/575.20	c current bound: 1324
574.66/576.37	c current bound: 1324
575.89/577.52	c current bound: 1324
576.91/578.67	c current bound: 1324
578.08/579.84	c current bound: 1324
579.26/581.02	c current bound: 1324
580.56/582.20	c current bound: 1324
581.76/583.40	c current bound: 1324
582.79/584.56	c current bound: 1324
583.98/585.77	c current bound: 1324
585.19/586.98	c current bound: 1324
586.44/588.22	c current bound: 1324
587.66/589.45	c current bound: 1324
588.93/590.70	c current bound: 1324
590.07/591.86	c current bound: 1324
591.23/593.04	c current bound: 1324
592.41/594.22	c current bound: 1324
593.72/595.40	c current bound: 1324
594.77/596.59	c current bound: 1324
595.95/597.76	c current bound: 1324
597.13/598.96	c current bound: 1324
598.34/600.18	c current bound: 1324
599.69/601.41	c current bound: 1324
600.80/602.66	c current bound: 1324
601.93/603.80	c current bound: 1324
603.16/604.93	c current bound: 1324
604.27/606.09	c current bound: 1324
605.39/607.26	c current bound: 1324
606.55/608.43	c current bound: 1324
607.72/609.59	c current bound: 1324
608.87/610.76	c current bound: 1324
610.05/611.95	c current bound: 1324
611.21/613.13	c current bound: 1324
612.43/614.33	c current bound: 1324
613.63/615.53	c current bound: 1324
614.83/616.74	c current bound: 1324
616.03/617.96	c current bound: 1324
617.26/619.19	c current bound: 1324
618.49/620.35	c current bound: 1324
619.69/621.51	c current bound: 1324
620.73/622.67	c current bound: 1324
621.90/623.84	c current bound: 1324
623.05/624.98	c current bound: 1324
624.22/626.18	c current bound: 1324
625.40/627.36	c current bound: 1324
626.56/628.52	c current bound: 1324
627.74/629.71	c current bound: 1324
628.94/630.91	c current bound: 1324
630.16/632.13	c current bound: 1324
631.36/633.33	c current bound: 1324
632.57/634.55	c current bound: 1324
633.84/635.78	c current bound: 1324
634.94/636.93	c current bound: 1324
636.24/638.10	c current bound: 1324
637.27/639.25	c current bound: 1324
638.43/640.43	c current bound: 1324
639.71/641.65	c current bound: 1324
640.76/642.85	c current bound: 1324
641.95/644.03	c current bound: 1324
643.16/645.24	c current bound: 1324
644.36/646.43	c current bound: 1324
645.53/647.62	c current bound: 1324
646.76/648.86	c current bound: 1324
648.04/650.10	c current bound: 1324
649.15/651.25	c current bound: 1324
650.31/652.41	c current bound: 1324
651.48/653.59	c current bound: 1324
652.67/654.79	c current bound: 1324
653.83/655.94	c current bound: 1324
655.02/657.14	c current bound: 1324
656.22/658.34	c current bound: 1324
657.37/659.51	c current bound: 1324
658.60/660.72	c current bound: 1324
659.81/661.94	c current bound: 1324
660.97/663.10	c current bound: 1324
662.29/664.34	c current bound: 1324
663.47/665.51	c current bound: 1324
664.52/666.67	c current bound: 1324
665.69/667.85	c current bound: 1324
666.86/669.02	c current bound: 1324
668.04/670.21	c current bound: 1324
669.24/671.40	c current bound: 1324
670.54/672.60	c current bound: 1324
671.61/673.81	c current bound: 1324
672.83/675.03	c current bound: 1324
674.06/676.25	c current bound: 1324
675.29/677.49	c current bound: 1324
676.52/678.65	c current bound: 1324
677.73/679.80	c current bound: 1324
678.76/680.96	c current bound: 1324
679.92/682.14	c current bound: 1324
681.10/683.32	c current bound: 1324
682.42/684.50	c current bound: 1324
683.45/685.67	c current bound: 1324
684.77/687.04	c current bound: 1324
685.87/688.27	c current bound: 1324
687.10/689.49	c current bound: 1324
688.24/690.66	c current bound: 1324
689.60/692.06	c current bound: 1324
690.66/693.24	c current bound: 1324
691.82/694.41	c current bound: 1324
693.00/695.60	c current bound: 1324
694.17/696.78	c current bound: 1324
695.37/697.98	c current bound: 1324
696.58/699.19	c current bound: 1324
697.79/700.41	c current bound: 1324
699.04/701.65	c current bound: 1324
700.32/702.89	c current bound: 1324
701.43/704.05	c current bound: 1324
702.58/705.21	c current bound: 1324
703.73/706.36	c current bound: 1324
704.90/707.54	c current bound: 1324
706.10/708.73	c current bound: 1324
707.30/709.93	c current bound: 1324
708.58/711.10	c current bound: 1324
709.66/712.31	c current bound: 1324
710.85/713.51	c current bound: 1324
712.08/714.74	c current bound: 1324
713.29/715.96	c current bound: 1324
714.54/717.12	c current bound: 1324
715.65/718.26	c current bound: 1324
716.76/719.43	c current bound: 1324
717.90/720.59	c current bound: 1324
719.07/721.76	c current bound: 1324
720.24/722.92	c current bound: 1324
721.40/724.10	c current bound: 1324
722.55/725.25	c current bound: 1324
723.73/726.44	c current bound: 1324
724.93/727.64	c current bound: 1324
726.14/728.86	c current bound: 1324
727.35/730.06	c current bound: 1324
728.56/731.29	c current bound: 1324
730.03/732.51	c current bound: 1324
731.00/733.66	c current bound: 1324
732.19/734.81	c current bound: 1324
733.23/735.96	c current bound: 1324
734.40/737.23	c current bound: 1324
735.55/738.39	c current bound: 1324
736.74/739.59	c current bound: 1324
737.92/740.78	c current bound: 1324
739.15/741.99	c current bound: 1324
740.30/743.17	c current bound: 1324
741.53/744.39	c current bound: 1324
742.75/745.63	c current bound: 1324
743.92/746.78	c current bound: 1324
745.15/747.94	c current bound: 1324
746.24/749.10	c current bound: 1324
747.38/750.26	c current bound: 1324
748.56/751.44	c current bound: 1324
749.70/752.59	c current bound: 1324
750.86/753.77	c current bound: 1324
752.04/754.94	c current bound: 1324
753.23/756.13	c current bound: 1324
754.42/757.35	c current bound: 1324
755.64/758.57	c current bound: 1324
756.86/759.79	c current bound: 1324
758.10/761.04	c current bound: 1324
759.24/762.18	c current bound: 1324
760.39/763.33	c current bound: 1324
761.54/764.49	c current bound: 1324
762.78/765.64	c current bound: 1324
763.99/766.80	c current bound: 1324
765.00/767.96	c current bound: 1324
766.17/769.13	c current bound: 1324
767.36/770.31	c current bound: 1324
768.52/771.50	c current bound: 1324
769.71/772.68	c current bound: 1324
770.90/773.88	c current bound: 1324
772.03/775.03	c current bound: 1324
773.19/776.19	c current bound: 1324
774.41/777.52	c current bound: 1324
775.60/778.73	c current bound: 1324
776.89/779.98	c current bound: 1324
778.01/781.13	c current bound: 1324
779.18/782.32	c current bound: 1324
780.34/783.48	c current bound: 1324
781.49/784.64	c current bound: 1324
782.68/785.82	c current bound: 1324
783.86/787.02	c current bound: 1324
785.06/788.22	c current bound: 1324
786.26/789.42	c current bound: 1324
787.47/790.64	c current bound: 1324
788.68/791.86	c current bound: 1324
789.90/793.08	c current bound: 1324
791.14/794.25	c current bound: 1324
792.34/795.41	c current bound: 1324
793.37/796.56	c current bound: 1324
794.53/797.73	c current bound: 1324
795.70/798.91	c current bound: 1324
796.87/800.08	c current bound: 1324
798.06/801.26	c current bound: 1324
799.25/802.46	c current bound: 1324
800.45/803.67	c current bound: 1324
801.64/804.87	c current bound: 1324
802.86/806.09	c current bound: 1324
804.08/807.32	c current bound: 1324
805.38/808.56	c current bound: 1324
806.58/809.71	c current bound: 1324
807.64/810.88	c current bound: 1324
808.81/812.05	c current bound: 1324
809.97/813.22	c current bound: 1324
811.15/814.39	c current bound: 1324
812.29/815.56	c current bound: 1324
813.48/816.73	c current bound: 1324
814.66/817.94	c current bound: 1324
815.87/819.15	c current bound: 1324
817.09/820.38	c current bound: 1324
818.31/821.61	c current bound: 1324
819.62/822.87	c current bound: 1324
820.74/824.05	c current bound: 1324
821.93/825.23	c current bound: 1324
823.09/826.40	c current bound: 1324
824.24/827.56	c current bound: 1324
825.43/828.75	c current bound: 1324
826.70/829.90	c current bound: 1324
827.76/831.09	c current bound: 1324
828.97/832.29	c current bound: 1324
830.16/833.49	c current bound: 1324
831.35/834.69	c current bound: 1324
832.60/835.93	c current bound: 1324
833.87/837.19	c current bound: 1324
835.00/838.36	c current bound: 1324
836.16/839.51	c current bound: 1324
837.31/840.68	c current bound: 1324
838.49/841.86	c current bound: 1324
839.69/843.05	c current bound: 1324
840.87/844.24	c current bound: 1324
842.03/845.43	c current bound: 1324
843.24/846.64	c current bound: 1324
844.46/847.98	c current bound: 1324
845.80/849.21	c current bound: 1324
846.91/850.35	c current bound: 1324
848.11/851.50	c current bound: 1324
849.14/852.67	c current bound: 1324
850.29/853.83	c current bound: 1324
851.46/855.01	c current bound: 1324
852.78/856.20	c current bound: 1324
853.84/857.39	c current bound: 1324
855.03/858.58	c current bound: 1324
856.23/859.80	c current bound: 1324
857.45/861.01	c current bound: 1324
858.65/862.23	c current bound: 1324
859.89/863.47	c current bound: 1324
861.14/864.62	c current bound: 1324
862.23/865.78	c current bound: 1324
863.36/866.94	c current bound: 1324
864.51/868.11	c current bound: 1324
865.69/869.29	c current bound: 1324
866.88/870.47	c current bound: 1324
868.06/871.67	c current bound: 1324
869.24/872.85	c current bound: 1324
870.42/874.03	c current bound: 1324
871.59/875.22	c current bound: 1324
872.80/876.43	c current bound: 1324
874.02/877.65	c current bound: 1324
875.25/878.89	c current bound: 1324
876.47/880.05	c current bound: 1324
877.69/881.20	c current bound: 1324
878.70/882.35	c current bound: 1324
879.87/883.52	c current bound: 1324
881.01/884.68	c current bound: 1324
882.18/885.84	c current bound: 1324
883.35/887.02	c current bound: 1324
884.65/888.30	c current bound: 1324
885.70/889.47	c current bound: 1324
886.84/890.63	c current bound: 1324
888.07/891.85	c current bound: 1324
889.29/893.09	c current bound: 1324
890.64/894.33	c current bound: 1324
891.72/895.49	c current bound: 1324
892.85/896.65	c current bound: 1324
893.99/897.81	c current bound: 1324
895.15/898.97	c current bound: 1324
896.33/900.15	c current bound: 1324
897.52/901.34	c current bound: 1324
898.71/902.53	c current bound: 1324
899.90/903.73	c current bound: 1324
901.12/904.95	c current bound: 1324
902.34/906.17	c current bound: 1324
903.56/907.40	c current bound: 1324
904.88/908.61	c current bound: 1324
905.98/909.77	c current bound: 1324
907.09/910.93	c current bound: 1324
908.37/912.10	c current bound: 1324
909.40/913.26	c current bound: 1324
910.56/914.42	c current bound: 1324
911.73/915.60	c current bound: 1324
913.06/916.80	c current bound: 1324
914.11/917.99	c current bound: 1324
915.31/919.18	c current bound: 1324
916.64/920.40	c current bound: 1324
917.74/921.63	c current bound: 1324
918.96/922.86	c current bound: 1324
920.10/924.00	c current bound: 1324
921.33/925.17	c current bound: 1324
922.52/926.32	c current bound: 1324
923.58/927.49	c current bound: 1324
924.88/928.72	c current bound: 1324
925.94/929.91	c current bound: 1324
927.12/931.10	c current bound: 1324
928.33/932.31	c current bound: 1324
929.51/933.51	c current bound: 1324
930.74/934.74	c current bound: 1324
931.95/935.95	c current bound: 1324
933.11/937.12	c current bound: 1324
934.42/938.37	c current bound: 1324
935.61/939.52	c current bound: 1324
936.67/940.69	c current bound: 1324
937.82/941.84	c current bound: 1324
939.00/943.02	c current bound: 1324
940.30/944.20	c current bound: 1324
941.35/945.37	c current bound: 1324
942.52/946.55	c current bound: 1324
943.72/947.75	c current bound: 1324
944.91/948.95	c current bound: 1324
946.13/950.18	c current bound: 1324
947.28/951.34	c current bound: 1324
948.53/952.58	c current bound: 1324
949.81/953.86	c current bound: 1324
950.85/955.03	c current bound: 1324
952.01/956.19	c current bound: 1324
953.17/957.37	c current bound: 1324
954.38/958.56	c current bound: 1324
955.59/959.76	c current bound: 1324
956.75/960.95	c current bound: 1324
957.96/962.16	c current bound: 1324
959.18/963.37	c current bound: 1324
960.53/964.60	c current bound: 1324
961.71/965.84	c current bound: 1324
962.92/967.01	c current bound: 1324
963.97/968.17	c current bound: 1324
965.12/969.34	c current bound: 1324
966.31/970.52	c current bound: 1324
967.60/971.70	c current bound: 1324
968.64/972.88	c current bound: 1324
969.82/974.06	c current bound: 1324
970.95/975.20	c current bound: 1324
972.09/976.35	c current bound: 1324
973.30/977.56	c current bound: 1324
974.51/978.79	c current bound: 1324
975.67/979.96	c current bound: 1324
976.90/981.19	c current bound: 1324
978.13/982.35	c current bound: 1324
979.34/983.50	c current bound: 1324
980.38/984.67	c current bound: 1324
981.52/985.82	c current bound: 1324
982.69/986.99	c current bound: 1324
983.84/988.15	c current bound: 1324
985.03/989.35	c current bound: 1324
986.21/990.53	c current bound: 1324
987.42/991.74	c current bound: 1324
988.61/992.94	c current bound: 1324
989.83/994.17	c current bound: 1324
991.18/995.40	c current bound: 1324
992.37/996.64	c current bound: 1324
993.46/997.80	c current bound: 1324
994.60/998.96	c current bound: 1324
995.76/1000.12	c current bound: 1324
996.92/1001.29	c current bound: 1324
998.10/1002.47	c current bound: 1324
999.26/1003.64	c current bound: 1324
1000.44/1004.83	c current bound: 1324
1001.64/1006.03	c current bound: 1324
1002.82/1007.22	c current bound: 1324
1004.02/1008.43	c current bound: 1324
1005.17/1009.57	c current bound: 1324
1006.39/1010.80	c current bound: 1324
1007.70/1012.04	c current bound: 1324
1008.81/1013.19	c current bound: 1324
1009.94/1014.37	c current bound: 1324
1011.10/1015.53	c current bound: 1324
1012.27/1016.70	c current bound: 1324
1013.46/1017.89	c current bound: 1324
1014.63/1019.14	c current bound: 1324
1015.83/1020.34	c current bound: 1324
1017.03/1021.55	c current bound: 1324
1018.22/1022.75	c current bound: 1324
1019.44/1023.96	c current bound: 1324
1020.59/1025.12	c current bound: 1324
1021.89/1026.37	c current bound: 1324
1023.10/1027.52	c current bound: 1324
1024.15/1028.69	c current bound: 1324
1025.31/1029.86	c current bound: 1324
1026.47/1031.02	c current bound: 1324
1027.66/1032.21	c current bound: 1324
1028.98/1033.40	c current bound: 1324
1030.03/1034.58	c current bound: 1324
1031.23/1035.78	c current bound: 1324
1032.40/1036.97	c current bound: 1324
1033.60/1038.17	c current bound: 1324
1034.85/1039.41	c current bound: 1324
1036.14/1040.64	c current bound: 1324
1037.25/1041.79	c current bound: 1324
1038.37/1042.95	c current bound: 1324
1039.54/1044.13	c current bound: 1324
1040.68/1045.27	c current bound: 1324
1041.85/1046.44	c current bound: 1324
1043.03/1047.63	c current bound: 1324
1044.20/1048.81	c current bound: 1324
1045.41/1050.01	c current bound: 1324
1046.56/1051.19	c current bound: 1324
1047.79/1052.41	c current bound: 1324
1048.96/1053.58	c current bound: 1324
1050.19/1054.82	c current bound: 1324
1051.49/1056.06	c current bound: 1324
1052.60/1057.23	c current bound: 1324
1053.75/1058.39	c current bound: 1324
1054.90/1059.55	c current bound: 1324
1056.03/1060.70	c current bound: 1324
1057.22/1061.89	c current bound: 1324
1058.40/1063.07	c current bound: 1324
1059.60/1064.28	c current bound: 1324
1060.77/1065.45	c current bound: 1324
1061.97/1066.65	c current bound: 1324
1063.15/1067.84	c current bound: 1324
1064.37/1069.06	c current bound: 1324
1065.59/1070.28	c current bound: 1324
1066.82/1071.44	c current bound: 1324
1068.02/1072.61	c current bound: 1324
1069.07/1073.77	c current bound: 1324
1070.22/1074.94	c current bound: 1324
1071.39/1076.11	c current bound: 1324
1072.56/1077.29	c current bound: 1324
1073.73/1078.47	c current bound: 1324
1074.93/1079.78	c current bound: 1324
1076.13/1080.99	c current bound: 1324
1077.37/1082.23	c current bound: 1324
1078.59/1083.45	c current bound: 1324
1079.94/1084.77	c current bound: 1324
1080.99/1085.93	c current bound: 1324
1082.16/1087.11	c current bound: 1324
1083.34/1088.28	c current bound: 1324
1084.52/1089.48	c current bound: 1324
1085.68/1090.64	c current bound: 1324
1086.87/1091.83	c current bound: 1324
1088.08/1093.05	c current bound: 1324
1089.29/1094.26	c current bound: 1324
1090.42/1095.39	c current bound: 1324
1091.64/1096.62	c current bound: 1324
1092.94/1097.85	c current bound: 1324
1094.14/1099.01	c current bound: 1324
1095.17/1100.16	c current bound: 1324
1096.33/1101.33	c current bound: 1324
1097.52/1102.51	c current bound: 1324
1098.83/1103.70	c current bound: 1324
1099.86/1104.90	c current bound: 1324
1101.06/1106.10	c current bound: 1324
1102.22/1107.26	c current bound: 1324
1103.43/1108.47	c current bound: 1324
1104.64/1109.68	c current bound: 1324
1105.85/1110.91	c current bound: 1324
1107.01/1112.08	c current bound: 1324
1108.26/1113.23	c current bound: 1324
1109.34/1114.40	c current bound: 1324
1110.49/1115.57	c current bound: 1324
1111.66/1116.74	c current bound: 1324
1112.83/1117.91	c current bound: 1324
1113.99/1119.08	c current bound: 1324
1115.16/1120.26	c current bound: 1324
1116.34/1121.45	c current bound: 1324
1117.53/1122.64	c current bound: 1324
1118.73/1123.85	c current bound: 1324
1119.95/1125.07	c current bound: 1324
1121.17/1126.29	c current bound: 1324
1122.50/1127.52	c current bound: 1324
1123.59/1128.69	c current bound: 1324
1124.74/1129.86	c current bound: 1324
1125.88/1131.08	c current bound: 1324
1127.06/1132.27	c current bound: 1324
1128.25/1133.46	c current bound: 1324
1129.42/1134.65	c current bound: 1324
1130.62/1135.84	c current bound: 1324
1131.82/1137.05	c current bound: 1324
1133.02/1138.25	c current bound: 1324
1134.24/1139.49	c current bound: 1324
1135.45/1140.69	c current bound: 1324
1136.67/1141.85	c current bound: 1324
1137.88/1143.02	c current bound: 1324
1138.93/1144.18	c current bound: 1324
1140.06/1145.31	c current bound: 1324
1141.18/1146.45	c current bound: 1324
1142.36/1147.62	c current bound: 1324
1143.55/1148.82	c current bound: 1324
1144.75/1150.18	c current bound: 1324
1145.96/1151.40	c current bound: 1324
1147.18/1152.62	c current bound: 1324
1148.39/1153.84	c current bound: 1324
1149.74/1155.18	c current bound: 1324
1150.77/1156.34	c current bound: 1324
1151.93/1157.50	c current bound: 1324
1153.11/1158.69	c current bound: 1324
1154.25/1159.83	c current bound: 1324
1155.47/1161.05	c current bound: 1324
1156.65/1162.25	c current bound: 1324
1157.87/1163.47	c current bound: 1324
1159.08/1164.69	c current bound: 1324
1160.33/1165.93	c current bound: 1324
1161.49/1167.09	c current bound: 1324
1162.72/1168.26	c current bound: 1324
1163.91/1169.43	c current bound: 1324
1164.99/1170.60	c current bound: 1324
1166.17/1171.78	c current bound: 1324
1167.30/1172.94	c current bound: 1324
1168.49/1174.12	c current bound: 1324
1169.78/1175.46	c current bound: 1324
1171.01/1176.70	c current bound: 1324
1172.13/1177.96	c current bound: 1324
1173.36/1179.19	c current bound: 1324
1174.61/1180.40	c current bound: 1324
1175.67/1181.54	c current bound: 1324
1176.96/1182.70	c current bound: 1324
1177.99/1183.87	c current bound: 1324
1179.16/1185.03	c current bound: 1324
1180.32/1186.19	c current bound: 1324
1181.47/1187.35	c current bound: 1324
1182.65/1188.53	c current bound: 1324
1183.95/1189.70	c current bound: 1324
1185.00/1190.88	c current bound: 1324
1186.15/1192.03	c current bound: 1324
1187.32/1193.20	c current bound: 1324
1188.48/1194.36	c current bound: 1324
1189.66/1195.54	c current bound: 1324
1190.84/1196.72	c current bound: 1324
1192.00/1197.89	c current bound: 1324
1193.26/1199.06	c current bound: 1324
1194.46/1200.23	c current bound: 1324
1195.52/1201.39	c current bound: 1324
1196.67/1202.55	c current bound: 1324
1197.86/1203.72	c current bound: 1324
1199.00/1204.88	c current bound: 1324
1200.17/1206.05	c current bound: 1324
1201.33/1207.21	c current bound: 1324
1202.49/1208.37	c current bound: 1324
1203.66/1209.53	c current bound: 1324
1204.82/1210.69	c current bound: 1324
1205.98/1211.85	c current bound: 1324
1207.16/1213.03	c current bound: 1324
1208.47/1214.20	c current bound: 1324
1209.49/1215.36	c current bound: 1324
1210.66/1216.53	c current bound: 1324
1211.82/1217.70	c current bound: 1324
1213.07/1218.87	c current bound: 1324
1214.18/1220.05	c current bound: 1324
1215.34/1221.22	c current bound: 1324
1216.52/1222.39	c current bound: 1324
1217.70/1223.57	c current bound: 1324
1218.85/1224.73	c current bound: 1324
1220.03/1225.89	c current bound: 1324
1221.19/1227.06	c current bound: 1324
1222.36/1228.23	c current bound: 1324
1223.53/1229.40	c current bound: 1324
1224.69/1230.57	c current bound: 1324
1225.86/1231.76	c current bound: 1324
1227.03/1232.91	c current bound: 1324
1228.16/1234.07	c current bound: 1324
1229.32/1235.22	c current bound: 1324
1230.50/1236.39	c current bound: 1324
1231.73/1237.56	c current bound: 1324
1232.84/1238.73	c current bound: 1324
1233.98/1239.88	c current bound: 1324
1235.15/1241.05	c current bound: 1324
1236.32/1242.22	c current bound: 1324
1237.48/1243.37	c current bound: 1324
1238.66/1244.55	c current bound: 1324
1239.82/1245.71	c current bound: 1324
1241.10/1246.90	c current bound: 1324
1242.14/1248.06	c current bound: 1324
1243.28/1249.21	c current bound: 1324
1244.45/1250.38	c current bound: 1324
1245.63/1251.55	c current bound: 1324
1246.77/1252.71	c current bound: 1324
1247.95/1253.88	c current bound: 1324
1249.10/1255.02	c current bound: 1324
1250.26/1256.19	c current bound: 1324
1251.49/1257.36	c current bound: 1324
1252.59/1258.53	c current bound: 1324
1253.74/1259.69	c current bound: 1324
1254.90/1260.85	c current bound: 1324
1256.08/1262.05	c current bound: 1324
1257.23/1263.21	c current bound: 1324
1258.41/1264.38	c current bound: 1324
1259.55/1265.53	c current bound: 1324
1260.84/1266.70	c current bound: 1324
1261.85/1267.84	c current bound: 1324
1263.04/1269.02	c current bound: 1324
1264.22/1270.19	c current bound: 1324
1265.36/1271.34	c current bound: 1324
1266.51/1272.50	c current bound: 1324
1267.67/1273.65	c current bound: 1324
1268.82/1274.81	c current bound: 1324
1269.97/1275.96	c current bound: 1324
1271.21/1277.13	c current bound: 1324
1272.44/1278.31	c current bound: 1324
1273.47/1279.46	c current bound: 1324
1274.62/1280.63	c current bound: 1324
1275.92/1281.80	c current bound: 1324
1276.95/1282.95	c current bound: 1324
1278.12/1284.12	c current bound: 1324
1279.26/1285.27	c current bound: 1324
1280.42/1286.43	c current bound: 1324
1281.72/1287.60	c current bound: 1324
1282.76/1288.77	c current bound: 1324
1283.92/1289.93	c current bound: 1324
1285.08/1291.09	c current bound: 1324
1286.24/1292.26	c current bound: 1324
1287.41/1293.42	c current bound: 1324
1288.58/1294.59	c current bound: 1324
1289.73/1295.74	c current bound: 1324
1290.88/1296.90	c current bound: 1324
1292.10/1298.06	c current bound: 1324
1293.29/1299.24	c current bound: 1324
1294.36/1300.39	c current bound: 1324
1295.53/1301.56	c current bound: 1324
1296.69/1302.71	c current bound: 1324
1297.83/1303.86	c current bound: 1324
1299.09/1305.00	c current bound: 1324
1300.12/1306.16	c current bound: 1324
1301.28/1307.32	c current bound: 1324
1302.45/1308.49	c current bound: 1324
1303.60/1309.63	c current bound: 1324
1304.89/1310.80	c current bound: 1324
1305.92/1311.96	c current bound: 1324
1307.07/1313.12	c current bound: 1324
1308.23/1314.27	c current bound: 1324
1309.40/1315.43	c current bound: 1324
1310.55/1316.59	c current bound: 1324
1311.71/1317.76	c current bound: 1324
1312.98/1318.94	c current bound: 1324
1314.19/1320.10	c current bound: 1324
1315.21/1321.25	c current bound: 1324
1316.36/1322.41	c current bound: 1324
1317.55/1323.59	c current bound: 1324
1318.71/1324.75	c current bound: 1324
1319.87/1325.92	c current bound: 1324
1321.01/1327.06	c current bound: 1324
1322.18/1328.22	c current bound: 1324
1323.33/1329.37	c current bound: 1324
1324.46/1330.52	c current bound: 1324
1325.62/1331.68	c current bound: 1324
1326.78/1332.84	c current bound: 1324
1327.95/1334.01	c current bound: 1324
1329.09/1335.15	c current bound: 1324
1330.24/1336.30	c current bound: 1324
1331.41/1337.47	c current bound: 1324
1332.56/1338.63	c current bound: 1324
1333.74/1339.80	c current bound: 1324
1334.96/1340.97	c current bound: 1324
1336.05/1342.13	c current bound: 1324
1337.22/1343.30	c current bound: 1324
1338.39/1344.46	c current bound: 1324
1339.57/1345.62	c current bound: 1324
1340.71/1346.77	c current bound: 1324
1341.87/1347.93	c current bound: 1324
1343.00/1349.08	c current bound: 1324
1344.17/1350.24	c current bound: 1324
1345.33/1351.40	c current bound: 1324
1346.48/1352.55	c current bound: 1324
1347.64/1353.72	c current bound: 1324
1348.81/1354.88	c current bound: 1324
1349.94/1356.03	c current bound: 1324
1351.11/1357.19	c current bound: 1324
1352.27/1358.35	c current bound: 1324
1353.44/1359.51	c current bound: 1324
1354.60/1360.68	c current bound: 1324
1355.84/1361.83	c current bound: 1324
1356.94/1362.99	c current bound: 1324
1358.09/1364.18	c current bound: 1324
1359.25/1365.34	c current bound: 1324
1360.54/1366.50	c current bound: 1324
1361.58/1367.66	c current bound: 1324
1362.74/1368.84	c current bound: 1324
1364.04/1370.00	c current bound: 1324
1365.07/1371.16	c current bound: 1324
1366.24/1372.33	c current bound: 1324
1367.41/1373.50	c current bound: 1324
1368.56/1374.66	c current bound: 1324
1369.73/1375.82	c current bound: 1324
1370.88/1376.99	c current bound: 1324
1372.04/1378.15	c current bound: 1324
1373.19/1379.32	c current bound: 1324
1374.37/1380.48	c current bound: 1324
1375.61/1381.65	c current bound: 1324
1376.80/1382.83	c current bound: 1324
1377.87/1383.99	c current bound: 1324
1379.02/1385.15	c current bound: 1324
1380.19/1386.32	c current bound: 1324
1381.36/1387.48	c current bound: 1324
1382.52/1388.65	c current bound: 1324
1383.69/1389.82	c current bound: 1324
1384.87/1390.99	c current bound: 1324
1386.02/1392.17	c current bound: 1324
1387.18/1393.33	c current bound: 1324
1388.36/1394.50	c current bound: 1324
1389.51/1395.66	c current bound: 1324
1390.68/1396.82	c current bound: 1324
1391.82/1397.97	c current bound: 1324
1392.98/1399.13	c current bound: 1324
1394.14/1400.29	c current bound: 1324
1395.36/1401.47	c current bound: 1324
1396.50/1402.66	c current bound: 1324
1397.67/1403.83	c current bound: 1324
1398.82/1404.98	c current bound: 1324
1399.98/1406.13	c current bound: 1324
1401.12/1407.28	c current bound: 1324
1402.29/1408.44	c current bound: 1324
1403.43/1409.59	c current bound: 1324
1404.58/1410.74	c current bound: 1324
1405.75/1411.91	c current bound: 1324
1406.92/1413.08	c current bound: 1324
1408.09/1414.24	c current bound: 1324
1409.23/1415.40	c current bound: 1324
1410.38/1416.55	c current bound: 1324
1411.54/1417.71	c current bound: 1324
1412.71/1418.88	c current bound: 1324
1413.89/1420.05	c current bound: 1324
1415.15/1421.22	c current bound: 1324
1416.24/1422.40	c current bound: 1324
1417.37/1423.56	c current bound: 1324
1418.53/1424.71	c current bound: 1324
1419.69/1425.88	c current bound: 1324
1420.83/1427.03	c current bound: 1324
1421.99/1428.19	c current bound: 1324
1423.17/1429.35	c current bound: 1324
1424.33/1430.52	c current bound: 1324
1425.49/1431.69	c current bound: 1324
1426.65/1432.85	c current bound: 1324
1427.81/1434.01	c current bound: 1324
1428.98/1435.17	c current bound: 1324
1430.11/1436.32	c current bound: 1324
1431.28/1437.49	c current bound: 1324
1432.45/1438.65	c current bound: 1324
1433.61/1439.82	c current bound: 1324
1434.77/1440.97	c current bound: 1324
1436.01/1442.11	c current bound: 1324
1437.11/1443.28	c current bound: 1324
1438.23/1444.44	c current bound: 1324
1439.38/1445.59	c current bound: 1324
1440.54/1446.76	c current bound: 1324
1441.69/1447.91	c current bound: 1324
1442.85/1449.06	c current bound: 1324
1444.01/1450.22	c current bound: 1324
1445.17/1451.39	c current bound: 1324
1446.33/1452.56	c current bound: 1324
1447.50/1453.72	c current bound: 1324
1448.65/1454.88	c current bound: 1324
1449.81/1456.03	c current bound: 1324
1450.97/1457.18	c current bound: 1324
1452.12/1458.35	c current bound: 1324
1453.29/1459.52	c current bound: 1324
1454.45/1460.68	c current bound: 1324
1455.62/1461.85	c current bound: 1324
1457.00/1463.10	c current bound: 1324
1458.02/1464.27	c current bound: 1324
1459.19/1465.45	c current bound: 1324
1460.40/1466.65	c current bound: 1324
1461.57/1467.80	c current bound: 1324
1462.74/1468.97	c current bound: 1324
1463.88/1470.12	c current bound: 1324
1465.04/1471.27	c current bound: 1324
1466.20/1472.43	c current bound: 1324
1467.48/1473.60	c current bound: 1324
1468.52/1474.76	c current bound: 1324
1469.69/1475.93	c current bound: 1324
1470.86/1477.10	c current bound: 1324
1472.02/1478.26	c current bound: 1324
1473.19/1479.43	c current bound: 1324
1474.34/1480.59	c current bound: 1324
1475.58/1481.76	c current bound: 1324
1476.68/1482.93	c current bound: 1324
1477.83/1484.08	c current bound: 1324
1478.96/1485.22	c current bound: 1324
1480.12/1486.38	c current bound: 1324
1481.29/1487.54	c current bound: 1324
1482.44/1488.70	c current bound: 1324
1483.60/1489.86	c current bound: 1324
1484.76/1491.02	c current bound: 1324
1485.90/1492.17	c current bound: 1324
1487.07/1493.33	c current bound: 1324
1488.23/1494.50	c current bound: 1324
1489.39/1495.66	c current bound: 1324
1490.54/1496.81	c current bound: 1324
1491.71/1497.97	c current bound: 1324
1492.85/1499.12	c current bound: 1324
1494.00/1500.27	c current bound: 1324
1495.15/1501.42	c current bound: 1324
1496.32/1502.58	c current bound: 1324
1497.54/1503.75	c current bound: 1324
1498.74/1504.92	c current bound: 1324
1499.80/1506.08	c current bound: 1324
1500.96/1507.24	c current bound: 1324
1502.13/1508.40	c current bound: 1324
1503.29/1509.57	c current bound: 1324
1504.45/1510.74	c current bound: 1324
1505.61/1511.89	c current bound: 1324
1506.76/1513.05	c current bound: 1324
1507.92/1514.21	c current bound: 1324
1509.07/1515.35	c current bound: 1324
1510.22/1516.52	c current bound: 1324
1511.40/1517.69	c current bound: 1324
1512.57/1518.85	c current bound: 1324
1513.73/1520.01	c current bound: 1324
1514.89/1521.17	c current bound: 1324
1516.03/1522.32	c current bound: 1324
1517.18/1523.47	c current bound: 1324
1518.44/1524.64	c current bound: 1324
1519.65/1525.80	c current bound: 1324
1520.67/1526.96	c current bound: 1324
1521.82/1528.12	c current bound: 1324
1522.99/1529.28	c current bound: 1324
1524.15/1530.45	c current bound: 1324
1525.33/1531.62	c current bound: 1324
1526.49/1532.79	c current bound: 1324
1527.66/1533.96	c current bound: 1324
1528.81/1535.12	c current bound: 1324
1529.99/1536.29	c current bound: 1324
1531.16/1537.46	c current bound: 1324
1532.32/1538.63	c current bound: 1324
1533.48/1539.78	c current bound: 1324
1534.63/1540.94	c current bound: 1324
1535.79/1542.10	c current bound: 1324
1536.95/1543.27	c current bound: 1324
1538.20/1544.44	c current bound: 1324
1539.39/1545.62	c current bound: 1324
1540.47/1546.79	c current bound: 1324
1541.63/1548.09	c current bound: 1324
1542.79/1549.26	c current bound: 1324
1543.96/1550.42	c current bound: 1324
1545.11/1551.57	c current bound: 1324
1546.26/1552.74	c current bound: 1324
1547.44/1553.90	c current bound: 1324
1548.61/1555.07	c current bound: 1324
1549.77/1556.24	c current bound: 1324
1550.92/1557.39	c current bound: 1324
1552.09/1558.55	c current bound: 1324
1553.25/1559.71	c current bound: 1324
1554.40/1560.87	c current bound: 1324
1555.65/1562.04	c current bound: 1324
1556.85/1563.20	c current bound: 1324
1557.88/1564.37	c current bound: 1324
1559.14/1565.50	c current bound: 1324
1560.17/1566.65	c current bound: 1324
1561.32/1567.81	c current bound: 1324
1562.47/1568.97	c current bound: 1324
1563.66/1570.15	c current bound: 1324
1564.84/1571.32	c current bound: 1324
1565.99/1572.49	c current bound: 1324
1567.16/1573.64	c current bound: 1324
1568.31/1574.80	c current bound: 1324
1569.46/1575.96	c current bound: 1324
1570.63/1577.13	c current bound: 1324
1571.92/1578.36	c current bound: 1324
1572.95/1579.52	c current bound: 1324
1574.11/1580.67	c current bound: 1324
1575.35/1581.84	c current bound: 1324
1576.46/1583.00	c current bound: 1324
1577.59/1584.15	c current bound: 1324
1578.74/1585.31	c current bound: 1324
1579.89/1586.45	c current bound: 1324
1581.06/1587.62	c current bound: 1324
1582.21/1588.78	c current bound: 1324
1583.38/1589.95	c current bound: 1324
1584.55/1591.11	c current bound: 1324
1585.69/1592.27	c current bound: 1324
1586.98/1593.59	c current bound: 1324
1588.02/1594.76	c current bound: 1324
1589.18/1595.91	c current bound: 1324
1590.35/1597.09	c current bound: 1324
1591.50/1598.24	c current bound: 1324
1592.78/1599.40	c current bound: 1324
1593.88/1600.57	c current bound: 1324
1595.00/1601.74	c current bound: 1324
1596.17/1602.92	c current bound: 1324
1597.33/1604.07	c current bound: 1324
1598.49/1605.24	c current bound: 1324
1599.67/1606.41	c current bound: 1324
1600.82/1607.56	c current bound: 1324
1601.98/1608.73	c current bound: 1324
1603.13/1609.88	c current bound: 1324
1604.29/1611.05	c current bound: 1324
1605.46/1612.22	c current bound: 1324
1606.62/1613.39	c current bound: 1324
1607.77/1614.54	c current bound: 1324
1609.06/1615.70	c current bound: 1324
1610.09/1616.85	c current bound: 1324
1611.27/1618.03	c current bound: 1324
1612.42/1619.18	c current bound: 1324
1613.65/1620.36	c current bound: 1324
1614.84/1621.54	c current bound: 1324
1616.06/1622.70	c current bound: 1324
1617.09/1623.87	c current bound: 1324
1618.24/1625.02	c current bound: 1324
1619.41/1626.18	c current bound: 1324
1620.55/1627.33	c current bound: 1324
1621.70/1628.47	c current bound: 1324
1622.84/1629.61	c current bound: 1324
1623.98/1630.77	c current bound: 1324
1625.14/1631.92	c current bound: 1324
1626.30/1633.08	c current bound: 1324
1627.46/1634.25	c current bound: 1324
1628.62/1635.40	c current bound: 1324
1629.80/1636.57	c current bound: 1324
1630.95/1637.74	c current bound: 1324
1632.10/1638.89	c current bound: 1324
1633.27/1640.06	c current bound: 1324
1634.52/1641.22	c current bound: 1324
1635.63/1642.39	c current bound: 1324
1636.75/1643.54	c current bound: 1324
1638.03/1644.70	c current bound: 1324
1639.07/1645.86	c current bound: 1324
1640.21/1647.01	c current bound: 1324
1641.37/1648.17	c current bound: 1324
1642.53/1649.33	c current bound: 1324
1643.70/1650.52	c current bound: 1324
1644.88/1651.68	c current bound: 1324
1646.04/1652.84	c current bound: 1324
1647.19/1654.00	c current bound: 1324
1648.34/1655.16	c current bound: 1324
1649.52/1656.34	c current bound: 1324
1650.69/1657.50	c current bound: 1324
1651.85/1658.66	c current bound: 1324
1653.00/1659.82	c current bound: 1324
1654.17/1661.00	c current bound: 1324
1655.39/1662.16	c current bound: 1324
1656.60/1663.32	c current bound: 1324
1657.65/1664.47	c current bound: 1324
1658.80/1665.62	c current bound: 1324
1659.95/1666.78	c current bound: 1324
1661.10/1667.94	c current bound: 1324
1662.28/1669.11	c current bound: 1324
1663.44/1670.28	c current bound: 1324
1664.63/1671.46	c current bound: 1324
1665.80/1672.63	c current bound: 1324
1666.95/1673.79	c current bound: 1324
1668.12/1674.97	c current bound: 1324
1669.31/1676.14	c current bound: 1324
1670.48/1677.31	c current bound: 1324
1671.64/1678.47	c current bound: 1324
1672.80/1679.65	c current bound: 1324
1674.10/1680.81	c current bound: 1324
1675.21/1681.98	c current bound: 1324
1676.31/1683.15	c current bound: 1324
1677.49/1684.32	c current bound: 1324
1678.64/1685.47	c current bound: 1324
1679.80/1686.64	c current bound: 1324
1680.98/1687.82	c current bound: 1324
1682.16/1688.99	c current bound: 1324
1683.32/1690.16	c current bound: 1324
1684.49/1691.33	c current bound: 1324
1685.66/1692.51	c current bound: 1324
1686.84/1693.68	c current bound: 1324
1688.01/1694.85	c current bound: 1324
1689.17/1696.01	c current bound: 1324
1690.49/1697.20	c current bound: 1324
1691.53/1698.37	c current bound: 1324
1692.80/1699.54	c current bound: 1324
1694.00/1700.70	c current bound: 1324
1695.05/1701.88	c current bound: 1324
1696.20/1703.05	c current bound: 1324
1697.38/1704.23	c current bound: 1324
1698.55/1705.42	c current bound: 1324
1699.86/1706.60	c current bound: 1324
1700.89/1707.76	c current bound: 1324
1702.07/1708.94	c current bound: 1324
1703.24/1710.12	c current bound: 1324
1704.41/1711.28	c current bound: 1324
1705.59/1712.46	c current bound: 1324
1706.77/1713.63	c current bound: 1324
1708.08/1714.80	c current bound: 1324
1709.09/1715.96	c current bound: 1324
1710.47/1717.21	c current bound: 1324
1711.50/1718.36	c current bound: 1324
1712.66/1719.59	c current bound: 1324
1713.83/1720.77	c current bound: 1324
1714.99/1721.92	c current bound: 1324
1716.16/1723.09	c current bound: 1324
1717.33/1724.27	c current bound: 1324
1718.47/1725.42	c current bound: 1324
1719.65/1726.59	c current bound: 1324
1720.81/1727.75	c current bound: 1324
1722.00/1728.93	c current bound: 1324
1723.17/1730.11	c current bound: 1324
1724.33/1731.27	c current bound: 1324
1725.49/1732.43	c current bound: 1324
1726.80/1733.61	c current bound: 1324
1727.91/1734.85	c current bound: 1324
1729.01/1736.03	c current bound: 1324
1730.17/1737.19	c current bound: 1324
1731.33/1738.36	c current bound: 1324
1732.54/1739.67	c current bound: 1324
1733.71/1740.83	c current bound: 1324
1734.86/1741.99	c current bound: 1324
1736.04/1743.16	c current bound: 1324
1737.19/1744.31	c current bound: 1324
1738.35/1745.48	c current bound: 1324
1739.50/1746.63	c current bound: 1324
1740.66/1747.79	c current bound: 1324
1741.83/1748.96	c current bound: 1324
1743.10/1750.13	c current bound: 1324
1744.18/1751.30	c current bound: 1324
1745.33/1752.46	c current bound: 1324
1746.49/1753.62	c current bound: 1324
1747.65/1754.78	c current bound: 1324
1748.81/1755.95	c current bound: 1324
1750.00/1757.12	c current bound: 1324
1751.15/1758.29	c current bound: 1324
1752.34/1759.47	c current bound: 1324
1753.49/1760.62	c current bound: 1324
1754.79/1761.80	c current bound: 1324
1755.81/1762.95	c current bound: 1324
1756.98/1764.11	c current bound: 1324
1758.14/1765.27	c current bound: 1324
1759.28/1766.43	c current bound: 1324
1760.44/1767.59	c current bound: 1324
1761.60/1768.73	c current bound: 1324
1762.75/1769.89	c current bound: 1324
1763.98/1771.06	c current bound: 1324
1765.18/1772.24	c current bound: 1324
1766.24/1773.39	c current bound: 1324
1767.40/1774.55	c current bound: 1324
1768.56/1775.70	c current bound: 1324
1769.71/1776.86	c current bound: 1324
1770.88/1778.03	c current bound: 1324
1772.04/1779.19	c current bound: 1324
1773.20/1780.36	c current bound: 1324
1774.38/1781.52	c current bound: 1324
1775.52/1782.68	c current bound: 1324
1776.68/1783.84	c current bound: 1324
1777.97/1785.00	c current bound: 1324
1779.00/1786.16	c current bound: 1324
1780.16/1787.32	c current bound: 1324
1781.31/1788.47	c current bound: 1324
1782.48/1789.64	c current bound: 1324
1783.63/1790.80	c current bound: 1324
1784.84/1791.96	c current bound: 1324
1786.04/1793.13	c current bound: 1324
1787.10/1794.27	c current bound: 1324
1788.25/1795.42	c current bound: 1324
1789.41/1796.58	c current bound: 1324
1790.57/1797.74	c current bound: 1324
1791.70/1798.88	c current bound: 1324
1792.98/1800.16	c current bound: 1324
1794.02/1801.32	c current bound: 1324
1795.17/1802.49	c current bound: 1324
1796.34/1803.64	c current bound: 1324
1797.49/1804.82	c current bound: 1324
1798.10/1805.30	./satsolver.sh: line 5:  6727 Terminated              ./glucose $1 > $2 2> /dev/null
1798.10/1805.30	c error: unexpected solver exit code
1798.10/1805.30	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.01 2.00 3/180 15571
/proc/meminfo: memFree=29727372/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0

[startup+0.07331 s]
/proc/loadavg: 1.99 2.01 2.00 3/180 15571
/proc/meminfo: memFree=29727372/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100183 s]
/proc/loadavg: 1.99 2.01 2.00 3/180 15571
/proc/meminfo: memFree=29727372/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300114 s]
/proc/loadavg: 1.99 2.01 2.00 3/180 15571
/proc/meminfo: memFree=29727372/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700117 s]
/proc/loadavg: 1.99 2.01 2.00 3/180 15571
/proc/meminfo: memFree=29727372/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 1.99 2.01 2.00 3/184 15578
/proc/meminfo: memFree=29717876/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=9276 CPUtime=1.47 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 3298 8639 0 0 9 3 132 3 20 0 1 0 288569928 9498624 1644 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15572/statm: 2319 1644 175 439 0 1876 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 18424

[startup+3.1003 s]
/proc/loadavg: 1.99 2.01 2.00 3/184 15585
/proc/meminfo: memFree=29688932/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=2.63 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 4775 18495 0 0 13 4 235 11 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 21496

[startup+6.30031 s]
/proc/loadavg: 1.99 2.01 2.00 3/184 15629
/proc/meminfo: memFree=29679576/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=6.1 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 9203 47995 0 0 26 6 546 32 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 21496

[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.00 3/184 15678
/proc/meminfo: memFree=29678220/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=11.88 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 16583 98476 0 0 46 9 1063 70 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=15677] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15677/stat : 15677 (satsolver.sh) S 15572 15571 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288571120 9367552 267 33554432000 4194304 5064252 140736326223136 140736326222048 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15677/statm: 2287 267 226 213 0 72 0
[pid=15678] ppid=15677 vsize=29676 CPUtime=0.77 cores=0,2,4,6
/proc/15678/stat : 15678 (glucose) R 15677 15571 7669 0 -1 4202496 5242 0 0 0 76 1 0 0 20 0 1 0 288571120 30388224 6094 33554432000 4194304 5208918 140736929861088 140736929859048 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15678/statm: 7419 6094 95 248 0 7168 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 60320

[startup+25.5003 s]
/proc/loadavg: 1.99 2.01 2.00 3/184 15769
/proc/meminfo: memFree=29682812/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=24.66 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 32819 208358 0 0 92 16 2206 152 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=15768] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15768/stat : 15768 (satsolver.sh) S 15572 15571 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288572398 9367552 267 33554432000 4194304 5064252 140735510736976 140735510735888 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15768/statm: 2287 267 226 213 0 72 0
[pid=15769] ppid=15768 vsize=29680 CPUtime=0.78 cores=0,2,4,6
/proc/15769/stat : 15769 (glucose) R 15768 15571 7669 0 -1 4202496 5880 0 0 0 77 1 0 0 20 0 1 0 288572398 30392320 6102 33554432000 4194304 5208918 140733448730528 140733448728680 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15769/statm: 7420 6102 95 248 0 7169 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 60324

[startup+51.1004 s]
/proc/loadavg: 2.28 2.07 2.02 3/184 16507
/proc/meminfo: memFree=29670180/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=50.16 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 65291 429984 0 0 183 31 4487 315 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=16502] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16502/stat : 16502 (satsolver.sh) S 15572 15571 7669 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 288574960 9367552 267 33554432000 4194304 5064252 140733477307312 140733477306224 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16502/statm: 2287 267 226 213 0 72 0
[pid=16503] ppid=16502 vsize=29680 CPUtime=0.76 cores=0,2,4,6
/proc/16503/stat : 16503 (glucose) R 16502 15571 7669 0 -1 4202496 5919 0 0 0 76 0 0 0 20 0 1 0 288574960 30392320 6088 33554432000 4194304 5208918 140734427813072 140734427810920 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16503/statm: 7420 6088 95 248 0 7169 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 60324

[startup+102.307 s]
/proc/loadavg: 2.46 2.16 2.05 3/183 18124
/proc/meminfo: memFree=29666444/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=101.23 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 130235 873661 0 0 369 63 9063 628 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=18109] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18109/stat : 18109 (satsolver.sh) S 15572 15571 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288580089 9367552 267 33554432000 4194304 5064252 140735070884944 140735070883856 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18109/statm: 2287 267 226 213 0 72 0
[pid=18110] ppid=18109 vsize=29676 CPUtime=0.68 cores=0,2,4,6
/proc/18110/stat : 18110 (glucose) R 18109 15571 7669 0 -1 4202496 5750 0 0 0 68 0 0 0 20 0 1 0 288580089 30388224 6047 33554432000 4194304 5208918 140733237273456 140735070883880 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18110/statm: 7419 6047 95 248 0 7168 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 60320

[startup+162.3 s]
/proc/loadavg: 2.14 2.12 2.04 3/184 19997
/proc/meminfo: memFree=29678428/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=161.56 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 206987 1397535 0 0 587 100 14461 1008 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 21496

[startup+222.3 s]
/proc/loadavg: 1.91 2.06 2.02 3/183 21912
/proc/meminfo: memFree=29663284/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=220.77 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 282263 1913156 0 0 801 136 19773 1367 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=21890] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21890/stat : 21890 (satsolver.sh) S 15572 15571 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288592060 9367552 267 33554432000 4194304 5064252 140734038002288 140734038001200 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21890/statm: 2287 267 226 213 0 72 0
[pid=21891] ppid=21890 vsize=30652 CPUtime=0.96 cores=0,2,4,6
/proc/21891/stat : 21891 (glucose) R 21890 15571 7669 0 -1 4202496 6009 0 0 0 96 0 0 0 20 0 1 0 288592060 31387648 6795 33554432000 4194304 5208918 140736970060912 140736970058760 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21891/statm: 7663 6795 105 248 0 7412 0
Current children cumulated CPU time (s) 221.73

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

/proc/meminfo: memFree=29669752/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1236.5 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 1559003 10667329 0 0 4141 728 111111 7670 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 32 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 1236.5
Current children cumulated vsize (KiB) 21496

[startup+1302.3 s]
/proc/loadavg: 1.99 1.91 1.91 3/183 23321
/proc/meminfo: memFree=29657452/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1295.71 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 1634279 11181719 0 0 4355 764 116414 8038 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 1295.71
Current children cumulated vsize (KiB) 21496

[startup+1362.3 s]
/proc/loadavg: 1.91 1.90 1.90 3/183 25236
/proc/meminfo: memFree=29673820/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1355.92 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 1711031 11702899 0 0 4572 801 121816 8403 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 1355.92
Current children cumulated vsize (KiB) 21496

[startup+1422.3 s]
/proc/loadavg: 1.79 1.87 1.89 2/181 27132
/proc/meminfo: memFree=29692844/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1416.2 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 1786316 12229067 0 0 4786 837 127221 8776 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436304 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=27128] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27128/stat : 27128 (cp2_post.sh) S 15572 15571 7669 0 -1 4202496 609 224 0 0 0 0 0 0 20 0 1 0 288712153 9367552 265 33554432000 4194304 5064252 140733669736816 140733669735104 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27128/statm: 2287 265 225 213 0 72 0
[pid=27132] ppid=27128 vsize=8568 CPUtime=0.04 cores=0,2,4,6
/proc/27132/stat : 27132 (coprocessor) R 27128 15571 7669 0 -1 4202496 1427 0 0 0 3 1 0 0 20 0 1 0 288712153 8773632 1442 33554432000 4194304 6586260 140736621901792 140736621898360 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/27132/statm: 2142 1442 148 584 0 1554 0
Current children cumulated CPU time (s) 1416.24
Current children cumulated vsize (KiB) 39212

[startup+1482.3 s]
/proc/loadavg: 1.92 1.89 1.90 3/183 29003
/proc/meminfo: memFree=29673804/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1475.7 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 1863059 12749099 0 0 5004 874 132530 9162 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 1475.7
Current children cumulated vsize (KiB) 21496

[startup+1542.31 s]
/proc/loadavg: 2.27 1.97 1.93 3/183 30897
/proc/meminfo: memFree=29658928/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1535.96 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 1939811 13271781 0 0 5222 910 137928 9536 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=30894] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30894/stat : 30894 (satsolver.sh) S 15572 15571 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288724143 9367552 266 33554432000 4194304 5064252 140736019946512 140736019945424 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30894/statm: 2287 266 226 213 0 72 0
[pid=30895] ppid=30894 vsize=26692 CPUtime=0.14 cores=0,2,4,6
/proc/30895/stat : 30895 (glucose) R 30894 15571 7669 0 -1 4202496 5784 0 0 0 14 0 0 0 20 0 1 0 288724143 27332608 5803 33554432000 4194304 5208918 140735281341328 140736019945448 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30895/statm: 6673 5803 95 248 0 6422 0
Current children cumulated CPU time (s) 1536.1
Current children cumulated vsize (KiB) 57336

[startup+1602.3 s]
/proc/loadavg: 2.10 1.98 1.93 3/182 32758
/proc/meminfo: memFree=29674516/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1595.18 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 2015087 13790741 0 0 5436 946 143227 9909 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 1595.18
Current children cumulated vsize (KiB) 21496

[startup+1662.3 s]
/proc/loadavg: 1.98 1.97 1.93 3/183 2245
/proc/meminfo: memFree=29673348/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1655.51 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 2091839 14316742 0 0 5653 981 148625 10292 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 1655.51
Current children cumulated vsize (KiB) 21496

[startup+1722.3 s]
/proc/loadavg: 1.91 1.94 1.92 3/181 4118
/proc/meminfo: memFree=29674440/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1715.18 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 2167115 14830218 0 0 5845 1016 153974 10683 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 39 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
Current children cumulated CPU time (s) 1715.18
Current children cumulated vsize (KiB) 21496

[startup+1782.3 s]
/proc/loadavg: 1.72 1.88 1.89 3/184 6006
/proc/meminfo: memFree=29656276/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1774.55 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 2242391 15346263 0 0 6052 1052 159290 11061 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=5994] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5994/stat : 5994 (satsolver.sh) S 15572 15571 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288748085 9367552 267 33554432000 4194304 5064252 140734691948928 140734691947840 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5994/statm: 2287 267 226 213 0 72 0
[pid=5995] ppid=5994 vsize=29676 CPUtime=0.71 cores=0,2,4,6
/proc/5995/stat : 5995 (glucose) R 5994 15571 7669 0 -1 4202496 5699 0 0 0 70 1 0 0 20 0 1 0 288748086 30388224 6509 33554432000 4194304 5208918 140734164730352 140734163680040 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5995/statm: 7419 6509 95 248 0 7168 0
Current children cumulated CPU time (s) 1775.26
Current children cumulated vsize (KiB) 60320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.3 s]
/proc/loadavg: 1.81 1.88 1.90 3/183 6734
/proc/meminfo: memFree=29655728/32873648 swapFree=7368/7368
[pid=15571] ppid=15569 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15571/stat : 15571 (npSolver-wbo-It) S 15569 15571 7669 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288569927 9367552 274 33554432000 4194304 5064252 140736740761056 140736740759968 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15571/statm: 2287 274 233 213 0 72 0
[pid=15572] ppid=15571 vsize=12348 CPUtime=1797.67 cores=0,2,4,6
/proc/15572/stat : 15572 (npSolver-wbo) S 15571 15571 7669 0 -1 4202496 2271911 15545714 0 0 6136 1066 161362 11203 20 0 1 0 288569928 12644352 2375 33554432000 4194304 5990268 140737105445408 140737105436816 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/15572/statm: 3087 2375 176 439 0 2644 0
[pid=6726] ppid=15572 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6726/stat : 6726 (satsolver.sh) S 15572 15571 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288750414 9367552 267 33554432000 4194304 5064252 140734518483152 140734518482064 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6726/statm: 2287 267 226 213 0 72 0
[pid=6727] ppid=6726 vsize=26824 CPUtime=0.43 cores=0,2,4,6
/proc/6727/stat : 6727 (glucose) R 6726 15571 7669 0 -1 4202496 5589 0 0 0 42 1 0 0 20 0 1 0 288750414 27467776 5889 33554432000 4194304 5208918 140735425940016 140734518482088 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6727/statm: 6706 5889 95 248 0 6455 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 57468

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): 1.99994
#  lost CPU user time (s): 1.93994
#  lost CPU system time (s): 0.0600014

Real time (s): 1805.31
CPU time (s): 1800.14
CPU user time (s): 1677.36
CPU system time (s): 122.783
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 61300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1675.42
system time used= 122.723
maximum resident set size= 28012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17824204
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11396016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201078
involuntary context switches= 22101

runsolver used 5.30919 second user time and 13.458 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-28 19:00:58
IDJOB=3715941
IDBENCH=79192
IDSOLVER=2297
FILE ID=node149/3715941-1338224458
RUNJOBID= node149-1338217256-7685
PBS_JOBID= 14624618
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 1b4d108d74bb6ee9510c6f55f0fde657
RANDOM SEED=1024487578

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29727372 kB
Buffers:          526032 kB
Cached:          1761380 kB
SwapCached:         2476 kB
Active:          1022876 kB
Inactive:        1285592 kB
Active(anon):       8912 kB
Inactive(anon):     9368 kB
Active(file):    1013964 kB
Inactive(file):  1276224 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104884 kB
Dirty:              8212 kB
Writeback:             0 kB
AnonPages:         27944 kB
Mapped:            15344 kB
Shmem:                96 kB
Slab:             700196 kB
SReclaimable:     143788 kB
SUnreclaim:       556408 kB
KernelStack:        1528 kB
PageTables:         3956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     135384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71676 MiB
End job on node149 at 2012-05-28 19:31:04