Trace number 2656081

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.912 180.957

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUMdc857dc123c51e1f53f981679774fda8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80072
Number of constraints which are clauses80072
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 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
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-2656081-1276505235.opb.
0.00/0.00	c Instance file HOME/instance-2656081-1276505235.opb
0.00/0.00	c File size is 1930218 bytes.
0.19/0.25	c Highest Coefficient sum: 3
0.19/0.25	c ============================[ Problem Statistics ]=============================
0.19/0.25	c |                                                                             |
0.19/0.25	c |  Parsing time:          0.25         s                                      |
0.19/0.25	c |  Number Variables:      1150                                                |
0.19/0.25	c |  Number Clauses:        80072                                               |
0.19/0.25	c |  Number Cardinality:    0                                                   |
0.19/0.25	c |  Number PB Constraints: 0                                                   |
0.39/0.46	c ============================[ Search Statistics ]==============================
0.39/0.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    1150    80072   160144 |    26690        0    nan |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: 1150
0.39/0.47	o 1150
0.39/0.47	c Elapsed CPU time: 0.452931 s	Remaining CPU time: 179.547 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         0 |    1150    80073   161294 |    26691        0    nan |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: 1149
0.39/0.47	o 1149
0.39/0.47	c Elapsed CPU time: 0.45693 s	Remaining CPU time: 179.543 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         0 |    1150    80074   162444 |    26691        0    nan |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: 1148
0.39/0.49	o 1148
0.39/0.49	c Elapsed CPU time: 0.471928 s	Remaining CPU time: 179.528 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |        13 |    1150    80075   163594 |    26691       13   1142 |  0.000 % |
0.49/0.54	c |       120 |    1150    80075   163594 |    29360      120   1141 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: 1147
0.49/0.56	o 1147
0.49/0.56	c Elapsed CPU time: 0.538918 s	Remaining CPU time: 179.461 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |       126 |    1150    80076   164744 |    26692      126   1142 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: 1146
0.49/0.58	o 1146
0.49/0.58	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 179.435 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |       171 |    1150    80077   165894 |    26692      171   1142 |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: 1145
0.59/0.60	o 1145
0.59/0.60	c Elapsed CPU time: 0.582911 s	Remaining CPU time: 179.417 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |       198 |    1150    80078   167044 |    26692      198   1142 |  0.000 % |
0.59/0.64	c |       298 |    1150    80078   167044 |    29361      298   1142 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: 1144
0.69/0.70	o 1144
0.69/0.70	c Elapsed CPU time: 0.680896 s	Remaining CPU time: 179.319 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |       446 |    1150    80079   168194 |    26693      446   1142 |  0.000 % |
0.69/0.74	c |       548 |    1150    80079   168194 |    29362      548   1142 |  0.000 % |
0.69/0.79	c |       700 |    1150    80079   168194 |    32298      700   1141 |  0.000 % |
0.79/0.87	c |       925 |    1150    80079   168194 |    35528      925   1141 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: 1143
0.89/0.92	o 1143
0.89/0.92	c Elapsed CPU time: 0.898863 s	Remaining CPU time: 179.101 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |      1023 |    1150    80080   169344 |    26693     1023   1141 |  0.000 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: 1142
0.89/0.97	o 1142
0.89/0.97	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 179.056 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |      1108 |    1150    80081   170494 |    26693     1108   1141 |  0.000 % |
0.99/1.01	c |      1209 |    1150    80081   170494 |    29363     1209   1141 |  0.000 % |
0.99/1.07	c |      1360 |    1150    80081   170494 |    32299     1360   1141 |  0.000 % |
1.10/1.14	c ===============================================================================
1.10/1.14	c New solution: 1141
1.10/1.14	o 1141
1.10/1.14	c Elapsed CPU time: 1.10583 s	Remaining CPU time: 178.894 s
1.10/1.14	c ===============================================================================
1.10/1.14	c |      1450 |    1150    80082   171644 |    26694     1450   1140 |  0.000 % |
1.10/1.19	c |      1550 |    1150    80082   171644 |    29363     1550   1140 |  0.000 % |
1.19/1.26	c |      1700 |    1150    80082   171644 |    32299     1700   1140 |  0.000 % |
1.29/1.36	c |      1927 |    1150    80082   171644 |    35529     1927   1140 |  0.000 % |
1.49/1.54	c |      2264 |    1150    80082   171644 |    39082     2264   1139 |  0.000 % |
1.59/1.63	c ===============================================================================
1.59/1.63	c New solution: 1140
1.59/1.63	o 1140
1.59/1.63	c Elapsed CPU time: 1.58876 s	Remaining CPU time: 178.411 s
1.59/1.63	c ===============================================================================
1.59/1.63	c |      2392 |    1150    80083   172794 |    26694     2392   1139 |  0.000 % |
1.69/1.70	c |      2494 |    1150    80083   172794 |    29363     2494   1139 |  0.000 % |
1.79/1.81	c |      2644 |    1150    80083   172794 |    32300     2644   1139 |  0.000 % |
1.89/1.98	c |      2871 |    1150    80083   172794 |    35530     2871   1139 |  0.000 % |
2.10/2.14	c ===============================================================================
2.10/2.14	c New solution: 1139
2.10/2.14	o 1139
2.10/2.14	c Elapsed CPU time: 2.09068 s	Remaining CPU time: 177.909 s
2.10/2.14	c ===============================================================================
2.10/2.14	c |      3094 |    1150    80084   173944 |    26694     3094   1139 |  0.000 % |
2.20/2.23	c |      3194 |    1150    80084   173944 |    29364     3194   1139 |  0.000 % |
2.29/2.34	c |      3345 |    1150    80084   173944 |    32300     3345   1139 |  0.000 % |
2.49/2.50	c |      3571 |    1150    80084   173944 |    35530     3571   1138 |  0.000 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: 1138
2.69/2.76	o 1138
2.69/2.76	c Elapsed CPU time: 2.69459 s	Remaining CPU time: 177.305 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |      3891 |    1150    80085   175094 |    26695     3891   1138 |  0.000 % |
2.79/2.88	c |      3991 |    1150    80085   175094 |    29364     3991   1138 |  0.000 % |
2.89/3.00	c |      4142 |    1150    80085   175094 |    32300     4142   1138 |  0.000 % |
3.09/3.13	c ===============================================================================
3.09/3.13	c New solution: 1137
3.09/3.13	o 1137
3.09/3.13	c Elapsed CPU time: 3.05154 s	Remaining CPU time: 176.948 s
3.09/3.13	c ===============================================================================
3.09/3.13	c |      4286 |    1150    80086   176244 |    26695     4286   1138 |  0.000 % |
3.19/3.22	c |      4386 |    1150    80086   176244 |    29364     4386   1138 |  0.000 % |
3.30/3.35	c |      4539 |    1150    80086   176244 |    32301     4539   1138 |  0.000 % |
3.49/3.54	c |      4764 |    1150    80086   176244 |    35531     4764   1137 |  0.000 % |
3.59/3.61	c ===============================================================================
3.59/3.61	c New solution: 1136
3.59/3.61	o 1136
3.59/3.61	c Elapsed CPU time: 3.52246 s	Remaining CPU time: 176.478 s
3.59/3.61	c ===============================================================================
3.59/3.61	c |      4814 |    1150    80087   177394 |    26695     4814   1137 |  0.000 % |
3.69/3.71	c |      4918 |    1150    80087   177394 |    29365     4918   1137 |  0.000 % |
3.79/3.84	c |      5068 |    1150    80087   177394 |    32301     5068   1137 |  0.000 % |
4.09/4.12	c |      5293 |    1150    80087   177394 |    35531     5293   1137 |  0.000 % |
4.40/4.44	c |      5631 |    1150    80087   177394 |    39085     5631   1137 |  0.000 % |
4.89/4.90	c |      6139 |    1150    80087   177394 |    42993     6139   1136 |  0.000 % |
5.59/5.69	c |      6899 |    1150    80087   177394 |    47293     6899   1136 |  0.000 % |
5.69/5.76	c ===============================================================================
5.69/5.76	c New solution: 1135
5.69/5.76	o 1135
5.69/5.76	c Elapsed CPU time: 5.64214 s	Remaining CPU time: 174.358 s
5.69/5.76	c ===============================================================================
5.69/5.76	c |      6962 |    1150    80088   178544 |    26696     6962   1136 |  0.000 % |
5.79/5.87	c |      7064 |    1150    80088   178544 |    29365     7064   1136 |  0.000 % |
5.99/6.05	c |      7216 |    1150    80088   178544 |    32302     7216   1136 |  0.000 % |
6.29/6.30	c |      7445 |    1150    80088   178544 |    35532     7445   1136 |  0.000 % |
6.49/6.60	c |      7782 |    1150    80088   178544 |    39085     7782   1135 |  0.000 % |
7.19/7.21	c |      8288 |    1150    80088   178544 |    42994     8288   1135 |  0.000 % |
7.38/7.49	c ===============================================================================
7.38/7.49	c New solution: 1134
7.38/7.49	o 1134
7.38/7.49	c Elapsed CPU time: 7.35688 s	Remaining CPU time: 172.643 s
7.38/7.49	c ===============================================================================
7.38/7.49	c |      8537 |    1150    80089   179694 |    26696     8537   1135 |  0.000 % |
7.70/7.72	c |      8640 |    1150    80089   179694 |    29365     8640   1135 |  0.000 % |
7.89/7.99	c |      8790 |    1150    80089   179694 |    32302     8790   1135 |  0.000 % |
8.19/8.29	c |      9016 |    1150    80089   179694 |    35532     9016   1135 |  0.000 % |
8.70/8.78	c |      9356 |    1150    80089   179694 |    39086     9356   1135 |  0.000 % |
9.09/9.16	c ===============================================================================
9.09/9.16	c New solution: 1133
9.09/9.16	o 1133
9.09/9.16	c Elapsed CPU time: 9.00363 s	Remaining CPU time: 170.996 s
9.09/9.16	c ===============================================================================
9.09/9.16	c |      9624 |    1150    80090   180844 |    26696     9624   1135 |  0.000 % |
9.18/9.29	c |      9724 |    1150    80090   180844 |    29366     9724   1135 |  0.000 % |
9.39/9.48	c |      9876 |    1150    80090   180844 |    32302     9876   1135 |  0.000 % |
9.79/9.82	c |     10101 |    1150    80090   180844 |    35533    10101   1134 |  0.000 % |
10.09/10.19	c |     10439 |    1150    80090   180844 |    39086    10439   1134 |  0.000 % |
10.89/10.91	c |     10948 |    1150    80090   180844 |    42995    10948   1134 |  0.000 % |
11.79/11.86	c |     11708 |    1150    80090   180844 |    47294    11708   1134 |  0.000 % |
13.10/13.16	c |     12848 |    1150    80090   180844 |    52024    12848   1133 |  0.000 % |
15.19/15.20	c |     14557 |    1150    80090   180844 |    57226    14557   1133 |  0.000 % |
17.89/17.93	c |     17119 |    1150    80090   180844 |    62949    17119   1133 |  0.000 % |
30.58/30.65	c |     20964 |    1150    80090   180844 |    69244    20964   1132 |  0.000 % |
48.38/48.49	c |     26731 |    1150    80090   180844 |    76168    26731   1132 |  0.000 % |
90.27/90.33	c |     35381 |    1150    80090   180844 |    83785    35381   1131 |  0.000 % |
103.97/104.03	c ===============================================================================
103.97/104.03	c New solution: 1132
103.97/104.03	o 1132
103.97/104.03	c Elapsed CPU time: 103.52 s	Remaining CPU time: 76.4797 s
103.97/104.03	c ===============================================================================
103.97/104.03	c |     37529 |    1150    80091   181994 |    26697    37529   1131 |  0.000 % |
105.77/105.84	c |     37629 |    1150    80091   181994 |    29366    11292   1130 |  0.000 % |
106.16/106.23	c |     37779 |    1150    80091   181994 |    32303    11442   1130 |  0.000 % |
106.57/106.67	c ===============================================================================
106.57/106.67	c New solution: 1131
106.57/106.67	o 1131
106.57/106.67	c Elapsed CPU time: 106.145 s	Remaining CPU time: 73.8551 s
106.57/106.67	c ===============================================================================
106.57/106.67	c |     37980 |    1150    80092   183144 |    26697    11643   1130 |  0.000 % |
106.96/107.01	c |     38081 |    1150    80092   183144 |    29367    11744   1130 |  0.000 % |
107.26/107.37	c |     38232 |    1150    80092   183144 |    32303    11895   1130 |  0.000 % |
107.97/108.06	c |     38458 |    1150    80092   183144 |    35534    12121   1130 |  0.000 % |
108.87/108.95	c |     38795 |    1150    80092   183144 |    39087    12458   1130 |  0.000 % |
109.37/109.43	c ===============================================================================
109.37/109.43	c New solution: 1130
109.37/109.43	o 1130
109.37/109.43	c Elapsed CPU time: 108.884 s	Remaining CPU time: 71.1156 s
109.37/109.43	c ===============================================================================
109.37/109.43	c |     38956 |    1150    80093   184294 |    26697    12619   1130 |  0.000 % |
109.56/109.67	c |     39056 |    1150    80093   184294 |    29367    12719   1130 |  0.000 % |
110.06/110.13	c |     39206 |    1150    80093   184294 |    32304    12869   1130 |  0.000 % |
110.86/110.94	c |     39432 |    1150    80093   184294 |    35534    13095   1130 |  0.000 % |
111.97/112.06	c |     39770 |    1150    80093   184294 |    39088    13433   1130 |  0.000 % |
113.56/113.66	c |     40276 |    1150    80093   184294 |    42996    13939   1130 |  0.000 % |
116.47/116.55	c |     41036 |    1150    80093   184294 |    47296    14699   1130 |  0.000 % |
120.36/120.42	c |     42176 |    1150    80093   184294 |    52026    15839   1129 |  0.000 % |
125.06/125.13	c |     43886 |    1150    80093   184294 |    57228    17549   1129 |  0.000 % |
135.16/135.23	c |     46449 |    1150    80093   184294 |    62951    20112   1129 |  0.000 % |
147.86/147.94	c |     50293 |    1150    80093   184294 |    69246    23956   1129 |  0.000 % |
164.85/164.99	c |     56062 |    1150    80093   184294 |    76171    29725   1128 |  0.000 % |
180.74/180.81	c There are 0 assigned variables. 0 in cost function.
180.85/180.92	c core #1
180.85/180.92	c #cores: 1
180.85/180.92	c Final Weight: 1130
180.85/180.92	o 1130
180.85/180.92	s OPTIMUM FOUND
180.85/180.92	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -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.85/180.92	c Total CPU time: 180.119 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-2656081-1276505235/watcher-2656081-1276505235 -o /tmp/evaluation-result-2656081-1276505235/solver-2656081-1276505235 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656081-1276505235.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.00 3/107 27813
/proc/meminfo: memFree=1724012/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=4596 CPUtime=0
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 329 0 0 0 0 0 0 0 18 0 1 0 24179234 4706304 248 1992294400 134512640 135751879 4289890608 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 1149 248 146 303 0 372 0

[startup+0.0818809 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 27813
/proc/meminfo: memFree=1724012/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=5672 CPUtime=0.07
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 729 0 0 0 7 0 0 0 21 0 1 0 24179234 5808128 648 1992294400 134512640 135751879 4289890608 18446744073709551615 135118163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 1418 648 278 303 0 641 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5672

[startup+0.100881 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 27813
/proc/meminfo: memFree=1724012/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=5968 CPUtime=0.09
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 834 0 0 0 9 0 0 0 21 0 1 0 24179234 6111232 753 1992294400 134512640 135751879 4289890608 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 1492 753 313 303 0 715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5968

[startup+0.300899 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 27813
/proc/meminfo: memFree=1724012/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=11960 CPUtime=0.29
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 3149 0 0 0 28 1 0 0 21 0 1 0 24179234 12247040 2499 1992294400 134512640 135751879 4289890608 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 2990 2499 143 303 0 2685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11960

[startup+0.700935 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 27813
/proc/meminfo: memFree=1724012/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=11960 CPUtime=0.69
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 3159 0 0 0 67 2 0 0 22 0 1 0 24179234 12247040 2509 1992294400 134512640 135751879 4289890608 18446744073709551615 134517249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 2990 2509 147 303 0 2685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11960

[startup+1.50101 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27814
/proc/meminfo: memFree=1713836/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=17312 CPUtime=1.49
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 4470 0 0 0 145 4 0 0 25 0 1 0 24179234 17727488 3820 1992294400 134512640 135751879 4289890608 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 4328 3820 147 303 0 4023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17312

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27814
/proc/meminfo: memFree=1705156/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=26944 CPUtime=3.09
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 6894 0 0 0 302 7 0 0 25 0 1 0 24179234 27590656 6244 1992294400 134512640 135751879 4289890608 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 6736 6244 147 303 0 6431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26944

[startup+6.30143 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27814
/proc/meminfo: memFree=1688168/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=41612 CPUtime=6.29
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 10554 0 0 0 617 12 0 0 25 0 1 0 24179234 42610688 9904 1992294400 134512640 135751879 4289890608 18446744073709551615 134620485 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 10403 9904 147 303 0 10098 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41612

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27814
/proc/meminfo: memFree=1664368/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=64344 CPUtime=12.68
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 16236 0 0 0 1250 18 0 0 25 0 1 0 24179234 65888256 15586 1992294400 134512640 135751879 4289890608 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 16086 15587 147 303 0 15781 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64344

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27816
/proc/meminfo: memFree=1628532/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=97744 CPUtime=25.49
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 24588 0 0 0 2523 26 0 0 25 0 1 0 24179234 100089856 23938 1992294400 134512640 135751879 4289890608 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 24436 23938 147 303 0 24131 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97744

[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27816
/proc/meminfo: memFree=1594060/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=132480 CPUtime=51.08
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 33243 0 0 0 5075 33 0 0 25 0 1 0 24179234 135659520 32593 1992294400 134512640 135751879 4289890608 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 33120 32593 147 303 0 32815 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 132480

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27818
/proc/meminfo: memFree=1548676/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=177440 CPUtime=102.27
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 44447 0 0 0 10179 48 0 0 25 0 1 0 24179234 181698560 43797 1992294400 134512640 135751879 4289890608 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 44360 43797 147 303 0 44055 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 177440

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27818
/proc/meminfo: memFree=1469440/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=256956 CPUtime=162.25
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 64335 0 0 0 16157 68 0 0 25 0 1 0 24179234 263122944 63685 1992294400 134512640 135751879 4289890608 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 64239 63685 148 303 0 63934 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 256956

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

[startup+166.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27818
/proc/meminfo: memFree=1461008/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=265184 CPUtime=166.25
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 66357 0 0 0 16555 70 0 0 25 0 1 0 24179234 271548416 65707 1992294400 134512640 135751879 4289890608 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 66296 65707 148 303 0 65991 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 265184

[startup+172.708 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27820
/proc/meminfo: memFree=1450840/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=275168 CPUtime=172.65
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 68839 0 0 0 17193 72 0 0 25 0 1 0 24179234 281772032 68189 1992294400 134512640 135751879 4289890608 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 68792 68189 148 303 0 68487 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 275168

[startup+175.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27820
/proc/meminfo: memFree=1443772/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=281996 CPUtime=175.85
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 70565 0 0 0 17511 74 0 0 25 0 1 0 24179234 288763904 69915 1992294400 134512640 135751879 4289890608 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 70499 69915 148 303 0 70194 0
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (KiB) 281996

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27820
/proc/meminfo: memFree=1440300/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=286548 CPUtime=179.05
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 71690 0 0 0 17830 75 0 0 25 0 1 0 24179234 293425152 71040 1992294400 134512640 135751879 4289890608 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 71637 71040 148 303 0 71332 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 286548

[startup+179.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27820
/proc/meminfo: memFree=1439184/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=287620 CPUtime=179.84
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 71980 0 0 0 17909 75 0 0 25 0 1 0 24179234 294522880 71330 1992294400 134512640 135751879 4289890608 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 71905 71330 148 303 0 71600 0
Current children cumulated CPU time (s) 179.84
Current children cumulated vsize (KiB) 287620

[startup+180.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27820
/proc/meminfo: memFree=1437944/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=288020 CPUtime=180.64
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 72086 0 0 0 17989 75 0 0 25 0 1 0 24179234 294932480 71436 1992294400 134512640 135751879 4289890608 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 72005 71436 148 303 0 71700 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 288020

[startup+180.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27820
/proc/meminfo: memFree=1437944/2059040 swapFree=4140108/4192956
[pid=27813] ppid=27811 vsize=291468 CPUtime=180.85
/proc/27813/stat : 27813 (wbo1.4b) R 27811 27813 27788 0 -1 4202496 72909 0 0 0 18009 76 0 0 25 0 1 0 24179234 298463232 72259 1992294400 134512640 135751879 4289890608 18446744073709551615 135201654 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27813/statm: 72867 72259 149 303 0 72562 0
Current children cumulated CPU time (s) 180.85
Current children cumulated vsize (KiB) 291468

Child status: 0
Real time (s): 180.957
CPU time (s): 180.912
CPU user time (s): 180.119
CPU system time (s): 0.793879
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 291468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.119
system time used= 0.793879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72910
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= 12
involuntary context switches= 294

runsolver used 0.303953 second user time and 0.866868 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-14 10:47:15
IDJOB=2656081
IDBENCH=2260
IDSOLVER=1161
FILE ID=node025/2656081-1276505235
PBS_JOBID= 11173421
Free space on /tmp= 62568 MiB

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

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

MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8
RANDOM SEED=99016758

node025.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.242
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.48
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.242
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:       1724540 kB
Buffers:        102588 kB
Cached:         138980 kB
SwapCached:       6908 kB
Active:         102080 kB
Inactive:       152924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1724540 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            4888 kB
Writeback:           0 kB
AnonPages:       11200 kB
Mapped:          12828 kB
Slab:            57620 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181988 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= 62568 MiB
End job on node025 at 2010-06-14 10:50:16