Trace number 3715654

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.08 1804.38

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MD5SUMd7ec3e5f8584fe7f5e0e066c760adfab
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark3.9214
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10100
Total number of constraints201
Number of soft constraints65
Number of constraints which are clauses101
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 constraint100
Maximum length of a constraint101
Top cost 3414
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3413
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
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.82	c run usual solver
16.85/16.99	o 1625
16.85/16.99	c starting approximation
16.85/16.99	c factor = 2
16.85/16.99	c current bound: 812
18.04/18.45	c current bound: 812
19.85/19.90	c current bound: 812
20.93/21.35	c current bound: 812
22.37/22.79	c current bound: 812
24.14/24.24	c current bound: 812
25.25/25.67	c current bound: 812
27.05/27.12	c current bound: 812
28.44/28.56	c current bound: 812
29.93/30.00	c current bound: 812
31.03/31.44	c current bound: 812
32.47/32.89	c current bound: 812
34.23/34.34	c current bound: 812
35.73/35.80	c current bound: 812
36.83/37.26	c current bound: 812
38.64/38.73	c current bound: 812
40.13/40.20	c current bound: 812
41.24/41.67	c current bound: 812
43.04/43.12	c current bound: 812
44.13/44.56	c current bound: 812
45.94/46.01	c current bound: 812
47.32/47.47	c current bound: 812
48.85/48.91	c current bound: 812
49.95/50.37	c current bound: 812
51.74/51.84	c current bound: 812
52.86/53.28	c current bound: 812
54.66/54.72	c current bound: 812
56.06/56.18	c current bound: 812
57.55/57.63	c current bound: 812
58.67/59.08	c current bound: 812
60.44/60.54	c current bound: 812
61.57/61.98	c current bound: 812
63.36/63.43	c current bound: 812
64.75/64.87	c current bound: 812
66.26/66.32	c current bound: 812
67.36/67.77	c current bound: 812
69.17/69.22	c current bound: 812
70.26/70.67	c current bound: 812
72.07/72.13	c current bound: 812
73.14/73.56	c current bound: 812
74.96/75.00	c current bound: 812
76.04/76.45	c current bound: 812
77.47/77.89	c current bound: 812
79.24/79.34	c current bound: 812
80.39/80.79	c current bound: 812
81.84/82.24	c current bound: 812
83.55/83.66	c current bound: 812
85.05/85.10	c current bound: 812
86.13/86.55	c current bound: 812
87.83/88.00	c current bound: 812
89.02/89.57	c current bound: 812
90.82/91.01	c current bound: 812
92.21/92.48	c current bound: 812
93.31/93.87	c current bound: 812
94.78/95.33	c current bound: 812
96.50/96.78	c current bound: 812
98.02/98.24	c current bound: 812
99.50/99.70	c current bound: 812
100.90/101.15	c current bound: 812
102.40/102.61	c current bound: 812
103.42/103.99	c current bound: 812
104.88/105.44	c current bound: 812
106.70/106.91	c current bound: 812
107.79/108.36	c current bound: 812
109.61/109.82	c current bound: 812
110.98/111.27	c current bound: 812
112.51/112.72	c current bound: 812
113.61/114.18	c current bound: 812
115.39/115.64	c current bound: 812
116.52/117.08	c current bound: 812
117.95/118.53	c current bound: 812
119.79/120.01	c current bound: 812
120.88/121.46	c current bound: 812
122.68/122.90	c current bound: 812
124.08/124.37	c current bound: 812
125.58/125.81	c current bound: 812
126.68/127.26	c current bound: 812
128.47/128.71	c current bound: 812
129.55/130.15	c current bound: 812
131.00/131.59	c current bound: 812
132.77/133.04	c current bound: 812
133.90/134.49	c current bound: 812
135.36/135.95	c current bound: 812
137.18/137.41	c current bound: 812
138.28/138.87	c current bound: 812
140.08/140.31	c current bound: 812
141.17/141.75	c current bound: 812
143.02/143.46	c current bound: 812
144.45/144.90	c current bound: 812
145.86/146.34	c current bound: 812
146.97/147.78	c current bound: 812
148.43/149.24	c current bound: 812
150.15/150.69	c current bound: 812
151.33/152.13	c current bound: 812
152.76/153.57	c current bound: 812
154.58/155.01	c current bound: 812
155.66/156.47	c current bound: 812
157.46/157.91	c current bound: 812
158.55/159.36	c current bound: 812
160.36/160.81	c current bound: 812
161.45/162.25	c current bound: 812
162.87/163.67	c current bound: 812
164.67/165.13	c current bound: 812
165.77/166.58	c current bound: 812
167.57/168.03	c current bound: 812
168.94/169.48	c current bound: 812
170.46/170.92	c current bound: 812
171.57/172.38	c current bound: 812
173.26/173.80	c current bound: 812
174.43/175.24	c current bound: 812
175.87/176.69	c current bound: 812
177.64/178.15	c current bound: 812
179.16/179.61	c current bound: 812
180.23/181.05	c current bound: 812
181.68/182.49	c current bound: 812
183.44/183.90	c current bound: 812
184.52/185.34	c current bound: 812
185.97/186.79	c current bound: 812
187.74/188.24	c current bound: 812
188.87/189.69	c current bound: 812
190.32/191.14	c current bound: 812
192.03/192.58	c current bound: 812
193.16/193.99	c current bound: 812
194.63/195.45	c current bound: 812
196.34/196.90	c current bound: 812
197.54/198.35	c current bound: 812
199.34/199.81	c current bound: 812
200.72/201.25	c current bound: 812
202.24/202.71	c current bound: 812
203.33/204.15	c current bound: 812
205.15/205.61	c current bound: 812
206.55/207.06	c current bound: 812
208.06/208.51	c current bound: 812
209.14/209.95	c current bound: 812
210.95/211.41	c current bound: 812
212.06/212.87	c current bound: 812
213.87/214.33	c current bound: 812
215.24/215.79	c current bound: 812
216.75/217.23	c current bound: 812
217.86/218.67	c current bound: 812
219.64/220.13	c current bound: 812
220.75/221.57	c current bound: 812
222.22/223.03	c current bound: 812
223.94/224.48	c current bound: 812
225.44/225.92	c current bound: 812
226.55/227.37	c current bound: 812
228.35/228.83	c current bound: 812
229.46/230.27	c current bound: 812
231.25/231.72	c current bound: 812
232.72/233.40	c current bound: 812
233.80/234.85	c current bound: 812
235.26/236.29	c current bound: 812
237.03/237.76	c current bound: 812
238.54/239.21	c current bound: 812
239.62/240.65	c current bound: 812
241.44/242.10	c current bound: 812
242.51/243.55	c current bound: 812
243.96/244.99	c current bound: 812
245.73/246.45	c current bound: 812
246.86/247.89	c current bound: 812
248.30/249.33	c current bound: 812
250.03/250.78	c current bound: 812
251.21/252.24	c current bound: 812
252.65/253.68	c current bound: 812
254.44/255.13	c current bound: 812
255.93/256.60	c current bound: 812
257.02/258.05	c current bound: 812
258.46/259.50	c current bound: 812
260.24/260.95	c current bound: 812
261.74/262.42	c current bound: 812
263.14/263.82	c current bound: 812
264.54/265.29	c current bound: 812
265.70/266.74	c current bound: 812
267.54/268.21	c current bound: 812
268.92/269.66	c current bound: 812
270.45/271.11	c current bound: 812
271.54/272.57	c current bound: 812
273.24/273.97	c current bound: 812
274.41/275.44	c current bound: 812
275.87/277.03	c current bound: 812
277.60/278.49	c current bound: 812
278.77/279.97	c current bound: 812
280.61/281.41	c current bound: 812
281.99/282.87	c current bound: 812
283.51/284.31	c current bound: 812
284.62/285.79	c current bound: 812
286.39/287.25	c current bound: 812
287.52/288.69	c current bound: 812
288.98/290.14	c current bound: 812
290.68/291.58	c current bound: 812
291.88/293.05	c current bound: 812
293.33/294.50	c current bound: 812
295.08/295.94	c current bound: 812
296.19/297.37	c current bound: 812
297.66/298.84	c current bound: 812
299.38/300.30	c current bound: 812
300.58/301.75	c current bound: 812
302.37/303.20	c current bound: 812
303.77/304.67	c current bound: 812
304.94/306.13	c current bound: 812
306.39/307.58	c current bound: 812
308.16/309.05	c current bound: 812
309.65/310.51	c current bound: 812
310.76/311.98	c current bound: 812
312.55/313.42	c current bound: 812
313.64/314.87	c current bound: 812
315.44/316.32	c current bound: 812
316.55/317.77	c current bound: 812
318.32/319.23	c current bound: 812
319.80/320.91	c current bound: 812
321.17/322.36	c current bound: 812
322.30/323.78	c current bound: 812
323.77/325.25	c current bound: 812
325.59/326.70	c current bound: 812
326.68/328.16	c current bound: 812
328.47/329.62	c current bound: 812
329.87/331.08	c current bound: 812
331.04/332.54	c current bound: 812
332.47/333.95	c current bound: 812
334.27/335.40	c current bound: 812
335.67/336.86	c current bound: 812
337.17/338.30	c current bound: 812
338.26/339.76	c current bound: 812
340.06/341.22	c current bound: 812
341.18/342.66	c current bound: 812
342.56/344.06	c current bound: 812
344.37/345.51	c current bound: 812
345.46/346.95	c current bound: 812
347.25/348.40	c current bound: 812
348.64/349.84	c current bound: 812
349.77/351.29	c current bound: 812
351.21/352.73	c current bound: 812
352.95/354.12	c current bound: 812
354.34/355.57	c current bound: 812
355.84/357.02	c current bound: 812
356.94/358.47	c current bound: 812
358.74/359.92	c current bound: 812
359.86/361.37	c current bound: 812
361.64/362.82	c current bound: 812
363.04/364.29	c current bound: 812
364.21/365.73	c current bound: 812
365.66/367.18	c current bound: 812
367.43/368.65	c current bound: 812
368.94/370.12	c current bound: 812
370.06/371.57	c current bound: 812
371.86/373.02	c current bound: 812
372.94/374.46	c current bound: 812
374.74/375.91	c current bound: 812
376.12/377.37	c current bound: 812
377.64/378.82	c current bound: 812
378.75/380.27	c current bound: 812
380.55/381.73	c current bound: 812
381.67/383.18	c current bound: 812
383.45/384.62	c current bound: 812
384.84/386.08	c current bound: 812
386.01/387.53	c current bound: 812
387.46/388.97	c current bound: 812
389.25/390.43	c current bound: 812
390.74/391.90	c current bound: 812
391.83/393.35	c current bound: 812
393.28/394.80	c current bound: 812
395.02/396.26	c current bound: 812
396.55/397.72	c current bound: 812
397.65/399.17	c current bound: 812
399.44/400.62	c current bound: 812
400.54/402.06	c current bound: 812
402.35/403.53	c current bound: 812
403.71/404.98	c current bound: 812
404.90/406.43	c current bound: 812
406.36/407.88	c current bound: 812
408.13/409.34	c current bound: 812
409.65/410.80	c current bound: 812
410.74/412.25	c current bound: 812
412.55/413.70	c current bound: 812
413.65/415.16	c current bound: 812
415.45/416.62	c current bound: 812
416.84/418.07	c current bound: 812
418.01/419.53	c current bound: 812
419.46/420.98	c current bound: 812
421.25/422.43	c current bound: 812
422.35/423.87	c current bound: 812
424.15/425.31	c current bound: 812
425.56/426.78	c current bound: 812
426.71/428.38	c current bound: 812
428.50/429.82	c current bound: 812
429.89/431.27	c current bound: 812
431.06/432.73	c current bound: 812
432.80/434.12	c current bound: 812
434.19/435.59	c current bound: 812
435.37/437.05	c current bound: 812
437.20/438.51	c current bound: 812
438.60/439.98	c current bound: 812
439.76/441.43	c current bound: 812
441.59/442.90	c current bound: 812
442.99/444.37	c current bound: 812
444.17/445.83	c current bound: 812
446.00/447.30	c current bound: 812
447.39/448.75	c current bound: 812
448.91/450.22	c current bound: 812
450.01/451.67	c current bound: 812
451.81/453.14	c current bound: 812
453.31/454.60	c current bound: 812
454.39/456.06	c current bound: 812
456.22/457.51	c current bound: 812
457.60/458.96	c current bound: 812
459.11/460.41	c current bound: 812
460.22/461.88	c current bound: 812
462.01/463.33	c current bound: 812
463.14/464.79	c current bound: 812
464.60/466.25	c current bound: 812
466.42/467.72	c current bound: 812
467.52/469.18	c current bound: 812
468.99/470.63	c current bound: 812
470.72/472.09	c current bound: 812
471.89/473.53	c current bound: 812
473.35/474.99	c current bound: 812
475.10/476.43	c current bound: 812
476.24/477.89	c current bound: 812
477.70/479.35	c current bound: 812
479.53/480.96	c current bound: 812
480.97/482.41	c current bound: 812
482.02/483.84	c current bound: 812
483.86/485.30	c current bound: 812
484.95/486.77	c current bound: 812
486.44/488.24	c current bound: 812
488.26/489.70	c current bound: 812
489.34/491.15	c current bound: 812
491.17/492.60	c current bound: 812
492.57/494.01	c current bound: 812
493.65/495.47	c current bound: 812
495.12/496.94	c current bound: 812
496.97/498.41	c current bound: 812
498.07/499.88	c current bound: 812
499.53/501.33	c current bound: 812
501.37/502.80	c current bound: 812
502.77/504.20	c current bound: 812
503.86/505.65	c current bound: 812
505.68/507.11	c current bound: 812
506.76/508.55	c current bound: 812
508.58/510.00	c current bound: 812
509.97/511.45	c current bound: 812
511.48/512.91	c current bound: 812
512.57/514.35	c current bound: 812
514.02/515.80	c current bound: 812
515.79/517.25	c current bound: 812
516.92/518.69	c current bound: 812
518.36/520.15	c current bound: 812
520.20/521.60	c current bound: 812
521.64/523.17	c current bound: 812
523.08/524.64	c current bound: 812
524.59/526.10	c current bound: 812
525.68/527.57	c current bound: 812
527.50/529.03	c current bound: 812
528.58/530.47	c current bound: 812
530.03/531.93	c current bound: 812
531.87/533.52	c current bound: 812
532.97/534.98	c current bound: 812
534.43/536.45	c current bound: 812
536.16/537.90	c current bound: 812
537.34/539.35	c current bound: 812
539.16/540.80	c current bound: 812
540.56/542.26	c current bound: 812
541.68/543.69	c current bound: 812
543.16/545.16	c current bound: 812
544.97/546.61	c current bound: 812
546.36/548.06	c current bound: 812
547.88/549.52	c current bound: 812
548.97/550.97	c current bound: 812
550.75/552.43	c current bound: 812
551.87/553.87	c current bound: 812
553.67/555.32	c current bound: 812
555.07/556.77	c current bound: 812
556.23/558.23	c current bound: 812
557.71/559.69	c current bound: 812
559.44/561.17	c current bound: 812
560.95/562.61	c current bound: 812
562.02/564.03	c current bound: 812
563.85/565.50	c current bound: 812
564.96/566.97	c current bound: 812
566.41/568.43	c current bound: 812
568.15/569.89	c current bound: 812
569.33/571.34	c current bound: 812
571.15/572.80	c current bound: 812
572.45/574.19	c current bound: 812
573.65/575.66	c current bound: 812
575.47/577.11	c current bound: 812
576.86/578.56	c current bound: 812
578.37/580.01	c current bound: 812
579.45/581.47	c current bound: 812
581.28/582.92	c current bound: 812
582.66/584.37	c current bound: 812
583.84/585.84	c current bound: 812
585.29/587.28	c current bound: 812
586.73/588.95	c current bound: 812
588.18/590.39	c current bound: 812
589.93/591.86	c current bound: 812
591.46/593.31	c current bound: 812
592.57/594.78	c current bound: 812
594.37/596.23	c current bound: 812
595.47/597.68	c current bound: 812
596.93/599.15	c current bound: 812
598.77/600.62	c current bound: 812
599.86/602.06	c current bound: 812
601.66/603.50	c current bound: 812
603.05/604.94	c current bound: 812
604.20/606.39	c current bound: 812
605.63/607.83	c current bound: 812
607.08/609.28	c current bound: 812
608.87/610.75	c current bound: 812
610.38/612.21	c current bound: 812
611.48/613.68	c current bound: 812
613.26/615.13	c current bound: 812
614.38/616.58	c current bound: 812
615.85/618.03	c current bound: 812
617.67/619.50	c current bound: 812
618.77/620.96	c current bound: 812
620.59/622.42	c current bound: 812
621.97/623.85	c current bound: 812
623.48/625.31	c current bound: 812
624.57/626.78	c current bound: 812
626.35/628.23	c current bound: 812
627.85/629.70	c current bound: 812
628.92/631.15	c current bound: 812
630.76/632.61	c current bound: 812
632.16/634.02	c current bound: 812
633.24/635.47	c current bound: 812
635.05/636.93	c current bound: 812
636.16/638.38	c current bound: 812
637.62/639.83	c current bound: 812
639.34/641.28	c current bound: 812
640.53/642.75	c current bound: 812
641.93/644.15	c current bound: 812
643.39/645.60	c current bound: 812
645.17/647.06	c current bound: 812
646.66/648.50	c current bound: 812
647.74/649.94	c current bound: 812
649.47/651.38	c current bound: 812
650.99/652.82	c current bound: 812
652.04/654.23	c current bound: 812
653.79/655.69	c current bound: 812
654.98/657.16	c current bound: 812
656.79/658.62	c current bound: 812
658.18/660.07	c current bound: 812
659.36/661.54	c current bound: 812
661.17/663.00	c current bound: 812
662.60/664.52	c current bound: 812
663.71/665.97	c current bound: 812
665.51/667.41	c current bound: 812
666.91/668.86	c current bound: 812
668.42/670.32	c current bound: 812
669.53/671.77	c current bound: 812
671.35/673.30	c current bound: 812
672.44/674.76	c current bound: 812
674.26/676.22	c current bound: 812
675.65/677.68	c current bound: 812
676.85/679.14	c current bound: 812
678.30/680.58	c current bound: 812
680.08/682.03	c current bound: 812
681.20/683.50	c current bound: 812
682.66/684.94	c current bound: 812
684.37/686.40	c current bound: 812
685.57/687.85	c current bound: 812
687.01/689.29	c current bound: 812
688.78/690.75	c current bound: 812
690.28/692.21	c current bound: 812
691.38/693.66	c current bound: 812
692.80/695.10	c current bound: 812
694.56/696.54	c current bound: 812
695.69/697.98	c current bound: 812
697.47/699.43	c current bound: 812
698.85/700.87	c current bound: 812
700.37/702.32	c current bound: 812
701.45/703.79	c current bound: 812
703.26/705.24	c current bound: 812
704.75/706.70	c current bound: 812
705.85/708.16	c current bound: 812
707.65/709.61	c current bound: 812
708.75/711.05	c current bound: 812
710.55/712.50	c current bound: 812
711.94/713.94	c current bound: 812
713.07/715.38	c current bound: 812
714.52/716.84	c current bound: 812
716.24/718.29	c current bound: 812
717.41/719.74	c current bound: 812
718.88/721.18	c current bound: 812
720.64/722.64	c current bound: 812
722.04/724.05	c current bound: 812
723.54/725.50	c current bound: 812
724.63/726.94	c current bound: 812
726.45/728.42	c current bound: 812
727.56/729.87	c current bound: 812
729.38/731.31	c current bound: 812
730.76/732.76	c current bound: 812
731.88/734.17	c current bound: 812
733.33/735.63	c current bound: 812
735.06/737.09	c current bound: 812
736.24/738.53	c current bound: 812
737.67/739.97	c current bound: 812
739.48/741.41	c current bound: 812
740.56/742.86	c current bound: 812
741.97/744.27	c current bound: 812
743.78/745.72	c current bound: 812
744.88/747.19	c current bound: 812
746.37/748.67	c current bound: 812
748.18/750.12	c current bound: 812
749.29/751.59	c current bound: 812
750.74/753.04	c current bound: 812
752.57/754.51	c current bound: 812
753.96/755.97	c current bound: 812
755.14/757.44	c current bound: 812
756.61/758.89	c current bound: 812
758.37/760.35	c current bound: 812
759.90/761.81	c current bound: 812
761.31/763.44	c current bound: 812
762.83/764.90	c current bound: 812
763.93/766.37	c current bound: 812
765.74/767.82	c current bound: 812
766.84/769.28	c current bound: 812
768.31/770.75	c current bound: 812
770.13/772.20	c current bound: 812
771.20/773.64	c current bound: 812
772.65/775.09	c current bound: 812
774.42/776.54	c current bound: 812
775.94/778.00	c current bound: 812
777.04/779.46	c current bound: 812
778.85/780.92	c current bound: 812
780.24/782.36	c current bound: 812
781.74/783.80	c current bound: 812
782.82/785.25	c current bound: 812
784.64/786.70	c current bound: 812
785.72/788.15	c current bound: 812
787.53/789.60	c current bound: 812
788.92/791.05	c current bound: 812
790.44/792.50	c current bound: 812
791.50/793.97	c current bound: 812
793.35/795.42	c current bound: 812
794.46/796.89	c current bound: 812
795.90/798.34	c current bound: 812
797.75/799.80	c current bound: 812
798.83/801.25	c current bound: 812
800.65/802.72	c current bound: 812
802.06/804.13	c current bound: 812
803.17/805.59	c current bound: 812
804.65/807.06	c current bound: 812
806.47/808.53	c current bound: 812
807.57/809.98	c current bound: 812
809.03/811.45	c current bound: 812
810.88/812.92	c current bound: 812
812.26/814.32	c current bound: 812
813.36/815.77	c current bound: 812
815.17/817.24	c current bound: 812
816.66/818.70	c current bound: 812
817.74/820.15	c current bound: 812
819.57/821.61	c current bound: 812
820.96/823.06	c current bound: 812
822.47/824.52	c current bound: 812
823.57/825.97	c current bound: 812
825.38/827.41	c current bound: 812
826.45/828.85	c current bound: 812
827.90/830.29	c current bound: 812
829.65/831.75	c current bound: 812
831.16/833.22	c current bound: 812
832.26/834.78	c current bound: 812
834.05/836.22	c current bound: 812
835.16/837.66	c current bound: 812
836.62/839.13	c current bound: 812
838.34/840.58	c current bound: 812
839.53/842.05	c current bound: 812
841.35/843.53	c current bound: 812
842.72/844.98	c current bound: 812
843.90/846.43	c current bound: 812
845.34/847.88	c current bound: 812
847.11/849.35	c current bound: 812
848.25/850.79	c current bound: 812
849.72/852.26	c current bound: 812
851.51/853.72	c current bound: 812
852.62/855.18	c current bound: 812
854.07/856.63	c current bound: 812
855.80/858.07	c current bound: 812
857.31/859.52	c current bound: 812
858.41/860.97	c current bound: 812
860.21/862.43	c current bound: 812
861.32/863.89	c current bound: 812
862.78/865.35	c current bound: 812
864.61/866.82	c current bound: 812
866.08/868.30	c current bound: 812
867.20/869.76	c current bound: 812
869.00/871.21	c current bound: 812
870.10/872.67	c current bound: 812
871.89/874.10	c current bound: 812
873.28/875.55	c current bound: 812
874.79/877.02	c current bound: 812
875.91/878.48	c current bound: 812
877.69/879.95	c current bound: 812
878.81/881.39	c current bound: 812
880.24/882.83	c current bound: 812
881.65/884.24	c current bound: 812
883.47/885.71	c current bound: 812
884.58/887.18	c current bound: 812
886.04/888.63	c current bound: 812
887.84/890.10	c current bound: 812
888.95/891.56	c current bound: 812
890.77/893.01	c current bound: 812
892.15/894.47	c current bound: 812
893.32/896.05	c current bound: 812
895.15/897.52	c current bound: 812
896.25/898.98	c current bound: 812
898.04/900.42	c current bound: 812
899.14/901.88	c current bound: 812
900.93/903.34	c current bound: 812
902.06/904.79	c current bound: 812
903.52/906.25	c current bound: 812
905.32/907.70	c current bound: 812
906.40/909.15	c current bound: 812
908.23/910.60	c current bound: 812
909.61/912.05	c current bound: 812
911.12/913.50	c current bound: 812
912.20/914.95	c current bound: 812
914.01/916.40	c current bound: 812
915.10/917.85	c current bound: 812
916.92/919.31	c current bound: 812
918.31/920.77	c current bound: 812
919.82/922.22	c current bound: 812
920.92/923.67	c current bound: 812
922.72/925.13	c current bound: 812
923.82/926.57	c current bound: 812
925.61/928.02	c current bound: 812
927.00/929.47	c current bound: 812
928.49/930.92	c current bound: 812
929.62/932.39	c current bound: 812
931.37/933.84	c current bound: 812
932.87/935.30	c current bound: 812
933.98/936.76	c current bound: 812
935.78/938.23	c current bound: 812
936.88/939.68	c current bound: 812
938.70/941.32	c current bound: 812
940.07/942.77	c current bound: 812
941.57/944.20	c current bound: 812
942.65/945.64	c current bound: 812
944.46/947.11	c current bound: 812
945.56/948.57	c current bound: 812
947.36/950.03	c current bound: 812
948.75/951.46	c current bound: 812
950.25/952.92	c current bound: 812
951.32/954.34	c current bound: 812
952.78/955.80	c current bound: 812
954.54/957.24	c current bound: 812
955.66/958.68	c current bound: 812
957.44/960.12	c current bound: 812
958.82/961.57	c current bound: 812
960.33/963.02	c current bound: 812
961.83/964.52	c current bound: 812
963.21/965.96	c current bound: 812
964.72/967.41	c current bound: 812
965.81/968.86	c current bound: 812
967.62/970.32	c current bound: 812
968.70/971.76	c current bound: 812
970.50/973.21	c current bound: 812
971.90/974.67	c current bound: 812
973.05/976.13	c current bound: 812
974.50/977.58	c current bound: 812
976.27/979.04	c current bound: 812
977.42/980.49	c current bound: 812
978.87/981.95	c current bound: 812
980.58/983.40	c current bound: 812
981.76/984.86	c current bound: 812
983.58/986.32	c current bound: 812
984.96/987.77	c current bound: 812
986.47/989.21	c current bound: 812
987.58/990.68	c current bound: 812
989.36/992.14	c current bound: 812
990.84/993.82	c current bound: 812
991.93/995.26	c current bound: 812
993.72/996.71	c current bound: 812
994.81/998.17	c current bound: 812
996.62/999.62	c current bound: 812
997.99/1001.06	c current bound: 812
999.51/1002.51	c current bound: 812
1000.58/1003.94	c current bound: 812
1002.30/1005.39	c current bound: 812
1003.47/1006.83	c current bound: 812
1004.91/1008.28	c current bound: 812
1006.68/1009.74	c current bound: 812
1008.20/1011.21	c current bound: 812
1009.28/1012.66	c current bound: 812
1010.71/1014.09	c current bound: 812
1012.47/1015.55	c current bound: 812
1013.97/1017.00	c current bound: 812
1015.08/1018.49	c current bound: 812
1016.87/1019.95	c current bound: 812
1018.00/1021.39	c current bound: 812
1019.43/1022.84	c current bound: 812
1021.16/1024.27	c current bound: 812
1022.67/1025.71	c current bound: 812
1023.76/1027.16	c current bound: 812
1025.54/1028.63	c current bound: 812
1026.69/1030.08	c current bound: 812
1028.13/1031.53	c current bound: 812
1029.85/1032.98	c current bound: 812
1030.96/1034.37	c current bound: 812
1032.76/1035.82	c current bound: 812
1034.16/1037.27	c current bound: 812
1035.30/1038.74	c current bound: 812
1036.75/1040.19	c current bound: 812
1038.53/1041.65	c current bound: 812
1039.66/1043.09	c current bound: 812
1041.11/1044.56	c current bound: 812
1042.92/1046.02	c current bound: 812
1044.31/1047.46	c current bound: 812
1045.44/1048.89	c current bound: 812
1046.90/1050.35	c current bound: 812
1048.72/1051.82	c current bound: 812
1049.83/1053.27	c current bound: 812
1051.61/1054.72	c current bound: 812
1053.00/1056.18	c current bound: 812
1054.18/1057.64	c current bound: 812
1055.64/1059.09	c current bound: 812
1057.39/1060.56	c current bound: 812
1058.91/1062.02	c current bound: 812
1060.02/1063.49	c current bound: 812
1061.77/1064.94	c current bound: 812
1063.28/1066.40	c current bound: 812
1064.35/1067.85	c current bound: 812
1066.19/1069.32	c current bound: 812
1067.65/1070.94	c current bound: 812
1069.08/1072.42	c current bound: 812
1070.17/1073.87	c current bound: 812
1071.96/1075.32	c current bound: 812
1073.06/1076.77	c current bound: 812
1074.86/1078.23	c current bound: 812
1075.96/1079.67	c current bound: 812
1077.72/1081.29	c current bound: 812
1078.86/1082.74	c current bound: 812
1080.32/1084.19	c current bound: 812
1082.08/1085.63	c current bound: 812
1083.21/1087.08	c current bound: 812
1084.65/1088.53	c current bound: 812
1086.09/1089.97	c current bound: 812
1087.88/1091.41	c current bound: 812
1088.98/1092.86	c current bound: 812
1090.37/1094.26	c current bound: 812
1092.18/1095.72	c current bound: 812
1093.27/1097.17	c current bound: 812
1094.74/1098.64	c current bound: 812
1096.57/1100.10	c current bound: 812
1097.67/1101.56	c current bound: 812
1099.46/1103.01	c current bound: 812
1100.86/1104.42	c current bound: 812
1101.95/1105.87	c current bound: 812
1103.75/1107.32	c current bound: 812
1105.12/1108.77	c current bound: 812
1106.64/1110.21	c current bound: 812
1107.73/1111.66	c current bound: 812
1109.54/1113.13	c current bound: 812
1110.65/1114.58	c current bound: 812
1112.10/1116.03	c current bound: 812
1113.54/1117.48	c current bound: 812
1115.31/1118.93	c current bound: 812
1116.45/1120.39	c current bound: 812
1117.91/1121.85	c current bound: 812
1119.60/1123.29	c current bound: 812
1120.79/1124.74	c current bound: 812
1122.25/1126.24	c current bound: 812
1124.11/1127.71	c current bound: 812
1125.20/1129.17	c current bound: 812
1127.01/1130.60	c current bound: 812
1128.40/1132.05	c current bound: 812
1129.90/1133.51	c current bound: 812
1130.99/1134.95	c current bound: 812
1132.81/1136.42	c current bound: 812
1133.90/1137.86	c current bound: 812
1135.33/1139.29	c current bound: 812
1137.13/1140.99	c current bound: 812
1138.21/1142.44	c current bound: 812
1139.66/1143.88	c current bound: 812
1141.43/1145.33	c current bound: 812
1142.57/1146.79	c current bound: 812
1144.03/1148.25	c current bound: 812
1145.85/1149.72	c current bound: 812
1147.33/1151.35	c current bound: 812
1148.80/1152.81	c current bound: 812
1149.90/1154.28	c current bound: 812
1151.69/1155.72	c current bound: 812
1153.08/1157.18	c current bound: 812
1154.25/1158.64	c current bound: 812
1155.70/1160.09	c current bound: 812
1157.45/1161.56	c current bound: 812
1158.96/1163.02	c current bound: 812
1160.02/1164.43	c current bound: 812
1161.48/1165.89	c current bound: 812
1163.24/1167.35	c current bound: 812
1164.76/1168.81	c current bound: 812
1165.84/1170.25	c current bound: 812
1167.64/1171.70	c current bound: 812
1168.71/1173.15	c current bound: 812
1170.16/1174.59	c current bound: 812
1171.93/1176.04	c current bound: 812
1173.44/1177.50	c current bound: 812
1174.52/1178.96	c current bound: 812
1176.34/1180.42	c current bound: 812
1177.43/1181.86	c current bound: 812
1179.24/1183.31	c current bound: 812
1180.63/1184.76	c current bound: 812
1182.14/1186.21	c current bound: 812
1183.22/1187.66	c current bound: 812
1185.03/1189.11	c current bound: 812
1186.13/1190.57	c current bound: 812
1187.92/1192.02	c current bound: 812
1189.31/1193.47	c current bound: 812
1190.82/1194.92	c current bound: 812
1191.93/1196.38	c current bound: 812
1193.70/1197.83	c current bound: 812
1194.82/1199.28	c current bound: 812
1196.27/1200.94	c current bound: 812
1198.00/1202.39	c current bound: 812
1199.16/1203.84	c current bound: 812
1200.99/1205.30	c current bound: 812
1202.39/1206.75	c current bound: 812
1203.89/1208.21	c current bound: 812
1205.00/1209.68	c current bound: 812
1206.80/1211.13	c current bound: 812
1207.88/1212.57	c current bound: 812
1209.36/1214.04	c current bound: 812
1211.06/1215.49	c current bound: 812
1212.25/1216.93	c current bound: 812
1213.69/1218.38	c current bound: 812
1215.48/1219.82	c current bound: 812
1216.57/1221.28	c current bound: 812
1218.37/1222.72	c current bound: 812
1219.42/1224.13	c current bound: 812
1221.15/1225.57	c current bound: 812
1222.67/1227.01	c current bound: 812
1223.76/1228.47	c current bound: 812
1225.55/1229.91	c current bound: 812
1226.66/1231.37	c current bound: 812
1228.46/1232.82	c current bound: 812
1229.84/1234.21	c current bound: 812
1230.94/1235.67	c current bound: 812
1232.73/1237.12	c current bound: 812
1234.12/1238.56	c current bound: 812
1235.63/1240.02	c current bound: 812
1236.74/1241.48	c current bound: 812
1238.51/1242.94	c current bound: 812
1239.90/1244.34	c current bound: 812
1241.41/1245.80	c current bound: 812
1242.51/1247.27	c current bound: 812
1244.31/1248.72	c current bound: 812
1245.42/1250.17	c current bound: 812
1247.22/1251.62	c current bound: 812
1248.60/1253.09	c current bound: 812
1249.72/1254.48	c current bound: 812
1251.16/1255.93	c current bound: 812
1252.90/1257.37	c current bound: 812
1254.06/1258.83	c current bound: 812
1255.53/1260.29	c current bound: 812
1257.28/1261.76	c current bound: 812
1258.79/1263.23	c current bound: 812
1259.89/1264.67	c current bound: 812
1261.70/1266.12	c current bound: 812
1262.78/1267.57	c current bound: 812
1264.59/1269.02	c current bound: 812
1265.98/1270.46	c current bound: 812
1267.48/1271.91	c current bound: 812
1268.58/1273.36	c current bound: 812
1270.38/1274.82	c current bound: 812
1271.50/1276.28	c current bound: 812
1272.93/1277.73	c current bound: 812
1274.38/1279.18	c current bound: 812
1276.17/1280.62	c current bound: 812
1277.27/1282.07	c current bound: 812
1279.06/1283.52	c current bound: 812
1280.44/1284.98	c current bound: 812
1281.63/1286.44	c current bound: 812
1283.45/1287.90	c current bound: 812
1284.85/1289.36	c current bound: 812
1285.98/1291.05	c current bound: 812
1287.70/1292.50	c current bound: 812
1288.89/1293.97	c current bound: 812
1290.70/1295.42	c current bound: 812
1292.08/1296.86	c current bound: 812
1293.59/1298.30	c current bound: 812
1294.70/1299.77	c current bound: 812
1296.51/1301.23	c current bound: 812
1297.60/1302.67	c current bound: 812
1299.04/1304.13	c current bound: 812
1300.51/1305.60	c current bound: 812
1302.27/1307.04	c current bound: 812
1303.41/1308.48	c current bound: 812
1305.19/1309.92	c current bound: 812
1306.57/1311.37	c current bound: 812
1308.09/1312.82	c current bound: 812
1309.18/1314.28	c current bound: 812
1310.97/1315.71	c current bound: 812
1312.07/1317.15	c current bound: 812
1313.86/1318.61	c current bound: 812
1315.27/1320.07	c current bound: 812
1316.78/1321.52	c current bound: 812
1317.88/1322.98	c current bound: 812
1319.67/1324.45	c current bound: 812
1320.79/1325.89	c current bound: 812
1322.24/1327.35	c current bound: 812
1323.94/1328.80	c current bound: 812
1325.16/1330.26	c current bound: 812
1326.96/1331.72	c current bound: 812
1328.36/1333.17	c current bound: 812
1329.51/1334.63	c current bound: 812
1331.34/1336.10	c current bound: 812
1332.74/1337.54	c current bound: 812
1334.24/1339.00	c current bound: 812
1335.33/1340.46	c current bound: 812
1337.15/1341.92	c current bound: 812
1338.24/1343.38	c current bound: 812
1340.04/1344.82	c current bound: 812
1341.13/1346.28	c current bound: 812
1342.93/1347.72	c current bound: 812
1344.04/1349.18	c current bound: 812
1345.84/1350.62	c current bound: 812
1347.21/1352.09	c current bound: 812
1348.39/1353.54	c current bound: 812
1350.22/1355.00	c current bound: 812
1351.62/1356.46	c current bound: 812
1353.12/1357.92	c current bound: 812
1354.22/1359.36	c current bound: 812
1355.99/1360.87	c current bound: 812
1357.46/1362.31	c current bound: 812
1358.57/1363.77	c current bound: 812
1360.37/1365.21	c current bound: 812
1361.47/1366.67	c current bound: 812
1363.26/1368.12	c current bound: 812
1364.66/1369.58	c current bound: 812
1365.83/1371.04	c current bound: 812
1367.28/1372.48	c current bound: 812
1369.04/1373.95	c current bound: 812
1370.17/1375.39	c current bound: 812
1371.63/1376.83	c current bound: 812
1373.34/1378.29	c current bound: 812
1374.52/1379.74	c current bound: 812
1376.35/1381.21	c current bound: 812
1377.74/1382.67	c current bound: 812
1379.25/1384.12	c current bound: 812
1380.34/1385.57	c current bound: 812
1382.14/1387.02	c current bound: 812
1383.24/1388.48	c current bound: 812
1384.70/1389.93	c current bound: 812
1386.14/1391.38	c current bound: 812
1387.93/1392.83	c current bound: 812
1389.00/1394.24	c current bound: 812
1390.82/1395.70	c current bound: 812
1392.22/1397.16	c current bound: 812
1393.73/1398.62	c current bound: 812
1394.83/1400.08	c current bound: 812
1396.61/1401.54	c current bound: 812
1398.12/1403.00	c current bound: 812
1399.52/1404.41	c current bound: 812
1400.90/1405.87	c current bound: 812
1402.42/1407.32	c current bound: 812
1403.51/1408.78	c current bound: 812
1405.30/1410.25	c current bound: 812
1406.79/1411.70	c current bound: 812
1407.88/1413.15	c current bound: 812
1409.59/1414.57	c current bound: 812
1411.11/1416.01	c current bound: 812
1412.18/1417.46	c current bound: 812
1413.99/1418.91	c current bound: 812
1415.38/1420.37	c current bound: 812
1416.89/1421.82	c current bound: 812
1418.00/1423.28	c current bound: 812
1419.79/1424.74	c current bound: 812
1421.28/1426.20	c current bound: 812
1422.40/1427.67	c current bound: 812
1424.20/1429.12	c current bound: 812
1425.30/1430.58	c current bound: 812
1426.74/1432.03	c current bound: 812
1428.46/1433.49	c current bound: 812
1429.66/1434.95	c current bound: 812
1431.48/1436.41	c current bound: 812
1432.86/1437.86	c current bound: 812
1434.37/1439.32	c current bound: 812
1435.47/1440.76	c current bound: 812
1436.93/1442.43	c current bound: 812
1438.38/1443.89	c current bound: 812
1440.15/1445.36	c current bound: 812
1441.65/1446.80	c current bound: 812
1442.74/1448.25	c current bound: 812
1444.56/1449.71	c current bound: 812
1445.94/1451.16	c current bound: 812
1447.11/1452.63	c current bound: 812
1448.97/1454.10	c current bound: 812
1450.36/1455.56	c current bound: 812
1451.85/1457.01	c current bound: 812
1452.97/1458.48	c current bound: 812
1454.75/1459.93	c current bound: 812
1455.88/1461.39	c current bound: 812
1457.32/1462.84	c current bound: 812
1459.05/1464.30	c current bound: 812
1460.23/1465.75	c current bound: 812
1461.70/1467.23	c current bound: 812
1463.45/1468.68	c current bound: 812
1464.64/1470.15	c current bound: 812
1466.45/1471.61	c current bound: 812
1467.84/1473.06	c current bound: 812
1469.35/1474.52	c current bound: 812
1470.44/1475.97	c current bound: 812
1472.26/1477.43	c current bound: 812
1473.34/1478.88	c current bound: 812
1474.81/1480.33	c current bound: 812
1476.65/1481.80	c current bound: 812
1477.73/1483.25	c current bound: 812
1479.58/1484.71	c current bound: 812
1480.95/1486.16	c current bound: 812
1482.48/1487.62	c current bound: 812
1483.58/1489.07	c current bound: 812
1485.39/1490.51	c current bound: 812
1486.48/1491.97	c current bound: 812
1488.27/1493.41	c current bound: 812
1489.68/1494.87	c current bound: 812
1490.83/1496.33	c current bound: 812
1492.29/1497.79	c current bound: 812
1494.07/1499.24	c current bound: 812
1495.20/1500.70	c current bound: 812
1496.67/1502.16	c current bound: 812
1498.49/1503.60	c current bound: 812
1499.86/1505.05	c current bound: 812
1501.39/1506.52	c current bound: 812
1502.49/1507.97	c current bound: 812
1504.27/1509.44	c current bound: 812
1505.78/1510.90	c current bound: 812
1506.87/1512.36	c current bound: 812
1508.69/1513.82	c current bound: 812
1509.80/1515.29	c current bound: 812
1511.25/1516.74	c current bound: 812
1512.98/1518.19	c current bound: 812
1514.18/1519.66	c current bound: 812
1516.00/1521.11	c current bound: 812
1517.39/1522.58	c current bound: 812
1518.56/1524.04	c current bound: 812
1520.40/1525.51	c current bound: 812
1521.84/1527.10	c current bound: 812
1522.93/1528.55	c current bound: 812
1524.38/1529.99	c current bound: 812
1526.16/1531.46	c current bound: 812
1527.66/1532.92	c current bound: 812
1528.76/1534.37	c current bound: 812
1530.56/1535.81	c current bound: 812
1531.65/1537.25	c current bound: 812
1533.46/1538.70	c current bound: 812
1534.85/1540.15	c current bound: 812
1536.38/1541.61	c current bound: 812
1537.46/1543.05	c current bound: 812
1539.28/1544.53	c current bound: 812
1540.38/1545.98	c current bound: 812
1541.84/1547.44	c current bound: 812
1543.57/1548.89	c current bound: 812
1544.74/1550.35	c current bound: 812
1546.58/1551.82	c current bound: 812
1547.98/1553.28	c current bound: 812
1549.14/1554.73	c current bound: 812
1550.99/1556.21	c current bound: 812
1552.38/1557.67	c current bound: 812
1553.56/1559.13	c current bound: 812
1555.01/1560.58	c current bound: 812
1556.80/1562.04	c current bound: 812
1557.92/1563.49	c current bound: 812
1559.37/1564.94	c current bound: 812
1561.11/1566.39	c current bound: 812
1562.29/1567.84	c current bound: 812
1564.13/1569.31	c current bound: 812
1565.53/1570.77	c current bound: 812
1567.03/1572.22	c current bound: 812
1568.14/1573.69	c current bound: 812
1569.93/1575.13	c current bound: 812
1571.03/1576.57	c current bound: 812
1572.49/1578.03	c current bound: 812
1573.93/1579.47	c current bound: 812
1575.73/1580.92	c current bound: 812
1576.85/1582.37	c current bound: 812
1578.30/1583.84	c current bound: 812
1580.01/1585.29	c current bound: 812
1581.19/1586.75	c current bound: 812
1583.03/1588.20	c current bound: 812
1584.41/1589.65	c current bound: 812
1585.92/1591.10	c current bound: 812
1587.00/1592.55	c current bound: 812
1588.84/1594.02	c current bound: 812
1589.93/1595.48	c current bound: 812
1591.40/1596.93	c current bound: 812
1593.13/1598.38	c current bound: 812
1594.32/1599.85	c current bound: 812
1596.15/1601.31	c current bound: 812
1597.53/1602.79	c current bound: 812
1598.72/1604.25	c current bound: 812
1600.56/1605.70	c current bound: 812
1601.94/1607.15	c current bound: 812
1603.45/1608.61	c current bound: 812
1604.55/1610.07	c current bound: 812
1606.36/1611.52	c current bound: 812
1607.44/1612.97	c current bound: 812
1609.26/1614.42	c current bound: 812
1610.65/1615.87	c current bound: 812
1611.82/1617.34	c current bound: 812
1613.28/1618.79	c current bound: 812
1615.05/1620.25	c current bound: 812
1616.20/1621.69	c current bound: 812
1617.64/1623.13	c current bound: 812
1619.10/1624.59	c current bound: 812
1620.86/1626.04	c current bound: 812
1622.37/1627.51	c current bound: 812
1623.46/1628.96	c current bound: 812
1625.27/1630.41	c current bound: 812
1626.37/1631.88	c current bound: 812
1627.84/1633.34	c current bound: 812
1629.68/1634.81	c current bound: 812
1630.78/1636.27	c current bound: 812
1632.24/1637.73	c current bound: 812
1633.95/1639.19	c current bound: 812
1635.14/1640.65	c current bound: 812
1636.97/1642.11	c current bound: 812
1638.36/1643.57	c current bound: 812
1639.52/1645.03	c current bound: 812
1641.36/1646.50	c current bound: 812
1642.76/1647.96	c current bound: 812
1643.91/1649.43	c current bound: 812
1645.38/1650.89	c current bound: 812
1647.16/1652.36	c current bound: 812
1648.67/1653.82	c current bound: 812
1649.77/1655.26	c current bound: 812
1651.57/1656.71	c current bound: 812
1652.67/1658.16	c current bound: 812
1654.48/1659.61	c current bound: 812
1655.89/1661.06	c current bound: 812
1657.38/1662.50	c current bound: 812
1658.47/1663.95	c current bound: 812
1660.29/1665.41	c current bound: 812
1661.38/1666.86	c current bound: 812
1663.19/1668.30	c current bound: 812
1664.59/1669.74	c current bound: 812
1665.71/1671.19	c current bound: 812
1667.17/1672.65	c current bound: 812
1669.00/1674.12	c current bound: 812
1670.39/1675.56	c current bound: 812
1671.88/1677.02	c current bound: 812
1673.00/1678.49	c current bound: 812
1674.78/1679.95	c current bound: 812
1676.30/1681.42	c current bound: 812
1677.40/1682.89	c current bound: 812
1679.18/1684.34	c current bound: 812
1680.70/1685.81	c current bound: 812
1681.79/1687.27	c current bound: 812
1683.58/1688.75	c current bound: 812
1685.09/1690.20	c current bound: 812
1686.17/1691.66	c current bound: 812
1687.99/1693.11	c current bound: 812
1689.07/1694.56	c current bound: 812
1690.55/1696.03	c current bound: 812
1692.38/1697.50	c current bound: 812
1693.49/1698.97	c current bound: 812
1695.30/1700.42	c current bound: 812
1696.68/1701.88	c current bound: 812
1698.21/1703.32	c current bound: 812
1699.33/1704.79	c current bound: 812
1701.10/1706.23	c current bound: 812
1702.23/1707.68	c current bound: 812
1703.70/1709.15	c current bound: 812
1705.51/1710.60	c current bound: 812
1706.63/1712.06	c current bound: 812
1708.06/1713.49	c current bound: 812
1709.83/1714.94	c current bound: 812
1710.95/1716.39	c current bound: 812
1712.41/1717.84	c current bound: 812
1714.12/1719.29	c current bound: 812
1715.30/1720.75	c current bound: 812
1717.13/1722.21	c current bound: 812
1718.53/1723.65	c current bound: 812
1720.03/1725.10	c current bound: 812
1721.13/1726.57	c current bound: 812
1722.95/1728.02	c current bound: 812
1724.04/1729.47	c current bound: 812
1725.84/1730.92	c current bound: 812
1726.96/1732.40	c current bound: 812
1728.73/1733.85	c current bound: 812
1730.24/1735.30	c current bound: 812
1731.31/1736.75	c current bound: 812
1733.14/1738.21	c current bound: 812
1734.23/1739.67	c current bound: 812
1736.05/1741.12	c current bound: 812
1737.44/1742.58	c current bound: 812
1738.60/1744.03	c current bound: 812
1740.05/1745.48	c current bound: 812
1741.82/1746.95	c current bound: 812
1743.35/1748.41	c current bound: 812
1744.43/1749.86	c current bound: 812
1746.26/1751.30	c current bound: 812
1747.33/1752.75	c current bound: 812
1748.79/1754.19	c current bound: 812
1750.56/1755.64	c current bound: 812
1751.67/1757.07	c current bound: 812
1753.47/1758.53	c current bound: 812
1754.86/1759.97	c current bound: 812
1756.37/1761.43	c current bound: 812
1757.48/1762.88	c current bound: 812
1759.28/1764.33	c current bound: 812
1760.39/1765.78	c current bound: 812
1761.85/1767.24	c current bound: 812
1763.29/1768.69	c current bound: 812
1765.05/1770.15	c current bound: 812
1766.58/1771.62	c current bound: 812
1767.68/1773.09	c current bound: 812
1769.46/1774.54	c current bound: 812
1770.97/1776.00	c current bound: 812
1772.06/1777.45	c current bound: 812
1773.89/1778.92	c current bound: 812
1774.99/1780.39	c current bound: 812
1776.48/1781.86	c current bound: 812
1778.29/1783.32	c current bound: 812
1779.40/1784.79	c current bound: 812
1780.88/1786.27	c current bound: 812
1782.68/1787.73	c current bound: 812
1783.80/1789.19	c current bound: 812
1785.27/1790.64	c current bound: 812
1787.09/1792.16	c current bound: 812
1788.55/1793.63	c current bound: 812
1789.64/1795.07	c current bound: 812
1791.42/1796.55	c current bound: 812
1792.95/1798.00	c current bound: 812
1794.02/1799.43	c current bound: 812
1795.75/1800.89	c current bound: 812
1796.94/1802.35	c current bound: 812
1798.76/1803.80	c current bound: 812
1799.15/1804.37	c error: unexpected solver exit code
1799.15/1804.37	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.97 1.99 1.96 3/179 4678
/proc/meminfo: memFree=27301828/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0

[startup+0.0762399 s]
/proc/loadavg: 1.97 1.99 1.96 3/179 4678
/proc/meminfo: memFree=27301828/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100251 s]
/proc/loadavg: 1.97 1.99 1.96 3/179 4678
/proc/meminfo: memFree=27301828/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300221 s]
/proc/loadavg: 1.97 1.99 1.96 3/179 4678
/proc/meminfo: memFree=27301828/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70018 s]
/proc/loadavg: 1.97 1.99 1.96 3/179 4678
/proc/meminfo: memFree=27301828/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50041 s]
/proc/loadavg: 1.97 1.99 1.96 3/183 4689
/proc/meminfo: memFree=27167468/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=35420 CPUtime=0.81 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 5578 0 0 0 78 3 0 0 20 0 1 0 284470741 36270080 5639 33554432000 4194304 5990268 140733885368144 140733885361296 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4679/statm: 8855 5639 156 439 0 8412 0
[pid=4688] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4688/stat : 4688 (cp2_pre.sh) S 4679 4678 21579 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284470823 9367552 277 33554432000 4194304 5064252 140735010791456 140735010790160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 2287 277 234 213 0 72 0
[pid=4689] ppid=4688 vsize=168072 CPUtime=0.66 cores=0,2,4,6
/proc/4689/stat : 4689 (coprocessor) R 4688 4678 21579 0 -1 4202496 28794 0 0 0 62 4 0 0 20 0 1 0 284470823 172105728 36914 33554432000 4194304 6586260 140733332823696 140733332819960 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/4689/statm: 42018 36914 166 584 0 41430 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 221788

[startup+3.10029 s]
/proc/loadavg: 1.98 1.99 1.96 3/183 4689
/proc/meminfo: memFree=27078844/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=35420 CPUtime=0.81 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 5578 0 0 0 78 3 0 0 20 0 1 0 284470741 36270080 5639 33554432000 4194304 5990268 140733885368144 140733885361296 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4679/statm: 8855 5639 156 439 0 8412 0
[pid=4688] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4688/stat : 4688 (cp2_pre.sh) S 4679 4678 21579 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284470823 9367552 277 33554432000 4194304 5064252 140735010791456 140735010790160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 2287 277 234 213 0 72 0
[pid=4689] ppid=4688 vsize=198472 CPUtime=2.25 cores=0,2,4,6
/proc/4689/stat : 4689 (coprocessor) R 4688 4678 21579 0 -1 4202496 33938 0 0 0 220 5 0 0 20 0 1 0 284470823 203235328 48223 33554432000 4194304 6586260 140733332823696 140733332818952 4677057 0 0 4096 8404994 0 0 0 17 6 0 0 0 0 0
/proc/4689/statm: 49618 48223 191 584 0 49030 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 252188

[startup+6.30037 s]
/proc/loadavg: 1.98 1.99 1.96 3/183 4696
/proc/meminfo: memFree=27075736/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=35420 CPUtime=0.81 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 5578 0 0 0 78 3 0 0 20 0 1 0 284470741 36270080 5639 33554432000 4194304 5990268 140733885368144 140733885361296 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4679/statm: 8855 5639 156 439 0 8412 0
[pid=4688] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4688/stat : 4688 (cp2_pre.sh) S 4679 4678 21579 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284470823 9367552 277 33554432000 4194304 5064252 140735010791456 140735010790160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 2287 277 234 213 0 72 0
[pid=4689] ppid=4688 vsize=198472 CPUtime=5.45 cores=0,2,4,6
/proc/4689/stat : 4689 (coprocessor) R 4688 4678 21579 0 -1 4202496 33938 0 0 0 540 5 0 0 20 0 1 0 284470823 203235328 48223 33554432000 4194304 6586260 140733332823696 140733332818952 4683456 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/4689/statm: 49618 48223 191 584 0 49030 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 252188

[startup+12.7004 s]
/proc/loadavg: 1.98 1.99 1.96 3/183 4717
/proc/meminfo: memFree=27077588/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=35420 CPUtime=0.81 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 5578 0 0 0 78 3 0 0 20 0 1 0 284470741 36270080 5639 33554432000 4194304 5990268 140733885368144 140733885361296 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4679/statm: 8855 5639 156 439 0 8412 0
[pid=4688] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4688/stat : 4688 (cp2_pre.sh) S 4679 4678 21579 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284470823 9367552 277 33554432000 4194304 5064252 140735010791456 140735010790160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 2287 277 234 213 0 72 0
[pid=4689] ppid=4688 vsize=198472 CPUtime=11.85 cores=0,2,4,6
/proc/4689/stat : 4689 (coprocessor) R 4688 4678 21579 0 -1 4202496 33961 0 0 0 1180 5 0 0 20 0 1 0 284470823 203235328 48246 33554432000 4194304 6586260 140733332823696 140733332818952 4676681 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/4689/statm: 49618 48246 191 584 0 49030 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 252188

[startup+25.5002 s]
/proc/loadavg: 1.98 1.99 1.96 3/183 4797
/proc/meminfo: memFree=27183564/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=25.25 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 19597 202326 0 0 108 38 2246 133 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 57056

[startup+51.1003 s]
/proc/loadavg: 1.99 1.99 1.96 3/183 4993
/proc/meminfo: memFree=27194216/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=50.35 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 62447 632534 0 0 182 48 4490 315 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
[pid=4992] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4992/stat : 4992 (satsolver.sh) S 4679 4678 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284475781 9367552 267 33554432000 4194304 5064252 140736486938176 140736486937088 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4992/statm: 2287 267 226 213 0 72 0
[pid=4993] ppid=4992 vsize=74796 CPUtime=0.69 cores=0,2,4,6
/proc/4993/stat : 4993 (glucose) R 4992 4678 21579 0 -1 4202496 14867 0 0 0 67 2 0 0 20 0 1 0 284475781 76591104 16000 33554432000 4194304 5208918 140735817618848 140736486937112 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4993/statm: 18699 16000 102 248 0 18448 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 141000

[startup+102.307 s]
/proc/loadavg: 2.04 2.00 1.96 3/183 5385
/proc/meminfo: memFree=27181604/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=102.04 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 145790 1515139 0 0 326 66 9123 689 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 57056

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/184 5844
/proc/meminfo: memFree=27186052/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=161.85 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 245784 2529213 0 0 499 88 14473 1125 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (KiB) 57056

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/183 6306
/proc/meminfo: memFree=27183528/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=221.15 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 343405 3542936 0 0 666 112 19787 1550 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
[pid=6305] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6

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

Current children cumulated vsize (KiB) 66204

[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.97 3/184 14984
/proc/meminfo: memFree=27180596/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1357.46 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) R 4678 4678 21579 0 -1 4202496 2206739 22909603 0 0 3729 521 121718 9778 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359040 4273867 0 0 4096 0 0 0 0 17 4 0 0 54 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
Current children cumulated CPU time (s) 1357.46
Current children cumulated vsize (KiB) 57056

[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.97 3/184 15469
/proc/meminfo: memFree=27177960/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1416.95 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 2305349 23923807 0 0 3892 542 127053 10208 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 54 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
[pid=15468] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15468/stat : 15468 (satsolver.sh) S 4679 4678 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284612926 9367552 267 33554432000 4194304 5064252 140734025803728 140734025802640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15468/statm: 2287 267 226 213 0 72 0
[pid=15469] ppid=15468 vsize=74536 CPUtime=0.43 cores=0,2,4,6
/proc/15469/stat : 15469 (glucose) R 15468 4678 21579 0 -1 4202496 15043 0 0 0 42 1 0 0 20 0 1 0 284612927 76324864 15535 33554432000 4194304 5208918 140736884257984 140736884255832 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15469/statm: 18634 15535 102 248 0 18383 0
Current children cumulated CPU time (s) 1417.38
Current children cumulated vsize (KiB) 140740

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.97 4/184 15895
/proc/meminfo: memFree=27114844/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1476.68 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 2402970 24942093 0 0 4051 563 132408 10646 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 67 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
Current children cumulated CPU time (s) 1476.68
Current children cumulated vsize (KiB) 57056

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/183 16242
/proc/meminfo: memFree=27095408/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1536.41 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 2500591 25962335 0 0 4210 584 137760 11087 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 67 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
[pid=16241] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16241/stat : 16241 (satsolver.sh) S 4679 4678 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284624905 9367552 267 33554432000 4194304 5064252 140735674996496 140735674995408 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16241/statm: 2287 267 226 213 0 72 0
[pid=16242] ppid=16241 vsize=74528 CPUtime=0.64 cores=0,2,4,6
/proc/16242/stat : 16242 (glucose) R 16241 4678 21579 0 -1 4202496 15094 0 0 0 62 2 0 0 20 0 1 0 284624905 76316672 15587 33554432000 4194304 5208918 140736469149936 140736469147784 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16242/statm: 18632 15587 102 248 0 18381 0
Current children cumulated CPU time (s) 1537.05
Current children cumulated vsize (KiB) 140732

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/183 16578
/proc/meminfo: memFree=27093308/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1596.18 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 2598212 26976853 0 0 4368 606 143116 11528 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 67 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
[pid=16577] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16577/stat : 16577 (satsolver.sh) S 4679 4678 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284630875 9367552 267 33554432000 4194304 5064252 140733216962592 140733216961504 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16577/statm: 2287 267 226 213 0 72 0
[pid=16578] ppid=16577 vsize=76136 CPUtime=0.95 cores=0,2,4,6
/proc/16578/stat : 16578 (glucose) R 16577 4678 21579 0 -1 4202496 16215 0 0 0 92 3 0 0 20 0 1 0 284630876 77963264 16702 33554432000 4194304 5208918 140733566963696 140733566961656 4344325 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16578/statm: 19034 16702 102 248 0 18783 0
Current children cumulated CPU time (s) 1597.13
Current children cumulated vsize (KiB) 142340

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 16922
/proc/meminfo: memFree=27087492/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1657.02 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 2695841 28011649 0 0 4529 626 148582 11965 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 67 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
Current children cumulated CPU time (s) 1657.02
Current children cumulated vsize (KiB) 57056

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.99 3/183 17258
/proc/meminfo: memFree=27089980/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1717.17 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 2795835 29035154 0 0 4691 648 153977 12401 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 67 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
Current children cumulated CPU time (s) 1717.17
Current children cumulated vsize (KiB) 57056

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/183 17608
/proc/meminfo: memFree=27145264/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1776.89 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 2893456 30053936 0 0 4851 668 159334 12836 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 67 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
[pid=17607] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17607/stat : 17607 (satsolver.sh) S 4679 4678 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284648930 9367552 267 33554432000 4194304 5064252 140733856190560 140733856189472 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17607/statm: 2287 267 226 213 0 72 0
[pid=17608] ppid=17607 vsize=74532 CPUtime=0.4 cores=0,2,4,6
/proc/17608/stat : 17608 (glucose) R 17607 4678 21579 0 -1 4202496 14765 0 0 0 38 2 0 0 20 0 1 0 284648930 76320768 15902 33554432000 4194304 5208918 140736358582112 140736358579960 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17608/statm: 18633 15902 102 248 0 18382 0
Current children cumulated CPU time (s) 1777.29
Current children cumulated vsize (KiB) 140736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.2 s]
/proc/loadavg: 2.01 2.02 1.99 4/183 17734
/proc/meminfo: memFree=27096572/32873660 swapFree=7120/7120
[pid=4678] ppid=4676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4678/stat : 4678 (npSolver-wbo-It) S 4676 4678 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284470741 9367552 275 33554432000 4194304 5064252 140737260316640 140737260315552 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4678/statm: 2287 275 233 213 0 72 0
[pid=4679] ppid=4678 vsize=47908 CPUtime=1798.79 cores=0,2,4,6
/proc/4679/stat : 4679 (npSolver-wbo) S 4678 4678 21579 0 -1 4202496 2929171 30424883 0 0 4908 676 161299 12996 20 0 1 0 284470741 49057792 8730 33554432000 4194304 5990268 140733885368144 140733885359552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 67 0 0
/proc/4679/statm: 11977 8730 180 439 0 11534 0
[pid=17733] ppid=4679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17733/stat : 17733 (satsolver.sh) S 4679 4678 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284651124 9367552 266 33554432000 4194304 5064252 140734794334064 140734794332976 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17733/statm: 2287 266 226 213 0 72 0
[pid=17734] ppid=17733 vsize=74532 CPUtime=0.36 cores=0,2,4,6
/proc/17734/stat : 17734 (glucose) R 17733 4678 21579 0 -1 4202496 14746 0 0 0 34 2 0 0 20 0 1 0 284651125 76320768 16375 33554432000 4194304 5208918 140734956597328 140734794333000 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17734/statm: 18633 16375 102 248 0 18382 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 140736

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 4678 and gives
#  childrusage.ru_utime.tv_sec=1662
#  childrusage.ru_utime.tv_usec=83324
#  childrusage.ru_stime.tv_sec=136
#  childrusage.ru_stime.tv_usec=736212
# CPU time returned by wait4() is 1798.82
# while last known CPU time is 1799.15
#
# 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.929932
#  lost CPU user time (s): 0.909973
#  lost CPU system time (s): 0.0199966

Real time (s): 1804.38
CPU time (s): 1800.08
CPU user time (s): 1663.32
CPU system time (s): 136.76
CPU usage (%): 99.7617
Max. virtual memory (cumulated for all children) (KiB): 287152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1662.08
system time used= 136.736
maximum resident set size= 224804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33355029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27461784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 774068
involuntary context switches= 19412

runsolver used 5.81511 second user time and 15.0677 second system time

The end

Launcher Data

Begin job on node117 at 2012-05-28 07:37:30
IDJOB=3715654
IDBENCH=78713
IDSOLVER=2297
FILE ID=node117/3715654-1338183450
RUNJOBID= node117-1338159294-21595
PBS_JOBID= 14624552
Free space on /tmp= 70044 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--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-3715654-1338183450/watcher-3715654-1338183450 -o /tmp/evaluation-result-3715654-1338183450/solver-3715654-1338183450 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715654-1338183450.wbo 1535342489 HOME HOME

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

MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab
RANDOM SEED=1535342489

node117.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.148
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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.148
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.148
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.95
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.148
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.148
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.148
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		: 2667.148
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:       32873660 kB
MemFree:        27302092 kB
Buffers:          538324 kB
Cached:          4094248 kB
SwapCached:            0 kB
Active:          2459036 kB
Inactive:        2200076 kB
Active(anon):      13808 kB
Inactive(anon):    11352 kB
Active(file):    2445228 kB
Inactive(file):  2188724 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8692 kB
Writeback:             0 kB
AnonPages:         31660 kB
Mapped:            15332 kB
Shmem:               200 kB
Slab:             773792 kB
SReclaimable:     217264 kB
SUnreclaim:       556528 kB
KernelStack:        1520 kB
PageTables:         3984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     138956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70004 MiB
End job on node117 at 2012-05-28 08:07:34