Trace number 3715599

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.31 1799.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
MD5SUM2c7bc414eea5148dc6372ccd38f2fe74
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark24.2723
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1863
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c run usual solver
0.00/0.15	o 426
0.00/0.15	c starting approximation
0.00/0.15	c factor = 2
0.00/0.15	c factor still to low - shrinking to 2.42564
0.00/0.15	c approx number of clauses: 1e+06
0.00/0.15	c current bound: 213
1.15/1.21	c current bound: 213
2.16/2.28	c current bound: 213
3.26/3.36	c current bound: 213
4.36/4.44	c current bound: 213
5.37/5.50	c current bound: 213
6.48/6.57	c current bound: 213
7.61/7.70	c current bound: 213
8.59/8.77	c current bound: 213
9.69/9.85	c current bound: 213
10.80/10.92	c current bound: 213
11.61/11.99	c current bound: 213
12.69/13.05	c current bound: 213
13.74/14.12	c current bound: 213
14.81/15.19	c current bound: 213
15.88/16.25	c current bound: 213
16.94/17.33	c current bound: 213
18.00/18.39	c current bound: 213
19.09/19.49	c current bound: 213
20.17/20.55	c current bound: 213
21.24/21.62	c current bound: 213
22.31/22.69	c current bound: 213
23.38/23.76	c current bound: 213
24.45/24.83	c current bound: 213
25.52/25.89	c current bound: 213
26.58/26.97	c current bound: 213
27.66/28.03	c current bound: 213
28.73/29.10	c current bound: 213
29.80/30.17	c current bound: 213
30.86/31.24	c current bound: 213
31.93/32.31	c current bound: 213
33.00/33.38	c current bound: 213
34.07/34.44	c current bound: 213
35.13/35.51	c current bound: 213
36.20/36.58	c current bound: 213
37.26/37.65	c current bound: 213
38.34/38.73	c current bound: 213
39.41/39.79	c current bound: 213
40.69/40.86	c current bound: 213
41.79/41.93	c current bound: 213
42.79/42.99	c current bound: 213
43.91/44.08	c current bound: 213
45.00/45.15	c current bound: 213
46.11/46.22	c current bound: 213
47.11/47.28	c current bound: 213
48.22/48.36	c current bound: 213
49.31/49.43	c current bound: 213
50.12/50.49	c current bound: 213
51.17/51.56	c current bound: 213
52.26/52.64	c current bound: 213
53.34/53.72	c current bound: 213
54.41/54.79	c current bound: 213
55.47/55.85	c current bound: 213
56.54/56.92	c current bound: 213
57.60/57.99	c current bound: 213
58.68/59.06	c current bound: 213
59.75/60.13	c current bound: 213
60.82/61.19	c current bound: 213
61.88/62.27	c current bound: 213
62.96/63.34	c current bound: 213
64.03/64.41	c current bound: 213
65.09/65.48	c current bound: 213
66.16/66.54	c current bound: 213
67.24/67.61	c current bound: 213
68.59/68.72	c current bound: 213
69.38/69.79	c current bound: 213
70.45/70.87	c current bound: 213
71.54/71.95	c current bound: 213
72.59/73.03	c current bound: 213
73.96/74.10	c current bound: 213
74.75/75.17	c current bound: 213
75.83/76.24	c current bound: 213
76.90/77.29	c current bound: 213
77.95/78.35	c current bound: 213
79.01/79.42	c current bound: 213
80.26/80.47	c current bound: 213
81.36/81.53	c current bound: 213
82.48/82.60	c current bound: 213
83.47/83.67	c current bound: 213
84.57/84.75	c current bound: 213
85.65/85.81	c current bound: 213
86.67/86.88	c current bound: 213
87.77/87.95	c current bound: 213
88.87/89.07	c current bound: 213
89.97/90.13	c current bound: 213
90.79/91.19	c current bound: 213
91.86/92.26	c current bound: 213
92.92/93.32	c current bound: 213
93.99/94.39	c current bound: 213
95.06/95.47	c current bound: 213
96.13/96.53	c current bound: 213
97.19/97.59	c current bound: 213
98.25/98.66	c current bound: 213
99.32/99.73	c current bound: 213
100.39/100.82	c current bound: 213
101.48/101.89	c current bound: 213
102.55/102.96	c current bound: 213
103.62/104.03	c current bound: 213
104.69/105.09	c current bound: 213
105.76/106.16	c current bound: 213
106.83/107.23	c current bound: 213
107.89/108.30	c current bound: 213
108.97/109.37	c current bound: 213
110.03/110.44	c current bound: 213
111.10/111.51	c current bound: 213
112.16/112.58	c current bound: 213
113.23/113.65	c current bound: 213
114.30/114.71	c current bound: 213
115.35/115.78	c current bound: 213
116.44/116.85	c current bound: 213
117.50/117.91	c current bound: 213
118.77/118.98	c current bound: 213
119.86/120.05	c current bound: 213
120.98/121.12	c current bound: 213
122.08/122.20	c current bound: 213
123.07/123.26	c current bound: 213
124.17/124.33	c current bound: 213
125.17/125.40	c current bound: 213
126.26/126.46	c current bound: 213
127.38/127.53	c current bound: 213
128.48/128.61	c current bound: 213
129.26/129.67	c current bound: 213
130.34/130.74	c current bound: 213
131.41/131.80	c current bound: 213
132.47/132.87	c current bound: 213
133.52/133.94	c current bound: 213
134.60/135.01	c current bound: 213
135.67/136.08	c current bound: 213
136.75/137.15	c current bound: 213
137.81/138.22	c current bound: 213
138.89/139.28	c current bound: 213
139.95/140.35	c current bound: 213
141.01/141.42	c current bound: 213
142.09/142.49	c current bound: 213
143.15/143.56	c current bound: 213
144.22/144.63	c current bound: 213
145.58/145.70	c current bound: 213
146.35/146.77	c current bound: 213
147.43/147.84	c current bound: 213
148.49/148.91	c current bound: 213
149.55/149.97	c current bound: 213
150.64/151.06	c current bound: 213
151.71/152.14	c current bound: 213
152.80/153.21	c current bound: 213
153.86/154.28	c current bound: 213
154.93/155.35	c current bound: 213
155.99/156.41	c current bound: 213
157.26/157.49	c current bound: 213
158.35/158.55	c current bound: 213
159.46/159.62	c current bound: 213
160.46/160.69	c current bound: 213
161.56/161.75	c current bound: 213
162.67/162.82	c current bound: 213
163.66/163.89	c current bound: 213
164.77/164.96	c current bound: 213
165.86/166.04	c current bound: 213
166.96/167.11	c current bound: 213
167.75/168.17	c current bound: 213
168.83/169.24	c current bound: 213
169.90/170.32	c current bound: 213
170.96/171.38	c current bound: 213
172.04/172.45	c current bound: 213
173.11/173.53	c current bound: 213
174.46/174.60	c current bound: 213
175.24/175.67	c current bound: 213
176.32/176.74	c current bound: 213
177.38/177.81	c current bound: 213
178.46/178.88	c current bound: 213
179.52/179.95	c current bound: 213
180.60/181.03	c current bound: 213
181.69/182.12	c current bound: 213
182.76/183.19	c current bound: 213
183.84/184.28	c current bound: 213
184.92/185.35	c current bound: 213
185.99/186.43	c current bound: 213
187.36/187.50	c current bound: 213
188.14/188.56	c current bound: 213
189.20/189.63	c current bound: 213
190.56/190.70	c current bound: 213
191.35/191.77	c current bound: 213
192.40/192.82	c current bound: 213
193.45/193.88	c current bound: 213
194.53/194.95	c current bound: 213
195.60/196.02	c current bound: 213
196.67/197.08	c current bound: 213
197.94/198.15	c current bound: 213
199.05/199.21	c current bound: 213
200.06/200.26	c current bound: 213
201.17/201.34	c current bound: 213
202.27/202.42	c current bound: 213
203.26/203.49	c current bound: 213
204.36/204.57	c current bound: 213
205.46/205.64	c current bound: 213
206.59/206.70	c current bound: 213
207.37/207.78	c current bound: 213
208.44/208.85	c current bound: 213
209.51/209.92	c current bound: 213
210.58/210.99	c current bound: 213
211.65/212.05	c current bound: 213
212.70/213.12	c current bound: 213
213.77/214.19	c current bound: 213
214.85/215.26	c current bound: 213
215.93/216.33	c current bound: 213
217.28/217.40	c current bound: 213
218.06/218.47	c current bound: 213
219.13/219.54	c current bound: 213
220.20/220.61	c current bound: 213
221.27/221.69	c current bound: 213
222.35/222.76	c current bound: 213
223.41/223.82	c current bound: 213
224.77/224.90	c current bound: 213
225.56/225.97	c current bound: 213
226.63/227.04	c current bound: 213
227.70/228.11	c current bound: 213
228.78/229.18	c current bound: 213
229.84/230.25	c current bound: 213
230.92/231.32	c current bound: 213
231.99/232.39	c current bound: 213
233.06/233.47	c current bound: 213
234.14/234.52	c current bound: 213
235.19/235.57	c current bound: 213
236.47/236.64	c current bound: 213
237.59/237.71	c current bound: 213
238.57/238.78	c current bound: 213
239.69/239.85	c current bound: 213
240.79/240.93	c current bound: 213
241.77/242.00	c current bound: 213
242.87/243.07	c current bound: 213
243.99/244.14	c current bound: 213
244.81/245.20	c current bound: 213
245.87/246.27	c current bound: 213
246.93/247.34	c current bound: 213
248.00/248.41	c current bound: 213
249.12/249.53	c current bound: 213
250.19/250.59	c current bound: 213
251.26/251.66	c current bound: 213
252.35/252.74	c current bound: 213
253.42/253.80	c current bound: 213
254.48/254.87	c current bound: 213
255.55/255.94	c current bound: 213
256.62/257.01	c current bound: 213
257.68/258.08	c current bound: 213
258.75/259.15	c current bound: 213
259.84/260.24	c current bound: 213
260.90/261.30	c current bound: 213
261.99/262.37	c current bound: 213
263.04/263.45	c current bound: 213
264.12/264.53	c current bound: 213
265.50/265.60	c current bound: 213
266.27/266.67	c current bound: 213
267.34/267.74	c current bound: 213
268.41/268.80	c current bound: 213
269.47/269.87	c current bound: 213
270.54/270.94	c current bound: 213
271.61/272.01	c current bound: 213
272.69/273.08	c current bound: 213
273.77/274.16	c current bound: 213
274.84/275.23	c current bound: 213
275.91/276.29	c current bound: 213
277.19/277.36	c current bound: 213
278.29/278.43	c current bound: 213
279.31/279.49	c current bound: 213
280.41/280.56	c current bound: 213
281.50/281.63	c current bound: 213
282.62/282.71	c current bound: 213
283.61/283.77	c current bound: 213
284.71/284.84	c current bound: 213
285.81/285.90	c current bound: 213
286.60/286.97	c current bound: 213
287.67/288.04	c current bound: 213
288.74/289.11	c current bound: 213
289.80/290.18	c current bound: 213
290.88/291.25	c current bound: 213
291.94/292.32	c current bound: 213
293.00/293.39	c current bound: 213
294.06/294.46	c current bound: 213
295.14/295.52	c current bound: 213
296.21/296.59	c current bound: 213
297.27/297.66	c current bound: 213
298.35/298.73	c current bound: 213
299.41/299.79	c current bound: 213
300.47/300.86	c current bound: 213
301.54/301.93	c current bound: 213
302.62/303.00	c current bound: 213
303.70/304.07	c current bound: 213
304.76/305.14	c current bound: 213
305.83/306.21	c current bound: 213
306.90/307.28	c current bound: 213
307.97/308.35	c current bound: 213
309.05/309.41	c current bound: 213
310.10/310.47	c current bound: 213
311.17/311.54	c current bound: 213
312.25/312.62	c current bound: 213
313.59/313.73	c current bound: 213
314.42/314.82	c current bound: 213
315.50/315.91	c current bound: 213
316.86/317.00	c current bound: 213
317.69/318.09	c current bound: 213
318.78/319.18	c current bound: 213
319.87/320.27	c current bound: 213
320.97/321.38	c current bound: 213
322.08/322.48	c current bound: 213
323.18/323.59	c current bound: 213
324.45/324.64	c current bound: 213
325.45/325.69	c current bound: 213
326.57/326.74	c current bound: 213
327.55/327.79	c current bound: 213
328.65/328.85	c current bound: 213
329.77/329.90	c current bound: 213
330.56/330.95	c current bound: 213
331.61/332.02	c current bound: 213
332.68/333.08	c current bound: 213
333.77/334.17	c current bound: 213
334.86/335.26	c current bound: 213
335.95/336.35	c current bound: 213
337.03/337.44	c current bound: 213
338.11/338.53	c current bound: 213
339.21/339.62	c current bound: 213
340.29/340.71	c current bound: 213
341.40/341.80	c current bound: 213
342.49/342.89	c current bound: 213
343.54/343.94	c current bound: 213
344.59/345.01	c current bound: 213
345.66/346.06	c current bound: 213
346.72/347.13	c current bound: 213
348.07/348.20	c current bound: 213
348.86/349.27	c current bound: 213
349.92/350.34	c current bound: 213
351.00/351.40	c current bound: 213
352.06/352.47	c current bound: 213
353.13/353.54	c current bound: 213
354.19/354.61	c current bound: 213
355.26/355.68	c current bound: 213
356.34/356.75	c current bound: 213
357.41/357.82	c current bound: 213
358.47/358.88	c current bound: 213
359.54/359.95	c current bound: 213
360.61/361.02	c current bound: 213
361.68/362.08	c current bound: 213
362.95/363.14	c current bound: 213
364.06/364.21	c current bound: 213
365.06/365.28	c current bound: 213
366.16/366.35	c current bound: 213
367.26/367.41	c current bound: 213
368.27/368.48	c current bound: 213
369.37/369.55	c current bound: 213
370.48/370.63	c current bound: 213
371.28/371.70	c current bound: 213
372.35/372.77	c current bound: 213
373.43/373.83	c current bound: 213
374.78/374.90	c current bound: 213
375.56/375.96	c current bound: 213
376.62/377.03	c current bound: 213
377.99/378.10	c current bound: 213
378.76/379.17	c current bound: 213
379.83/380.23	c current bound: 213
380.89/381.30	c current bound: 213
381.97/382.38	c current bound: 213
383.04/383.44	c current bound: 213
384.11/384.51	c current bound: 213
385.18/385.58	c current bound: 213
386.24/386.65	c current bound: 213
387.31/387.72	c current bound: 213
388.39/388.79	c current bound: 213
389.46/389.86	c current bound: 213
390.53/390.93	c current bound: 213
391.61/392.02	c current bound: 213
392.68/393.09	c current bound: 213
393.75/394.16	c current bound: 213
394.81/395.23	c current bound: 213
396.17/396.30	c current bound: 213
396.96/397.36	c current bound: 213
398.03/398.43	c current bound: 213
399.10/399.51	c current bound: 213
400.38/400.58	c current bound: 213
401.47/401.65	c current bound: 213
402.58/402.72	c current bound: 213
403.58/403.79	c current bound: 213
404.68/404.86	c current bound: 213
405.77/405.93	c current bound: 213
406.76/407.00	c current bound: 213
407.88/408.07	c current bound: 213
408.97/409.13	c current bound: 213
409.80/410.20	c current bound: 213
410.87/411.27	c current bound: 213
411.94/412.33	c current bound: 213
413.02/413.40	c current bound: 213
414.07/414.48	c current bound: 213
415.15/415.55	c current bound: 213
416.21/416.61	c current bound: 213
417.29/417.68	c current bound: 213
418.35/418.76	c current bound: 213
419.41/419.82	c current bound: 213
420.49/420.89	c current bound: 213
421.55/421.95	c current bound: 213
422.62/423.02	c current bound: 213
423.69/424.09	c current bound: 213
424.76/425.16	c current bound: 213
425.83/426.23	c current bound: 213
426.90/427.29	c current bound: 213
427.96/428.36	c current bound: 213
429.05/429.44	c current bound: 213
430.12/430.51	c current bound: 213
431.19/431.58	c current bound: 213
432.26/432.63	c current bound: 213
433.60/433.70	c current bound: 213
434.38/434.77	c current bound: 213
435.45/435.84	c current bound: 213
436.52/436.91	c current bound: 213
437.79/437.98	c current bound: 213
438.89/439.05	c current bound: 213
439.99/440.12	c current bound: 213
440.97/441.19	c current bound: 213
442.10/442.26	c current bound: 213
443.19/443.33	c current bound: 213
444.19/444.40	c current bound: 213
445.29/445.47	c current bound: 213
446.39/446.54	c current bound: 213
447.48/447.61	c current bound: 213
448.29/448.68	c current bound: 213
449.36/449.75	c current bound: 213
450.44/450.82	c current bound: 213
451.50/451.89	c current bound: 213
452.57/452.96	c current bound: 213
453.63/454.04	c current bound: 213
454.71/455.11	c current bound: 213
455.79/456.18	c current bound: 213
456.85/457.25	c current bound: 213
457.92/458.32	c current bound: 213
459.00/459.38	c current bound: 213
460.05/460.45	c current bound: 213
461.13/461.52	c current bound: 213
462.20/462.59	c current bound: 213
463.26/463.66	c current bound: 213
464.33/464.74	c current bound: 213
465.41/465.80	c current bound: 213
466.48/466.87	c current bound: 213
467.56/467.94	c current bound: 213
468.62/469.01	c current bound: 213
469.68/470.08	c current bound: 213
470.75/471.15	c current bound: 213
471.83/472.21	c current bound: 213
472.89/473.29	c current bound: 213
473.97/474.37	c current bound: 213
475.05/475.44	c current bound: 213
476.11/476.52	c current bound: 213
477.19/477.57	c current bound: 213
478.48/478.65	c current bound: 213
479.57/479.74	c current bound: 213
480.67/480.81	c current bound: 213
481.68/481.89	c current bound: 213
482.78/482.96	c current bound: 213
483.89/484.03	c current bound: 213
484.88/485.09	c current bound: 213
485.99/486.16	c current bound: 213
487.09/487.23	c current bound: 213
487.90/488.29	c current bound: 213
488.97/489.36	c current bound: 213
490.03/490.44	c current bound: 213
491.11/491.49	c current bound: 213
492.18/492.57	c current bound: 213
493.24/493.64	c current bound: 213
494.31/494.70	c current bound: 213
495.38/495.77	c current bound: 213
496.44/496.84	c current bound: 213
497.50/497.92	c current bound: 213
498.59/498.98	c current bound: 213
499.67/500.06	c current bound: 213
500.73/501.13	c current bound: 213
501.80/502.20	c current bound: 213
502.86/503.27	c current bound: 213
503.94/504.34	c current bound: 213
505.01/505.41	c current bound: 213
506.07/506.48	c current bound: 213
507.15/507.55	c current bound: 213
508.23/508.62	c current bound: 213
509.28/509.69	c current bound: 213
510.36/510.76	c current bound: 213
511.42/511.82	c current bound: 213
512.49/512.89	c current bound: 213
513.54/513.96	c current bound: 213
514.62/515.02	c current bound: 213
515.68/516.07	c current bound: 213
516.98/517.15	c current bound: 213
518.06/518.22	c current bound: 213
519.07/519.29	c current bound: 213
520.18/520.35	c current bound: 213
521.28/521.42	c current bound: 213
522.28/522.49	c current bound: 213
523.37/523.56	c current bound: 213
524.48/524.63	c current bound: 213
525.58/525.70	c current bound: 213
526.37/526.77	c current bound: 213
527.45/527.85	c current bound: 213
528.52/528.92	c current bound: 213
529.57/529.98	c current bound: 213
530.64/531.07	c current bound: 213
531.73/532.14	c current bound: 213
532.80/533.21	c current bound: 213
533.86/534.28	c current bound: 213
534.95/535.36	c current bound: 213
536.01/536.43	c current bound: 213
537.09/537.50	c current bound: 213
538.17/538.56	c current bound: 213
539.22/539.64	c current bound: 213
540.29/540.70	c current bound: 213
541.35/541.77	c current bound: 213
542.42/542.84	c current bound: 213
543.50/543.91	c current bound: 213
544.58/544.99	c current bound: 213
545.64/546.06	c current bound: 213
546.72/547.11	c current bound: 213
547.77/548.16	c current bound: 213
548.83/549.22	c current bound: 213
549.89/550.29	c current bound: 213
550.96/551.34	c current bound: 213
552.00/552.41	c current bound: 213
553.28/553.48	c current bound: 213
554.38/554.55	c current bound: 213
555.47/555.62	c current bound: 213
556.49/556.69	c current bound: 213
557.58/557.77	c current bound: 213
558.68/558.84	c current bound: 213
559.81/559.91	c current bound: 213
560.78/560.97	c current bound: 213
561.88/562.04	c current bound: 213
562.98/563.11	c current bound: 213
564.08/564.20	c current bound: 213
564.86/565.27	c current bound: 213
565.92/566.33	c current bound: 213
567.27/567.40	c current bound: 213
568.05/568.46	c current bound: 213
569.12/569.53	c current bound: 213
570.48/570.60	c current bound: 213
571.23/571.64	c current bound: 213
572.30/572.71	c current bound: 213
573.37/573.78	c current bound: 213
574.43/574.85	c current bound: 213
575.49/575.91	c current bound: 213
576.58/576.99	c current bound: 213
577.65/578.06	c current bound: 213
578.72/579.13	c current bound: 213
579.79/580.20	c current bound: 213
580.86/581.27	c current bound: 213
581.93/582.34	c current bound: 213
583.00/583.41	c current bound: 213
584.07/584.47	c current bound: 213
585.14/585.54	c current bound: 213
586.21/586.61	c current bound: 213
587.27/587.68	c current bound: 213
588.34/588.75	c current bound: 213
589.42/589.82	c current bound: 213
590.49/590.88	c current bound: 213
591.79/591.94	c current bound: 213
592.87/593.01	c current bound: 213
593.88/594.08	c current bound: 213
594.98/595.15	c current bound: 213
596.08/596.23	c current bound: 213
597.18/597.31	c current bound: 213
598.18/598.38	c current bound: 213
599.28/599.45	c current bound: 213
600.37/600.51	c current bound: 213
601.18/601.58	c current bound: 213
602.24/602.65	c current bound: 213
603.31/603.72	c current bound: 213
604.40/604.79	c current bound: 213
605.47/605.86	c current bound: 213
606.55/606.93	c current bound: 213
607.60/608.00	c current bound: 213
608.68/609.08	c current bound: 213
609.75/610.15	c current bound: 213
610.83/611.21	c current bound: 213
611.89/612.28	c current bound: 213
612.95/613.35	c current bound: 213
614.02/614.42	c current bound: 213
615.09/615.48	c current bound: 213
616.17/616.55	c current bound: 213
617.23/617.62	c current bound: 213
618.30/618.68	c current bound: 213
619.36/619.75	c current bound: 213
620.43/620.81	c current bound: 213
621.51/621.89	c current bound: 213
622.56/622.96	c current bound: 213
623.65/624.02	c current bound: 213
625.00/625.10	c current bound: 213
625.79/626.17	c current bound: 213
626.86/627.24	c current bound: 213
627.92/628.31	c current bound: 213
629.20/629.38	c current bound: 213
630.29/630.44	c current bound: 213
631.38/631.53	c current bound: 213
632.50/632.60	c current bound: 213
633.51/633.65	c current bound: 213
634.60/634.71	c current bound: 213
635.59/635.79	c current bound: 213
636.70/636.86	c current bound: 213
637.80/637.92	c current bound: 213
638.62/638.99	c current bound: 213
639.68/640.06	c current bound: 213
640.75/641.13	c current bound: 213
641.83/642.21	c current bound: 213
642.95/643.32	c current bound: 213
644.02/644.37	c current bound: 213
645.06/645.44	c current bound: 213
646.13/646.49	c current bound: 213
647.20/647.56	c current bound: 213
648.25/648.63	c current bound: 213
649.33/649.70	c current bound: 213
650.40/650.77	c current bound: 213
651.47/651.84	c current bound: 213
652.56/652.91	c current bound: 213
653.62/653.97	c current bound: 213
654.67/655.04	c current bound: 213
655.74/656.11	c current bound: 213
656.80/657.17	c current bound: 213
657.87/658.24	c current bound: 213
658.93/659.31	c current bound: 213
660.00/660.38	c current bound: 213
661.08/661.44	c current bound: 213
662.14/662.51	c current bound: 213
663.22/663.57	c current bound: 213
664.26/664.64	c current bound: 213
665.33/665.71	c current bound: 213
666.61/666.76	c current bound: 213
667.70/667.81	c current bound: 213
668.71/668.88	c current bound: 213
669.80/669.95	c current bound: 213
670.91/671.01	c current bound: 213
671.92/672.08	c current bound: 213
673.01/673.15	c current bound: 213
674.11/674.21	c current bound: 213
674.91/675.28	c current bound: 213
675.98/676.35	c current bound: 213
677.06/677.43	c current bound: 213
678.12/678.49	c current bound: 213
679.19/679.55	c current bound: 213
680.25/680.62	c current bound: 213
681.33/681.69	c current bound: 213
682.39/682.76	c current bound: 213
683.47/683.83	c current bound: 213
684.82/684.90	c current bound: 213
685.60/685.98	c current bound: 213
686.68/687.05	c current bound: 213
687.75/688.11	c current bound: 213
688.82/689.18	c current bound: 213
689.89/690.26	c current bound: 213
690.98/691.33	c current bound: 213
692.04/692.41	c current bound: 213
693.12/693.47	c current bound: 213
694.18/694.52	c current bound: 213
695.53/695.60	c current bound: 213
696.31/696.68	c current bound: 213
697.40/697.75	c current bound: 213
698.46/698.81	c current bound: 213
699.53/699.89	c current bound: 213
700.61/700.97	c current bound: 213
701.69/702.04	c current bound: 213
702.74/703.14	c current bound: 213
703.82/704.22	c current bound: 213
704.89/705.29	c current bound: 213
706.18/706.35	c current bound: 213
707.28/707.42	c current bound: 213
708.30/708.49	c current bound: 213
709.40/709.57	c current bound: 213
710.49/710.64	c current bound: 213
711.59/711.71	c current bound: 213
712.60/712.77	c current bound: 213
713.67/713.84	c current bound: 213
714.79/714.91	c current bound: 213
715.59/715.98	c current bound: 213
716.66/717.05	c current bound: 213
717.72/718.14	c current bound: 213
718.79/719.22	c current bound: 213
719.88/720.29	c current bound: 213
720.94/721.36	c current bound: 213
722.01/722.43	c current bound: 213
723.07/723.49	c current bound: 213
724.14/724.56	c current bound: 213
725.21/725.62	c current bound: 213
726.57/726.70	c current bound: 213
727.33/727.76	c current bound: 213
728.41/728.83	c current bound: 213
729.77/729.90	c current bound: 213
730.55/730.96	c current bound: 213
731.60/732.01	c current bound: 213
732.66/733.06	c current bound: 213
733.71/734.13	c current bound: 213
734.78/735.19	c current bound: 213
735.85/736.26	c current bound: 213
736.92/737.33	c current bound: 213
737.98/738.41	c current bound: 213
739.07/739.48	c current bound: 213
740.14/740.55	c current bound: 213
741.22/741.62	c current bound: 213
742.27/742.67	c current bound: 213
743.57/743.73	c current bound: 213
744.67/744.81	c current bound: 213
745.67/745.87	c current bound: 213
746.78/746.94	c current bound: 213
747.88/748.01	c current bound: 213
748.89/749.08	c current bound: 213
749.96/750.15	c current bound: 213
751.07/751.22	c current bound: 213
751.89/752.29	c current bound: 213
752.95/753.35	c current bound: 213
754.00/754.42	c current bound: 213
755.08/755.49	c current bound: 213
756.16/756.56	c current bound: 213
757.23/757.62	c current bound: 213
758.29/758.69	c current bound: 213
759.36/759.76	c current bound: 213
760.41/760.82	c current bound: 213
761.49/761.89	c current bound: 213
762.56/762.96	c current bound: 213
763.62/764.04	c current bound: 213
764.70/765.12	c current bound: 213
765.78/766.19	c current bound: 213
766.86/767.25	c current bound: 213
767.92/768.33	c current bound: 213
769.28/769.40	c current bound: 213
770.07/770.47	c current bound: 213
771.14/771.53	c current bound: 213
772.21/772.61	c current bound: 213
773.29/773.68	c current bound: 213
774.36/774.75	c current bound: 213
775.43/775.82	c current bound: 213
776.50/776.89	c current bound: 213
777.55/777.98	c current bound: 213
778.64/779.05	c current bound: 213
779.72/780.11	c current bound: 213
780.97/781.18	c current bound: 213
782.07/782.26	c current bound: 213
783.18/783.33	c current bound: 213
784.18/784.39	c current bound: 213
785.27/785.46	c current bound: 213
786.38/786.53	c current bound: 213
787.49/787.61	c current bound: 213
788.49/788.68	c current bound: 213
789.58/789.75	c current bound: 213
790.68/790.82	c current bound: 213
791.49/791.89	c current bound: 213
792.56/792.96	c current bound: 213
793.63/794.03	c current bound: 213
794.99/795.10	c current bound: 213
795.77/796.17	c current bound: 213
796.84/797.24	c current bound: 213
797.90/798.30	c current bound: 213
798.97/799.37	c current bound: 213
800.38/800.50	c current bound: 213
801.15/801.56	c current bound: 213
802.23/802.63	c current bound: 213
803.60/803.70	c current bound: 213
804.36/804.76	c current bound: 213
805.43/805.83	c current bound: 213
806.79/806.90	c current bound: 213
807.58/807.98	c current bound: 213
808.65/809.04	c current bound: 213
809.71/810.12	c current bound: 213
810.80/811.19	c current bound: 213
811.88/812.25	c current bound: 213
812.93/813.32	c current bound: 213
813.99/814.38	c current bound: 213
815.07/815.45	c current bound: 213
816.12/816.51	c current bound: 213
817.19/817.58	c current bound: 213
818.25/818.65	c current bound: 213
819.33/819.72	c current bound: 213
820.58/820.79	c current bound: 213
821.69/821.86	c current bound: 213
822.78/822.92	c current bound: 213
823.78/823.99	c current bound: 213
824.88/825.06	c current bound: 213
826.00/826.13	c current bound: 213
826.99/827.19	c current bound: 213
828.07/828.26	c current bound: 213
829.18/829.33	c current bound: 213
830.00/830.39	c current bound: 213
831.06/831.46	c current bound: 213
832.13/832.53	c current bound: 213
833.20/833.58	c current bound: 213
834.26/834.66	c current bound: 213
835.33/835.73	c current bound: 213
836.39/836.80	c current bound: 213
837.46/837.87	c current bound: 213
838.55/838.94	c current bound: 213
839.61/840.01	c current bound: 213
840.67/841.09	c current bound: 213
841.74/842.15	c current bound: 213
842.82/843.23	c current bound: 213
843.89/844.30	c current bound: 213
844.96/845.37	c current bound: 213
846.03/846.44	c current bound: 213
847.09/847.50	c current bound: 213
848.17/848.56	c current bound: 213
849.21/849.63	c current bound: 213
850.29/850.69	c current bound: 213
851.36/851.76	c current bound: 213
852.44/852.85	c current bound: 213
853.51/853.92	c current bound: 213
854.57/854.99	c current bound: 213
855.64/856.06	c current bound: 213
856.72/857.13	c current bound: 213
857.80/858.21	c current bound: 213
859.07/859.28	c current bound: 213
860.17/860.36	c current bound: 213
861.26/861.41	c current bound: 213
862.27/862.49	c current bound: 213
863.36/863.56	c current bound: 213
864.46/864.63	c current bound: 213
865.47/865.69	c current bound: 213
866.56/866.77	c current bound: 213
867.66/867.84	c current bound: 213
868.48/868.90	c current bound: 213
869.56/869.97	c current bound: 213
870.63/871.05	c current bound: 213
871.70/872.11	c current bound: 213
872.77/873.18	c current bound: 213
873.85/874.25	c current bound: 213
874.92/875.32	c current bound: 213
875.98/876.39	c current bound: 213
877.05/877.46	c current bound: 213
878.11/878.52	c current bound: 213
879.17/879.58	c current bound: 213
880.24/880.65	c current bound: 213
881.30/881.69	c current bound: 213
882.34/882.76	c current bound: 213
883.42/883.83	c current bound: 213
884.51/884.92	c current bound: 213
885.58/885.99	c current bound: 213
886.65/887.05	c current bound: 213
887.70/888.12	c current bound: 213
888.77/889.19	c current bound: 213
889.85/890.25	c current bound: 213
890.91/891.32	c current bound: 213
892.27/892.40	c current bound: 213
893.06/893.47	c current bound: 213
894.13/894.54	c current bound: 213
895.19/895.60	c current bound: 213
896.45/896.68	c current bound: 213
897.57/897.76	c current bound: 213
898.66/898.82	c current bound: 213
899.67/899.88	c current bound: 213
900.77/900.95	c current bound: 213
901.87/902.07	c current bound: 213
902.96/903.15	c current bound: 213
904.07/904.21	c current bound: 213
905.06/905.28	c current bound: 213
906.16/906.35	c current bound: 213
907.26/907.43	c current bound: 213
908.08/908.50	c current bound: 213
909.15/909.57	c current bound: 213
910.23/910.64	c current bound: 213
911.31/911.71	c current bound: 213
912.39/912.81	c current bound: 213
913.46/913.88	c current bound: 213
914.53/914.96	c current bound: 213
915.62/916.03	c current bound: 213
916.68/917.09	c current bound: 213
917.75/918.16	c current bound: 213
918.82/919.23	c current bound: 213
920.18/920.30	c current bound: 213
920.95/921.37	c current bound: 213
922.03/922.43	c current bound: 213
923.08/923.50	c current bound: 213
924.15/924.57	c current bound: 213
925.23/925.64	c current bound: 213
926.31/926.71	c current bound: 213
927.41/927.80	c current bound: 213
928.50/928.90	c current bound: 213
929.60/929.99	c current bound: 213
930.66/931.06	c current bound: 213
931.72/932.15	c current bound: 213
932.79/933.22	c current bound: 213
933.85/934.28	c current bound: 213
934.91/935.35	c current bound: 213
935.97/936.41	c current bound: 213
937.04/937.47	c current bound: 213
938.09/938.52	c current bound: 213
939.16/939.59	c current bound: 213
940.42/940.67	c current bound: 213
941.50/941.73	c current bound: 213
942.63/942.80	c current bound: 213
943.62/943.85	c current bound: 213
944.73/944.92	c current bound: 213
945.72/945.97	c current bound: 213
946.83/947.04	c current bound: 213
947.94/948.11	c current bound: 213
948.74/949.17	c current bound: 213
949.79/950.23	c current bound: 213
950.85/951.28	c current bound: 213
951.90/952.34	c current bound: 213
953.23/953.40	c current bound: 213
954.02/954.45	c current bound: 213
955.09/955.52	c current bound: 213
956.13/956.58	c current bound: 213
957.20/957.63	c current bound: 213
958.26/958.69	c current bound: 213
959.32/959.75	c current bound: 213
960.38/960.81	c current bound: 213
961.40/961.84	c current bound: 213
962.74/962.90	c current bound: 213
963.53/963.95	c current bound: 213
964.59/965.01	c current bound: 213
965.64/966.07	c current bound: 213
966.69/967.13	c current bound: 213
967.77/968.19	c current bound: 213
969.02/969.26	c current bound: 213
970.11/970.31	c current bound: 213
971.14/971.38	c current bound: 213
972.22/972.45	c current bound: 213
973.33/973.51	c current bound: 213
974.33/974.57	c current bound: 213
975.41/975.63	c current bound: 213
976.27/976.70	c current bound: 213
977.32/977.76	c current bound: 213
978.37/978.82	c current bound: 213
979.44/979.87	c current bound: 213
980.49/980.94	c current bound: 213
981.83/982.00	c current bound: 213
982.61/983.05	c current bound: 213
983.67/984.12	c current bound: 213
984.75/985.18	c current bound: 213
985.80/986.24	c current bound: 213
987.14/987.30	c current bound: 213
987.93/988.36	c current bound: 213
988.99/989.43	c current bound: 213
990.34/990.50	c current bound: 213
991.13/991.55	c current bound: 213
992.18/992.62	c current bound: 213
993.54/993.70	c current bound: 213
994.33/994.75	c current bound: 213
995.38/995.81	c current bound: 213
996.45/996.88	c current bound: 213
997.51/997.94	c current bound: 213
998.83/999.00	c current bound: 213
999.83/1000.05	c current bound: 213
1000.92/1001.11	c current bound: 213
1001.93/1002.18	c current bound: 213
1003.03/1003.25	c current bound: 213
1004.12/1004.36	c current bound: 213
1005.21/1005.44	c current bound: 213
1006.34/1006.50	c current bound: 213
1007.31/1007.56	c current bound: 213
1008.41/1008.62	c current bound: 213
1009.22/1009.68	c current bound: 213
1010.30/1010.75	c current bound: 213
1011.36/1011.82	c current bound: 213
1012.43/1012.87	c current bound: 213
1013.49/1013.94	c current bound: 213
1014.55/1015.00	c current bound: 213
1015.62/1016.07	c current bound: 213
1016.67/1017.14	c current bound: 213
1017.75/1018.19	c current bound: 213
1018.81/1019.26	c current bound: 213
1019.88/1020.34	c current bound: 213
1020.96/1021.41	c current bound: 213
1022.02/1022.46	c current bound: 213
1023.08/1023.53	c current bound: 213
1024.15/1024.59	c current bound: 213
1025.20/1025.65	c current bound: 213
1026.27/1026.71	c current bound: 213
1027.34/1027.77	c current bound: 213
1028.39/1028.83	c current bound: 213
1029.44/1029.89	c current bound: 213
1030.51/1030.94	c current bound: 213
1031.56/1032.01	c current bound: 213
1032.63/1033.07	c current bound: 213
1033.92/1034.14	c current bound: 213
1035.02/1035.22	c current bound: 213
1036.03/1036.29	c current bound: 213
1037.14/1037.35	c current bound: 213
1038.23/1038.41	c current bound: 213
1039.22/1039.47	c current bound: 213
1040.31/1040.54	c current bound: 213
1041.15/1041.59	c current bound: 213
1042.22/1042.65	c current bound: 213
1043.27/1043.71	c current bound: 213
1044.34/1044.77	c current bound: 213
1045.40/1045.83	c current bound: 213
1046.45/1046.89	c current bound: 213
1047.53/1047.95	c current bound: 213
1048.58/1049.02	c current bound: 213
1049.66/1050.08	c current bound: 213
1050.72/1051.14	c current bound: 213
1052.04/1052.20	c current bound: 213
1052.83/1053.27	c current bound: 213
1053.91/1054.32	c current bound: 213
1054.96/1055.38	c current bound: 213
1056.01/1056.43	c current bound: 213
1057.08/1057.49	c current bound: 213
1058.13/1058.54	c current bound: 213
1059.47/1059.60	c current bound: 213
1060.24/1060.65	c current bound: 213
1061.30/1061.72	c current bound: 213
1062.66/1062.80	c current bound: 213
1063.64/1063.85	c current bound: 213
1064.73/1064.91	c current bound: 213
1065.76/1065.98	c current bound: 213
1066.85/1067.04	c current bound: 213
1067.95/1068.11	c current bound: 213
1068.93/1069.17	c current bound: 213
1070.04/1070.23	c current bound: 213
1070.88/1071.29	c current bound: 213
1071.93/1072.34	c current bound: 213
1072.99/1073.40	c current bound: 213
1074.05/1074.46	c current bound: 213
1075.11/1075.52	c current bound: 213
1076.18/1076.58	c current bound: 213
1077.24/1077.65	c current bound: 213
1078.32/1078.72	c current bound: 213
1079.37/1079.77	c current bound: 213
1080.42/1080.83	c current bound: 213
1081.49/1081.89	c current bound: 213
1082.55/1082.95	c current bound: 213
1083.61/1084.01	c current bound: 213
1084.66/1085.06	c current bound: 213
1085.73/1086.14	c current bound: 213
1087.07/1087.20	c current bound: 213
1087.86/1088.26	c current bound: 213
1088.92/1089.31	c current bound: 213
1089.98/1090.37	c current bound: 213
1091.04/1091.42	c current bound: 213
1092.10/1092.48	c current bound: 213
1093.37/1093.54	c current bound: 213
1094.48/1094.60	c current bound: 213
1095.48/1095.66	c current bound: 213
1096.57/1096.72	c current bound: 213
1097.68/1097.81	c current bound: 213
1098.67/1098.89	c current bound: 213
1099.78/1099.98	c current bound: 213
1100.88/1101.08	c current bound: 213
1101.99/1102.17	c current bound: 213
1103.07/1103.27	c current bound: 213
1104.19/1104.37	c current bound: 213
1105.28/1105.46	c current bound: 213
1106.38/1106.55	c current bound: 213
1107.49/1107.64	c current bound: 213
1108.58/1108.73	c current bound: 213
1109.68/1109.83	c current bound: 213
1110.78/1110.92	c current bound: 213
1111.89/1112.01	c current bound: 213
1112.72/1113.10	c current bound: 213
1113.82/1114.19	c current bound: 213
1114.89/1115.27	c current bound: 213
1115.96/1116.32	c current bound: 213
1117.01/1117.38	c current bound: 213
1118.06/1118.44	c current bound: 213
1119.40/1119.50	c current bound: 213
1120.18/1120.55	c current bound: 213
1121.24/1121.61	c current bound: 213
1122.31/1122.67	c current bound: 213
1123.37/1123.73	c current bound: 213
1124.43/1124.79	c current bound: 213
1125.50/1125.84	c current bound: 213
1126.55/1126.90	c current bound: 213
1127.61/1127.96	c current bound: 213
1128.66/1129.02	c current bound: 213
1129.72/1130.07	c current bound: 213
1130.78/1131.13	c current bound: 213
1131.84/1132.19	c current bound: 213
1132.89/1133.24	c current bound: 213
1134.21/1134.30	c current bound: 213
1135.20/1135.38	c current bound: 213
1136.30/1136.45	c current bound: 213
1137.40/1137.53	c current bound: 213
1138.48/1138.61	c current bound: 213
1139.50/1139.68	c current bound: 213
1140.59/1140.74	c current bound: 213
1141.70/1141.80	c current bound: 213
1142.67/1142.86	c current bound: 213
1143.79/1143.92	c current bound: 213
1144.61/1144.98	c current bound: 213
1145.66/1146.04	c current bound: 213
1146.99/1147.10	c current bound: 213
1147.79/1148.15	c current bound: 213
1148.83/1149.21	c current bound: 213
1149.89/1150.27	c current bound: 213
1150.95/1151.32	c current bound: 213
1152.02/1152.39	c current bound: 213
1153.07/1153.44	c current bound: 213
1154.41/1154.50	c current bound: 213
1155.20/1155.56	c current bound: 213
1156.26/1156.62	c current bound: 213
1157.32/1157.68	c current bound: 213
1158.39/1158.74	c current bound: 213
1159.44/1159.79	c current bound: 213
1160.49/1160.85	c current bound: 213
1161.55/1161.90	c current bound: 213
1162.62/1162.97	c current bound: 213
1163.69/1164.03	c current bound: 213
1164.74/1165.08	c current bound: 213
1166.01/1166.16	c current bound: 213
1167.12/1167.22	c current bound: 213
1168.11/1168.28	c current bound: 213
1169.21/1169.34	c current bound: 213
1170.21/1170.40	c current bound: 213
1171.30/1171.46	c current bound: 213
1172.41/1172.52	c current bound: 213
1173.24/1173.59	c current bound: 213
1174.29/1174.65	c current bound: 213
1175.36/1175.70	c current bound: 213
1176.43/1176.78	c current bound: 213
1177.50/1177.83	c current bound: 213
1178.56/1178.89	c current bound: 213
1179.62/1179.95	c current bound: 213
1180.68/1181.03	c current bound: 213
1181.75/1182.08	c current bound: 213
1182.82/1183.14	c current bound: 213
1183.86/1184.20	c current bound: 213
1184.92/1185.26	c current bound: 213
1185.98/1186.31	c current bound: 213
1187.05/1187.37	c current bound: 213
1188.10/1188.42	c current bound: 213
1189.16/1189.48	c current bound: 213
1190.21/1190.54	c current bound: 213
1191.27/1191.59	c current bound: 213
1192.33/1192.65	c current bound: 213
1193.39/1193.71	c current bound: 213
1194.44/1194.79	c current bound: 213
1195.72/1195.87	c current bound: 213
1196.83/1196.95	c current bound: 213
1197.93/1198.02	c current bound: 213
1198.92/1199.09	c current bound: 213
1200.03/1200.16	c current bound: 213
1201.12/1201.22	c current bound: 213
1202.11/1202.29	c current bound: 213
1203.21/1203.35	c current bound: 213
1204.31/1204.43	c current bound: 213
1205.12/1205.49	c current bound: 213
1206.19/1206.57	c current bound: 213
1207.26/1207.63	c current bound: 213
1208.33/1208.69	c current bound: 213
1209.38/1209.76	c current bound: 213
1210.44/1210.82	c current bound: 213
1211.51/1211.89	c current bound: 213
1212.59/1212.94	c current bound: 213
1213.63/1214.01	c current bound: 213
1214.71/1215.09	c current bound: 213
1215.78/1216.16	c current bound: 213
1216.85/1217.23	c current bound: 213
1217.93/1218.31	c current bound: 213
1219.00/1219.38	c current bound: 213
1220.08/1220.45	c current bound: 213
1221.15/1221.52	c current bound: 213
1222.22/1222.59	c current bound: 213
1223.28/1223.64	c current bound: 213
1224.35/1224.71	c current bound: 213
1225.41/1225.78	c current bound: 213
1226.49/1226.85	c current bound: 213
1227.55/1227.92	c current bound: 213
1228.62/1229.00	c current bound: 213
1229.70/1230.08	c current bound: 213
1230.78/1231.15	c current bound: 213
1231.84/1232.22	c current bound: 213
1232.92/1233.27	c current bound: 213
1234.21/1234.33	c current bound: 213
1235.33/1235.40	c current bound: 213
1236.31/1236.47	c current bound: 213
1237.43/1237.54	c current bound: 213
1238.51/1238.61	c current bound: 213
1239.52/1239.67	c current bound: 213
1240.62/1240.75	c current bound: 213
1241.73/1241.81	c current bound: 213
1242.53/1242.88	c current bound: 213
1243.60/1243.94	c current bound: 213
1244.66/1245.01	c current bound: 213
1245.78/1246.12	c current bound: 213
1246.83/1247.19	c current bound: 213
1247.90/1248.25	c current bound: 213
1248.96/1249.32	c current bound: 213
1250.04/1250.39	c current bound: 213
1251.12/1251.46	c current bound: 213
1252.18/1252.51	c current bound: 213
1253.24/1253.58	c current bound: 213
1254.30/1254.64	c current bound: 213
1255.38/1255.71	c current bound: 213
1256.43/1256.78	c current bound: 213
1257.51/1257.86	c current bound: 213
1258.60/1258.94	c current bound: 213
1259.67/1260.03	c current bound: 213
1260.75/1261.09	c current bound: 213
1261.82/1262.17	c current bound: 213
1262.88/1263.23	c current bound: 213
1263.94/1264.30	c current bound: 213
1265.02/1265.37	c current bound: 213
1266.09/1266.45	c current bound: 213
1267.15/1267.52	c current bound: 213
1268.22/1268.59	c current bound: 213
1269.30/1269.65	c current bound: 213
1270.38/1270.72	c current bound: 213
1271.44/1271.78	c current bound: 213
1272.72/1272.85	c current bound: 213
1273.83/1273.92	c current bound: 213
1274.84/1274.99	c current bound: 213
1275.93/1276.06	c current bound: 213
1277.04/1277.14	c current bound: 213
1278.14/1278.21	c current bound: 213
1279.14/1279.28	c current bound: 213
1280.23/1280.35	c current bound: 213
1281.33/1281.42	c current bound: 213
1282.15/1282.49	c current bound: 213
1283.21/1283.55	c current bound: 213
1284.27/1284.62	c current bound: 213
1285.34/1285.68	c current bound: 213
1286.41/1286.75	c current bound: 213
1287.47/1287.82	c current bound: 213
1288.54/1288.89	c current bound: 213
1289.61/1289.96	c current bound: 213
1290.70/1291.03	c current bound: 213
1292.05/1292.10	c current bound: 213
1292.82/1293.17	c current bound: 213
1293.90/1294.24	c current bound: 213
1294.96/1295.30	c current bound: 213
1296.02/1296.37	c current bound: 213
1297.10/1297.44	c current bound: 213
1298.16/1298.50	c current bound: 213
1299.23/1299.57	c current bound: 213
1300.29/1300.65	c current bound: 213
1301.38/1301.73	c current bound: 213
1302.75/1302.80	c current bound: 213
1303.53/1303.87	c current bound: 213
1304.60/1304.94	c current bound: 213
1305.67/1306.01	c current bound: 213
1306.74/1307.07	c current bound: 213
1307.79/1308.14	c current bound: 213
1308.86/1309.21	c current bound: 213
1310.13/1310.26	c current bound: 213
1311.24/1311.33	c current bound: 213
1312.35/1312.40	c current bound: 213
1313.34/1313.47	c current bound: 213
1314.43/1314.54	c current bound: 213
1315.55/1315.62	c current bound: 213
1316.56/1316.68	c current bound: 213
1317.64/1317.75	c current bound: 213
1318.74/1318.82	c current bound: 213
1319.55/1319.89	c current bound: 213
1320.63/1320.96	c current bound: 213
1321.68/1322.03	c current bound: 213
1322.75/1323.10	c current bound: 213
1323.83/1324.17	c current bound: 213
1324.91/1325.25	c current bound: 213
1325.98/1326.32	c current bound: 213
1327.05/1327.37	c current bound: 213
1328.11/1328.44	c current bound: 213
1329.18/1329.51	c current bound: 213
1330.24/1330.57	c current bound: 213
1331.32/1331.64	c current bound: 213
1332.38/1332.71	c current bound: 213
1333.46/1333.78	c current bound: 213
1334.51/1334.83	c current bound: 213
1335.58/1335.90	c current bound: 213
1336.64/1336.97	c current bound: 213
1337.72/1338.02	c current bound: 213
1339.06/1339.10	c current bound: 213
1339.85/1340.17	c current bound: 213
1340.91/1341.25	c current bound: 213
1342.00/1342.32	c current bound: 213
1343.07/1343.38	c current bound: 213
1344.14/1344.46	c current bound: 213
1345.21/1345.53	c current bound: 213
1346.28/1346.60	c current bound: 213
1347.55/1347.67	c current bound: 213
1348.67/1348.74	c current bound: 213
1349.75/1349.83	c current bound: 213
1350.87/1350.90	c current bound: 213
1351.87/1351.97	c current bound: 213
1352.97/1353.04	c current bound: 213
1354.05/1354.11	c current bound: 213
1355.05/1355.18	c current bound: 213
1356.16/1356.25	c current bound: 213
1357.27/1357.33	c current bound: 213
1358.38/1358.40	c current bound: 213
1359.16/1359.47	c current bound: 213
1360.23/1360.54	c current bound: 213
1361.30/1361.62	c current bound: 213
1362.38/1362.69	c current bound: 213
1363.45/1363.76	c current bound: 213
1364.52/1364.83	c current bound: 213
1365.89/1365.90	c current bound: 213
1366.67/1366.97	c current bound: 213
1367.74/1368.03	c current bound: 213
1368.81/1369.11	c current bound: 213
1369.87/1370.18	c current bound: 213
1370.93/1371.24	c current bound: 213
1372.01/1372.31	c current bound: 213
1373.09/1373.38	c current bound: 213
1374.14/1374.45	c current bound: 213
1375.22/1375.52	c current bound: 213
1376.29/1376.59	c current bound: 213
1377.36/1377.65	c current bound: 213
1378.43/1378.73	c current bound: 213
1379.79/1379.80	c current bound: 213
1380.57/1380.87	c current bound: 213
1381.64/1381.94	c current bound: 213
1382.71/1383.00	c current bound: 213
1383.77/1384.07	c current bound: 213
1384.84/1385.15	c current bound: 213
1385.89/1386.22	c current bound: 213
1386.97/1387.27	c current bound: 213
1388.25/1388.34	c current bound: 213
1389.34/1389.41	c current bound: 213
1390.34/1390.48	c current bound: 213
1391.46/1391.55	c current bound: 213
1392.56/1392.62	c current bound: 213
1393.55/1393.67	c current bound: 213
1394.65/1394.74	c current bound: 213
1395.77/1395.80	c current bound: 213
1396.55/1396.88	c current bound: 213
1397.63/1397.95	c current bound: 213
1398.69/1399.01	c current bound: 213
1399.75/1400.08	c current bound: 213
1400.82/1401.22	c current bound: 213
1401.89/1402.27	c current bound: 213
1402.95/1403.34	c current bound: 213
1404.02/1404.40	c current bound: 213
1405.08/1405.47	c current bound: 213
1406.15/1406.54	c current bound: 213
1407.22/1407.61	c current bound: 213
1408.29/1408.68	c current bound: 213
1409.37/1409.75	c current bound: 213
1410.43/1410.82	c current bound: 213
1411.51/1411.89	c current bound: 213
1412.57/1412.96	c current bound: 213
1413.63/1414.03	c current bound: 213
1414.99/1415.10	c current bound: 213
1415.78/1416.17	c current bound: 213
1416.85/1417.24	c current bound: 213
1417.93/1418.31	c current bound: 213
1418.98/1419.38	c current bound: 213
1420.07/1420.46	c current bound: 213
1421.15/1421.53	c current bound: 213
1422.50/1422.60	c current bound: 213
1423.28/1423.67	c current bound: 213
1424.36/1424.75	c current bound: 213
1425.43/1425.81	c current bound: 213
1426.50/1426.87	c current bound: 213
1427.79/1427.93	c current bound: 213
1428.89/1429.01	c current bound: 213
1429.90/1430.08	c current bound: 213
1431.00/1431.14	c current bound: 213
1432.10/1432.21	c current bound: 213
1433.09/1433.30	c current bound: 213
1434.18/1434.36	c current bound: 213
1435.30/1435.43	c current bound: 213
1436.11/1436.50	c current bound: 213
1437.18/1437.56	c current bound: 213
1438.25/1438.64	c current bound: 213
1439.33/1439.73	c current bound: 213
1440.70/1440.80	c current bound: 213
1441.48/1441.87	c current bound: 213
1442.55/1442.93	c current bound: 213
1443.62/1444.00	c current bound: 213
1444.69/1445.08	c current bound: 213
1445.76/1446.17	c current bound: 213
1446.85/1447.24	c current bound: 213
1447.93/1448.31	c current bound: 213
1448.99/1449.37	c current bound: 213
1450.07/1450.45	c current bound: 213
1451.13/1451.51	c current bound: 213
1452.20/1452.58	c current bound: 213
1453.26/1453.65	c current bound: 213
1454.33/1454.72	c current bound: 213
1455.40/1455.77	c current bound: 213
1456.45/1456.83	c current bound: 213
1457.80/1457.90	c current bound: 213
1458.58/1458.97	c current bound: 213
1459.65/1460.04	c current bound: 213
1460.73/1461.11	c current bound: 213
1461.81/1462.18	c current bound: 213
1462.86/1463.25	c current bound: 213
1463.94/1464.31	c current bound: 213
1465.02/1465.37	c current bound: 213
1466.29/1466.44	c current bound: 213
1467.40/1467.50	c current bound: 213
1468.40/1468.57	c current bound: 213
1469.51/1469.64	c current bound: 213
1470.60/1470.71	c current bound: 213
1471.70/1471.81	c current bound: 213
1472.70/1472.90	c current bound: 213
1473.80/1473.97	c current bound: 213
1474.90/1475.04	c current bound: 213
1476.02/1476.11	c current bound: 213
1476.81/1477.18	c current bound: 213
1477.88/1478.25	c current bound: 213
1479.21/1479.30	c current bound: 213
1479.99/1480.36	c current bound: 213
1481.05/1481.43	c current bound: 213
1482.11/1482.51	c current bound: 213
1483.20/1483.57	c current bound: 213
1484.27/1484.66	c current bound: 213
1485.35/1485.73	c current bound: 213
1486.71/1486.80	c current bound: 213
1487.50/1487.87	c current bound: 213
1488.56/1488.94	c current bound: 213
1489.68/1490.06	c current bound: 213
1490.76/1491.13	c current bound: 213
1491.83/1492.19	c current bound: 213
1492.89/1493.26	c current bound: 213
1493.96/1494.33	c current bound: 213
1495.02/1495.39	c current bound: 213
1496.10/1496.46	c current bound: 213
1497.15/1497.53	c current bound: 213
1498.51/1498.60	c current bound: 213
1499.29/1499.68	c current bound: 213
1500.37/1500.74	c current bound: 213
1501.43/1501.81	c current bound: 213
1502.50/1502.88	c current bound: 213
1503.57/1503.93	c current bound: 213
1504.91/1505.00	c current bound: 213
1505.88/1506.07	c current bound: 213
1507.00/1507.14	c current bound: 213
1508.09/1508.21	c current bound: 213
1509.09/1509.28	c current bound: 213
1510.20/1510.34	c current bound: 213
1511.30/1511.42	c current bound: 213
1512.29/1512.49	c current bound: 213
1513.41/1513.56	c current bound: 213
1514.50/1514.63	c current bound: 213
1515.60/1515.70	c current bound: 213
1516.39/1516.77	c current bound: 213
1517.46/1517.85	c current bound: 213
1518.53/1518.92	c current bound: 213
1519.62/1519.99	c current bound: 213
1520.68/1521.05	c current bound: 213
1521.75/1522.13	c current bound: 213
1523.10/1523.20	c current bound: 213
1523.89/1524.27	c current bound: 213
1524.96/1525.35	c current bound: 213
1526.04/1526.43	c current bound: 213
1527.11/1527.49	c current bound: 213
1528.18/1528.56	c current bound: 213
1529.25/1529.63	c current bound: 213
1530.60/1530.70	c current bound: 213
1531.38/1531.77	c current bound: 213
1532.46/1532.84	c current bound: 213
1533.52/1533.91	c current bound: 213
1534.59/1534.98	c current bound: 213
1535.66/1536.04	c current bound: 213
1536.72/1537.11	c current bound: 213
1537.81/1538.18	c current bound: 213
1538.86/1539.25	c current bound: 213
1539.93/1540.31	c current bound: 213
1541.01/1541.38	c current bound: 213
1542.06/1542.45	c current bound: 213
1543.14/1543.53	c current bound: 213
1544.52/1544.60	c current bound: 213
1545.51/1545.66	c current bound: 213
1546.60/1546.74	c current bound: 213
1547.70/1547.81	c current bound: 213
1548.70/1548.88	c current bound: 213
1549.79/1549.94	c current bound: 213
1550.91/1551.01	c current bound: 213
1551.91/1552.07	c current bound: 213
1553.01/1553.15	c current bound: 213
1554.10/1554.23	c current bound: 213
1555.22/1555.30	c current bound: 213
1556.00/1556.38	c current bound: 213
1557.07/1557.44	c current bound: 213
1558.14/1558.49	c current bound: 213
1559.19/1559.56	c current bound: 213
1560.27/1560.63	c current bound: 213
1561.33/1561.70	c current bound: 213
1562.39/1562.77	c current bound: 213
1563.47/1563.84	c current bound: 213
1564.82/1564.90	c current bound: 213
1565.60/1565.96	c current bound: 213
1566.68/1567.03	c current bound: 213
1567.75/1568.10	c current bound: 213
1568.81/1569.17	c current bound: 213
1569.88/1570.24	c current bound: 213
1570.96/1571.31	c current bound: 213
1572.03/1572.38	c current bound: 213
1573.10/1573.46	c current bound: 213
1574.18/1574.52	c current bound: 213
1575.24/1575.59	c current bound: 213
1576.30/1576.66	c current bound: 213
1577.38/1577.73	c current bound: 213
1578.75/1578.80	c current bound: 213
1579.51/1579.87	c current bound: 213
1580.59/1580.94	c current bound: 213
1581.65/1582.00	c current bound: 213
1582.93/1583.07	c current bound: 213
1584.02/1584.15	c current bound: 213
1585.12/1585.22	c current bound: 213
1586.23/1586.30	c current bound: 213
1587.23/1587.37	c current bound: 213
1588.34/1588.43	c current bound: 213
1589.46/1589.50	c current bound: 213
1590.43/1590.58	c current bound: 213
1591.54/1591.64	c current bound: 213
1592.63/1592.72	c current bound: 213
1593.45/1593.78	c current bound: 213
1594.51/1594.85	c current bound: 213
1595.57/1595.89	c current bound: 213
1596.66/1597.00	c current bound: 213
1598.04/1598.10	c current bound: 213
1598.84/1599.17	c current bound: 213
1599.93/1600.27	c current bound: 213
1601.02/1601.36	c current bound: 213
1602.11/1602.46	c current bound: 213
1603.22/1603.55	c current bound: 213
1604.29/1604.64	c current bound: 213
1605.38/1605.73	c current bound: 213
1606.46/1606.81	c current bound: 213
1607.56/1607.91	c current bound: 213
1608.65/1609.00	c current bound: 213
1609.73/1610.09	c current bound: 213
1610.83/1611.17	c current bound: 213
1611.92/1612.26	c current bound: 213
1612.99/1613.35	c current bound: 213
1614.30/1614.40	c current bound: 213
1615.13/1615.49	c current bound: 213
1616.21/1616.57	c current bound: 213
1617.26/1617.63	c current bound: 213
1618.35/1618.71	c current bound: 213
1619.43/1619.81	c current bound: 213
1620.53/1620.91	c current bound: 213
1621.64/1622.01	c current bound: 213
1622.74/1623.10	c current bound: 213
1623.80/1624.18	c current bound: 213
1624.91/1625.28	c current bound: 213
1626.01/1626.37	c current bound: 213
1627.11/1627.49	c current bound: 213
1628.21/1628.58	c current bound: 213
1629.30/1629.66	c current bound: 213
1630.39/1630.76	c current bound: 213
1631.48/1631.85	c current bound: 213
1632.57/1632.94	c current bound: 213
1633.66/1634.03	c current bound: 213
1634.76/1635.12	c current bound: 213
1635.84/1636.21	c current bound: 213
1636.95/1637.30	c current bound: 213
1638.04/1638.40	c current bound: 213
1639.12/1639.48	c current bound: 213
1640.17/1640.54	c current bound: 213
1641.24/1641.61	c current bound: 213
1642.32/1642.67	c current bound: 213
1643.64/1643.82	c current bound: 213
1644.43/1644.89	c current bound: 213
1645.50/1645.95	c current bound: 213
1646.56/1647.02	c current bound: 213
1647.63/1648.08	c current bound: 213
1648.68/1649.14	c current bound: 213
1649.73/1650.20	c current bound: 213
1650.98/1651.25	c current bound: 213
1652.11/1652.30	c current bound: 213
1653.10/1653.35	c current bound: 213
1654.20/1654.41	c current bound: 213
1655.20/1655.46	c current bound: 213
1656.31/1656.50	c current bound: 213
1657.10/1657.55	c current bound: 213
1658.15/1658.61	c current bound: 213
1659.21/1659.66	c current bound: 213
1660.29/1660.76	c current bound: 213
1661.39/1661.86	c current bound: 213
1662.49/1662.95	c current bound: 213
1663.54/1664.01	c current bound: 213
1664.61/1665.09	c current bound: 213
1665.67/1666.15	c current bound: 213
1666.75/1667.23	c current bound: 213
1667.83/1668.32	c current bound: 213
1668.88/1669.37	c current bound: 213
1669.96/1670.45	c current bound: 213
1671.04/1671.54	c current bound: 213
1672.13/1672.62	c current bound: 213
1673.21/1673.69	c current bound: 213
1674.26/1674.75	c current bound: 213
1675.33/1675.84	c current bound: 213
1676.40/1676.89	c current bound: 213
1677.47/1677.95	c current bound: 213
1678.53/1679.02	c current bound: 213
1679.58/1680.08	c current bound: 213
1680.65/1681.15	c current bound: 213
1681.71/1682.21	c current bound: 213
1682.77/1683.26	c current bound: 213
1683.81/1684.32	c current bound: 213
1684.88/1685.37	c current bound: 213
1686.16/1686.42	c current bound: 213
1687.16/1687.47	c current bound: 213
1688.25/1688.52	c current bound: 213
1689.26/1689.57	c current bound: 213
1690.36/1690.62	c current bound: 213
1691.17/1691.67	c current bound: 213
1692.24/1692.72	c current bound: 213
1693.27/1693.77	c current bound: 213
1694.38/1694.87	c current bound: 213
1695.46/1695.95	c current bound: 213
1696.53/1697.05	c current bound: 213
1697.62/1698.13	c current bound: 213
1698.69/1699.19	c current bound: 213
1699.77/1700.27	c current bound: 213
1700.84/1701.36	c current bound: 213
1701.95/1702.45	c current bound: 213
1702.99/1703.50	c current bound: 213
1704.07/1704.58	c current bound: 213
1705.15/1705.66	c current bound: 213
1706.21/1706.74	c current bound: 213
1707.30/1707.82	c current bound: 213
1708.36/1708.88	c current bound: 213
1709.44/1709.96	c current bound: 213
1710.51/1711.04	c current bound: 213
1711.58/1712.17	c current bound: 213
1712.67/1713.25	c current bound: 213
1713.75/1714.32	c current bound: 213
1714.81/1715.39	c current bound: 213
1715.88/1716.46	c current bound: 213
1716.94/1717.53	c current bound: 213
1718.01/1718.59	c current bound: 213
1719.07/1719.66	c current bound: 213
1720.13/1720.72	c current bound: 213
1721.17/1721.77	c current bound: 213
1722.24/1722.83	c current bound: 213
1723.29/1723.88	c current bound: 213
1724.56/1724.93	c current bound: 213
1725.56/1725.98	c current bound: 213
1726.66/1727.04	c current bound: 213
1727.66/1728.08	c current bound: 213
1728.76/1729.14	c current bound: 213
1729.59/1730.19	c current bound: 213
1730.63/1731.24	c current bound: 213
1731.69/1732.29	c current bound: 213
1732.78/1733.38	c current bound: 213
1733.87/1734.47	c current bound: 213
1734.92/1735.53	c current bound: 213
1736.00/1736.62	c current bound: 213
1737.10/1737.71	c current bound: 213
1738.14/1738.76	c current bound: 213
1739.20/1739.82	c current bound: 213
1740.25/1740.88	c current bound: 213
1741.33/1741.94	c current bound: 213
1742.39/1743.00	c current bound: 213
1743.44/1744.06	c current bound: 213
1744.50/1745.12	c current bound: 213
1745.57/1746.18	c current bound: 213
1746.61/1747.23	c current bound: 213
1747.69/1748.29	c current bound: 213
1748.75/1749.35	c current bound: 213
1749.80/1750.41	c current bound: 213
1750.86/1751.47	c current bound: 213
1751.92/1752.52	c current bound: 213
1752.98/1753.59	c current bound: 213
1754.26/1754.65	c current bound: 213
1755.35/1755.72	c current bound: 213
1756.35/1756.79	c current bound: 213
1757.46/1757.87	c current bound: 213
1758.55/1758.94	c current bound: 213
1759.66/1760.01	c current bound: 213
1760.64/1761.07	c current bound: 213
1761.74/1762.13	c current bound: 213
1762.58/1763.19	c current bound: 213
1763.62/1764.24	c current bound: 213
1764.68/1765.32	c current bound: 213
1765.77/1766.38	c current bound: 213
1766.82/1767.44	c current bound: 213
1767.87/1768.50	c current bound: 213
1768.94/1769.55	c current bound: 213
1770.00/1770.61	c current bound: 213
1771.07/1771.67	c current bound: 213
1772.13/1772.73	c current bound: 213
1773.18/1773.79	c current bound: 213
1774.24/1774.85	c current bound: 213
1775.30/1775.91	c current bound: 213
1776.36/1776.97	c current bound: 213
1777.42/1778.02	c current bound: 213
1778.48/1779.08	c current bound: 213
1779.54/1780.14	c current bound: 213
1780.60/1781.19	c current bound: 213
1781.65/1782.25	c current bound: 213
1782.72/1783.31	c current bound: 213
1783.97/1784.37	c current bound: 213
1785.07/1785.45	c current bound: 213
1786.15/1786.51	c current bound: 213
1787.17/1787.57	c current bound: 213
1788.27/1788.65	c current bound: 213
1789.38/1789.71	c current bound: 213
1790.36/1790.78	c current bound: 213
1791.46/1791.84	c current bound: 213
1792.55/1792.91	c current bound: 213
1793.38/1793.97	c current bound: 213
1794.43/1795.03	c current bound: 213
1795.50/1796.09	c current bound: 213
1796.57/1797.21	c current bound: 213
1797.63/1798.27	c current bound: 213
1798.70/1799.34	c current bound: 213
1799.04/1799.40	HOME/npSolver-wbo-Itdqb.sh: line 18: 31245 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.00 2.09 2/179 31244
/proc/meminfo: memFree=30857524/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0

[startup+0.0833371 s]
/proc/loadavg: 2.12 2.00 2.09 2/179 31244
/proc/meminfo: memFree=30857524/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100169 s]
/proc/loadavg: 2.12 2.00 2.09 2/179 31244
/proc/meminfo: memFree=30857524/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30025 s]
/proc/loadavg: 2.12 2.00 2.09 2/179 31244
/proc/meminfo: memFree=30857524/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700228 s]
/proc/loadavg: 2.12 2.00 2.09 2/179 31244
/proc/meminfo: memFree=30857524/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 2.12 2.00 2.09 3/183 31275
/proc/meminfo: memFree=30834884/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1.29 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 5620 21070 0 0 20 3 89 17 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 29052

[startup+3.1002 s]
/proc/loadavg: 2.12 2.00 2.09 2/183 31293
/proc/meminfo: memFree=30853620/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=3.04 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 7580 47779 0 0 29 4 238 33 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 29052

[startup+6.30021 s]
/proc/loadavg: 2.11 2.00 2.09 3/183 31372
/proc/meminfo: memFree=30816144/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=6.26 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 13439 93864 0 0 53 8 488 77 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 29052

[startup+12.7003 s]
/proc/loadavg: 2.10 2.00 2.09 3/181 31416
/proc/meminfo: memFree=30839852/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=11.99 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 25150 174193 0 0 99 16 923 161 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 29052

[startup+25.5003 s]
/proc/loadavg: 2.08 2.00 2.09 3/183 31502
/proc/meminfo: memFree=30781680/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=24.83 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 48586 358224 0 0 192 30 1924 337 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
[pid=31501] ppid=31245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31501/stat : 31501 (satsolver.sh) S 31245 31244 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285674689 9367552 266 33554432000 4194304 5064252 140733456035072 140733456033984 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31501/statm: 2287 266 226 213 0 72 0
[pid=31502] ppid=31501 vsize=47820 CPUtime=0.57 cores=0,2,4,6
/proc/31502/stat : 31502 (glucose) R 31501 31244 30917 0 -1 4202496 10423 0 0 0 56 1 0 0 20 0 1 0 285674689 48967680 10549 33554432000 4194304 5208918 140734104327200 140733456034008 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31502/statm: 11955 10549 95 248 0 11704 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 86020

[startup+51.1003 s]
/proc/loadavg: 2.05 2.00 2.09 3/181 31669
/proc/meminfo: memFree=30837456/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=50.49 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 95458 726986 0 0 378 58 3923 690 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 29052

[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.08 3/183 32014
/proc/meminfo: memFree=30772316/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=101.87 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 189202 1461300 0 0 751 116 7927 1393 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
[pid=32013] ppid=31245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32013/stat : 32013 (satsolver.sh) S 31245 31244 30917 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285682395 9367552 267 33554432000 4194304 5064252 140733306836000 140733306834912 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32013/statm: 2287 267 226 213 0 72 0
[pid=32014] ppid=32013 vsize=47820 CPUtime=0.31 cores=0,2,4,6
/proc/32014/stat : 32014 (glucose) R 32013 31244 30917 0 -1 4202496 10111 0 0 0 30 1 0 0 20 0 1 0 285682396 48967680 10793 33554432000 4194304 5208918 140736982313328 140736981263016 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32014/statm: 11955 10793 95 248 0 11704 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 86020

[startup+162.3 s]
/proc/loadavg: 1.87 1.97 2.07 3/183 32409
/proc/meminfo: memFree=30806884/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=161.71 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 298570 2322014 0 0 1185 183 12610 2193 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 29052

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.07 3/184 340
/proc/meminfo: memFree=30758688/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=221.65 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 407938 3178030 0 0 1617 254 17278 3016 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
[pid=339] ppid=31245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/339/stat : 339 (satsolver.sh) S 31245 31244 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285694375 9367552 267 33554432000 4194304 5064252 140734695901360 140734695900272 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/339/statm: 2287 267 226 213 0 72 0
[pid=340] ppid=339 vsize=47816 CPUtime=0.5 cores=0,2,4,6
/proc/340/stat : 340 (glucose) R 339 31244 30917 0 -1 4202496 10411 0 0 0 49 1 0 0 20 0 1 0 285694376 48963584 10545 33554432000 4194304 5208918 140733563435840 140733562385528 4211792 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/340/statm: 11954 10545 95 248 0 11703 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 86016

[startup+282.3 s]
/proc/loadavg: 2.06 2.00 2.07 3/184 767
/proc/meminfo: memFree=30799876/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=281.64 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 517306 4035838 0 0 2050 324 21963 3827 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 281.64

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

[pid=31245] ppid=31244 vsize=19904 CPUtime=1361.69 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 2491789 19531089 0 0 10041 1577 106055 18496 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 29052

[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 2.00 3/184 8413
/proc/meminfo: memFree=30765836/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1421.52 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 2601157 20387250 0 0 10475 1646 110716 19315 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
[pid=8412] ppid=31245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8412/stat : 8412 (satsolver.sh) S 31245 31244 30917 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285814360 9367552 267 33554432000 4194304 5064252 140736248812976 140736248811888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8412/statm: 2287 267 226 213 0 72 0
[pid=8413] ppid=8412 vsize=49176 CPUtime=0.67 cores=0,2,4,6
/proc/8413/stat : 8413 (glucose) R 8412 31244 30917 0 -1 4202496 10185 0 0 0 65 2 0 0 20 0 1 0 285814360 50356224 10870 33554432000 4194304 5208918 140735350051424 140735349000824 4607488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8413/statm: 12294 10870 105 248 0 12043 0
Current children cumulated CPU time (s) 1422.19
Current children cumulated vsize (KiB) 87376

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 8812
/proc/meminfo: memFree=30769300/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1482.11 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 2710532 21251555 0 0 10909 1714 115458 20130 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 1482.11
Current children cumulated vsize (KiB) 29052

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 9204
/proc/meminfo: memFree=30755140/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1542.06 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 2819900 22108088 0 0 11342 1784 120129 20951 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 29052

[startup+1602.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/183 9604
/proc/meminfo: memFree=30776536/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1602.11 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 2929268 22962921 0 0 11778 1851 124815 21767 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 29052

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 10003
/proc/meminfo: memFree=30779312/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1661.77 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 3038629 23806653 0 0 12212 1920 129492 22553 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
[pid=10002] ppid=31245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10002/stat : 10002 (satsolver.sh) S 31245 31244 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285838393 9367552 267 33554432000 4194304 5064252 140736964552880 140736964551792 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10002/statm: 2287 267 226 213 0 72 0
[pid=10003] ppid=10002 vsize=47820 CPUtime=0.33 cores=0,2,4,6
/proc/10003/stat : 10003 (glucose) R 10002 31244 30917 0 -1 4202496 10176 0 0 0 31 2 0 0 20 0 1 0 285838393 48967680 10824 33554432000 4194304 5208918 140736201080640 140736201079048 4211744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10003/statm: 11955 10824 95 248 0 11704 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 86020

[startup+1722.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 10395
/proc/meminfo: memFree=30765968/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1721.54 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 3147997 24662921 0 0 12644 1989 134197 23324 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 29052

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

[startup+1776.6 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 10759
/proc/meminfo: memFree=30753748/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1775.68 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) S 31244 31244 30917 0 -1 4202496 3247600 25446096 0 0 13063 2055 138397 24053 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
[pid=10758] ppid=31245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10758/stat : 10758 (satsolver.sh) S 31245 31244 30917 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285849799 9367552 266 33554432000 4194304 5064252 140734698093680 140734698092592 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10758/statm: 2287 266 226 213 0 72 0
[pid=10759] ppid=10758 vsize=47816 CPUtime=0.57 cores=0,2,4,6
/proc/10759/stat : 10759 (glucose) R 10758 31244 30917 0 -1 4202496 10141 0 0 0 56 1 0 0 20 0 1 0 285849799 48963584 10819 33554432000 4194304 5208918 140735852310768 140734698092616 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10759/statm: 11954 10819 95 248 0 11703 0
Current children cumulated CPU time (s) 1776.25
Current children cumulated vsize (KiB) 86016

[startup+1776.7 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 10759
/proc/meminfo: memFree=30753748/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1775.68 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) R 31244 31244 30917 0 -1 4202496 3247600 25446096 0 0 13063 2055 138397 24053 20 0 1 0 285672198 20381696 4234 33554432000 4194304 5990268 140735935856480 140735935847888 5173822 0 65536 4102 0 0 0 0 17 0 0 0 0 0 0
/proc/31245/statm: 4976 4234 177 439 0 4533 0
Current children cumulated CPU time (s) 1775.68
Current children cumulated vsize (KiB) 29052
#
############


[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 10801
/proc/meminfo: memFree=30767508/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=11712 CPUtime=1781.98 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) R 31244 31244 30917 0 -1 4202496 3258906 25538345 0 0 13110 2062 138888 24138 20 0 1 0 285672198 11993088 2291 33554432000 4194304 5990268 140735935856480 140735935848464 5042551 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31245/statm: 2928 2291 177 439 0 2485 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 20860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.4 s]
/proc/loadavg: 1.99 2.00 1.99 3/181 10918
/proc/meminfo: memFree=30821480/32873844 swapFree=7108/7108
[pid=31244] ppid=31242 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31244/stat : 31244 (npSolver-wbo-It) S 31242 31244 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285672197 9367552 275 33554432000 4194304 5064252 140733500725216 140733500724128 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31244/statm: 2287 275 233 213 0 72 0
[pid=31245] ppid=31244 vsize=19904 CPUtime=1799.04 cores=0,2,4,6
/proc/31245/stat : 31245 (npSolver-wbo) R 31244 31244 30917 0 -1 4202496 3290562 25782268 0 0 13245 2083 140206 24370 20 0 1 0 285672198 20381696 3210 33554432000 4194304 5990268 140735935856480 140735935848464 5043552 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31245/statm: 4976 3722 177 439 0 4533 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 29052

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.25009
#  lost CPU user time (s): 1.22006
#  lost CPU system time (s): 0.0300102

Real time (s): 1799.41
CPU time (s): 1800.31
CPU user time (s): 1535.73
CPU system time (s): 264.576
CPU usage (%): 100.05
Max. virtual memory (cumulated for all children) (KiB): 87380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1534.51
system time used= 264.546
maximum resident set size= 44740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29073205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23469080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 485014
involuntary context switches= 21659

runsolver used 3.88641 second user time and 8.92364 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 10:57:16
IDJOB=3715599
IDBENCH=78925
IDSOLVER=2297
FILE ID=node103/3715599-1338195436
RUNJOBID= node103-1338193626-30933
PBS_JOBID= 14624588
Free space on /tmp= 71540 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715599-1338195436/watcher-3715599-1338195436 -o /tmp/evaluation-result-3715599-1338195436/solver-3715599-1338195436 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715599-1338195436.wbo 96103044 HOME HOME

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

MD5SUM BENCH= 2c7bc414eea5148dc6372ccd38f2fe74
RANDOM SEED=96103044

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30858168 kB
Buffers:          475740 kB
Cached:           642808 kB
SwapCached:         4492 kB
Active:           809552 kB
Inactive:         362208 kB
Active(anon):      46380 kB
Inactive(anon):     6216 kB
Active(file):     763172 kB
Inactive(file):   355992 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099580 kB
Dirty:             12420 kB
Writeback:             0 kB
AnonPages:         53968 kB
Mapped:            12552 kB
Shmem:                 8 kB
Slab:             704748 kB
SReclaimable:     145344 kB
SUnreclaim:       559404 kB
KernelStack:        1504 kB
PageTables:         4332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     170888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71532 MiB
End job on node103 at 2012-05-28 11:27:16