Trace number 3292597

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
Black Hole SAT 2011-03-08SAT 131.782 131.799

General information on the benchmark

NameSAT05/industrial/maris05/Ferry/
ferry5_ks99i.renamed-as.sat05-3994.cnf
MD5SUM1fb6b467105b14277afa8785aabd76ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables984
Number of clauses8702
Sum of the clauses size17900
Maximum clause length12
Minimum clause length1
Number of clauses of size 112
Number of clauses of size 28396
Number of clauses of size 3203
Number of clauses of size 475
Number of clauses of size 50
Number of clauses of size over 516

Solver Data 

0.09/0.12	c RESTART
0.09/0.15	c RESTART
0.09/0.17	c RESTART
0.19/0.20	c RESTART
0.29/0.36	c RESTART
0.29/0.39	c RESTART
0.69/0.71	c RESTART
0.89/0.90	c RESTART
0.89/0.92	c RESTART
0.89/0.94	c RESTART
0.89/0.97	c RESTART
0.89/1.00	c RESTART
1.79/1.80	c RESTART
1.79/1.82	c RESTART
4.69/4.79	c RESTART
5.19/5.27	c RESTART
5.40/5.43	c RESTART
5.50/5.52	c RESTART
5.69/5.72	c RESTART
5.69/5.74	c RESTART
6.39/6.47	c RESTART
6.50/6.53	c RESTART
6.60/6.67	c RESTART
6.79/6.87	c RESTART
7.79/7.88	c RESTART
8.49/8.51	c RESTART
8.49/8.53	c RESTART
8.70/8.73	c RESTART
8.70/8.74	c RESTART
8.80/8.81	c RESTART
8.99/9.06	c RESTART
9.09/9.10	c RESTART
9.09/9.13	c RESTART
9.09/9.15	c RESTART
9.09/9.18	c RESTART
9.19/9.21	c RESTART
9.29/9.30	c RESTART
9.80/9.86	c RESTART
9.80/9.89	c RESTART
9.90/9.91	c RESTART
9.90/9.95	c RESTART
9.90/9.97	c RESTART
9.99/10.01	c RESTART
10.09/10.18	c RESTART
11.29/11.35	c RESTART
11.39/11.45	c RESTART
11.39/11.48	c RESTART
11.49/11.53	c RESTART
11.49/11.55	c RESTART
12.49/12.56	c RESTART
12.59/12.68	c RESTART
12.59/12.70	c RESTART
12.69/12.71	c RESTART
12.69/12.73	c RESTART
12.69/12.75	c RESTART
12.69/12.78	c RESTART
12.79/12.82	c RESTART
12.79/12.85	c RESTART
12.79/12.89	c RESTART
12.89/12.94	c RESTART
13.20/13.21	c RESTART
13.20/13.23	c RESTART
15.19/15.28	c RESTART
15.30/15.35	c RESTART
15.40/15.43	c RESTART
15.59/15.67	c RESTART
15.69/15.71	c RESTART
15.69/15.76	c RESTART
15.69/15.79	c RESTART
15.89/15.95	c RESTART
15.99/16.02	c RESTART
16.59/16.69	c RESTART
16.69/16.72	c RESTART
16.69/16.78	c RESTART
17.49/17.51	c RESTART
17.69/17.72	c RESTART
17.69/17.75	c RESTART
17.69/17.79	c RESTART
17.79/17.81	c RESTART
17.79/17.84	c RESTART
17.89/17.90	c RESTART
18.19/18.27	c RESTART
18.29/18.38	c RESTART
18.39/18.45	c RESTART
18.39/18.49	c RESTART
18.49/18.51	c RESTART
18.49/18.55	c RESTART
18.49/18.58	c RESTART
18.59/18.63	c RESTART
18.59/18.66	c RESTART
18.69/18.75	c RESTART
18.69/18.77	c RESTART
18.79/18.81	c RESTART
18.79/18.86	c RESTART
18.89/18.91	c RESTART
18.89/18.95	c RESTART
18.99/19.01	c RESTART
19.49/19.56	c RESTART
20.29/20.36	c RESTART
20.39/20.45	c RESTART
20.49/20.52	c RESTART
20.99/21.03	c RESTART
20.99/21.07	c RESTART
20.99/21.10	c RESTART
21.09/21.14	c RESTART
22.09/22.16	c RESTART
22.19/22.23	c RESTART
22.19/22.26	c RESTART
22.89/23.00	c RESTART
22.99/23.06	c RESTART
23.09/23.11	c RESTART
23.09/23.14	c RESTART
23.09/23.17	c RESTART
23.19/23.21	c RESTART
23.29/23.30	c RESTART
23.29/23.40	c RESTART
23.59/23.63	c RESTART
24.09/24.19	c RESTART
24.19/24.27	c RESTART
24.29/24.33	c RESTART
24.29/24.36	c RESTART
24.39/24.40	c RESTART
24.69/24.75	c RESTART
25.19/25.28	c RESTART
25.29/25.31	c RESTART
25.29/25.35	c RESTART
25.38/25.40	c RESTART
25.38/25.45	c RESTART
25.38/25.48	c RESTART
25.78/25.82	c RESTART
25.78/25.85	c RESTART
25.78/25.89	c RESTART
25.88/25.93	c RESTART
25.88/25.96	c RESTART
26.88/26.94	c RESTART
26.88/26.99	c RESTART
26.98/27.03	c RESTART
26.98/27.09	c RESTART
27.08/27.12	c RESTART
27.58/27.68	c RESTART
27.68/27.73	c RESTART
27.78/27.89	c RESTART
28.49/28.60	c RESTART
29.59/29.63	c RESTART
30.18/30.28	c RESTART
31.68/31.78	c RESTART
31.79/31.83	c RESTART
32.28/32.32	c RESTART
32.28/32.36	c RESTART
32.28/32.39	c RESTART
32.38/32.42	c RESTART
32.38/32.45	c RESTART
32.48/32.51	c RESTART
32.48/32.52	c RESTART
32.48/32.55	c RESTART
32.58/32.64	c RESTART
32.58/32.67	c RESTART
33.18/33.22	c RESTART
33.99/34.05	c RESTART
34.09/34.14	c RESTART
34.18/34.23	c RESTART
34.18/34.28	c RESTART
34.28/34.34	c RESTART
34.48/34.54	c RESTART
34.58/34.60	c RESTART
34.98/35.00	c RESTART
34.98/35.07	c RESTART
35.09/35.15	c RESTART
35.58/35.60	c RESTART
35.98/36.05	c RESTART
36.08/36.11	c RESTART
36.38/36.44	c RESTART
36.38/36.48	c RESTART
37.39/37.42	c RESTART
37.68/37.70	c RESTART
38.28/38.36	c RESTART
38.88/38.95	c RESTART
38.88/38.99	c RESTART
39.38/39.48	c RESTART
39.49/39.52	c RESTART
39.49/39.57	c RESTART
39.59/39.68	c RESTART
39.68/39.74	c RESTART
39.68/39.77	c RESTART
39.78/39.84	c RESTART
39.78/39.88	c RESTART
39.88/39.94	c RESTART
40.48/40.54	c RESTART
40.48/40.60	c RESTART
40.69/40.71	c RESTART
40.69/40.78	c RESTART
40.78/40.87	c RESTART
40.78/40.89	c RESTART
40.88/40.98	c RESTART
41.08/41.11	c RESTART
41.08/41.16	c RESTART
41.18/41.23	c RESTART
41.18/41.27	c RESTART
41.28/41.30	c RESTART
41.48/41.51	c RESTART
41.48/41.56	c RESTART
41.58/41.63	c RESTART
41.58/41.67	c RESTART
41.88/41.91	c RESTART
42.08/42.16	c RESTART
42.38/42.41	c RESTART
42.68/42.71	c RESTART
43.18/43.26	c RESTART
43.28/43.31	c RESTART
43.28/43.34	c RESTART
43.98/44.05	c RESTART
44.08/44.14	c RESTART
44.08/44.17	c RESTART
44.18/44.24	c RESTART
44.28/44.31	c RESTART
44.48/44.52	c RESTART
44.78/44.84	c RESTART
44.78/44.88	c RESTART
44.98/45.04	c RESTART
45.09/45.14	c RESTART
45.09/45.19	c RESTART
45.78/45.88	c RESTART
46.28/46.31	c RESTART
46.28/46.33	c RESTART
46.28/46.36	c RESTART
46.38/46.44	c RESTART
46.48/46.55	c RESTART
47.08/47.13	c RESTART
47.18/47.26	c RESTART
47.68/47.70	c RESTART
47.78/47.81	c RESTART
47.78/47.87	c RESTART
47.98/48.06	c RESTART
48.48/48.51	c RESTART
48.78/48.80	c RESTART
49.08/49.11	c RESTART
49.08/49.19	c RESTART
49.48/49.52	c RESTART
49.78/49.87	c RESTART
49.88/49.98	c RESTART
50.18/50.21	c RESTART
50.68/50.72	c RESTART
50.98/51.06	c RESTART
51.38/51.44	c RESTART
51.48/51.59	c RESTART
51.58/51.64	c RESTART
51.68/51.77	c RESTART
52.38/52.47	c RESTART
52.78/52.86	c RESTART
52.88/52.99	c RESTART
52.98/53.05	c RESTART
54.88/54.95	c RESTART
55.18/55.21	c RESTART
55.18/55.27	c RESTART
55.58/55.62	c RESTART
55.58/55.69	c RESTART
55.68/55.79	c RESTART
55.78/55.85	c RESTART
56.28/56.30	c RESTART
56.28/56.35	c RESTART
56.28/56.39	c RESTART
56.38/56.44	c RESTART
56.48/56.52	c RESTART
56.48/56.59	c RESTART
56.58/56.65	c RESTART
56.58/56.69	c RESTART
56.98/57.09	c RESTART
57.08/57.16	c RESTART
57.18/57.27	c RESTART
57.18/57.29	c RESTART
57.28/57.38	c RESTART
57.48/57.52	c RESTART
57.48/57.56	c RESTART
57.58/57.61	c RESTART
58.58/58.64	c RESTART
58.58/58.68	c RESTART
59.58/59.60	c RESTART
59.98/60.09	c RESTART
60.08/60.16	c RESTART
60.18/60.20	c RESTART
60.18/60.25	c RESTART
60.68/60.73	c RESTART
60.88/60.94	c RESTART
61.08/61.16	c RESTART
61.18/61.21	c RESTART
61.68/61.77	c RESTART
61.78/61.83	c RESTART
61.78/61.88	c RESTART
61.88/61.97	c RESTART
61.98/62.01	c RESTART
62.08/62.16	c RESTART
62.38/62.43	c RESTART
63.48/63.51	c RESTART
63.48/63.57	c RESTART
63.58/63.64	c RESTART
63.58/63.68	c RESTART
63.68/63.75	c RESTART
63.88/63.96	c RESTART
63.98/64.07	c RESTART
64.68/64.73	c RESTART
64.68/64.78	c RESTART
65.67/65.74	c RESTART
65.77/65.83	c RESTART
65.98/66.02	c RESTART
66.87/67.00	c RESTART
67.27/67.32	c RESTART
68.27/68.37	c RESTART
68.77/68.82	c RESTART
68.77/68.88	c RESTART
68.87/68.95	c RESTART
69.28/69.32	c RESTART
69.77/69.80	c RESTART
70.38/70.40	c RESTART
70.38/70.47	c RESTART
70.47/70.52	c RESTART
70.87/70.90	c RESTART
71.77/71.85	c RESTART
72.17/72.29	c RESTART
73.37/73.48	c RESTART
73.87/73.91	c RESTART
73.87/73.96	c RESTART
73.97/74.00	c RESTART
73.97/74.06	c RESTART
74.07/74.14	c RESTART
74.17/74.24	c RESTART
74.27/74.31	c RESTART
74.78/74.89	c RESTART
74.97/75.04	c RESTART
75.37/75.47	c RESTART
75.78/75.81	c RESTART
76.27/76.33	c RESTART
76.37/76.48	c RESTART
76.47/76.52	c RESTART
76.88/76.94	c RESTART
76.98/77.03	c RESTART
79.27/79.38	c RESTART
79.37/79.43	c RESTART
80.37/80.48	c RESTART
81.17/81.24	c RESTART
81.67/81.74	c RESTART
82.27/82.34	c RESTART
82.68/82.78	c RESTART
82.78/82.89	c RESTART
83.18/83.25	c RESTART
83.38/83.44	c RESTART
83.59/83.66	c RESTART
83.88/83.96	c RESTART
83.88/83.99	c RESTART
83.98/84.08	c RESTART
84.08/84.14	c RESTART
84.28/84.31	c RESTART
84.28/84.36	c RESTART
84.38/84.46	c RESTART
84.48/84.56	c RESTART
85.88/85.90	c RESTART
85.98/86.02	c RESTART
85.98/86.08	c RESTART
86.38/86.40	c RESTART
86.48/86.59	c RESTART
87.08/87.15	c RESTART
87.28/87.32	c RESTART
87.48/87.57	c RESTART
87.68/87.79	c RESTART
88.08/88.17	c RESTART
88.28/88.35	c RESTART
88.88/88.91	c RESTART
90.58/90.68	c RESTART
90.98/91.04	c RESTART
91.18/91.29	c RESTART
91.58/91.61	c RESTART
91.58/91.67	c RESTART
91.78/91.88	c RESTART
92.08/92.14	c RESTART
92.08/92.19	c RESTART
92.28/92.40	c RESTART
92.38/92.46	c RESTART
92.48/92.50	c RESTART
93.18/93.26	c RESTART
93.58/93.65	c RESTART
93.68/93.74	c RESTART
94.28/94.38	c RESTART
94.48/94.56	c RESTART
94.78/94.82	c RESTART
95.88/95.92	c RESTART
96.18/96.23	c RESTART
96.58/96.64	c RESTART
96.68/96.71	c RESTART
96.88/96.99	c RESTART
97.18/97.25	c RESTART
97.18/97.28	c RESTART
97.68/97.76	c RESTART
98.08/98.12	c RESTART
98.38/98.47	c RESTART
98.48/98.55	c RESTART
98.78/98.84	c RESTART
98.98/99.09	c RESTART
99.08/99.13	c RESTART
99.18/99.21	c RESTART
99.18/99.26	c RESTART
99.27/99.32	c RESTART
100.97/101.03	c RESTART
101.37/101.46	c RESTART
101.57/101.63	c RESTART
101.57/101.66	c RESTART
101.67/101.72	c RESTART
102.18/102.24	c RESTART
102.28/102.38	c RESTART
102.68/102.74	c RESTART
103.68/103.71	c RESTART
103.78/103.80	c RESTART
104.08/104.12	c RESTART
104.88/104.98	c RESTART
105.37/105.50	c RESTART
105.48/105.57	c RESTART
105.48/105.60	c RESTART
105.67/105.79	c RESTART
106.17/106.21	c RESTART
106.17/106.30	c RESTART
106.37/106.43	c RESTART
106.87/106.96	c RESTART
106.97/107.05	c RESTART
107.07/107.14	c RESTART
107.87/107.97	c RESTART
108.07/108.17	c RESTART
109.88/109.92	c RESTART
110.78/110.80	c RESTART
110.98/111.03	c RESTART
110.98/111.10	c RESTART
111.08/111.16	c RESTART
111.37/111.44	c RESTART
111.97/112.10	c RESTART
112.47/112.52	c RESTART
113.18/113.29	c RESTART
113.37/113.40	c RESTART
114.28/114.39	c RESTART
115.07/115.10	c RESTART
115.77/115.80	c RESTART
115.87/115.99	c RESTART
116.07/116.15	c RESTART
116.27/116.36	c RESTART
116.77/116.84	c RESTART
117.07/117.15	c RESTART
117.27/117.33	c RESTART
117.68/117.76	c RESTART
120.07/120.17	c RESTART
122.17/122.21	c RESTART
122.57/122.69	c RESTART
122.87/122.90	c RESTART
122.87/122.96	c RESTART
123.27/123.32	c RESTART
123.47/123.57	c RESTART
123.87/123.99	c RESTART
123.97/124.08	c RESTART
124.77/124.88	c RESTART
124.87/124.96	c RESTART
125.28/125.37	c RESTART
125.38/125.49	c RESTART
125.77/125.81	c RESTART
125.77/125.86	c RESTART
126.27/126.39	c RESTART
126.48/126.57	c RESTART
126.57/126.64	c RESTART
127.87/127.93	c RESTART
127.97/128.04	c RESTART
128.37/128.41	c RESTART
128.47/128.56	c RESTART
128.68/128.80	c RESTART
129.87/129.93	c RESTART
131.38/131.42	c RESTART
131.57/131.63	c RESTART
131.67/131.79	s SATISFIABLE
131.67/131.79	v 1 2 3 4 5 6 7 8 9 10 
131.67/131.79	v 11 12 -933 -932 356 -318 -715 -580 -598 -579 
131.67/131.79	v -493 -294 -312 -293 -352 -370 -351 -453 -454 -506 
131.67/131.79	v -512 -505 -430 -428 955 -434 -950 -946 -948 -978 
131.67/131.79	v -977 979 980 -376 -410 -409 -468 -486 -467 489 
131.67/131.79	v 429 -452 -451 -450 -449 -447 -445 -443 -442 -441 
131.67/131.79	v -439 -438 -437 -436 -435 -444 -411 -426 -425 -424 
131.67/131.79	v -422 -421 -420 -418 -416 -413 417 414 412 -473 
131.67/131.79	v -498 -472 -470 -485 -481 -477 -511 -510 -503 -495 
131.67/131.79	v -494 -492 -482 -478 -471 -508 -497 -507 -502 -487 
131.67/131.79	v -483 -479 -474 -469 -500 -484 -499 -480 -496 -476 
131.67/131.79	v -564 -526 -556 -543 -539 -535 -570 -563 -544 -525 
131.67/131.79	v -569 -566 -555 -558 -551 -542 -557 -552 -538 -554 
131.67/131.79	v -553 -534 -622 -628 -621 -799 891 -840 817 -834 
131.67/131.79	v -849 -836 -835 -815 818 -894 -889 -907 -898 -893 
131.67/131.79	v -892 -888 -949 407 -405 408 -464 -463 -522 -540 
131.67/131.79	v -521 -625 984 867 -917 -916 -915 -914 -913 -911 
131.67/131.79	v -909 -906 -905 -903 -902 -901 -900 -899 -890 -885 
131.67/131.79	v -884 -882 -877 -876 -874 -871 -869 -908 -861 -863 
131.67/131.79	v 868 865 862 918 -922 -959 -951 -943 -935 -920 
131.67/131.79	v -921 -924 -896 912 -962 -961 -954 -952 -944 -938 
131.67/131.79	v -936 -930 -928 -919 -958 -942 -934 -929 -956 -940 
131.67/131.79	v -923 -957 963 953 -970 -968 -982 -974 947 -969 
131.67/131.79	v -967 -981 -973 895 971 964 983 975 972 966 
131.67/131.79	v 965 976 937 960 926 945 931 925 927 939 
131.67/131.79	v 879 910 887 -872 875 -880 883 -941 -252 -645 
131.67/131.79	v -648 -685 -650 -709 -728 -727 -708 -232 -250 -231 
131.67/131.79	v -202 -786 -251 -311 -326 -319 -310 -844 -222 349 
131.67/131.79	v -384 -377 -368 -367 -366 -347 350 -427 -406 291 
131.67/131.79	v -309 -308 -289 292 -369 -348 -683 -770 -529 -212 
131.67/131.79	v -744 -784 678 -684 -679 -677 -669 -668 -667 -666 
131.67/131.79	v -660 -656 -652 649 -705 -743 -742 -737 -735 -726 
131.67/131.79	v -725 -724 -718 -714 -710 -703 -796 -802 -795 745 
131.67/131.79	v -761 -785 -766 -764 -747 746 -825 -808 687 -843 
131.67/131.79	v -824 -822 -807 -706 -689 688 809 -873 -767 -748 
131.67/131.79	v 629 -819 810 -670 -631 630 -878 -690 -608 -591 
131.67/131.79	v -623 -620 -617 -616 -615 -613 -612 -603 -599 -595 
131.67/131.79	v -590 619 -627 -626 -611 -610 -609 -602 -594 -587 
131.67/131.79	v 589 -680 -647 571 -638 -686 -592 -573 572 -637 
131.67/131.79	v -738 -651 -632 513 -696 -532 -515 514 -695 -593 
131.67/131.79	v -574 455 -754 -457 456 -772 -753 -516 397 -399 
131.67/131.79	v 398 -458 -729 821 800 -797 -794 -777 -773 -769 
131.67/131.79	v -793 -791 -790 -789 -787 763 -823 741 -857 -855 
131.67/131.79	v -852 -848 -847 -845 -831 -827 -739 -736 -719 -711 
131.67/131.79	v -733 -732 -731 707 851 803 -765 -859 -853 -858 
131.67/131.79	v -842 -841 -830 -826 -832 -805 804 860 -866 813 
131.67/131.79	v 850 -870 -864 755 -856 -838 854 -828 -811 814 
131.67/131.79	v 820 -783 -774 756 -904 -897 801 -886 -881 749 
131.67/131.79	v -806 -833 697 -798 -792 -782 -780 -778 -776 -768 
131.67/131.79	v 788 -751 750 -716 698 -846 757 -839 -837 -829 
131.67/131.79	v 740 -812 691 -775 -759 758 -734 -722 -720 -712 
131.67/131.79	v 730 -693 692 -816 699 -762 -781 -779 -771 -752 
131.67/131.79	v 633 -701 700 -673 -654 -653 -635 634 -760 641 
131.67/131.79	v -713 -694 575 -675 -662 -661 -643 642 -596 -577 
131.67/131.79	v 576 -721 -702 583 -655 -636 517 -604 -585 584 
131.67/131.79	v -536 -537 -519 518 -663 -644 550 -597 -578 459 
131.67/131.79	v -567 -565 -562 -561 -560 -559 -546 -545 -541 -527 
131.67/131.79	v 531 547 -461 460 568 -614 -605 -601 -586 509 
131.67/131.79	v 488 -305 -520 401 -624 -600 -504 -501 475 -403 
131.67/131.79	v 402 -672 -659 -533 -530 -528 446 -462 -682 -671 
131.67/131.79	v -674 -658 681 639 -676 -664 -657 646 665 640 
131.67/131.79	v -704 -723 -717 618 606 581 588 607 582 548 
131.67/131.79	v 523 549 524 490 465 491 466 432 433 -314 
131.67/131.79	v 375 -364 -227 -330 248 -279 -273 -269 -268 -267 
131.67/131.79	v -263 -262 -261 -260 -256 -254 -276 -275 -270 -265 
131.67/131.79	v -264 -255 -247 -244 -242 -229 -246 -239 249 233 
131.67/131.79	v -286 -290 -324 -298 -315 -288 -303 234 -304 -285 
131.67/131.79	v -337 -334 -323 -333 -331 -328 -313 -300 -297 -327 
131.67/131.79	v -287 -322 -321 -302 316 -382 -373 -361 -338 317 
131.67/131.79	v -395 -392 -381 -385 -372 -380 -379 -360 -390 258 
131.67/131.79	v 374 353 339 -396 -389 -280 259 -391 -371 354 
131.67/131.79	v -355 -358 -341 340 -448 -332 -440 -431 295 -419 
131.67/131.79	v -400 281 296 -283 282 237 -342 223 -235 238 
131.67/131.79	v -225 224 -284 -388 387 -394 -393 -363 -383 -378 
131.67/131.79	v -362 357 -415 386 343 -423 -345 344 -404 320 
131.67/131.79	v -335 -329 -325 -306 299 307 336 -359 -346 -365 
131.67/131.79	v -220 -203 -236 -204 -240 -196 -219 -241 -278 -271 
131.67/131.79	v 277 -272 243 -301 -169 -228 -186 -210 175 -194 
131.67/131.79	v -193 -192 -173 176 -253 -211 179 -198 -197 -177 
131.67/131.79	v 180 -257 -161 166 182 -170 -188 -100 -168 -184 
131.67/131.79	v -167 -132 -190 189 -221 -218 -217 -215 -213 -209 
131.67/131.79	v -207 -206 -205 -171 -181 185 172 -274 -266 214 
131.67/131.79	v 200 -226 165 -230 -245 201 114 -174 -101 -127 
131.67/131.79	v -159 -156 -153 -152 -151 -149 -148 -139 -135 -131 
131.67/131.79	v -126 155 121 117 113 142 -163 -157 -162 -147 
131.67/131.79	v -146 -145 -144 -138 -134 -130 -123 125 -140 -119 
131.67/131.79	v 122 -136 -115 118 -111 -164 -160 143 -183 107 
131.67/131.79	v 154 -191 -199 -178 -195 -216 -208 -128 -109 108 
131.67/131.79	v 124 -187 92 -106 -104 -103 -102 -99 -98 -97 
131.67/131.79	v -96 -94 -93 -91 -90 -88 -84 -83 -81 -80 
131.67/131.79	v -78 -77 -75 -72 -64 89 76 -158 105 -150 
131.67/131.79	v 70 68 66 86 -112 -116 -120 -141 -137 -133 
131.67/131.79	v -129 -110 71 69 67 87 -43 -40 -42 -82 
131.67/131.79	v -50 -73 -54 30 31 15 -19 -44 -53 28 
131.67/131.79	v -39 29 -79 14 -18 -41 -51 48 -61 -60 
131.67/131.79	v 49 -95 21 -23 -52 -55 32 -46 -45 33 
131.67/131.79	v -85 16 -20 -47 -65 37 -63 -57 -56 -34 
131.67/131.79	v -26 38 62 17 -59 36 -25 -22 -13 -74 
131.67/131.79	v 24 -58 -35 -27 
131.67/131.79	0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3292597-1303796901/watcher-3292597-1303796901 -o /tmp/evaluation-result-3292597-1303796901/solver-3292597-1303796901 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3292597-1303796901.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.46 3.85 3.52 3/180 5773
/proc/meminfo: memFree=18617920/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=7712 CPUtime=0 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 551 0 0 0 0 0 0 0 25 0 1 0 569920899 7897088 467 33554432000 4194304 4210924 140734938566768 18446744073709551615 215988253381 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 1928 467 96 5 0 399 0

[startup+0.0900369 s]
/proc/loadavg: 3.46 3.85 3.52 3/180 5773
/proc/meminfo: memFree=18617920/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=7844 CPUtime=0.08 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 561 0 0 0 8 0 0 0 25 0 1 0 569920899 8032256 477 33554432000 4194304 4210924 140734938566768 18446744073709551615 4204561 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 1961 477 97 5 0 432 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7844

[startup+0.101035 s]
/proc/loadavg: 3.46 3.85 3.52 3/180 5773
/proc/meminfo: memFree=18617920/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=7844 CPUtime=0.09 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 561 0 0 0 9 0 0 0 25 0 1 0 569920899 8032256 477 33554432000 4194304 4210924 140734938566768 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 1961 477 97 5 0 432 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7844

[startup+0.301 s]
/proc/loadavg: 3.46 3.85 3.52 3/180 5773
/proc/meminfo: memFree=18617920/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=7844 CPUtime=0.29 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 577 0 0 0 29 0 0 0 25 0 1 0 569920899 8032256 493 33554432000 4194304 4210924 140734938566768 18446744073709551615 4198774 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 1961 493 103 5 0 432 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7844

[startup+0.70093 s]
/proc/loadavg: 3.46 3.85 3.52 3/180 5773
/proc/meminfo: memFree=18617920/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=7844 CPUtime=0.69 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 597 0 0 0 69 0 0 0 25 0 1 0 569920899 8032256 513 33554432000 4194304 4210924 140734938566768 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 1961 513 103 5 0 432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7844

[startup+1.50079 s]
/proc/loadavg: 3.46 3.85 3.52 5/187 5812
/proc/meminfo: memFree=18583284/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=7976 CPUtime=1.49 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 630 0 0 0 149 0 0 0 25 0 1 0 569920899 8167424 546 33554432000 4194304 4210924 140734938566768 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 1994 546 103 5 0 465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7976

[startup+3.10051 s]
/proc/loadavg: 3.46 3.85 3.52 5/187 5813
/proc/meminfo: memFree=18545228/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=7976 CPUtime=3.09 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 630 0 0 0 309 0 0 0 25 0 1 0 569920899 8167424 546 33554432000 4194304 4210924 140734938566768 18446744073709551615 4204576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 1994 546 103 5 0 465 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7976

[startup+6.30095 s]
/proc/loadavg: 3.50 3.85 3.52 5/190 5819
/proc/meminfo: memFree=17976780/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=7976 CPUtime=6.29 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 630 0 0 0 629 0 0 0 25 0 1 0 569920899 8167424 546 33554432000 4194304 4210924 140734938566768 18446744073709551615 4204576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 1994 546 103 5 0 465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7976

[startup+12.7008 s]
/proc/loadavg: 3.54 3.86 3.53 5/190 5819
/proc/meminfo: memFree=17521620/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=8504 CPUtime=12.69 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 734 0 0 0 1269 0 0 0 25 0 1 0 569920899 8708096 650 33554432000 4194304 4210924 140734938566768 18446744073709551615 4201854 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 2126 650 103 5 0 597 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8504

[startup+25.5006 s]
/proc/loadavg: 3.64 3.86 3.53 5/190 5819
/proc/meminfo: memFree=17520536/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=9160 CPUtime=25.48 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 917 0 0 0 2548 0 0 0 25 0 1 0 569920899 9379840 833 33554432000 4194304 4210924 140734938566768 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 2290 833 103 5 0 761 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9160

[startup+51.1011 s]
/proc/loadavg: 3.76 3.87 3.55 5/190 5820
/proc/meminfo: memFree=17518540/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=10348 CPUtime=51.08 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1217 0 0 0 5108 0 0 0 25 0 1 0 569920899 10596352 1133 33554432000 4194304 4210924 140734938566768 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 2587 1133 103 5 0 1058 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10348

[startup+102.307 s]
/proc/loadavg: 3.96 3.91 3.57 5/190 5821
/proc/meminfo: memFree=17515544/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=11928 CPUtime=102.28 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1619 0 0 0 10227 1 0 0 25 0 1 0 569920899 12214272 1535 33554432000 4194304 4210924 140734938566768 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 2982 1535 103 5 0 1453 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11928

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

[startup+115.101 s]
/proc/loadavg: 3.97 3.91 3.58 5/190 5822
/proc/meminfo: memFree=17515252/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=12188 CPUtime=115.07 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1690 0 0 0 11506 1 0 0 25 0 1 0 569920899 12480512 1606 33554432000 4194304 4210924 140734938566768 18446744073709551615 4200813 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 3047 1606 103 5 0 1518 0
Current children cumulated CPU time (s) 115.07
Current children cumulated vsize (KiB) 12188

[startup+121.501 s]
/proc/loadavg: 3.97 3.91 3.58 5/190 5822
/proc/meminfo: memFree=17514872/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=12320 CPUtime=121.47 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1711 0 0 0 12146 1 0 0 25 0 1 0 569920899 12615680 1627 33554432000 4194304 4210924 140734938566768 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 3080 1627 103 5 0 1551 0
Current children cumulated CPU time (s) 121.47
Current children cumulated vsize (KiB) 12320

[startup+127.901 s]
/proc/loadavg: 3.97 3.91 3.58 5/190 5822
/proc/meminfo: memFree=17514616/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=12448 CPUtime=127.87 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1755 0 0 0 12786 1 0 0 25 0 1 0 569920899 12746752 1671 33554432000 4194304 4210924 140734938566768 18446744073709551615 4204540 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 3112 1671 103 5 0 1583 0
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (KiB) 12448

[startup+129.5 s]
/proc/loadavg: 3.97 3.91 3.58 5/190 5822
/proc/meminfo: memFree=17514616/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=12580 CPUtime=129.47 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1762 0 0 0 12946 1 0 0 25 0 1 0 569920899 12881920 1678 33554432000 4194304 4210924 140734938566768 18446744073709551615 4198616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 3145 1678 103 5 0 1616 0
Current children cumulated CPU time (s) 129.47
Current children cumulated vsize (KiB) 12580

[startup+131.101 s]
/proc/loadavg: 3.97 3.91 3.58 5/190 5822
/proc/meminfo: memFree=17514864/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=12580 CPUtime=131.08 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1766 0 0 0 13107 1 0 0 25 0 1 0 569920899 12881920 1682 33554432000 4194304 4210924 140734938566768 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 3145 1682 103 5 0 1616 0
Current children cumulated CPU time (s) 131.08
Current children cumulated vsize (KiB) 12580

[startup+131.501 s]
/proc/loadavg: 3.97 3.91 3.58 5/190 5822
/proc/meminfo: memFree=17514864/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=12580 CPUtime=131.48 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1766 0 0 0 13147 1 0 0 25 0 1 0 569920899 12881920 1682 33554432000 4194304 4210924 140734938566768 18446744073709551615 4201752 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 3145 1682 103 5 0 1616 0
Current children cumulated CPU time (s) 131.48
Current children cumulated vsize (KiB) 12580

[startup+131.701 s]
/proc/loadavg: 3.97 3.91 3.58 5/190 5822
/proc/meminfo: memFree=17514864/32950940 swapFree=67111528/67111528
[pid=5773] ppid=5770 vsize=12580 CPUtime=131.67 cores=1,3
/proc/5773/stat : 5773 (saturn) R 5770 5773 4768 0 -1 4202496 1766 0 0 0 13166 1 0 0 25 0 1 0 569920899 12881920 1682 33554432000 4194304 4210924 140734938566768 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5773/statm: 3145 1682 103 5 0 1616 0
Current children cumulated CPU time (s) 131.67
Current children cumulated vsize (KiB) 12580

Child status: 0
Real time (s): 131.799
CPU time (s): 131.782
CPU user time (s): 131.766
CPU system time (s): 0.015997
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 12580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.766
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2054

runsolver used 0.210967 second user time and 0.528919 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-26 07:48:21
IDJOB=3292597
IDBENCH=86102
IDSOLVER=1583
FILE ID=node117/3292597-1303796901
RUNJOBID= node117-1303796901-5669
PBS_JOBID= 13157263
Free space on /tmp= 71948 MiB

SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292597-1303796901/watcher-3292597-1303796901 -o /tmp/evaluation-result-3292597-1303796901/solver-3292597-1303796901 -C 2400 -W 1300 -M 7680  saturn HOME/instance-3292597-1303796901.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 1fb6b467105b14277afa8785aabd76ac
RANDOM SEED=52428037

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      18618084 kB
Buffers:       2335312 kB
Cached:       11335812 kB
SwapCached:          0 kB
Active:        6675836 kB
Inactive:      7091812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      18618084 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3736 kB
Writeback:           0 kB
AnonPages:       95260 kB
Mapped:          14880 kB
Slab:           498992 kB
PageTables:       5472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   245524 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71836 MiB
End job on node117 at 2011-04-26 07:50:33