Trace number 2655880

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.4bWrong Opt.-20 180.712 180.775

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM05ceccb8ea9c274c844c39df1472d3cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1789.96
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655880-1276499098.opb.
0.00/0.00	c Instance file HOME/instance-2655880-1276499098.opb
0.00/0.00	c File size is 1415680 bytes.
0.10/0.19	c Highest Coefficient sum: 3
0.10/0.19	c ============================[ Problem Statistics ]=============================
0.10/0.19	c |                                                                             |
0.10/0.19	c |  Parsing time:          0.19         s                                      |
0.10/0.19	c |  Number Variables:      945                                                 |
0.10/0.19	c |  Number Clauses:        59186                                               |
0.10/0.19	c |  Number Cardinality:    0                                                   |
0.10/0.19	c |  Number PB Constraints: 0                                                   |
0.29/0.32	c ============================[ Search Statistics ]==============================
0.29/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |     945    59186   118372 |    19728        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 945
0.29/0.34	o 945
0.29/0.34	c Elapsed CPU time: 0.334949 s	Remaining CPU time: 179.665 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |     945    59187   119317 |    19729        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 944
0.29/0.34	o 944
0.29/0.34	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 179.661 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |     945    59188   120262 |    19729        0    nan |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 943
0.29/0.36	o 943
0.29/0.36	c Elapsed CPU time: 0.349946 s	Remaining CPU time: 179.65 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |        11 |     945    59189   121207 |    19729       11    938 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: 942
0.29/0.39	o 942
0.29/0.39	c Elapsed CPU time: 0.379942 s	Remaining CPU time: 179.62 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |        89 |     945    59190   122152 |    19730       89    937 |  0.000 % |
0.40/0.41	c ===============================================================================
0.40/0.41	c New solution: 941
0.40/0.41	o 941
0.40/0.41	c Elapsed CPU time: 0.399939 s	Remaining CPU time: 179.6 s
0.40/0.41	c ===============================================================================
0.40/0.41	c |       116 |     945    59191   123097 |    19730      116    937 |  0.000 % |
0.40/0.44	c |       218 |     945    59191   123097 |    21703      218    936 |  0.000 % |
0.40/0.48	c ===============================================================================
0.40/0.48	c New solution: 940
0.40/0.48	o 940
0.40/0.48	c Elapsed CPU time: 0.469928 s	Remaining CPU time: 179.53 s
0.40/0.48	c ===============================================================================
0.40/0.48	c |       365 |     945    59192   124042 |    19730      365    936 |  0.000 % |
0.49/0.51	c |       466 |     945    59192   124042 |    21703      466    936 |  0.000 % |
0.49/0.56	c |       618 |     945    59192   124042 |    23874      618    936 |  0.000 % |
0.59/0.62	c |       844 |     945    59192   124042 |    26261      844    936 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 939
0.59/0.67	o 939
0.59/0.67	c Elapsed CPU time: 0.6559 s	Remaining CPU time: 179.344 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |       966 |     945    59193   124987 |    19731      966    936 |  0.000 % |
0.69/0.70	c |      1067 |     945    59193   124987 |    21704     1067    936 |  0.000 % |
0.69/0.75	c |      1219 |     945    59193   124987 |    23874     1219    936 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: 938
0.69/0.79	o 938
0.69/0.79	c Elapsed CPU time: 0.777881 s	Remaining CPU time: 179.222 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |      1284 |     945    59194   125932 |    19731     1284    936 |  0.000 % |
0.80/0.84	c |      1385 |     945    59194   125932 |    21704     1385    935 |  0.000 % |
0.80/0.86	c ===============================================================================
0.80/0.86	c New solution: 937
0.80/0.86	o 937
0.80/0.86	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 179.161 s
0.80/0.86	c ===============================================================================
0.80/0.86	c |      1396 |     945    59195   126877 |    19731     1396    935 |  0.000 % |
0.89/0.91	c |      1500 |     945    59195   126877 |    21704     1500    935 |  0.000 % |
0.89/0.98	c |      1651 |     945    59195   126877 |    23875     1651    935 |  0.000 % |
1.09/1.11	c |      1876 |     945    59195   126877 |    26262     1876    934 |  0.000 % |
1.09/1.17	c ===============================================================================
1.09/1.17	c New solution: 936
1.09/1.17	o 936
1.09/1.17	c Elapsed CPU time: 1.14083 s	Remaining CPU time: 178.859 s
1.09/1.17	c ===============================================================================
1.09/1.17	c |      1986 |     945    59196   127822 |    19732     1986    934 |  0.000 % |
1.19/1.22	c |      2088 |     945    59196   127822 |    21705     2088    934 |  0.000 % |
1.29/1.31	c |      2240 |     945    59196   127822 |    23875     2240    934 |  0.000 % |
1.39/1.41	c |      2465 |     945    59196   127822 |    26263     2465    934 |  0.000 % |
1.49/1.58	c ===============================================================================
1.49/1.58	c New solution: 935
1.49/1.58	o 935
1.49/1.58	c Elapsed CPU time: 1.53777 s	Remaining CPU time: 178.462 s
1.49/1.58	c ===============================================================================
1.49/1.58	c |      2728 |     945    59197   128767 |    19732     2728    934 |  0.000 % |
1.59/1.65	c |      2829 |     945    59197   128767 |    21705     2829    934 |  0.000 % |
1.69/1.74	c |      2980 |     945    59197   128767 |    23876     2980    934 |  0.000 % |
1.79/1.85	c ===============================================================================
1.79/1.85	c New solution: 934
1.79/1.85	o 934
1.79/1.85	c Elapsed CPU time: 1.81172 s	Remaining CPU time: 178.188 s
1.79/1.85	c ===============================================================================
1.79/1.85	c |      3149 |     945    59198   129712 |    19732     3149    933 |  0.000 % |
1.89/1.94	c |      3250 |     945    59198   129712 |    21705     3250    933 |  0.000 % |
1.99/2.04	c |      3401 |     945    59198   129712 |    23876     3401    933 |  0.000 % |
2.19/2.20	c |      3626 |     945    59198   129712 |    26264     3626    933 |  0.000 % |
2.39/2.48	c |      3963 |     945    59198   129712 |    28890     3963    933 |  0.000 % |
2.49/2.58	c ===============================================================================
2.49/2.58	c New solution: 933
2.49/2.58	o 933
2.49/2.58	c Elapsed CPU time: 2.52462 s	Remaining CPU time: 177.475 s
2.49/2.58	c ===============================================================================
2.49/2.58	c |      4070 |     945    59199   130657 |    19733     4070    933 |  0.000 % |
2.59/2.65	c |      4172 |     945    59199   130657 |    21706     4172    932 |  0.000 % |
2.69/2.75	c |      4323 |     945    59199   130657 |    23876     4323    932 |  0.000 % |
2.89/2.95	c |      4551 |     945    59199   130657 |    26264     4551    932 |  0.000 % |
3.20/3.21	c |      4890 |     945    59199   130657 |    28891     4890    932 |  0.000 % |
3.59/3.65	c |      5396 |     945    59199   130657 |    31780     5396    932 |  0.000 % |
4.19/4.20	c |      6155 |     945    59199   130657 |    34958     6155    931 |  0.000 % |
4.40/4.48	c ===============================================================================
4.40/4.48	c New solution: 932
4.40/4.48	o 932
4.40/4.48	c Elapsed CPU time: 4.41233 s	Remaining CPU time: 175.588 s
4.40/4.48	c ===============================================================================
4.40/4.48	c |      6536 |     945    59200   131602 |    19733     6536    931 |  0.000 % |
4.59/4.62	c |      6637 |     945    59200   131602 |    21706     6637    931 |  0.000 % |
4.69/4.78	c |      6789 |     945    59200   131602 |    23877     6789    931 |  0.000 % |
4.89/4.97	c |      7016 |     945    59200   131602 |    26265     7016    931 |  0.000 % |
5.19/5.27	c |      7354 |     945    59200   131602 |    28891     7354    931 |  0.000 % |
5.59/5.63	c |      7861 |     945    59200   131602 |    31780     7861    931 |  0.000 % |
6.49/6.51	c |      8620 |     945    59200   131602 |    34958     8620    931 |  0.000 % |
7.59/7.60	c |      9759 |     945    59200   131602 |    38454     9759    930 |  0.000 % |
8.09/8.18	c ===============================================================================
8.09/8.18	c New solution: 931
8.09/8.18	o 931
8.09/8.18	c Elapsed CPU time: 8.07277 s	Remaining CPU time: 171.927 s
8.09/8.18	c ===============================================================================
8.09/8.18	c |     10351 |     945    59201   132547 |    19733    10351    930 |  0.000 % |
8.28/8.30	c |     10451 |     945    59201   132547 |    21707    10451    930 |  0.000 % |
8.39/8.47	c |     10601 |     945    59201   132547 |    23877    10601    930 |  0.000 % |
8.69/8.78	c |     10827 |     945    59201   132547 |    26265    10827    930 |  0.000 % |
9.48/9.53	c |     11164 |     945    59201   132547 |    28892    11164    930 |  0.000 % |
10.29/10.33	c |     11673 |     945    59201   132547 |    31781    11673    930 |  0.000 % |
11.29/11.33	c |     12432 |     945    59201   132547 |    34959    12432    930 |  0.000 % |
12.00/12.06	c ===============================================================================
12.00/12.06	c New solution: 930
12.00/12.06	o 930
12.00/12.06	c Elapsed CPU time: 11.9292 s	Remaining CPU time: 168.071 s
12.00/12.06	c ===============================================================================
12.00/12.06	c |     12899 |     945    59202   133492 |    19734    12899    930 |  0.000 % |
12.19/12.26	c |     13000 |     945    59202   133492 |    21707    13000    930 |  0.000 % |
12.49/12.59	c |     13150 |     945    59202   133492 |    23878    13150    930 |  0.000 % |
12.88/12.95	c |     13375 |     945    59202   133492 |    26265    13375    930 |  0.000 % |
13.49/13.51	c |     13713 |     945    59202   133492 |    28892    13713    930 |  0.000 % |
14.29/14.32	c |     14219 |     945    59202   133492 |    31781    14219    930 |  0.000 % |
15.69/15.78	c |     14978 |     945    59202   133492 |    34959    14978    929 |  0.000 % |
17.78/17.82	c |     16118 |     945    59202   133492 |    38455    16118    929 |  0.000 % |
19.58/19.63	c ===============================================================================
19.58/19.63	c New solution: 929
19.58/19.63	o 929
19.58/19.63	c Elapsed CPU time: 19.464 s	Remaining CPU time: 160.536 s
19.58/19.63	c ===============================================================================
19.58/19.63	c |     17581 |     945    59203   134437 |    19734    17581    929 |  0.000 % |
19.69/19.76	c |     17682 |     945    59203   134437 |    21707    17682    929 |  0.000 % |
19.99/20.08	c |     17834 |     945    59203   134437 |    23878    17834    929 |  0.000 % |
20.98/21.06	c |     18059 |     945    59203   134437 |    26266    18059    929 |  0.000 % |
21.29/21.32	c ===============================================================================
21.29/21.32	c New solution: 928
21.29/21.32	o 928
21.29/21.32	c Elapsed CPU time: 21.1388 s	Remaining CPU time: 158.861 s
21.29/21.32	c ===============================================================================
21.29/21.32	c |     18279 |     945    59204   135382 |    19734    18279    929 |  0.000 % |
21.58/21.62	c |     18379 |     945    59204   135382 |    21708    18379    929 |  0.000 % |
21.99/22.03	c |     18531 |     945    59204   135382 |    23878    18531    929 |  0.000 % |
22.29/22.34	c |     18757 |     945    59204   135382 |    26266    18757    929 |  0.000 % |
23.58/23.62	c |     19094 |     945    59204   135382 |    28893    19094    929 |  0.000 % |
24.98/25.04	c |     19601 |     945    59204   135382 |    31782    19601    929 |  0.000 % |
26.48/26.56	c |     20361 |     945    59204   135382 |    34961    20361    929 |  0.000 % |
28.08/28.12	c |     21500 |     945    59204   135382 |    38457    21500    928 |  0.000 % |
32.77/32.80	c |     23209 |     945    59204   135382 |    42303    23209    928 |  0.000 % |
39.18/39.28	c |     25773 |     945    59204   135382 |    46533    25773    928 |  0.000 % |
47.87/47.99	c |     29617 |     945    59204   135382 |    51186    29617    928 |  0.000 % |
68.87/68.99	c |     35385 |     945    59204   135382 |    56305    35385    927 |  0.000 % |
112.75/112.82	c ===============================================================================
112.75/112.82	c New solution: 927
112.75/112.82	o 927
112.75/112.82	c Elapsed CPU time: 112.35 s	Remaining CPU time: 67.6501 s
112.75/112.82	c ===============================================================================
112.75/112.82	c |     42297 |     945    59205   136327 |    19735    42297    927 |  0.000 % |
115.65/115.71	c |     42399 |     945    59205   136327 |    21708    11421    925 |  0.000 % |
115.95/116.01	c |     42549 |     945    59205   136327 |    23879    11571    925 |  0.000 % |
116.46/116.56	c |     42775 |     945    59205   136327 |    26267    11797    925 |  0.000 % |
117.15/117.25	c |     43114 |     945    59205   136327 |    28894    12136    925 |  0.000 % |
117.95/118.03	c |     43620 |     945    59205   136327 |    31783    12642    925 |  0.000 % |
119.25/119.37	c |     44382 |     945    59205   136327 |    34961    13404    925 |  0.000 % |
122.65/122.74	c |     45521 |     945    59205   136327 |    38457    14543    925 |  0.000 % |
126.95/127.00	c |     47229 |     945    59205   136327 |    42303    16251    925 |  0.000 % |
129.25/129.31	c ===============================================================================
129.25/129.31	c New solution: 926
129.25/129.31	o 926
129.25/129.31	c Elapsed CPU time: 128.775 s	Remaining CPU time: 51.2246 s
129.25/129.31	c ===============================================================================
129.25/129.31	c |     47902 |     945    59206   137272 |    19735    16924    925 |  0.000 % |
129.66/129.76	c |     48003 |     945    59206   137272 |    21708    17025    925 |  0.000 % |
130.45/130.51	c |     48155 |     945    59206   137272 |    23879    17177    925 |  0.000 % |
131.55/131.67	c |     48381 |     945    59206   137272 |    26267    17403    925 |  0.000 % |
133.15/133.22	c |     48718 |     945    59206   137272 |    28894    17740    925 |  0.000 % |
133.45/133.56	c ===============================================================================
133.45/133.56	c New solution: 925
133.45/133.56	o 925
133.45/133.56	c Elapsed CPU time: 133.011 s	Remaining CPU time: 46.9892 s
133.45/133.56	c ===============================================================================
133.45/133.56	c |     48811 |     945    59207   138217 |    19735    17833    925 |  0.000 % |
134.15/134.27	c |     48914 |     945    59207   138217 |    21709    17936    925 |  0.000 % |
135.04/135.16	c |     49068 |     945    59207   138217 |    23880    18090    925 |  0.000 % |
137.04/137.10	c |     49295 |     945    59207   138217 |    26268    18317    925 |  0.000 % |
139.44/139.51	c |     49632 |     945    59207   138217 |    28894    18654    924 |  0.000 % |
142.14/142.26	c |     50140 |     945    59207   138217 |    31784    19162    924 |  0.000 % |
146.74/146.85	c |     50899 |     945    59207   138217 |    34962    19921    924 |  0.000 % |
150.23/150.33	c |     52039 |     945    59207   138217 |    38459    21061    924 |  0.000 % |
161.03/161.12	c |     53747 |     945    59207   138217 |    42305    22769    924 |  0.000 % |
180.53/180.65	c There are 0 assigned variables. 0 in cost function.
180.63/180.75	c core #1
180.63/180.75	c #cores: 1
180.63/180.75	c Final Weight: 925
180.63/180.75	o 925
180.63/180.75	s OPTIMUM FOUND
180.63/180.75	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
180.63/180.75	c Total CPU time: 180.093 s

Verifier Data 

OK	-20

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655880-1276499098/watcher-2655880-1276499098 -o /tmp/evaluation-result-2655880-1276499098/solver-2655880-1276499098 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655880-1276499098.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 28162
/proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=4096 CPUtime=0
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 25513259 4194304 237 1992294400 134512640 135751879 4288243120 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 1024 237 145 303 0 373 0

[startup+0.0979859 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 28162
/proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=5436 CPUtime=0.09
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 809 0 0 0 9 0 0 0 20 0 1 0 25513259 5566464 728 1992294400 134512640 135751879 4288243120 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 1359 729 308 303 0 708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5436

[startup+0.101986 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 28162
/proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=5436 CPUtime=0.1
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 831 0 0 0 10 0 0 0 20 0 1 0 25513259 5566464 750 1992294400 134512640 135751879 4288243120 18446744073709551615 135118186 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 1359 750 315 303 0 708 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5436

[startup+0.301022 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 28162
/proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=9360 CPUtime=0.29
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 2367 0 0 0 29 0 0 0 20 0 1 0 25513259 9584640 1907 1992294400 134512640 135751879 4288243120 18446744073709551615 135203987 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 2340 1907 144 303 0 2035 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9360

[startup+0.701097 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 28162
/proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=9760 CPUtime=0.69
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 2463 0 0 0 68 1 0 0 20 0 1 0 25513259 9994240 2003 1992294400 134512640 135751879 4288243120 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 2440 2003 147 303 0 2135 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9760

[startup+1.50025 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 28163
/proc/meminfo: memFree=1782208/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=15836 CPUtime=1.49
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 3966 0 0 0 145 4 0 0 23 0 1 0 25513259 16216064 3506 1992294400 134512640 135751879 4288243120 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 3959 3506 147 303 0 3654 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15836

[startup+3.10054 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 28163
/proc/meminfo: memFree=1775264/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=23892 CPUtime=3.09
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 5985 0 0 0 303 6 0 0 25 0 1 0 25513259 24465408 5525 1992294400 134512640 135751879 4288243120 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 5973 5526 147 303 0 5668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23892

[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 28163
/proc/meminfo: memFree=1759888/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=37816 CPUtime=6.29
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 9462 0 0 0 621 8 0 0 25 0 1 0 25513259 38723584 9002 1992294400 134512640 135751879 4288243120 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 9454 9002 147 303 0 9149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37816

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 28163
/proc/meminfo: memFree=1739428/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=56124 CPUtime=12.69
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 14052 0 0 0 1256 13 0 0 25 0 1 0 25513259 57470976 13592 1992294400 134512640 135751879 4288243120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 14031 13592 147 303 0 13726 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56124

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 28163
/proc/meminfo: memFree=1713388/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=81632 CPUtime=25.48
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 20391 0 0 0 2527 21 0 0 25 0 1 0 25513259 83591168 19931 1992294400 134512640 135751879 4288243120 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 20408 19931 147 303 0 20103 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81632

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 28163
/proc/meminfo: memFree=1672716/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=121976 CPUtime=51.08
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 30456 0 0 0 5077 31 0 0 25 0 1 0 25513259 124903424 29996 1992294400 134512640 135751879 4288243120 18446744073709551615 134616507 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 30494 29996 147 303 0 30189 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 121976

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28165
/proc/meminfo: memFree=1635764/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=158464 CPUtime=102.26
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 39566 0 0 0 10186 40 0 0 25 0 1 0 25513259 162267136 39106 1992294400 134512640 135751879 4288243120 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 39616 39106 147 303 0 39311 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158464

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28167
/proc/meminfo: memFree=1583188/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=211172 CPUtime=162.24
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 52691 0 0 0 16168 56 0 0 25 0 1 0 25513259 216240128 52231 1992294400 134512640 135751879 4288243120 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 52793 52231 148 303 0 52488 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 211172

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28167
/proc/meminfo: memFree=1581576/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=212628 CPUtime=166.23
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 53054 0 0 0 16567 56 0 0 25 0 1 0 25513259 217731072 52594 1992294400 134512640 135751879 4288243120 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 53157 52594 148 303 0 52852 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 212628

[startup+172.709 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28167
/proc/meminfo: memFree=1578600/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=215752 CPUtime=172.63
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 53805 0 0 0 17206 57 0 0 25 0 1 0 25513259 220930048 53345 1992294400 134512640 135751879 4288243120 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 53938 53345 148 303 0 53633 0
Current children cumulated CPU time (s) 172.63
Current children cumulated vsize (KiB) 215752

[startup+175.902 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28167
/proc/meminfo: memFree=1577360/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=216940 CPUtime=175.84
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 54104 0 0 0 17526 58 0 0 25 0 1 0 25513259 222146560 53644 1992294400 134512640 135751879 4288243120 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 54235 53644 148 303 0 53930 0
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (KiB) 216940

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28167
/proc/meminfo: memFree=1576740/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=218132 CPUtime=179.02
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 54400 0 0 0 17844 58 0 0 25 0 1 0 25513259 223367168 53940 1992294400 134512640 135751879 4288243120 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 54533 53940 148 303 0 54228 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 218132

[startup+179.901 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28167
/proc/meminfo: memFree=1576120/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=218264 CPUtime=179.83
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 54459 0 0 0 17924 59 0 0 25 0 1 0 25513259 223502336 53999 1992294400 134512640 135751879 4288243120 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 54566 53999 148 303 0 54261 0
Current children cumulated CPU time (s) 179.83
Current children cumulated vsize (KiB) 218264

[startup+180.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28167
/proc/meminfo: memFree=1575748/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=218528 CPUtime=180.24
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 54500 0 0 0 17965 59 0 0 25 0 1 0 25513259 223772672 54040 1992294400 134512640 135751879 4288243120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 54632 54040 148 303 0 54327 0
Current children cumulated CPU time (s) 180.24
Current children cumulated vsize (KiB) 218528

[startup+180.701 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 28167
/proc/meminfo: memFree=1575748/2059040 swapFree=4140476/4192956
[pid=28162] ppid=28160 vsize=221080 CPUtime=180.63
/proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 55158 0 0 0 18004 59 0 0 25 0 1 0 25513259 226385920 54698 1992294400 134512640 135751879 4288243120 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28162/statm: 55270 54698 149 303 0 54965 0
Current children cumulated CPU time (s) 180.63
Current children cumulated vsize (KiB) 221080

Child status: 0
Real time (s): 180.775
CPU time (s): 180.712
CPU user time (s): 180.093
CPU system time (s): 0.618905
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 221080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.093
system time used= 0.618905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55159
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= 5
involuntary context switches= 586

runsolver used 0.331949 second user time and 0.840872 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-14 09:04:58
IDJOB=2655880
IDBENCH=2252
IDSOLVER=1161
FILE ID=node007/2655880-1276499098
PBS_JOBID= 11173396
Free space on /tmp= 62484 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655880-1276499098/watcher-2655880-1276499098 -o /tmp/evaluation-result-2655880-1276499098/solver-2655880-1276499098 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655880-1276499098.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc
RANDOM SEED=1569955268

node007.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1793036 kB
Buffers:         78076 kB
Cached:         106996 kB
SwapCached:       6948 kB
Active:          99224 kB
Inactive:        99880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1793036 kB
SwapTotal:     4192956 kB
SwapFree:      4140476 kB
Dirty:            4028 kB
Writeback:           0 kB
AnonPages:       11592 kB
Mapped:          12916 kB
Slab:            45168 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180980 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62480 MiB
End job on node007 at 2010-06-14 09:07:59