Trace number 3715593

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.1 1822.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM2683f5c0f2bcb2ef48b38611ac907218
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark3.04853
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6000
Total number of constraints220
Number of soft constraints76
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Top cost 4191
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4190
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
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.38	c run usual solver
4.28/4.37	o 3306
4.28/4.37	c starting approximation
4.28/4.37	c factor = 2
4.28/4.37	c current bound: 1653
5.63/5.94	c current bound: 1653
7.48/7.51	c current bound: 1653
8.79/9.09	c current bound: 1653
10.62/10.81	c current bound: 1653
11.92/12.38	c current bound: 1653
13.49/13.95	c current bound: 1653
15.29/15.53	c current bound: 1653
16.62/17.09	c current bound: 1653
18.41/18.66	c current bound: 1653
19.76/20.23	c current bound: 1653
21.60/22.02	c current bound: 1653
22.89/23.58	c current bound: 1653
24.46/25.14	c current bound: 1653
26.29/26.71	c current bound: 1653
27.59/28.48	c current bound: 1653
29.17/30.05	c current bound: 1653
30.73/31.62	c current bound: 1653
32.29/33.19	c current bound: 1653
33.86/34.75	c current bound: 1653
35.68/36.33	c current bound: 1653
37.00/38.07	c current bound: 1653
38.80/39.64	c current bound: 1653
40.41/41.21	c current bound: 1653
41.70/42.77	c current bound: 1653
43.26/44.34	c current bound: 1653
45.11/45.90	c current bound: 1653
46.58/47.44	c current bound: 1653
48.20/49.14	c current bound: 1653
49.76/50.71	c current bound: 1653
51.06/52.28	c current bound: 1653
52.85/53.85	c current bound: 1653
54.20/55.42	c current bound: 1653
55.75/56.98	c current bound: 1653
57.34/58.56	c current bound: 1653
58.91/60.13	c current bound: 1653
60.76/61.70	c current bound: 1653
62.06/63.26	c current bound: 1653
63.86/64.95	c current bound: 1653
65.18/66.52	c current bound: 1653
66.75/68.09	c current bound: 1653
68.33/69.66	c current bound: 1653
69.90/71.23	c current bound: 1653
71.74/72.80	c current bound: 1653
73.03/74.37	c current bound: 1653
74.84/76.09	c current bound: 1653
76.17/77.66	c current bound: 1653
77.99/79.23	c current bound: 1653
79.61/80.80	c current bound: 1653
80.89/82.38	c current bound: 1653
82.46/83.94	c current bound: 1653
84.31/85.51	c current bound: 1653
85.86/87.21	c current bound: 1653
87.14/88.78	c current bound: 1653
88.95/90.34	c current bound: 1653
90.28/91.92	c current bound: 1653
92.06/93.49	c current bound: 1653
93.45/95.07	c current bound: 1653
95.02/96.63	c current bound: 1653
96.86/98.21	c current bound: 1653
98.16/99.78	c current bound: 1653
99.95/101.35	c current bound: 1653
101.31/103.02	c current bound: 1653
103.16/104.60	c current bound: 1653
104.45/106.17	c current bound: 1653
105.97/107.70	c current bound: 1653
107.55/109.27	c current bound: 1653
109.12/110.84	c current bound: 1653
110.97/112.41	c current bound: 1653
112.25/114.13	c current bound: 1653
114.12/115.70	c current bound: 1653
115.37/117.26	c current bound: 1653
117.21/118.83	c current bound: 1653
118.81/120.40	c current bound: 1653
120.09/121.97	c current bound: 1653
121.68/123.54	c current bound: 1653
123.24/125.30	c current bound: 1653
124.81/126.86	c current bound: 1653
126.36/128.43	c current bound: 1653
127.94/130.01	c current bound: 1653
129.80/131.60	c current bound: 1653
131.29/133.17	c current bound: 1653
132.66/134.74	c current bound: 1653
134.51/136.31	c current bound: 1653
135.75/137.84	c current bound: 1653
137.33/139.42	c current bound: 1653
138.91/141.13	c current bound: 1653
140.75/142.70	c current bound: 1653
142.24/144.28	c current bound: 1653
143.62/145.85	c current bound: 1653
145.47/147.41	c current bound: 1653
146.76/148.98	c current bound: 1653
148.33/150.56	c current bound: 1653
150.18/152.31	c current bound: 1653
151.47/153.87	c current bound: 1653
153.03/155.44	c current bound: 1653
154.61/157.02	c current bound: 1653
156.17/158.58	c current bound: 1653
157.75/160.15	c current bound: 1653
159.57/161.72	c current bound: 1653
160.89/163.44	c current bound: 1653
162.74/165.01	c current bound: 1653
164.03/166.59	c current bound: 1653
165.62/168.18	c current bound: 1653
167.20/169.74	c current bound: 1653
168.77/171.32	c current bound: 1653
170.64/172.91	c current bound: 1653
171.94/174.52	c current bound: 1653
173.79/176.10	c current bound: 1653
175.05/177.64	c current bound: 1653
176.90/179.21	c current bound: 1653
178.19/180.78	c current bound: 1653
179.75/182.34	c current bound: 1653
181.32/183.92	c current bound: 1653
182.90/185.62	c current bound: 1653
184.64/187.18	c current bound: 1653
186.01/188.75	c current bound: 1653
187.84/190.32	c current bound: 1653
189.16/191.89	c current bound: 1653
190.73/193.46	c current bound: 1653
192.30/195.05	c current bound: 1653
193.89/196.61	c current bound: 1653
195.64/198.18	c current bound: 1653
197.04/199.77	c current bound: 1653
198.91/201.50	c current bound: 1653
200.20/203.07	c current bound: 1653
202.00/204.66	c current bound: 1653
203.38/206.25	c current bound: 1653
204.92/207.80	c current bound: 1653
206.50/209.37	c current bound: 1653
208.09/210.96	c current bound: 1653
209.67/212.73	c current bound: 1653
211.24/214.32	c current bound: 1653
213.11/215.90	c current bound: 1653
214.40/217.47	c current bound: 1653
215.99/219.16	c current bound: 1653
217.55/220.75	c current bound: 1653
219.38/222.33	c current bound: 1653
221.00/223.91	c current bound: 1653
222.48/225.49	c current bound: 1653
223.86/227.06	c current bound: 1653
225.67/228.79	c current bound: 1653
227.00/230.36	c current bound: 1653
228.61/231.96	c current bound: 1653
230.18/233.54	c current bound: 1653
232.03/235.11	c current bound: 1653
233.62/236.70	c current bound: 1653
235.21/238.31	c current bound: 1653
236.81/240.02	c current bound: 1653
238.38/241.60	c current bound: 1653
239.87/243.18	c current bound: 1653
241.25/244.77	c current bound: 1653
243.05/246.35	c current bound: 1653
244.37/247.89	c current bound: 1653
245.94/249.46	c current bound: 1653
247.51/251.22	c current bound: 1653
249.37/252.80	c current bound: 1653
250.65/254.37	c current bound: 1653
252.23/255.96	c current bound: 1653
254.03/257.61	c current bound: 1653
255.33/259.18	c current bound: 1653
257.13/260.76	c current bound: 1653
258.48/262.34	c current bound: 1653
260.32/263.92	c current bound: 1653
261.62/265.49	c current bound: 1653
263.20/267.07	c current bound: 1653
264.78/268.66	c current bound: 1653
266.35/270.24	c current bound: 1653
268.20/271.95	c current bound: 1653
269.52/273.51	c current bound: 1653
271.37/275.10	c current bound: 1653
272.67/276.68	c current bound: 1653
274.46/278.26	c current bound: 1653
275.81/279.83	c current bound: 1653
277.38/281.42	c current bound: 1653
278.97/283.20	c current bound: 1653
280.56/284.77	c current bound: 1653
282.12/286.34	c current bound: 1653
283.71/287.93	c current bound: 1653
285.28/289.52	c current bound: 1653
287.12/291.10	c current bound: 1653
288.62/292.68	c current bound: 1653
289.99/294.26	c current bound: 1653
291.82/295.83	c current bound: 1653
293.10/297.38	c current bound: 1653
294.68/299.06	c current bound: 1653
296.25/300.64	c current bound: 1653
297.84/302.22	c current bound: 1653
299.39/303.79	c current bound: 1653
300.96/305.36	c current bound: 1653
302.79/306.95	c current bound: 1653
304.15/308.54	c current bound: 1653
305.94/310.25	c current bound: 1653
307.30/311.83	c current bound: 1653
309.12/313.42	c current bound: 1653
310.45/314.99	c current bound: 1653
312.01/316.56	c current bound: 1653
313.83/318.11	c current bound: 1653
315.13/319.68	c current bound: 1653
316.93/321.36	c current bound: 1653
318.27/322.93	c current bound: 1653
320.01/324.50	c current bound: 1653
321.40/326.08	c current bound: 1653
322.94/327.63	c current bound: 1653
324.51/329.19	c current bound: 1653
326.08/330.76	c current bound: 1653
327.89/332.46	c current bound: 1653
329.23/334.04	c current bound: 1653
331.07/335.60	c current bound: 1653
332.36/337.18	c current bound: 1653
334.16/338.77	c current bound: 1653
335.54/340.35	c current bound: 1653
337.13/341.93	c current bound: 1653
338.71/343.65	c current bound: 1653
340.30/345.23	c current bound: 1653
341.88/346.82	c current bound: 1653
343.45/348.39	c current bound: 1653
345.24/349.97	c current bound: 1653
346.63/351.56	c current bound: 1653
348.44/353.14	c current bound: 1653
349.79/354.73	c current bound: 1653
351.66/356.31	c current bound: 1653
352.95/357.88	c current bound: 1653
354.80/359.61	c current bound: 1653
356.09/361.18	c current bound: 1653
357.66/362.75	c current bound: 1653
359.23/364.33	c current bound: 1653
360.81/365.89	c current bound: 1653
362.58/367.46	c current bound: 1653
363.94/369.03	c current bound: 1653
365.79/370.71	c current bound: 1653
367.07/372.28	c current bound: 1653
368.63/373.84	c current bound: 1653
370.21/375.41	c current bound: 1653
371.77/376.99	c current bound: 1653
373.54/378.56	c current bound: 1653
374.91/380.13	c current bound: 1653
376.75/381.70	c current bound: 1653
378.06/383.27	c current bound: 1653
379.62/384.84	c current bound: 1653
381.18/386.59	c current bound: 1653
382.71/388.12	c current bound: 1653
384.27/389.69	c current bound: 1653
385.83/391.26	c current bound: 1653
387.64/392.83	c current bound: 1653
388.98/394.39	c current bound: 1653
390.75/395.97	c current bound: 1653
392.09/397.66	c current bound: 1653
393.90/399.23	c current bound: 1653
395.22/400.79	c current bound: 1653
396.79/402.36	c current bound: 1653
398.35/403.93	c current bound: 1653
399.92/405.49	c current bound: 1653
401.71/407.06	c current bound: 1653
403.06/408.75	c current bound: 1653
404.87/410.32	c current bound: 1653
406.19/411.89	c current bound: 1653
407.77/413.46	c current bound: 1653
409.33/415.03	c current bound: 1653
410.90/416.59	c current bound: 1653
412.67/418.12	c current bound: 1653
413.99/419.69	c current bound: 1653
415.77/421.25	c current bound: 1653
417.13/422.82	c current bound: 1653
418.69/424.39	c current bound: 1653
420.26/425.96	c current bound: 1653
421.82/427.51	c current bound: 1653
423.56/429.08	c current bound: 1653
424.95/430.78	c current bound: 1653
426.73/432.35	c current bound: 1653
428.08/433.92	c current bound: 1653
429.65/435.49	c current bound: 1653
431.21/437.05	c current bound: 1653
432.78/438.61	c current bound: 1653
434.34/440.18	c current bound: 1653
435.91/441.86	c current bound: 1653
437.70/443.44	c current bound: 1653
439.33/445.01	c current bound: 1653
440.81/446.57	c current bound: 1653
442.11/448.07	c current bound: 1653
443.67/449.64	c current bound: 1653
445.52/451.21	c current bound: 1653
447.09/452.90	c current bound: 1653
448.58/454.46	c current bound: 1653
449.95/456.04	c current bound: 1653
451.67/457.59	c current bound: 1653
453.06/459.16	c current bound: 1653
454.63/460.73	c current bound: 1653
456.47/462.30	c current bound: 1653
457.77/463.98	c current bound: 1653
459.32/465.55	c current bound: 1653
460.88/467.12	c current bound: 1653
462.64/468.69	c current bound: 1653
464.03/470.26	c current bound: 1653
465.83/471.83	c current bound: 1653
467.43/473.40	c current bound: 1653
468.72/475.10	c current bound: 1653
470.29/476.66	c current bound: 1653
471.83/478.22	c current bound: 1653
473.41/479.79	c current bound: 1653
474.98/481.36	c current bound: 1653
476.80/482.93	c current bound: 1653
478.40/484.50	c current bound: 1653
479.96/486.21	c current bound: 1653
481.23/487.75	c current bound: 1653
482.80/489.32	c current bound: 1653
484.36/490.88	c current bound: 1653
485.93/492.45	c current bound: 1653
487.74/494.03	c current bound: 1653
489.07/495.59	c current bound: 1653
490.87/497.34	c current bound: 1653
492.49/498.91	c current bound: 1653
493.97/500.47	c current bound: 1653
495.34/502.04	c current bound: 1653
497.19/503.61	c current bound: 1653
498.48/505.18	c current bound: 1653
500.03/506.74	c current bound: 1653
501.85/508.48	c current bound: 1653
503.18/510.04	c current bound: 1653
505.02/511.61	c current bound: 1653
506.31/513.17	c current bound: 1653
508.11/514.74	c current bound: 1653
509.71/516.30	c current bound: 1653
510.94/517.82	c current bound: 1653
512.50/519.39	c current bound: 1653
514.07/521.09	c current bound: 1653
515.84/522.66	c current bound: 1653
517.22/524.23	c current bound: 1653
518.96/525.80	c current bound: 1653
520.35/527.37	c current bound: 1653
521.93/528.95	c current bound: 1653
523.53/530.66	c current bound: 1653
525.11/532.24	c current bound: 1653
526.96/533.81	c current bound: 1653
528.25/535.38	c current bound: 1653
530.04/536.95	c current bound: 1653
531.38/538.52	c current bound: 1653
533.14/540.09	c current bound: 1653
534.83/541.76	c current bound: 1653
536.36/543.33	c current bound: 1653
537.68/544.91	c current bound: 1653
539.26/546.49	c current bound: 1653
540.79/548.02	c current bound: 1653
542.37/549.59	c current bound: 1653
544.16/551.17	c current bound: 1653
545.80/552.86	c current bound: 1653
547.33/554.44	c current bound: 1653
548.93/556.01	c current bound: 1653
550.21/557.57	c current bound: 1653
551.79/559.14	c current bound: 1653
553.63/560.71	c current bound: 1653
555.12/562.28	c current bound: 1653
556.78/564.00	c current bound: 1653
558.28/565.57	c current bound: 1653
559.65/567.15	c current bound: 1653
561.50/568.72	c current bound: 1653
562.80/570.29	c current bound: 1653
564.37/571.86	c current bound: 1653
565.94/573.43	c current bound: 1653
567.78/575.00	c current bound: 1653
569.28/576.57	c current bound: 1653
570.65/578.14	c current bound: 1653
572.45/579.83	c current bound: 1653
574.05/581.40	c current bound: 1653
575.57/582.97	c current bound: 1653
576.92/584.54	c current bound: 1653
578.49/586.12	c current bound: 1653
580.04/587.66	c current bound: 1653
581.61/589.23	c current bound: 1653
583.44/590.99	c current bound: 1653
584.75/592.55	c current bound: 1653
586.58/594.12	c current bound: 1653
587.89/595.69	c current bound: 1653
589.68/597.27	c current bound: 1653
591.06/598.86	c current bound: 1653
592.66/600.44	c current bound: 1653
594.50/602.12	c current bound: 1653
596.08/603.70	c current bound: 1653
597.38/605.29	c current bound: 1653
598.96/606.87	c current bound: 1653
600.74/608.46	c current bound: 1653
602.11/610.04	c current bound: 1653
603.94/611.63	c current bound: 1653
605.26/613.36	c current bound: 1653
607.08/614.93	c current bound: 1653
608.70/616.51	c current bound: 1653
609.95/618.05	c current bound: 1653
611.53/619.63	c current bound: 1653
613.37/621.20	c current bound: 1653
614.85/622.78	c current bound: 1653
616.23/624.49	c current bound: 1653
618.02/626.06	c current bound: 1653
619.36/627.62	c current bound: 1653
621.10/629.20	c current bound: 1653
622.51/630.77	c current bound: 1653
624.08/632.35	c current bound: 1653
625.66/633.93	c current bound: 1653
627.23/635.65	c current bound: 1653
628.81/637.23	c current bound: 1653
630.64/638.81	c current bound: 1653
632.13/640.38	c current bound: 1653
633.51/641.96	c current bound: 1653
635.31/643.54	c current bound: 1653
636.67/645.13	c current bound: 1653
638.54/646.82	c current bound: 1653
640.11/648.40	c current bound: 1653
641.41/649.98	c current bound: 1653
642.97/651.54	c current bound: 1653
644.55/653.13	c current bound: 1653
646.14/654.72	c current bound: 1653
648.00/656.30	c current bound: 1653
649.57/657.98	c current bound: 1653
650.87/659.56	c current bound: 1653
652.69/661.14	c current bound: 1653
654.03/662.72	c current bound: 1653
655.88/664.31	c current bound: 1653
657.18/665.88	c current bound: 1653
658.74/667.45	c current bound: 1653
660.32/669.16	c current bound: 1653
661.90/670.75	c current bound: 1653
663.47/672.32	c current bound: 1653
665.32/673.90	c current bound: 1653
666.81/675.47	c current bound: 1653
668.17/677.04	c current bound: 1653
670.01/678.62	c current bound: 1653
671.61/680.20	c current bound: 1653
672.91/681.78	c current bound: 1653
674.49/683.36	c current bound: 1653
676.07/685.09	c current bound: 1653
677.64/686.67	c current bound: 1653
679.44/688.20	c current bound: 1653
680.95/689.79	c current bound: 1653
682.33/691.37	c current bound: 1653
684.12/692.94	c current bound: 1653
685.46/694.51	c current bound: 1653
687.26/696.25	c current bound: 1653
688.86/697.81	c current bound: 1653
690.17/699.39	c current bound: 1653
691.74/700.97	c current bound: 1653
693.32/702.55	c current bound: 1653
695.14/704.13	c current bound: 1653
696.74/705.71	c current bound: 1653
698.29/707.41	c current bound: 1653
699.61/708.99	c current bound: 1653
701.39/710.55	c current bound: 1653
702.73/712.12	c current bound: 1653
704.59/713.70	c current bound: 1653
705.89/715.29	c current bound: 1653
707.45/716.86	c current bound: 1653
709.33/718.60	c current bound: 1653
710.63/720.18	c current bound: 1653
712.40/721.77	c current bound: 1653
713.79/723.35	c current bound: 1653
715.62/724.91	c current bound: 1653
716.91/726.48	c current bound: 1653
718.48/728.05	c current bound: 1653
720.05/729.74	c current bound: 1653
721.89/731.31	c current bound: 1653
723.20/732.90	c current bound: 1653
724.78/734.47	c current bound: 1653
726.57/736.06	c current bound: 1653
728.17/737.61	c current bound: 1653
729.66/739.19	c current bound: 1653
731.33/740.90	c current bound: 1653
732.82/742.46	c current bound: 1653
734.18/744.04	c current bound: 1653
736.03/745.61	c current bound: 1653
737.33/747.19	c current bound: 1653
738.91/748.77	c current bound: 1653
740.71/750.35	c current bound: 1653
742.06/752.07	c current bound: 1653
743.85/753.64	c current bound: 1653
745.47/755.21	c current bound: 1653
746.96/756.79	c current bound: 1653
748.34/758.36	c current bound: 1653
749.90/759.92	c current bound: 1653
751.48/761.49	c current bound: 1653
753.32/763.20	c current bound: 1653
754.61/764.77	c current bound: 1653
756.19/766.35	c current bound: 1653
757.91/767.89	c current bound: 1653
759.28/769.47	c current bound: 1653
761.11/771.05	c current bound: 1653
762.45/772.63	c current bound: 1653
764.25/774.37	c current bound: 1653
765.58/775.95	c current bound: 1653
767.15/777.52	c current bound: 1653
769.03/779.10	c current bound: 1653
770.31/780.68	c current bound: 1653
772.11/782.26	c current bound: 1653
773.46/783.84	c current bound: 1653
775.31/785.41	c current bound: 1653
776.60/786.99	c current bound: 1653
778.17/788.56	c current bound: 1653
779.74/790.24	c current bound: 1653
781.30/791.81	c current bound: 1653
783.17/793.40	c current bound: 1653
784.45/794.97	c current bound: 1653
786.26/796.54	c current bound: 1653
787.60/798.12	c current bound: 1653
789.45/799.71	c current bound: 1653
790.74/801.42	c current bound: 1653
792.49/803.00	c current bound: 1653
793.89/804.58	c current bound: 1653
795.47/806.16	c current bound: 1653
797.29/807.71	c current bound: 1653
798.59/809.28	c current bound: 1653
800.37/810.87	c current bound: 1653
801.75/812.45	c current bound: 1653
803.55/814.04	c current bound: 1653
804.91/815.63	c current bound: 1653
806.73/817.33	c current bound: 1653
808.33/818.91	c current bound: 1653
809.63/820.48	c current bound: 1653
811.19/822.05	c current bound: 1653
812.76/823.63	c current bound: 1653
814.61/825.21	c current bound: 1653
815.90/826.79	c current bound: 1653
817.69/828.37	c current bound: 1653
819.07/829.95	c current bound: 1653
820.87/831.53	c current bound: 1653
822.22/833.22	c current bound: 1653
823.78/834.80	c current bound: 1653
825.34/836.37	c current bound: 1653
826.91/837.93	c current bound: 1653
828.76/839.50	c current bound: 1653
830.05/841.08	c current bound: 1653
831.84/842.66	c current bound: 1653
833.48/844.31	c current bound: 1653
834.97/845.89	c current bound: 1653
836.33/847.46	c current bound: 1653
837.92/849.04	c current bound: 1653
839.75/850.61	c current bound: 1653
841.05/852.18	c current bound: 1653
842.85/853.75	c current bound: 1653
844.18/855.42	c current bound: 1653
845.93/856.99	c current bound: 1653
847.31/858.55	c current bound: 1653
849.14/860.12	c current bound: 1653
850.43/861.69	c current bound: 1653
852.02/863.27	c current bound: 1653
853.59/864.86	c current bound: 1653
855.46/866.61	c current bound: 1653
857.04/868.20	c current bound: 1653
858.33/869.77	c current bound: 1653
860.13/871.36	c current bound: 1653
861.48/872.95	c current bound: 1653
863.32/874.53	c current bound: 1653
864.64/876.11	c current bound: 1653
866.22/877.69	c current bound: 1653
867.79/879.26	c current bound: 1653
869.36/880.84	c current bound: 1653
870.94/882.44	c current bound: 1653
872.78/884.01	c current bound: 1653
874.27/885.60	c current bound: 1653
875.65/887.17	c current bound: 1653
877.24/888.75	c current bound: 1653
878.81/890.33	c current bound: 1653
880.39/891.91	c current bound: 1653
881.97/893.64	c current bound: 1653
883.57/895.22	c current bound: 1653
885.41/896.80	c current bound: 1653
886.68/898.34	c current bound: 1653
888.50/899.92	c current bound: 1653
890.11/901.50	c current bound: 1653
891.40/903.08	c current bound: 1653
892.97/904.79	c current bound: 1653
894.55/906.38	c current bound: 1653
896.08/907.92	c current bound: 1653
897.65/909.49	c current bound: 1653
899.24/911.08	c current bound: 1653
900.81/912.66	c current bound: 1653
902.62/914.24	c current bound: 1653
904.24/915.95	c current bound: 1653
905.77/917.54	c current bound: 1653
907.10/919.12	c current bound: 1653
908.97/920.70	c current bound: 1653
910.26/922.28	c current bound: 1653
911.83/923.85	c current bound: 1653
913.40/925.42	c current bound: 1653
915.25/927.01	c current bound: 1653
916.74/928.59	c current bound: 1653
918.13/930.17	c current bound: 1653
919.98/931.89	c current bound: 1653
921.27/933.46	c current bound: 1653
923.09/935.04	c current bound: 1653
924.44/936.62	c current bound: 1653
926.29/938.20	c current bound: 1653
927.57/939.76	c current bound: 1653
929.15/941.34	c current bound: 1653
931.00/943.10	c current bound: 1653
932.29/944.67	c current bound: 1653
934.09/946.25	c current bound: 1653
935.43/947.81	c current bound: 1653
937.19/949.39	c current bound: 1653
938.58/950.97	c current bound: 1653
940.15/952.54	c current bound: 1653
941.99/954.22	c current bound: 1653
943.58/955.81	c current bound: 1653
944.85/957.38	c current bound: 1653
946.43/958.94	c current bound: 1653
948.25/960.53	c current bound: 1653
949.86/962.11	c current bound: 1653
951.36/963.69	c current bound: 1653
952.73/965.44	c current bound: 1653
954.57/967.01	c current bound: 1653
955.87/968.59	c current bound: 1653
957.44/970.17	c current bound: 1653
959.02/971.77	c current bound: 1653
960.57/973.34	c current bound: 1653
962.15/974.92	c current bound: 1653
963.71/976.48	c current bound: 1653
965.49/978.06	c current bound: 1653
966.85/979.64	c current bound: 1653
968.68/981.30	c current bound: 1653
970.00/982.87	c current bound: 1653
971.57/984.45	c current bound: 1653
973.14/986.02	c current bound: 1653
974.70/987.59	c current bound: 1653
976.48/989.15	c current bound: 1653
977.84/990.72	c current bound: 1653
979.64/992.45	c current bound: 1653
981.00/994.03	c current bound: 1653
982.75/995.60	c current bound: 1653
984.14/997.17	c current bound: 1653
985.70/998.74	c current bound: 1653
987.29/1000.33	c current bound: 1653
988.87/1001.89	c current bound: 1653
990.72/1003.61	c current bound: 1653
992.00/1005.18	c current bound: 1653
993.80/1006.75	c current bound: 1653
995.41/1008.30	c current bound: 1653
996.89/1009.87	c current bound: 1653
998.27/1011.43	c current bound: 1653
1000.12/1013.00	c current bound: 1653
1001.42/1014.57	c current bound: 1653
1002.96/1016.13	c current bound: 1653
1004.83/1017.71	c current bound: 1653
1006.12/1019.42	c current bound: 1653
1007.98/1021.00	c current bound: 1653
1009.27/1022.57	c current bound: 1653
1011.08/1024.14	c current bound: 1653
1012.41/1025.71	c current bound: 1653
1014.00/1027.29	c current bound: 1653
1015.57/1028.88	c current bound: 1653
1017.17/1030.57	c current bound: 1653
1018.75/1032.15	c current bound: 1653
1020.34/1033.73	c current bound: 1653
1022.17/1035.32	c current bound: 1653
1023.79/1036.91	c current bound: 1653
1025.26/1038.50	c current bound: 1653
1026.99/1040.11	c current bound: 1653
1028.30/1041.70	c current bound: 1653
1029.88/1043.27	c current bound: 1653
1031.44/1044.84	c current bound: 1653
1033.31/1046.60	c current bound: 1653
1034.56/1048.15	c current bound: 1653
1036.15/1049.74	c current bound: 1653
1037.98/1051.31	c current bound: 1653
1039.49/1052.89	c current bound: 1653
1040.87/1054.47	c current bound: 1653
1042.67/1056.04	c current bound: 1653
1044.27/1057.80	c current bound: 1653
1045.76/1059.38	c current bound: 1653
1047.14/1060.96	c current bound: 1653
1048.71/1062.54	c current bound: 1653
1050.29/1064.23	c current bound: 1653
1052.15/1065.81	c current bound: 1653
1053.74/1067.40	c current bound: 1653
1055.03/1068.98	c current bound: 1653
1056.82/1070.57	c current bound: 1653
1058.18/1072.14	c current bound: 1653
1060.03/1073.87	c current bound: 1653
1061.35/1075.45	c current bound: 1653
1063.17/1077.03	c current bound: 1653
1064.78/1078.60	c current bound: 1653
1066.06/1080.17	c current bound: 1653
1067.62/1081.75	c current bound: 1653
1069.21/1083.33	c current bound: 1653
1071.06/1084.90	c current bound: 1653
1072.34/1086.47	c current bound: 1653
1074.15/1088.05	c current bound: 1653
1075.48/1089.73	c current bound: 1653
1077.33/1091.31	c current bound: 1653
1078.64/1092.89	c current bound: 1653
1080.20/1094.47	c current bound: 1653
1081.78/1096.04	c current bound: 1653
1083.34/1097.62	c current bound: 1653
1085.20/1099.21	c current bound: 1653
1086.51/1100.92	c current bound: 1653
1088.36/1102.50	c current bound: 1653
1089.66/1104.09	c current bound: 1653
1091.44/1105.67	c current bound: 1653
1092.82/1107.25	c current bound: 1653
1094.64/1108.84	c current bound: 1653
1096.25/1110.41	c current bound: 1653
1097.83/1112.00	c current bound: 1653
1099.12/1113.57	c current bound: 1653
1100.70/1115.15	c current bound: 1653
1102.53/1116.89	c current bound: 1653
1104.08/1118.41	c current bound: 1653
1105.56/1119.98	c current bound: 1653
1106.95/1121.56	c current bound: 1653
1108.74/1123.15	c current bound: 1653
1110.10/1124.72	c current bound: 1653
1111.66/1126.29	c current bound: 1653
1113.21/1127.85	c current bound: 1653
1114.77/1129.42	c current bound: 1653
1116.53/1130.99	c current bound: 1653
1118.18/1132.65	c current bound: 1653
1119.73/1134.23	c current bound: 1653
1121.33/1135.80	c current bound: 1653
1122.62/1137.37	c current bound: 1653
1124.20/1138.95	c current bound: 1653
1125.76/1140.52	c current bound: 1653
1127.62/1142.10	c current bound: 1653
1128.91/1143.82	c current bound: 1653
1130.79/1145.41	c current bound: 1653
1132.08/1146.98	c current bound: 1653
1133.86/1148.57	c current bound: 1653
1135.23/1150.14	c current bound: 1653
1137.06/1151.71	c current bound: 1653
1138.34/1153.27	c current bound: 1653
1139.91/1154.93	c current bound: 1653
1141.77/1156.51	c current bound: 1653
1143.05/1158.06	c current bound: 1653
1144.85/1159.63	c current bound: 1653
1146.19/1161.23	c current bound: 1653
1148.05/1162.80	c current bound: 1653
1149.34/1164.38	c current bound: 1653
1151.16/1166.10	c current bound: 1653
1152.50/1167.68	c current bound: 1653
1154.06/1169.25	c current bound: 1653
1155.91/1170.81	c current bound: 1653
1157.21/1172.39	c current bound: 1653
1158.98/1173.97	c current bound: 1653
1160.36/1175.55	c current bound: 1653
1162.17/1177.27	c current bound: 1653
1163.52/1178.84	c current bound: 1653
1165.35/1180.43	c current bound: 1653
1166.94/1182.00	c current bound: 1653
1168.24/1183.58	c current bound: 1653
1169.82/1185.16	c current bound: 1653
1171.39/1186.74	c current bound: 1653
1173.11/1188.28	c current bound: 1653
1174.49/1189.85	c current bound: 1653
1176.32/1191.43	c current bound: 1653
1177.64/1193.13	c current bound: 1653
1179.38/1194.70	c current bound: 1653
1180.78/1196.26	c current bound: 1653
1182.33/1197.82	c current bound: 1653
1184.18/1199.41	c current bound: 1653
1185.48/1200.97	c current bound: 1653
1187.27/1202.56	c current bound: 1653
1188.64/1204.29	c current bound: 1653
1190.41/1205.88	c current bound: 1653
1191.80/1207.45	c current bound: 1653
1193.62/1209.03	c current bound: 1653
1195.23/1210.61	c current bound: 1653
1196.53/1212.19	c current bound: 1653
1198.10/1213.76	c current bound: 1653
1199.67/1215.47	c current bound: 1653
1201.23/1217.04	c current bound: 1653
1202.81/1218.63	c current bound: 1653
1204.38/1220.22	c current bound: 1653
1205.96/1221.79	c current bound: 1653
1207.73/1223.35	c current bound: 1653
1209.07/1224.94	c current bound: 1653
1210.92/1226.52	c current bound: 1653
1212.22/1228.08	c current bound: 1653
1213.80/1229.67	c current bound: 1653
1215.39/1231.35	c current bound: 1653
1216.96/1232.95	c current bound: 1653
1218.55/1234.54	c current bound: 1653
1220.15/1236.12	c current bound: 1653
1221.89/1237.69	c current bound: 1653
1223.26/1239.26	c current bound: 1653
1225.07/1240.84	c current bound: 1653
1226.41/1242.56	c current bound: 1653
1228.21/1244.15	c current bound: 1653
1229.58/1245.73	c current bound: 1653
1231.43/1247.31	c current bound: 1653
1232.74/1248.90	c current bound: 1653
1234.30/1250.47	c current bound: 1653
1236.10/1252.04	c current bound: 1653
1237.73/1253.73	c current bound: 1653
1239.30/1255.31	c current bound: 1653
1240.59/1256.88	c current bound: 1653
1242.39/1258.42	c current bound: 1653
1243.70/1259.99	c current bound: 1653
1245.25/1261.56	c current bound: 1653
1246.85/1263.16	c current bound: 1653
1248.43/1264.84	c current bound: 1653
1249.99/1266.41	c current bound: 1653
1251.57/1267.99	c current bound: 1653
1253.35/1269.57	c current bound: 1653
1254.72/1271.15	c current bound: 1653
1256.54/1272.73	c current bound: 1653
1258.14/1274.30	c current bound: 1653
1259.67/1276.03	c current bound: 1653
1261.28/1277.60	c current bound: 1653
1262.57/1279.18	c current bound: 1653
1264.16/1280.77	c current bound: 1653
1265.74/1282.35	c current bound: 1653
1267.55/1283.94	c current bound: 1653
1268.91/1285.52	c current bound: 1653
1270.73/1287.24	c current bound: 1653
1272.09/1288.83	c current bound: 1653
1273.96/1290.42	c current bound: 1653
1275.55/1292.00	c current bound: 1653
1276.85/1293.60	c current bound: 1653
1278.42/1295.17	c current bound: 1653
1280.00/1296.75	c current bound: 1653
1281.72/1298.28	c current bound: 1653
1283.09/1299.84	c current bound: 1653
1284.93/1301.41	c current bound: 1653
1286.50/1303.11	c current bound: 1653
1288.00/1304.67	c current bound: 1653
1289.36/1306.24	c current bound: 1653
1291.20/1307.80	c current bound: 1653
1292.48/1309.37	c current bound: 1653
1294.07/1310.94	c current bound: 1653
1295.88/1312.52	c current bound: 1653
1297.47/1314.20	c current bound: 1653
1298.96/1315.77	c current bound: 1653
1300.33/1317.35	c current bound: 1653
1302.17/1318.92	c current bound: 1653
1303.47/1320.48	c current bound: 1653
1305.04/1322.05	c current bound: 1653
1306.61/1323.62	c current bound: 1653
1308.17/1325.32	c current bound: 1653
1309.74/1326.89	c current bound: 1653
1311.24/1328.38	c current bound: 1653
1313.01/1329.95	c current bound: 1653
1314.36/1331.52	c current bound: 1653
1315.93/1333.09	c current bound: 1653
1317.50/1334.65	c current bound: 1653
1319.06/1336.33	c current bound: 1653
1320.61/1337.89	c current bound: 1653
1322.18/1339.46	c current bound: 1653
1324.00/1341.02	c current bound: 1653
1325.32/1342.59	c current bound: 1653
1326.89/1344.17	c current bound: 1653
1328.47/1345.74	c current bound: 1653
1330.02/1347.44	c current bound: 1653
1331.86/1349.01	c current bound: 1653
1333.15/1350.57	c current bound: 1653
1334.95/1352.14	c current bound: 1653
1336.56/1353.70	c current bound: 1653
1338.04/1355.27	c current bound: 1653
1339.41/1356.84	c current bound: 1653
1341.24/1358.40	c current bound: 1653
1342.54/1359.97	c current bound: 1653
1344.11/1361.54	c current bound: 1653
1345.94/1363.23	c current bound: 1653
1347.52/1364.80	c current bound: 1653
1349.01/1366.36	c current bound: 1653
1350.37/1367.92	c current bound: 1653
1351.94/1369.49	c current bound: 1653
1353.50/1371.06	c current bound: 1653
1355.06/1372.63	c current bound: 1653
1356.63/1374.35	c current bound: 1653
1358.21/1375.92	c current bound: 1653
1359.76/1377.48	c current bound: 1653
1361.33/1379.05	c current bound: 1653
1363.17/1380.61	c current bound: 1653
1364.46/1382.18	c current bound: 1653
1366.02/1383.74	c current bound: 1653
1367.86/1385.30	c current bound: 1653
1369.16/1386.88	c current bound: 1653
1370.94/1388.46	c current bound: 1653
1372.59/1390.20	c current bound: 1653
1374.08/1391.77	c current bound: 1653
1375.46/1393.34	c current bound: 1653
1377.31/1394.91	c current bound: 1653
1378.59/1396.48	c current bound: 1653
1380.15/1398.04	c current bound: 1653
1381.73/1399.61	c current bound: 1653
1383.58/1401.30	c current bound: 1653
1384.86/1402.87	c current bound: 1653
1386.44/1404.44	c current bound: 1653
1388.27/1406.01	c current bound: 1653
1389.58/1407.58	c current bound: 1653
1391.39/1409.16	c current bound: 1653
1392.71/1410.72	c current bound: 1653
1394.53/1412.42	c current bound: 1653
1395.85/1413.99	c current bound: 1653
1397.41/1415.56	c current bound: 1653
1398.99/1417.13	c current bound: 1653
1400.51/1418.67	c current bound: 1653
1402.32/1420.24	c current bound: 1653
1403.92/1421.81	c current bound: 1653
1405.49/1423.51	c current bound: 1653
1406.78/1425.08	c current bound: 1653
1408.37/1426.65	c current bound: 1653
1409.90/1428.19	c current bound: 1653
1411.47/1429.76	c current bound: 1653
1413.28/1431.34	c current bound: 1653
1414.89/1432.91	c current bound: 1653
1416.47/1434.51	c current bound: 1653
1417.76/1436.08	c current bound: 1653
1419.33/1437.65	c current bound: 1653
1420.91/1439.22	c current bound: 1653
1422.48/1440.79	c current bound: 1653
1424.26/1442.36	c current bound: 1653
1425.61/1443.93	c current bound: 1653
1427.41/1445.65	c current bound: 1653
1428.75/1447.22	c current bound: 1653
1430.62/1448.81	c current bound: 1653
1431.93/1450.39	c current bound: 1653
1433.50/1451.97	c current bound: 1653
1435.08/1453.54	c current bound: 1653
1436.92/1455.10	c current bound: 1653
1438.48/1456.81	c current bound: 1653
1439.78/1458.38	c current bound: 1653
1441.57/1459.95	c current bound: 1653
1442.91/1461.52	c current bound: 1653
1444.65/1463.09	c current bound: 1653
1446.06/1464.67	c current bound: 1653
1447.64/1466.24	c current bound: 1653
1449.19/1467.95	c current bound: 1653
1451.04/1469.51	c current bound: 1653
1452.32/1471.07	c current bound: 1653
1453.88/1472.64	c current bound: 1653
1455.72/1474.20	c current bound: 1653
1457.02/1475.77	c current bound: 1653
1458.82/1477.35	c current bound: 1653
1460.15/1479.02	c current bound: 1653
1461.71/1480.58	c current bound: 1653
1463.28/1482.14	c current bound: 1653
1465.11/1483.71	c current bound: 1653
1466.60/1485.28	c current bound: 1653
1467.98/1486.85	c current bound: 1653
1469.69/1488.39	c current bound: 1653
1471.08/1490.06	c current bound: 1653
1472.88/1491.64	c current bound: 1653
1474.50/1493.21	c current bound: 1653
1475.78/1494.78	c current bound: 1653
1477.36/1496.35	c current bound: 1653
1479.19/1497.91	c current bound: 1653
1480.68/1499.48	c current bound: 1653
1482.06/1501.17	c current bound: 1653
1483.85/1502.75	c current bound: 1653
1485.19/1504.31	c current bound: 1653
1486.77/1505.88	c current bound: 1653
1488.33/1507.46	c current bound: 1653
1489.90/1509.02	c current bound: 1653
1491.47/1510.59	c current bound: 1653
1493.32/1512.30	c current bound: 1653
1494.83/1513.88	c current bound: 1653
1496.19/1515.45	c current bound: 1653
1498.02/1517.02	c current bound: 1653
1499.28/1518.54	c current bound: 1653
1500.85/1520.11	c current bound: 1653
1502.42/1521.69	c current bound: 1653
1503.99/1523.37	c current bound: 1653
1505.55/1524.95	c current bound: 1653
1507.14/1526.52	c current bound: 1653
1508.88/1528.07	c current bound: 1653
1510.24/1529.64	c current bound: 1653
1512.10/1531.21	c current bound: 1653
1513.38/1532.78	c current bound: 1653
1514.97/1534.35	c current bound: 1653
1516.79/1535.91	c current bound: 1653
1518.09/1537.48	c current bound: 1653
1519.94/1539.11	c current bound: 1653
1521.22/1540.67	c current bound: 1653
1523.01/1542.25	c current bound: 1653
1524.36/1543.81	c current bound: 1653
1525.92/1545.38	c current bound: 1653
1527.50/1546.95	c current bound: 1653
1529.01/1548.46	c current bound: 1653
1530.81/1550.03	c current bound: 1653
1532.15/1551.74	c current bound: 1653
1534.00/1553.31	c current bound: 1653
1535.58/1554.91	c current bound: 1653
1536.89/1556.48	c current bound: 1653
1538.44/1558.03	c current bound: 1653
1540.29/1559.61	c current bound: 1653
1541.76/1561.18	c current bound: 1653
1543.15/1562.75	c current bound: 1653
1544.97/1564.34	c current bound: 1653
1546.30/1566.04	c current bound: 1653
1548.15/1567.61	c current bound: 1653
1549.43/1569.17	c current bound: 1653
1551.01/1570.74	c current bound: 1653
1552.83/1572.31	c current bound: 1653
1554.13/1573.88	c current bound: 1653
1555.93/1575.45	c current bound: 1653
1557.28/1577.16	c current bound: 1653
1559.00/1578.69	c current bound: 1653
1560.37/1580.26	c current bound: 1653
1562.18/1581.84	c current bound: 1653
1563.79/1583.40	c current bound: 1653
1565.09/1584.97	c current bound: 1653
1566.65/1586.54	c current bound: 1653
1568.20/1588.22	c current bound: 1653
1569.77/1589.79	c current bound: 1653
1571.34/1591.36	c current bound: 1653
1573.15/1592.93	c current bound: 1653
1574.77/1594.50	c current bound: 1653
1576.04/1596.07	c current bound: 1653
1577.61/1597.63	c current bound: 1653
1579.47/1599.30	c current bound: 1653
1580.75/1600.87	c current bound: 1653
1582.33/1602.44	c current bound: 1653
1584.17/1604.01	c current bound: 1653
1585.45/1605.58	c current bound: 1653
1587.25/1607.15	c current bound: 1653
1588.60/1608.79	c current bound: 1653
1590.39/1610.46	c current bound: 1653
1591.72/1612.03	c current bound: 1653
1593.28/1613.59	c current bound: 1653
1594.86/1615.16	c current bound: 1653
1596.43/1616.74	c current bound: 1653
1598.15/1618.26	c current bound: 1653
1599.53/1619.83	c current bound: 1653
1601.39/1621.52	c current bound: 1653
1602.67/1623.09	c current bound: 1653
1604.24/1624.65	c current bound: 1653
1605.80/1626.22	c current bound: 1653
1607.36/1627.78	c current bound: 1653
1609.15/1629.35	c current bound: 1653
1610.51/1630.92	c current bound: 1653
1612.30/1632.67	c current bound: 1653
1613.64/1634.23	c current bound: 1653
1615.37/1635.80	c current bound: 1653
1616.77/1637.37	c current bound: 1653
1618.33/1638.94	c current bound: 1653
1620.17/1640.50	c current bound: 1653
1621.47/1642.08	c current bound: 1653
1623.29/1643.83	c current bound: 1653
1624.88/1645.40	c current bound: 1653
1626.37/1646.96	c current bound: 1653
1627.74/1648.53	c current bound: 1653
1629.48/1650.10	c current bound: 1653
1630.86/1651.66	c current bound: 1653
1632.43/1653.23	c current bound: 1653
1634.00/1654.93	c current bound: 1653
1635.84/1656.50	c current bound: 1653
1637.12/1658.06	c current bound: 1653
1638.69/1659.63	c current bound: 1653
1640.54/1661.20	c current bound: 1653
1641.83/1662.77	c current bound: 1653
1643.63/1664.34	c current bound: 1653
1644.97/1666.04	c current bound: 1653
1646.81/1667.61	c current bound: 1653
1648.10/1669.17	c current bound: 1653
1649.67/1670.74	c current bound: 1653
1651.52/1672.31	c current bound: 1653
1652.81/1673.88	c current bound: 1653
1654.61/1675.44	c current bound: 1653
1655.94/1677.15	c current bound: 1653
1657.77/1678.73	c current bound: 1653
1659.36/1680.30	c current bound: 1653
1660.67/1681.87	c current bound: 1653
1662.23/1683.44	c current bound: 1653
1664.07/1685.01	c current bound: 1653
1665.56/1686.58	c current bound: 1653
1666.93/1688.28	c current bound: 1653
1668.72/1689.84	c current bound: 1653
1670.35/1691.41	c current bound: 1653
1671.82/1692.98	c current bound: 1653
1673.20/1694.55	c current bound: 1653
1674.78/1696.12	c current bound: 1653
1676.34/1697.69	c current bound: 1653
1677.90/1699.36	c current bound: 1653
1679.47/1700.93	c current bound: 1653
1681.32/1702.51	c current bound: 1653
1682.80/1704.08	c current bound: 1653
1684.17/1705.64	c current bound: 1653
1686.01/1707.22	c current bound: 1653
1687.26/1708.73	c current bound: 1653
1689.11/1710.41	c current bound: 1653
1690.39/1711.97	c current bound: 1653
1691.96/1713.54	c current bound: 1653
1693.80/1715.11	c current bound: 1653
1695.09/1716.67	c current bound: 1653
1696.89/1718.22	c current bound: 1653
1698.22/1719.79	c current bound: 1653
1699.78/1721.47	c current bound: 1653
1701.35/1723.04	c current bound: 1653
1703.20/1724.61	c current bound: 1653
1704.68/1726.18	c current bound: 1653
1706.05/1727.74	c current bound: 1653
1707.89/1729.31	c current bound: 1653
1709.18/1730.88	c current bound: 1653
1710.98/1732.58	c current bound: 1653
1712.32/1734.15	c current bound: 1653
1713.88/1735.72	c current bound: 1653
1715.45/1737.28	c current bound: 1653
1717.24/1738.81	c current bound: 1653
1718.74/1740.39	c current bound: 1653
1720.12/1741.95	c current bound: 1653
1721.91/1743.67	c current bound: 1653
1723.26/1745.25	c current bound: 1653
1725.09/1746.81	c current bound: 1653
1726.36/1748.36	c current bound: 1653
1727.94/1749.93	c current bound: 1653
1729.79/1751.50	c current bound: 1653
1731.07/1753.08	c current bound: 1653
1732.88/1754.65	c current bound: 1653
1734.22/1756.22	c current bound: 1653
1735.80/1757.79	c current bound: 1653
1737.36/1759.47	c current bound: 1653
1738.94/1761.04	c current bound: 1653
1740.50/1762.61	c current bound: 1653
1742.08/1764.18	c current bound: 1653
1743.86/1765.76	c current bound: 1653
1745.22/1767.32	c current bound: 1653
1746.94/1768.87	c current bound: 1653
1748.33/1770.63	c current bound: 1653
1750.06/1772.20	c current bound: 1653
1751.45/1773.76	c current bound: 1653
1753.02/1775.34	c current bound: 1653
1754.87/1776.91	c current bound: 1653
1756.12/1778.45	c current bound: 1653
1757.95/1780.02	c current bound: 1653
1759.25/1781.58	c current bound: 1653
1761.06/1783.15	c current bound: 1653
1762.39/1784.72	c current bound: 1653
1764.24/1786.42	c current bound: 1653
1765.52/1787.98	c current bound: 1653
1767.08/1789.55	c current bound: 1653
1768.66/1791.12	c current bound: 1653
1770.23/1792.69	c current bound: 1653
1772.02/1794.27	c current bound: 1653
1773.38/1795.83	c current bound: 1653
1775.18/1797.56	c current bound: 1653
1776.51/1799.13	c current bound: 1653
1778.38/1800.71	c current bound: 1653
1779.65/1802.28	c current bound: 1653
1781.23/1803.84	c current bound: 1653
1783.07/1805.41	c current bound: 1653
1784.36/1806.97	c current bound: 1653
1786.17/1808.65	c current bound: 1653
1787.46/1810.22	c current bound: 1653
1789.21/1811.79	c current bound: 1653
1790.60/1813.35	c current bound: 1653
1792.15/1814.92	c current bound: 1653
1793.73/1816.48	c current bound: 1653
1795.27/1818.04	c current bound: 1653
1797.12/1819.72	c current bound: 1653
1798.42/1821.29	c current bound: 1653
1800.10/1822.72	HOME/npSolver-wbo-Itdqb.sh: line 18: 21565 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-3715593-1338180099/watcher-3715593-1338180099 -o /tmp/evaluation-result-3715593-1338180099/solver-3715593-1338180099 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715593-1338180099.wbo 1892567948 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.82 1.84 1.77 3/179 21564
/proc/meminfo: memFree=28834936/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0

[startup+0.076262 s]
/proc/loadavg: 1.82 1.84 1.77 3/179 21564
/proc/meminfo: memFree=28834936/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100312 s]
/proc/loadavg: 1.82 1.84 1.77 3/179 21564
/proc/meminfo: memFree=28834936/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300238 s]
/proc/loadavg: 1.82 1.84 1.77 3/179 21564
/proc/meminfo: memFree=28834936/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700362 s]
/proc/loadavg: 1.82 1.84 1.77 3/179 21564
/proc/meminfo: memFree=28834936/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50048 s]
/proc/loadavg: 1.82 1.84 1.77 3/183 21568
/proc/meminfo: memFree=28734384/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=14744 CPUtime=0.38 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 4204 0 0 0 37 1 0 0 20 0 1 0 284134952 15097856 2279 33554432000 4194304 5990268 140733551455488 140733551448640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21565/statm: 3686 2279 156 439 0 3243 0
[pid=21567] ppid=21565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21567/stat : 21567 (cp2_pre.sh) S 21565 21564 18846 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 284134991 9367552 276 33554432000 4194304 5064252 140735037033920 140735037032624 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21567/statm: 2287 276 234 213 0 72 0
[pid=21568] ppid=21567 vsize=89332 CPUtime=1.09 cores=1,3,5,7
/proc/21568/stat : 21568 (coprocessor) R 21567 21564 18846 0 -1 4202496 17333 0 0 0 106 3 0 0 20 0 1 0 284134991 91475968 21406 33554432000 4194304 6586260 140736966274832 140736966270088 4683293 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21568/statm: 22333 21406 191 584 0 21745 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 122372

[startup+3.10037 s]
/proc/loadavg: 1.82 1.84 1.77 3/183 21568
/proc/meminfo: memFree=28733632/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=14744 CPUtime=3.01 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 4213 20029 0 0 37 1 229 34 20 0 1 0 284134952 15097856 2280 33554432000 4194304 5990268 140733551455488 140733551449728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21565/statm: 3686 2280 157 439 0 3243 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 23892

[startup+6.30036 s]
/proc/loadavg: 1.83 1.84 1.78 3/183 21585
/proc/meminfo: memFree=28751764/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=5.98 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 9866 51176 0 0 50 18 478 52 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 37292

[startup+12.7004 s]
/proc/loadavg: 1.84 1.84 1.78 3/183 21620
/proc/meminfo: memFree=28756408/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=12.26 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 21878 128734 0 0 72 22 1031 101 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 37292

[startup+25.5004 s]
/proc/loadavg: 1.88 1.85 1.78 3/181 21688
/proc/meminfo: memFree=28799436/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=24.8 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 45902 280111 0 0 116 30 2142 192 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 37292

[startup+51.1004 s]
/proc/loadavg: 1.92 1.86 1.78 3/184 21876
/proc/meminfo: memFree=28867812/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=49.83 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 93950 587496 0 0 203 48 4358 374 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (KiB) 37292

[startup+102.307 s]
/proc/loadavg: 1.90 1.86 1.79 3/183 22139
/proc/meminfo: memFree=28826660/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=100.08 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 190046 1197599 0 0 374 84 8793 757 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
[pid=22138] ppid=21565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22138/stat : 22138 (satsolver.sh) S 21565 21564 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284145093 9367552 267 33554432000 4194304 5064252 140737439172400 140737439171312 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22138/statm: 2287 267 226 213 0 72 0
[pid=22139] ppid=22138 vsize=57900 CPUtime=0.88 cores=1,3,5,7
/proc/22139/stat : 22139 (glucose) R 22138 21564 18846 0 -1 4202496 11147 0 0 0 86 2 0 0 20 0 1 0 284145093 59289600 12204 33554432000 4194304 5208918 140735601642320 140735601640168 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22139/statm: 14475 12204 103 248 0 14224 0
Current children cumulated CPU time (s) 100.96
Current children cumulated vsize (KiB) 104340

[startup+162.3 s]
/proc/loadavg: 1.96 1.89 1.80 3/183 22450
/proc/meminfo: memFree=28853980/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=159.66 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 304160 1925660 0 0 577 127 14060 1202 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 159.66
Current children cumulated vsize (KiB) 37292

[startup+222.3 s]
/proc/loadavg: 1.98 1.90 1.81 3/184 22765
/proc/meminfo: memFree=28860652/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=219.14 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 415278 2650411 0 0 773 170 19327 1644 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
[pid=22763] ppid=21565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22763/stat : 22763 (cp2_post.sh) S 21565 21564 18846 0 -1 4202496 610 226 0 0 0 0 0 0 20 0 1 0 284157157 9367552 266 33554432000 4194304 5064252 140733278308320 140733278306608 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22763/statm: 2287 266 225 213 0 72 0
[pid=22765] ppid=22763 vsize=28204 CPUtime=0.24 cores=1,3,5,7
/proc/22765/stat : 22765 (coprocessor) R 22763 21564 18846 0 -1 4202496 4876 0 0 0 18 6 0 0 20 0 1 0 284157157 28880896 5688 33554432000 4194304 6586260 140735608852400 140735608849320 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/22765/statm: 7051 5688 151 584 0 6463 0
Current children cumulated CPU time (s) 219.38
Current children cumulated vsize (KiB) 74644

[startup+282.3 s]
/proc/loadavg: 2.06 1.95 1.83 3/183 23078
/proc/meminfo: memFree=28864564/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=277.73 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 529385 3366818 0 0 978 211 24502 2082 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 40 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
[pid=23077] ppid=21565 vsize=9148 CPUtime=0 cores=1,3,5,7

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

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

[startup+1462.8 s]
/proc/loadavg: 1.90 1.94 1.91 3/183 29242
/proc/meminfo: memFree=28829100/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1443.26 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 2757611 17569180 0 0 4964 1038 127564 10760 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
[pid=29241] ppid=21565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29241/stat : 29241 (satsolver.sh) S 21565 21564 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284281110 9367552 266 33554432000 4194304 5064252 140734923062288 140734923061200 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29241/statm: 2287 266 226 213 0 72 0
[pid=29242] ppid=29241 vsize=0 CPUtime=1.21 cores=1,3,5,7
/proc/29242/stat : 29242 (glucose) R 29241 21564 18846 0 -1 4202500 12276 0 0 0 118 3 0 0 20 0 1 0 284281110 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29242/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1444.47
Current children cumulated vsize (KiB) 46440

[startup+1462.9 s]
/proc/loadavg: 1.90 1.94 1.91 3/183 29242
/proc/meminfo: memFree=28829100/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1444.47 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 2757618 17582060 0 0 4964 1038 127682 10763 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 1444.47
Current children cumulated vsize (KiB) 37292
#
############


[startup+1482.3 s]
/proc/loadavg: 2.01 1.96 1.91 3/183 29341
/proc/meminfo: memFree=28826584/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1463.61 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 2796650 17817813 0 0 5034 1053 129365 10909 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 1463.61
Current children cumulated vsize (KiB) 37292

[startup+1542.31 s]
/proc/loadavg: 2.07 1.98 1.92 3/183 29659
/proc/meminfo: memFree=28850056/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1523.13 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 2910764 18546329 0 0 5240 1096 134608 11369 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 65 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 1523.13
Current children cumulated vsize (KiB) 37292

[startup+1602.3 s]
/proc/loadavg: 2.02 1.98 1.92 3/183 29971
/proc/meminfo: memFree=28830740/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1582.33 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 3021882 19261744 0 0 5441 1137 139852 11803 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 1582.33
Current children cumulated vsize (KiB) 37292

[startup+1662.3 s]
/proc/loadavg: 2.01 1.98 1.92 3/183 30286
/proc/meminfo: memFree=28832456/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1640.6 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 3135989 19974627 0 0 5645 1181 144984 12250 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
[pid=30285] ppid=21565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30285/stat : 30285 (satsolver.sh) S 21565 21564 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284301078 9367552 267 33554432000 4194304 5064252 140734930614704 140734930613616 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30285/statm: 2287 267 226 213 0 72 0
[pid=30286] ppid=30285 vsize=58044 CPUtime=1.03 cores=1,3,5,7
/proc/30286/stat : 30286 (glucose) R 30285 21564 18846 0 -1 4202496 11994 0 0 0 101 2 0 0 20 0 1 0 284301078 59437056 12391 33554432000 4194304 5208918 140736348329056 140736348327000 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30286/statm: 14511 12391 103 248 0 14260 0
Current children cumulated CPU time (s) 1641.63
Current children cumulated vsize (KiB) 104484

[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.92 3/182 30595
/proc/meminfo: memFree=28880208/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1700.11 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 3250103 20706866 0 0 5852 1223 150242 12694 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
Current children cumulated CPU time (s) 1700.11
Current children cumulated vsize (KiB) 37292

[startup+1782.3 s]
/proc/loadavg: 2.05 1.99 1.92 3/183 30913
/proc/meminfo: memFree=28825560/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1759.6 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 3364217 21442055 0 0 6057 1267 155488 13148 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
[pid=30912] ppid=21565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (satsolver.sh) S 21565 21564 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284313115 9367552 266 33554432000 4194304 5064252 140736676412512 140736676411424 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 266 226 213 0 72 0
[pid=30913] ppid=30912 vsize=56976 CPUtime=0.65 cores=1,3,5,7
/proc/30913/stat : 30913 (glucose) R 30912 21564 18846 0 -1 4202496 10928 0 0 0 63 2 0 0 20 0 1 0 284313116 58343424 12083 33554432000 4194304 5208918 140735896048400 140735896046344 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 14244 12083 103 248 0 13993 0
Current children cumulated CPU time (s) 1760.25
Current children cumulated vsize (KiB) 103416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1822.7 s]
/proc/loadavg: 2.08 2.01 1.93 3/183 31126
/proc/meminfo: memFree=28850344/32873844 swapFree=7116/7116
[pid=21564] ppid=21562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21564/stat : 21564 (npSolver-wbo-It) S 21562 21564 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284134952 9367552 275 33554432000 4194304 5064252 140733932807872 140733932806784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21564/statm: 2287 275 233 213 0 72 0
[pid=21565] ppid=21564 vsize=28144 CPUtime=1799.98 cores=1,3,5,7
/proc/21565/stat : 21565 (npSolver-wbo) S 21564 21564 18846 0 -1 4202496 3439299 21933351 0 0 6192 1296 159059 13451 20 0 1 0 284134952 28819456 5475 33554432000 4194304 5990268 140733551455488 140733551446384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/21565/statm: 7036 5475 180 439 0 6593 0
[pid=31124] ppid=21565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31124/stat : 31124 (cp2_post.sh) S 21565 21564 18846 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 284317209 9367552 266 33554432000 4194304 5064252 140733290249984 140733290248272 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31124/statm: 2287 266 225 213 0 72 0
[pid=31126] ppid=31124 vsize=27308 CPUtime=0.12 cores=1,3,5,7
/proc/31126/stat : 31126 (coprocessor) R 31124 21564 18846 0 -1 4202496 5340 0 0 0 11 1 0 0 20 0 1 0 284317210 27963392 5642 33554432000 4194304 6586260 140734447342304 140734447339176 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/31126/statm: 6827 5642 149 584 0 6239 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 73748

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21564 and gives
#  childrusage.ru_utime.tv_sec=1652
#  childrusage.ru_utime.tv_usec=526777
#  childrusage.ru_stime.tv_sec=147
#  childrusage.ru_stime.tv_usec=486578
# CPU time returned by wait4() is 1800.01
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1822.72
CPU time (s): 1800.1
CPU user time (s): 1652.62
CPU system time (s): 147.48
CPU usage (%): 98.7588
Max. virtual memory (cumulated for all children) (KiB): 139644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1652.53
system time used= 147.487
maximum resident set size= 101844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25374795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18511944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 454583
involuntary context switches= 19232

runsolver used 6.584 second user time and 15.6826 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-28 06:41:39
IDJOB=3715593
IDBENCH=78697
IDSOLVER=2297
FILE ID=node138/3715593-1338180099
RUNJOBID= node138-1338160170-18863
PBS_JOBID= 14624560
Free space on /tmp= 71472 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715593-1338180099/watcher-3715593-1338180099 -o /tmp/evaluation-result-3715593-1338180099/solver-3715593-1338180099 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715593-1338180099.wbo 1892567948 HOME HOME

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

MD5SUM BENCH= 2683f5c0f2bcb2ef48b38611ac907218
RANDOM SEED=1892567948

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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:        28835192 kB
Buffers:          593976 kB
Cached:          2452724 kB
SwapCached:          208 kB
Active:          1194388 kB
Inactive:        1948876 kB
Active(anon):      82232 kB
Inactive(anon):    11368 kB
Active(file):    1112156 kB
Inactive(file):  1937508 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             15536 kB
Writeback:             0 kB
AnonPages:        101804 kB
Mapped:            15372 kB
Shmem:               200 kB
Slab:             754008 kB
SReclaimable:     195148 kB
SUnreclaim:       558860 kB
KernelStack:        1528 kB
PageTables:         4516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     225552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71464 MiB
End job on node138 at 2012-05-28 07:12:02