Trace number 3500338

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
pwbo 1.1SAT (TO)-22 1800.1 900.154

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark1797.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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 1272
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 1272
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 1272
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 pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500338-1307993907.opb.
0.00/0.00	c Instance file HOME/instance-3500338-1307993907.opb
0.00/0.00	c File size is 2298943 bytes.
0.09/0.17	c Highest Coefficient sum: 3
0.09/0.17	c ============================[ Problem Statistics ]=============================
0.09/0.17	c |                                                                             |
0.09/0.17	c |  Parsing time:          0.17         s                                      |
0.09/0.17	c |  Number Variables:      1272                                                |
0.09/0.17	c |  Number Clauses:        94227                                               |
0.09/0.17	c |  Number Cardinality:    0                                                   |
0.09/0.17	c |  Number PB Constraints: 0                                                   |
0.22/0.21	c init lb 0
0.22/0.21	c init ub 1273
0.22/0.22	c ub 0 (thread 1)
0.22/0.22	o 0
0.22/0.22	c ub -1 (thread 1)
0.22/0.22	o -1
0.22/0.22	c ub -2 (thread 1)
0.22/0.25	o -2
0.22/0.25	c lb -1271 (thread 0)
0.22/0.26	c ub -3 (thread 1)
0.22/0.27	o -3
0.22/0.27	c ub -4 (thread 1)
0.22/0.27	o -4
0.22/0.27	c lb -1270 (thread 0)
0.22/0.30	c lb -1269 (thread 0)
0.43/0.31	c ub -5 (thread 1)
0.43/0.32	o -5
0.43/0.32	c lb -1268 (thread 0)
0.43/0.35	c ub -6 (thread 1)
0.43/0.35	o -6
0.43/0.35	c lb -1267 (thread 0)
0.43/0.37	c lb -1266 (thread 0)
0.43/0.38	c ub -7 (thread 1)
0.61/0.40	o -7
0.61/0.40	c lb -1265 (thread 0)
0.61/0.42	c lb -1264 (thread 0)
0.61/0.43	c ub -8 (thread 1)
0.61/0.45	o -8
0.61/0.45	c lb -1263 (thread 0)
0.61/0.47	c lb -1262 (thread 0)
0.81/0.50	c lb -1261 (thread 0)
0.81/0.52	c lb -1260 (thread 0)
0.81/0.55	c lb -1259 (thread 0)
0.81/0.57	c lb -1258 (thread 0)
0.81/0.59	c ub -9 (thread 1)
1.01/0.60	o -9
1.01/0.60	c lb -1257 (thread 0)
1.01/0.62	c lb -1256 (thread 0)
1.01/0.65	c lb -1255 (thread 0)
1.01/0.67	c lb -1254 (thread 0)
1.21/0.70	c lb -1253 (thread 0)
1.21/0.72	c lb -1252 (thread 0)
1.21/0.74	c lb -1251 (thread 0)
1.21/0.77	c lb -1250 (thread 0)
1.21/0.79	c lb -1249 (thread 0)
1.41/0.82	c ub -10 (thread 1)
1.41/0.82	o -10
1.41/0.82	c lb -1248 (thread 0)
1.41/0.84	c lb -1247 (thread 0)
1.41/0.87	c lb -1246 (thread 0)
1.41/0.89	c lb -1245 (thread 0)
1.61/0.92	c lb -1244 (thread 0)
1.61/0.94	c lb -1243 (thread 0)
1.61/0.97	c lb -1242 (thread 0)
1.61/0.99	c lb -1241 (thread 0)
1.82/1.02	c lb -1240 (thread 0)
1.82/1.04	c lb -1239 (thread 0)
1.82/1.07	c lb -1238 (thread 0)
1.82/1.09	c lb -1237 (thread 0)
2.03/1.12	c lb -1236 (thread 0)
2.03/1.14	c lb -1235 (thread 0)
2.03/1.17	c lb -1234 (thread 0)
2.03/1.19	c lb -1233 (thread 0)
2.21/1.21	c lb -1232 (thread 0)
2.21/1.24	c lb -1231 (thread 0)
2.21/1.26	c lb -1230 (thread 0)
2.21/1.29	c lb -1229 (thread 0)
2.41/1.31	c lb -1228 (thread 0)
2.41/1.34	c lb -1227 (thread 0)
2.41/1.36	c lb -1226 (thread 0)
2.41/1.39	c lb -1225 (thread 0)
2.61/1.41	c lb -1224 (thread 0)
2.61/1.44	c lb -1223 (thread 0)
2.61/1.46	c lb -1222 (thread 0)
2.61/1.49	c lb -1221 (thread 0)
2.81/1.51	c lb -1220 (thread 0)
2.81/1.52	c ub -11 (thread 1)
2.81/1.54	o -11
2.81/1.54	c lb -1219 (thread 0)
2.81/1.56	c lb -1218 (thread 0)
2.81/1.59	c lb -1217 (thread 0)
3.02/1.61	c lb -1216 (thread 0)
3.02/1.64	c lb -1215 (thread 0)
3.02/1.67	c lb -1214 (thread 0)
3.02/1.69	c lb -1213 (thread 0)
3.21/1.72	c lb -1212 (thread 0)
3.21/1.74	c lb -1211 (thread 0)
3.21/1.77	c lb -1210 (thread 0)
3.21/1.79	c lb -1209 (thread 0)
3.21/1.79	c ub -12 (thread 1)
3.41/1.82	o -12
3.41/1.82	c lb -1208 (thread 0)
3.41/1.84	c lb -1207 (thread 0)
3.41/1.87	c lb -1206 (thread 0)
3.41/1.90	c lb -1205 (thread 0)
3.62/1.92	c lb -1204 (thread 0)
3.62/1.95	c lb -1203 (thread 0)
3.62/1.97	c lb -1202 (thread 0)
3.81/2.00	c lb -1201 (thread 0)
3.81/2.03	c lb -1200 (thread 0)
3.81/2.05	c lb -1199 (thread 0)
3.81/2.08	c lb -1198 (thread 0)
4.03/2.10	c lb -1197 (thread 0)
4.03/2.13	c lb -1196 (thread 0)
4.03/2.16	c lb -1195 (thread 0)
4.03/2.18	c lb -1194 (thread 0)
4.22/2.21	c lb -1193 (thread 0)
4.22/2.23	c lb -1192 (thread 0)
4.22/2.26	c lb -1191 (thread 0)
4.22/2.29	c lb -1190 (thread 0)
4.41/2.31	c lb -1189 (thread 0)
4.41/2.34	c lb -1188 (thread 0)
4.41/2.36	c lb -1187 (thread 0)
4.41/2.39	c lb -1186 (thread 0)
4.41/2.39	c ub -13 (thread 1)
4.62/2.42	o -13
4.62/2.42	c lb -1185 (thread 0)
4.62/2.44	c lb -1184 (thread 0)
4.62/2.47	c lb -1183 (thread 0)
4.62/2.49	c lb -1182 (thread 0)
4.81/2.52	c lb -1181 (thread 0)
4.81/2.55	c lb -1180 (thread 0)
4.81/2.57	c lb -1179 (thread 0)
5.01/2.60	c lb -1178 (thread 0)
5.01/2.63	c lb -1177 (thread 0)
5.01/2.65	c lb -1176 (thread 0)
5.01/2.68	c lb -1175 (thread 0)
5.22/2.70	c lb -1174 (thread 0)
5.22/2.73	c lb -1173 (thread 0)
5.22/2.76	c lb -1172 (thread 0)
5.22/2.78	c lb -1171 (thread 0)
5.41/2.81	c lb -1170 (thread 0)
5.41/2.84	c lb -1169 (thread 0)
5.41/2.86	c lb -1168 (thread 0)
5.41/2.89	c lb -1167 (thread 0)
5.61/2.91	c lb -1166 (thread 0)
5.61/2.94	c lb -1165 (thread 0)
5.61/2.97	c lb -1164 (thread 0)
5.61/2.99	c lb -1163 (thread 0)
5.81/3.02	c lb -1162 (thread 0)
5.81/3.05	c lb -1161 (thread 0)
5.81/3.07	c lb -1160 (thread 0)
6.02/3.10	c lb -1159 (thread 0)
6.02/3.13	c lb -1158 (thread 0)
6.02/3.15	c lb -1157 (thread 0)
6.02/3.18	c lb -1156 (thread 0)
6.22/3.21	c lb -1155 (thread 0)
6.22/3.23	c lb -1154 (thread 0)
6.22/3.26	c lb -1153 (thread 0)
6.22/3.29	c lb -1152 (thread 0)
6.42/3.31	c lb -1151 (thread 0)
6.42/3.34	c lb -1150 (thread 0)
6.42/3.37	c lb -1149 (thread 0)
6.42/3.39	c lb -1148 (thread 0)
6.62/3.42	c lb -1147 (thread 0)
6.62/3.45	c lb -1146 (thread 0)
6.62/3.48	c lb -1145 (thread 0)
6.81/3.50	c lb -1144 (thread 0)
6.81/3.53	c lb -1143 (thread 0)
6.81/3.56	c lb -1142 (thread 0)
6.81/3.59	c lb -1141 (thread 0)
7.01/3.61	c lb -1140 (thread 0)
7.01/3.64	c lb -1139 (thread 0)
7.01/3.67	c lb -1138 (thread 0)
7.01/3.69	c lb -1137 (thread 0)
7.21/3.72	c lb -1136 (thread 0)
7.21/3.75	c lb -1135 (thread 0)
7.21/3.78	c lb -1134 (thread 0)
7.41/3.80	c lb -1133 (thread 0)
7.41/3.83	c lb -1132 (thread 0)
7.41/3.86	c lb -1131 (thread 0)
7.41/3.89	c lb -1130 (thread 0)
7.61/3.91	c lb -1129 (thread 0)
7.61/3.94	c lb -1128 (thread 0)
7.61/3.97	c ub -14 (thread 1)
7.61/3.97	o -14
7.61/3.97	c lb -1127 (thread 0)
7.81/4.00	c lb -1126 (thread 0)
7.81/4.02	c lb -1125 (thread 0)
7.81/4.05	c lb -1124 (thread 0)
7.81/4.08	c lb -1123 (thread 0)
8.02/4.11	c lb -1122 (thread 0)
8.02/4.14	c lb -1121 (thread 0)
8.02/4.16	c lb -1120 (thread 0)
8.02/4.19	c lb -1119 (thread 0)
8.21/4.22	c lb -1118 (thread 0)
8.21/4.25	c lb -1117 (thread 0)
8.21/4.28	c lb -1116 (thread 0)
8.42/4.30	c lb -1115 (thread 0)
8.42/4.33	c lb -1114 (thread 0)
8.42/4.36	c lb -1113 (thread 0)
8.42/4.39	c lb -1112 (thread 0)
8.62/4.42	c lb -1111 (thread 0)
8.62/4.45	c lb -1110 (thread 0)
8.62/4.47	c lb -1109 (thread 0)
8.81/4.50	c lb -1108 (thread 0)
8.81/4.53	c lb -1107 (thread 0)
8.81/4.56	c lb -1106 (thread 0)
8.81/4.59	c lb -1105 (thread 0)
9.01/4.62	c lb -1104 (thread 0)
9.01/4.64	c lb -1103 (thread 0)
9.01/4.66	c ub -15 (thread 1)
9.01/4.67	o -15
9.01/4.67	c lb -1102 (thread 0)
9.21/4.70	c lb -1101 (thread 0)
9.21/4.73	c lb -1100 (thread 0)
9.21/4.76	c lb -1099 (thread 0)
9.21/4.79	c lb -1098 (thread 0)
9.42/4.82	c lb -1097 (thread 0)
9.42/4.85	c lb -1096 (thread 0)
9.42/4.88	c lb -1095 (thread 0)
9.61/4.90	c lb -1094 (thread 0)
9.61/4.93	c lb -1093 (thread 0)
9.61/4.96	c lb -1092 (thread 0)
9.61/4.98	c ub -16 (thread 1)
9.61/4.99	o -16
9.61/4.99	c lb -1091 (thread 0)
9.81/5.02	c lb -1090 (thread 0)
9.81/5.05	c lb -1089 (thread 0)
9.81/5.08	c lb -1088 (thread 0)
10.02/5.11	c lb -1087 (thread 0)
10.02/5.14	c lb -1086 (thread 0)
10.02/5.17	c lb -1085 (thread 0)
10.21/5.20	c lb -1084 (thread 0)
10.21/5.23	c lb -1083 (thread 0)
10.21/5.25	c lb -1082 (thread 0)
10.21/5.28	c lb -1081 (thread 0)
10.41/5.31	c lb -1080 (thread 0)
10.41/5.34	c lb -1079 (thread 0)
10.41/5.37	c lb -1078 (thread 0)
10.62/5.40	c lb -1077 (thread 0)
10.62/5.43	c lb -1076 (thread 0)
10.62/5.46	c lb -1075 (thread 0)
10.62/5.49	c lb -1074 (thread 0)
10.83/5.52	c lb -1073 (thread 0)
10.83/5.55	c lb -1072 (thread 0)
10.83/5.58	c lb -1071 (thread 0)
11.01/5.61	c lb -1070 (thread 0)
11.01/5.64	c lb -1069 (thread 0)
11.01/5.67	c lb -1068 (thread 0)
11.21/5.70	c lb -1067 (thread 0)
11.21/5.73	c lb -1066 (thread 0)
11.21/5.76	c lb -1065 (thread 0)
11.21/5.79	c lb -1064 (thread 0)
11.42/5.82	c lb -1063 (thread 0)
11.42/5.85	c lb -1062 (thread 0)
11.42/5.88	c lb -1061 (thread 0)
11.61/5.91	c lb -1060 (thread 0)
11.61/5.94	c lb -1059 (thread 0)
11.61/5.97	c lb -1058 (thread 0)
11.81/6.00	c lb -1057 (thread 0)
11.81/6.03	c lb -1056 (thread 0)
11.81/6.06	c lb -1055 (thread 0)
11.81/6.09	c lb -1054 (thread 0)
12.02/6.13	c lb -1053 (thread 0)
12.02/6.16	c lb -1052 (thread 0)
12.02/6.19	c lb -1051 (thread 0)
12.21/6.22	c lb -1050 (thread 0)
12.21/6.25	c lb -1049 (thread 0)
12.21/6.28	c lb -1048 (thread 0)
12.41/6.31	c lb -1047 (thread 0)
12.41/6.34	c lb -1046 (thread 0)
12.41/6.37	c lb -1045 (thread 0)
12.61/6.40	c lb -1044 (thread 0)
12.61/6.44	c lb -1043 (thread 0)
12.61/6.47	c lb -1042 (thread 0)
12.82/6.50	c lb -1041 (thread 0)
12.82/6.53	c lb -1040 (thread 0)
12.82/6.56	c lb -1039 (thread 0)
12.82/6.59	c lb -1038 (thread 0)
13.02/6.62	c lb -1037 (thread 0)
13.02/6.66	c lb -1036 (thread 0)
13.02/6.69	c lb -1035 (thread 0)
13.22/6.72	c lb -1034 (thread 0)
13.22/6.75	c lb -1033 (thread 0)
13.22/6.78	c lb -1032 (thread 0)
13.41/6.81	c lb -1031 (thread 0)
13.41/6.85	c lb -1030 (thread 0)
13.41/6.88	c lb -1029 (thread 0)
13.61/6.91	c lb -1028 (thread 0)
13.61/6.94	c lb -1027 (thread 0)
13.61/6.97	c lb -1026 (thread 0)
13.81/7.00	c lb -1025 (thread 0)
13.81/7.03	c lb -1024 (thread 0)
13.81/7.07	c lb -1023 (thread 0)
13.81/7.08	c ub -17 (thread 1)
14.02/7.10	o -17
14.02/7.10	c lb -1022 (thread 0)
14.02/7.13	c lb -1021 (thread 0)
14.02/7.16	c lb -1020 (thread 0)
14.02/7.19	c lb -1019 (thread 0)
14.21/7.22	c lb -1018 (thread 0)
14.21/7.26	c lb -1017 (thread 0)
14.21/7.29	c lb -1016 (thread 0)
14.42/7.32	c lb -1015 (thread 0)
14.42/7.35	c lb -1014 (thread 0)
14.42/7.38	c lb -1013 (thread 0)
14.61/7.41	c lb -1012 (thread 0)
14.61/7.45	c lb -1011 (thread 0)
14.61/7.48	c lb -1010 (thread 0)
14.81/7.51	c lb -1009 (thread 0)
14.81/7.54	c lb -1008 (thread 0)
14.81/7.58	c lb -1007 (thread 0)
15.02/7.61	c lb -1006 (thread 0)
15.02/7.64	c lb -1005 (thread 0)
15.02/7.67	c lb -1004 (thread 0)
15.23/7.70	c lb -1003 (thread 0)
15.23/7.74	c lb -1002 (thread 0)
15.23/7.77	c lb -1001 (thread 0)
15.42/7.80	c lb -1000 (thread 0)
15.42/7.83	c lb -999 (thread 0)
15.42/7.87	c lb -998 (thread 0)
15.61/7.90	c lb -997 (thread 0)
15.61/7.93	c lb -996 (thread 0)
15.61/7.97	c lb -995 (thread 0)
15.81/8.00	c lb -994 (thread 0)
15.81/8.03	c lb -993 (thread 0)
15.81/8.07	c lb -992 (thread 0)
16.02/8.10	c lb -991 (thread 0)
16.02/8.14	c lb -990 (thread 0)
16.02/8.17	c lb -989 (thread 0)
16.21/8.20	c lb -988 (thread 0)
16.21/8.24	c lb -987 (thread 0)
16.21/8.27	c lb -986 (thread 0)
16.41/8.31	c lb -985 (thread 0)
16.41/8.34	c lb -984 (thread 0)
16.41/8.37	c lb -983 (thread 0)
16.61/8.41	c lb -982 (thread 0)
16.61/8.44	c lb -981 (thread 0)
16.61/8.48	c lb -980 (thread 0)
16.81/8.51	c lb -979 (thread 0)
16.81/8.55	c lb -978 (thread 0)
16.81/8.58	c lb -977 (thread 0)
17.01/8.62	c lb -976 (thread 0)
17.01/8.65	c lb -975 (thread 0)
17.01/8.68	c lb -974 (thread 0)
17.23/8.72	c lb -973 (thread 0)
17.23/8.75	c lb -972 (thread 0)
17.23/8.79	c lb -971 (thread 0)
17.43/8.82	c lb -970 (thread 0)
17.43/8.86	c lb -969 (thread 0)
17.43/8.89	c lb -968 (thread 0)
17.61/8.91	c ub -18 (thread 1)
17.61/8.93	o -18
17.61/8.93	c lb -967 (thread 0)
17.61/8.96	c lb -966 (thread 0)
17.61/9.00	c lb -965 (thread 0)
17.82/9.03	c lb -964 (thread 0)
17.82/9.07	c lb -963 (thread 0)
18.01/9.10	c lb -962 (thread 0)
18.01/9.13	c ub -19 (thread 1)
18.01/9.14	o -19
18.01/9.14	c lb -961 (thread 0)
18.01/9.17	c lb -960 (thread 0)
18.21/9.21	c lb -959 (thread 0)
18.21/9.24	c lb -958 (thread 0)
18.21/9.28	c lb -957 (thread 0)
18.42/9.31	c lb -956 (thread 0)
18.42/9.35	c lb -955 (thread 0)
18.42/9.38	c lb -954 (thread 0)
18.61/9.42	c lb -953 (thread 0)
18.61/9.44	c ub -20 (thread 1)
18.61/9.46	o -20
18.61/9.46	c lb -952 (thread 0)
18.61/9.49	c lb -951 (thread 0)
18.81/9.53	c lb -950 (thread 0)
18.81/9.56	c lb -949 (thread 0)
19.02/9.60	c lb -948 (thread 0)
19.02/9.63	c lb -947 (thread 0)
19.02/9.67	c lb -946 (thread 0)
19.21/9.71	c lb -945 (thread 0)
19.21/9.74	c lb -944 (thread 0)
19.21/9.78	c lb -943 (thread 0)
19.42/9.81	c lb -942 (thread 0)
19.42/9.85	c lb -941 (thread 0)
19.42/9.89	c lb -940 (thread 0)
19.62/9.92	c lb -939 (thread 0)
19.62/9.96	c lb -938 (thread 0)
19.62/9.99	c lb -937 (thread 0)
19.82/10.03	c lb -936 (thread 0)
19.82/10.07	c lb -935 (thread 0)
20.01/10.10	c lb -934 (thread 0)
20.01/10.14	c lb -933 (thread 0)
20.01/10.18	c lb -932 (thread 0)
20.21/10.21	c lb -931 (thread 0)
20.21/10.25	c lb -930 (thread 0)
20.21/10.29	c lb -929 (thread 0)
20.42/10.32	c lb -928 (thread 0)
20.42/10.36	c lb -927 (thread 0)
20.42/10.40	c lb -926 (thread 0)
20.62/10.43	c lb -925 (thread 0)
20.62/10.47	c lb -924 (thread 0)
20.81/10.51	c lb -923 (thread 0)
20.81/10.54	c lb -922 (thread 0)
20.81/10.58	c lb -921 (thread 0)
21.01/10.62	c lb -920 (thread 0)
21.01/10.65	c lb -919 (thread 0)
21.01/10.69	c lb -918 (thread 0)
21.22/10.73	c lb -917 (thread 0)
21.22/10.77	c lb -916 (thread 0)
21.41/10.80	c lb -915 (thread 0)
21.41/10.84	c lb -914 (thread 0)
21.41/10.88	c lb -913 (thread 0)
21.62/10.91	c lb -912 (thread 0)
21.62/10.95	c lb -911 (thread 0)
21.62/10.99	c lb -910 (thread 0)
21.83/11.03	c lb -909 (thread 0)
21.83/11.07	c lb -908 (thread 0)
22.01/11.10	c lb -907 (thread 0)
22.01/11.14	c lb -906 (thread 0)
22.01/11.18	c lb -905 (thread 0)
22.21/11.22	c lb -904 (thread 0)
22.21/11.25	c lb -903 (thread 0)
22.21/11.29	c lb -902 (thread 0)
22.41/11.33	c lb -901 (thread 0)
22.41/11.37	c lb -900 (thread 0)
22.61/11.41	c lb -899 (thread 0)
22.61/11.44	c lb -898 (thread 0)
22.61/11.48	c lb -897 (thread 0)
22.81/11.52	c lb -896 (thread 0)
22.81/11.56	c lb -895 (thread 0)
23.01/11.60	c lb -894 (thread 0)
23.01/11.64	c lb -893 (thread 0)
23.01/11.67	c lb -892 (thread 0)
23.21/11.71	c lb -891 (thread 0)
23.21/11.75	c lb -890 (thread 0)
23.21/11.79	c lb -889 (thread 0)
23.41/11.83	c lb -888 (thread 0)
23.41/11.87	c lb -887 (thread 0)
23.62/11.91	c lb -886 (thread 0)
23.62/11.94	c lb -885 (thread 0)
23.62/11.98	c lb -884 (thread 0)
23.82/12.02	c lb -883 (thread 0)
23.82/12.06	c lb -882 (thread 0)
24.02/12.10	c lb -881 (thread 0)
24.02/12.14	c lb -880 (thread 0)
24.02/12.18	c lb -879 (thread 0)
24.22/12.22	c lb -878 (thread 0)
24.22/12.26	c lb -877 (thread 0)
24.41/12.30	c lb -876 (thread 0)
24.41/12.34	c lb -875 (thread 0)
24.41/12.38	c lb -874 (thread 0)
24.61/12.42	c lb -873 (thread 0)
24.61/12.46	c lb -872 (thread 0)
24.82/12.50	c lb -871 (thread 0)
24.82/12.54	c lb -870 (thread 0)
24.82/12.58	c lb -869 (thread 0)
25.02/12.62	c lb -868 (thread 0)
25.02/12.66	c lb -867 (thread 0)
25.22/12.70	c lb -866 (thread 0)
25.22/12.74	c lb -865 (thread 0)
25.22/12.78	c lb -864 (thread 0)
25.41/12.82	c lb -863 (thread 0)
25.41/12.86	c lb -862 (thread 0)
25.61/12.90	c lb -861 (thread 0)
25.61/12.94	c lb -860 (thread 0)
25.61/12.98	c lb -859 (thread 0)
25.82/13.02	c lb -858 (thread 0)
25.82/13.07	c lb -857 (thread 0)
26.03/13.11	c lb -856 (thread 0)
26.03/13.15	c lb -855 (thread 0)
26.03/13.19	c lb -854 (thread 0)
26.22/13.23	c lb -853 (thread 0)
26.22/13.27	c lb -852 (thread 0)
26.42/13.31	c lb -851 (thread 0)
26.42/13.35	c lb -850 (thread 0)
26.42/13.39	c lb -849 (thread 0)
26.61/13.43	c lb -848 (thread 0)
26.61/13.47	c lb -847 (thread 0)
26.81/13.51	c lb -846 (thread 0)
26.81/13.55	c lb -845 (thread 0)
26.81/13.59	c lb -844 (thread 0)
27.02/13.63	c lb -843 (thread 0)
27.02/13.68	c lb -842 (thread 0)
27.21/13.72	c lb -841 (thread 0)
27.21/13.76	c lb -840 (thread 0)
27.41/13.80	c lb -839 (thread 0)
27.41/13.84	c lb -838 (thread 0)
27.41/13.88	c lb -837 (thread 0)
27.62/13.92	c lb -836 (thread 0)
27.62/13.96	c lb -835 (thread 0)
27.81/14.00	c lb -834 (thread 0)
27.81/14.04	c lb -833 (thread 0)
27.81/14.08	c lb -832 (thread 0)
28.01/14.13	c lb -831 (thread 0)
28.01/14.17	c lb -830 (thread 0)
28.22/14.21	c lb -829 (thread 0)
28.22/14.25	c lb -828 (thread 0)
28.22/14.29	c lb -827 (thread 0)
28.43/14.33	c lb -826 (thread 0)
28.43/14.37	c lb -825 (thread 0)
28.62/14.42	c lb -824 (thread 0)
28.62/14.46	c lb -823 (thread 0)
28.82/14.50	c lb -822 (thread 0)
28.82/14.54	c lb -821 (thread 0)
28.82/14.59	c lb -820 (thread 0)
29.01/14.63	c lb -819 (thread 0)
29.01/14.67	c lb -818 (thread 0)
29.21/14.72	c lb -817 (thread 0)
29.21/14.76	c lb -816 (thread 0)
29.41/14.80	c lb -815 (thread 0)
29.41/14.85	c lb -814 (thread 0)
29.41/14.89	c lb -813 (thread 0)
29.61/14.94	c lb -812 (thread 0)
29.61/14.98	c lb -811 (thread 0)
29.81/15.02	c lb -810 (thread 0)
29.81/15.07	c lb -809 (thread 0)
30.02/15.11	c lb -808 (thread 0)
30.02/15.15	c lb -807 (thread 0)
30.22/15.20	c lb -806 (thread 0)
30.22/15.24	c lb -805 (thread 0)
30.22/15.29	c lb -804 (thread 0)
30.42/15.33	c lb -803 (thread 0)
30.42/15.38	c lb -802 (thread 0)
30.63/15.42	c lb -801 (thread 0)
30.63/15.47	c lb -800 (thread 0)
30.82/15.51	c lb -799 (thread 0)
30.82/15.56	c lb -798 (thread 0)
31.02/15.60	c lb -797 (thread 0)
31.02/15.65	c lb -796 (thread 0)
31.02/15.69	c lb -795 (thread 0)
31.21/15.74	c lb -794 (thread 0)
31.21/15.78	c lb -793 (thread 0)
31.41/15.83	c lb -792 (thread 0)
31.41/15.87	c lb -791 (thread 0)
31.61/15.92	c lb -790 (thread 0)
31.61/15.97	c lb -789 (thread 0)
31.82/16.01	c lb -788 (thread 0)
31.82/16.06	c lb -787 (thread 0)
32.01/16.10	c lb -786 (thread 0)
32.01/16.15	c lb -785 (thread 0)
32.21/16.20	c lb -784 (thread 0)
32.21/16.25	c lb -783 (thread 0)
32.21/16.29	c lb -782 (thread 0)
32.42/16.34	c lb -781 (thread 0)
32.42/16.39	c lb -780 (thread 0)
32.62/16.44	c lb -779 (thread 0)
32.62/16.48	c lb -778 (thread 0)
32.83/16.53	c lb -777 (thread 0)
32.83/16.58	c lb -776 (thread 0)
33.01/16.63	c lb -775 (thread 0)
33.01/16.67	c lb -774 (thread 0)
33.21/16.72	c lb -773 (thread 0)
33.21/16.77	c lb -772 (thread 0)
33.41/16.82	c lb -771 (thread 0)
33.41/16.87	c lb -770 (thread 0)
33.61/16.92	c lb -769 (thread 0)
33.61/16.96	c lb -768 (thread 0)
33.81/17.01	c lb -767 (thread 0)
33.81/17.06	c lb -766 (thread 0)
34.02/17.11	c lb -765 (thread 0)
34.02/17.16	c lb -764 (thread 0)
34.21/17.21	c lb -763 (thread 0)
34.21/17.26	c lb -762 (thread 0)
34.41/17.30	c lb -761 (thread 0)
34.41/17.35	c lb -760 (thread 0)
34.61/17.40	c lb -759 (thread 0)
34.61/17.45	c lb -758 (thread 0)
34.82/17.50	c lb -757 (thread 0)
34.82/17.55	c lb -756 (thread 0)
35.02/17.60	c lb -755 (thread 0)
35.02/17.65	c lb -754 (thread 0)
35.21/17.70	c lb -753 (thread 0)
35.21/17.75	c lb -752 (thread 0)
35.41/17.80	c lb -751 (thread 0)
35.41/17.85	c lb -750 (thread 0)
35.61/17.90	c lb -749 (thread 0)
35.61/17.95	c lb -748 (thread 0)
35.81/18.00	c lb -747 (thread 0)
35.81/18.05	c lb -746 (thread 0)
36.01/18.11	c lb -745 (thread 0)
36.01/18.16	c lb -744 (thread 0)
36.21/18.21	c lb -743 (thread 0)
36.21/18.26	c lb -742 (thread 0)
36.42/18.31	c lb -741 (thread 0)
36.42/18.36	c lb -740 (thread 0)
36.62/18.41	c lb -739 (thread 0)
36.62/18.46	c lb -738 (thread 0)
36.81/18.52	c lb -737 (thread 0)
36.81/18.57	c lb -736 (thread 0)
37.02/18.62	c lb -735 (thread 0)
37.02/18.67	c lb -734 (thread 0)
37.22/18.72	c lb -733 (thread 0)
37.22/18.78	c lb -732 (thread 0)
37.41/18.83	c lb -731 (thread 0)
37.41/18.88	c lb -730 (thread 0)
37.61/18.93	c lb -729 (thread 0)
37.61/18.99	c lb -728 (thread 0)
37.82/19.04	c lb -727 (thread 0)
37.82/19.09	c lb -726 (thread 0)
38.01/19.15	c lb -725 (thread 0)
38.21/19.20	c lb -724 (thread 0)
38.21/19.25	c lb -723 (thread 0)
38.41/19.30	c lb -722 (thread 0)
38.41/19.36	c lb -721 (thread 0)
38.61/19.41	c lb -720 (thread 0)
38.61/19.47	c lb -719 (thread 0)
38.82/19.52	c lb -718 (thread 0)
38.82/19.57	c lb -717 (thread 0)
39.02/19.63	c lb -716 (thread 0)
39.02/19.68	c lb -715 (thread 0)
39.22/19.74	c lb -714 (thread 0)
39.22/19.79	c lb -713 (thread 0)
39.42/19.84	c lb -712 (thread 0)
39.61/19.90	c lb -711 (thread 0)
39.61/19.95	c lb -710 (thread 0)
39.81/20.01	c lb -709 (thread 0)
39.81/20.06	c lb -708 (thread 0)
40.01/20.12	c lb -707 (thread 0)
40.01/20.17	c lb -706 (thread 0)
40.21/20.22	c lb -705 (thread 0)
40.21/20.28	c lb -704 (thread 0)
40.41/20.33	c lb -703 (thread 0)
40.41/20.39	c lb -702 (thread 0)
40.61/20.44	c lb -701 (thread 0)
40.61/20.49	c lb -700 (thread 0)
40.81/20.55	c lb -699 (thread 0)
41.01/20.60	c lb -698 (thread 0)
41.01/20.66	c lb -697 (thread 0)
41.21/20.71	c lb -696 (thread 0)
41.21/20.77	c lb -695 (thread 0)
41.42/20.82	c lb -694 (thread 0)
41.42/20.87	c lb -693 (thread 0)
41.62/20.93	c lb -692 (thread 0)
41.62/20.99	c lb -691 (thread 0)
41.81/21.05	c lb -690 (thread 0)
42.01/21.11	c lb -689 (thread 0)
42.01/21.16	c lb -688 (thread 0)
42.21/21.22	c lb -687 (thread 0)
42.21/21.28	c lb -686 (thread 0)
42.41/21.33	c lb -685 (thread 0)
42.41/21.39	c lb -684 (thread 0)
42.61/21.45	c lb -683 (thread 0)
42.81/21.50	c lb -682 (thread 0)
42.81/21.56	c lb -681 (thread 0)
43.01/21.62	c lb -680 (thread 0)
43.01/21.67	c lb -679 (thread 0)
43.21/21.73	c lb -678 (thread 0)
43.21/21.79	c lb -677 (thread 0)
43.41/21.85	c lb -676 (thread 0)
43.62/21.91	c lb -675 (thread 0)
43.62/21.96	c lb -674 (thread 0)
43.83/22.02	c lb -673 (thread 0)
43.83/22.08	c lb -672 (thread 0)
44.02/22.14	c lb -671 (thread 0)
44.02/22.19	c lb -670 (thread 0)
44.21/22.25	c lb -669 (thread 0)
44.41/22.31	c lb -668 (thread 0)
44.41/22.37	c lb -667 (thread 0)
44.61/22.43	c lb -666 (thread 0)
44.61/22.49	c lb -665 (thread 0)
44.81/22.55	c lb -664 (thread 0)
45.01/22.60	c lb -663 (thread 0)
45.01/22.66	c lb -662 (thread 0)
45.21/22.72	c lb -661 (thread 0)
45.21/22.78	c lb -660 (thread 0)
45.42/22.84	c lb -659 (thread 0)
45.61/22.90	c lb -658 (thread 0)
45.61/22.96	c lb -657 (thread 0)
45.82/23.02	c lb -656 (thread 0)
45.82/23.08	c lb -655 (thread 0)
46.02/23.14	c lb -654 (thread 0)
46.02/23.20	c lb -653 (thread 0)
46.21/23.25	c lb -652 (thread 0)
46.41/23.31	c lb -651 (thread 0)
46.41/23.37	c lb -650 (thread 0)
46.61/23.43	c lb -649 (thread 0)
46.61/23.49	c lb -648 (thread 0)
46.82/23.55	c lb -647 (thread 0)
47.02/23.61	c lb -646 (thread 0)
47.02/23.67	c lb -645 (thread 0)
47.22/23.73	c lb -644 (thread 0)
47.22/23.79	c lb -643 (thread 0)
47.41/23.86	c lb -642 (thread 0)
47.61/23.92	c lb -641 (thread 0)
47.61/23.98	c lb -640 (thread 0)
47.81/24.04	c lb -639 (thread 0)
48.02/24.10	c lb -638 (thread 0)
48.02/24.16	c lb -637 (thread 0)
48.23/24.22	c lb -636 (thread 0)
48.23/24.29	c lb -635 (thread 0)
48.41/24.35	c lb -634 (thread 0)
48.61/24.41	c lb -633 (thread 0)
48.61/24.47	c lb -632 (thread 0)
48.81/24.54	c lb -631 (thread 0)
49.01/24.60	c lb -630 (thread 0)
49.01/24.66	c lb -629 (thread 0)
49.21/24.72	c lb -628 (thread 0)
49.21/24.78	c lb -627 (thread 0)
49.41/24.85	c lb -626 (thread 0)
49.61/24.91	c lb -625 (thread 0)
49.61/24.97	c lb -624 (thread 0)
49.81/25.03	c lb -623 (thread 0)
50.02/25.10	c lb -622 (thread 0)
50.02/25.16	c lb -621 (thread 0)
50.22/25.23	c lb -620 (thread 0)
50.22/25.29	c lb -619 (thread 0)
50.43/25.36	c lb -618 (thread 0)
50.61/25.42	c lb -617 (thread 0)
50.61/25.48	c lb -616 (thread 0)
50.81/25.54	c lb -615 (thread 0)
51.01/25.61	c lb -614 (thread 0)
51.01/25.67	c lb -613 (thread 0)
51.21/25.74	c lb -612 (thread 0)
51.42/25.80	c lb -611 (thread 0)
51.42/25.86	c lb -610 (thread 0)
51.61/25.93	c lb -609 (thread 0)
51.61/25.99	c lb -608 (thread 0)
51.81/26.05	c lb -607 (thread 0)
52.01/26.12	c lb -606 (thread 0)
52.01/26.18	c lb -605 (thread 0)
52.21/26.25	c lb -604 (thread 0)
52.42/26.31	c lb -603 (thread 0)
52.42/26.38	c lb -602 (thread 0)
52.62/26.44	c lb -601 (thread 0)
52.81/26.50	c lb -600 (thread 0)
52.81/26.56	c lb -599 (thread 0)
53.02/26.63	c lb -598 (thread 0)
53.02/26.69	c lb -597 (thread 0)
53.22/26.76	c lb -596 (thread 0)
53.41/26.82	c lb -595 (thread 0)
53.41/26.89	c lb -594 (thread 0)
53.61/26.95	c lb -593 (thread 0)
53.82/27.01	c lb -592 (thread 0)
53.82/27.08	c lb -591 (thread 0)
54.01/27.14	c lb -590 (thread 0)
54.21/27.20	c lb -589 (thread 0)
54.21/27.27	c lb -588 (thread 0)
54.41/27.33	c lb -587 (thread 0)
54.41/27.39	c lb -586 (thread 0)
54.62/27.46	c lb -585 (thread 0)
54.82/27.52	c lb -584 (thread 0)
54.82/27.58	c lb -583 (thread 0)
55.01/27.65	c lb -582 (thread 0)
55.22/27.71	c lb -581 (thread 0)
55.22/27.78	c lb -580 (thread 0)
55.42/27.84	c lb -579 (thread 0)
55.61/27.91	c lb -578 (thread 0)
55.61/27.97	c lb -577 (thread 0)
55.81/28.04	c lb -576 (thread 0)
56.01/28.10	c lb -575 (thread 0)
56.01/28.17	c lb -574 (thread 0)
56.21/28.23	c lb -573 (thread 0)
56.41/28.30	c lb -572 (thread 0)
56.41/28.36	c lb -571 (thread 0)
56.61/28.43	c lb -570 (thread 0)
56.61/28.49	c lb -569 (thread 0)
56.82/28.56	c lb -568 (thread 0)
57.02/28.62	c lb -567 (thread 0)
57.02/28.69	c lb -566 (thread 0)
57.21/28.75	c lb -565 (thread 0)
57.41/28.82	c lb -564 (thread 0)
57.41/28.89	c lb -563 (thread 0)
57.61/28.95	c lb -562 (thread 0)
57.81/29.02	c lb -561 (thread 0)
57.81/29.09	c lb -560 (thread 0)
58.01/29.15	c lb -559 (thread 0)
58.21/29.22	c lb -558 (thread 0)
58.21/29.29	c lb -557 (thread 0)
58.42/29.35	c lb -556 (thread 0)
58.61/29.42	c lb -555 (thread 0)
58.61/29.49	c lb -554 (thread 0)
58.81/29.55	c lb -553 (thread 0)
59.02/29.62	c lb -552 (thread 0)
59.02/29.69	c lb -551 (thread 0)
59.22/29.75	c lb -550 (thread 0)
59.42/29.82	c lb -549 (thread 0)
59.42/29.89	c lb -548 (thread 0)
59.62/29.95	c lb -547 (thread 0)
59.82/30.02	c lb -546 (thread 0)
59.82/30.09	c lb -545 (thread 0)
60.01/30.16	c lb -544 (thread 0)
60.21/30.23	c lb -543 (thread 0)
60.21/30.29	c lb -542 (thread 0)
60.41/30.36	c lb -541 (thread 0)
60.61/30.43	c lb -540 (thread 0)
60.81/30.50	c lb -539 (thread 0)
60.81/30.56	c lb -538 (thread 0)
61.01/30.63	c lb -537 (thread 0)
61.01/30.70	c lb -536 (thread 0)
61.22/30.77	c lb -535 (thread 0)
61.42/30.84	c lb -534 (thread 0)
61.61/30.90	c lb -533 (thread 0)
61.61/30.97	c lb -532 (thread 0)
61.82/31.04	c lb -531 (thread 0)
62.01/31.11	c lb -530 (thread 0)
62.01/31.17	c lb -529 (thread 0)
62.21/31.24	c lb -528 (thread 0)
62.41/31.31	c lb -527 (thread 0)
62.41/31.38	c lb -526 (thread 0)
62.61/31.45	c lb -525 (thread 0)
62.81/31.52	c lb -524 (thread 0)
62.81/31.58	c lb -523 (thread 0)
63.01/31.65	c lb -522 (thread 0)
63.21/31.72	c lb -521 (thread 0)
63.21/31.79	c lb -520 (thread 0)
63.43/31.86	c lb -519 (thread 0)
63.62/31.93	c lb -518 (thread 0)
63.62/31.99	c lb -517 (thread 0)
63.81/32.06	c lb -516 (thread 0)
64.02/32.13	c lb -515 (thread 0)
64.21/32.20	c lb -514 (thread 0)
64.21/32.27	c lb -513 (thread 0)
64.42/32.34	c lb -512 (thread 0)
64.62/32.40	c lb -511 (thread 0)
64.62/32.47	c lb -510 (thread 0)
64.81/32.54	c lb -509 (thread 0)
65.01/32.61	c lb -508 (thread 0)
65.01/32.68	c lb -507 (thread 0)
65.22/32.74	c lb -506 (thread 0)
65.42/32.81	c lb -505 (thread 0)
65.42/32.88	c lb -504 (thread 0)
65.62/32.95	c lb -503 (thread 0)
65.83/33.02	c lb -502 (thread 0)
65.83/33.09	c lb -501 (thread 0)
66.01/33.15	c lb -500 (thread 0)
66.21/33.22	c lb -499 (thread 0)
66.21/33.29	c lb -498 (thread 0)
66.41/33.35	c lb -497 (thread 0)
66.61/33.42	c lb -496 (thread 0)
66.61/33.49	c lb -495 (thread 0)
66.81/33.55	c lb -494 (thread 0)
67.01/33.61	c lb -493 (thread 0)
67.01/33.68	c lb -492 (thread 0)
67.21/33.74	c lb -491 (thread 0)
67.41/33.81	c lb -490 (thread 0)
67.41/33.87	c lb -489 (thread 0)
67.61/33.94	c lb -488 (thread 0)
67.61/34.00	c lb -487 (thread 0)
67.82/34.07	c lb -486 (thread 0)
68.02/34.13	c lb -485 (thread 0)
68.21/34.20	c lb -484 (thread 0)
68.21/34.27	c lb -483 (thread 0)
68.41/34.35	c lb -482 (thread 0)
68.61/34.41	c lb -481 (thread 0)
68.61/34.48	c lb -480 (thread 0)
68.81/34.56	c lb -479 (thread 0)
69.01/34.62	c lb -478 (thread 0)
69.01/34.69	c lb -477 (thread 0)
69.21/34.76	c lb -476 (thread 0)
69.41/34.83	c lb -475 (thread 0)
69.61/34.90	c lb -474 (thread 0)
69.61/34.97	c lb -473 (thread 0)
69.82/35.04	c lb -472 (thread 0)
70.02/35.11	c lb -471 (thread 0)
70.02/35.18	c lb -470 (thread 0)
70.22/35.25	c lb -469 (thread 0)
70.41/35.32	c lb -468 (thread 0)
70.41/35.39	c lb -467 (thread 0)
70.61/35.46	c lb -466 (thread 0)
70.81/35.53	c lb -465 (thread 0)
71.01/35.60	c lb -464 (thread 0)
71.01/35.67	c lb -463 (thread 0)
71.21/35.74	c lb -462 (thread 0)
71.41/35.81	c lb -461 (thread 0)
71.41/35.88	c lb -460 (thread 0)
71.61/35.95	c lb -459 (thread 0)
71.81/36.02	c lb -458 (thread 0)
71.81/36.09	c lb -457 (thread 0)
72.01/36.16	c lb -456 (thread 0)
72.22/36.23	c lb -455 (thread 0)
72.22/36.30	c lb -454 (thread 0)
72.42/36.37	c lb -453 (thread 0)
72.61/36.44	c lb -452 (thread 0)
72.81/36.51	c lb -451 (thread 0)
72.81/36.58	c lb -450 (thread 0)
73.01/36.65	c lb -449 (thread 0)
73.21/36.72	c lb -448 (thread 0)
73.21/36.79	c lb -447 (thread 0)
73.41/36.86	c lb -446 (thread 0)
73.61/36.93	c lb -445 (thread 0)
73.81/37.00	c lb -444 (thread 0)
73.81/37.07	c lb -443 (thread 0)
74.01/37.14	c lb -442 (thread 0)
74.21/37.21	c lb -441 (thread 0)
74.21/37.28	c lb -440 (thread 0)
74.42/37.35	c lb -439 (thread 0)
74.63/37.42	c lb -438 (thread 0)
74.63/37.48	c lb -437 (thread 0)
74.81/37.56	c lb -436 (thread 0)
75.01/37.62	c lb -435 (thread 0)
75.01/37.69	c lb -434 (thread 0)
75.21/37.76	c lb -433 (thread 0)
75.41/37.83	c lb -432 (thread 0)
75.62/37.90	c lb -431 (thread 0)
75.62/37.97	c lb -430 (thread 0)
75.81/38.04	c lb -429 (thread 0)
76.01/38.11	c lb -428 (thread 0)
76.01/38.18	c lb -427 (thread 0)
76.21/38.25	c lb -426 (thread 0)
76.41/38.33	c lb -425 (thread 0)
76.62/38.40	c lb -424 (thread 0)
76.62/38.47	c lb -423 (thread 0)
76.83/38.54	c lb -422 (thread 0)
77.02/38.61	c lb -421 (thread 0)
77.02/38.68	c lb -420 (thread 0)
77.22/38.75	c lb -419 (thread 0)
77.41/38.82	c lb -418 (thread 0)
77.41/38.89	c lb -417 (thread 0)
77.61/38.96	c lb -416 (thread 0)
77.81/39.03	c lb -415 (thread 0)
78.01/39.11	c lb -414 (thread 0)
78.01/39.18	c lb -413 (thread 0)
78.21/39.25	c lb -412 (thread 0)
78.41/39.32	c lb -411 (thread 0)
78.41/39.39	c lb -410 (thread 0)
78.61/39.46	c lb -409 (thread 0)
78.82/39.53	c lb -408 (thread 0)
79.02/39.60	c lb -407 (thread 0)
79.02/39.68	c lb -406 (thread 0)
79.21/39.74	c lb -405 (thread 0)
79.41/39.82	c lb -404 (thread 0)
79.41/39.88	c lb -403 (thread 0)
79.61/39.96	c lb -402 (thread 0)
79.81/40.02	c lb -401 (thread 0)
79.81/40.09	c lb -400 (thread 0)
80.01/40.16	c lb -399 (thread 0)
80.22/40.23	c lb -398 (thread 0)
80.42/40.30	c lb -397 (thread 0)
80.42/40.37	c lb -396 (thread 0)
80.61/40.44	c lb -395 (thread 0)
80.81/40.51	c lb -394 (thread 0)
80.81/40.58	c lb -393 (thread 0)
81.02/40.64	c lb -392 (thread 0)
81.22/40.72	c lb -391 (thread 0)
81.22/40.79	c lb -390 (thread 0)
81.41/40.86	c lb -389 (thread 0)
81.61/40.93	c lb -388 (thread 0)
81.81/41.00	c lb -387 (thread 0)
81.81/41.07	c lb -386 (thread 0)
82.01/41.15	c lb -385 (thread 0)
82.22/41.21	c lb -384 (thread 0)
82.22/41.28	c lb -383 (thread 0)
82.41/41.36	c lb -382 (thread 0)
82.61/41.43	c lb -381 (thread 0)
82.81/41.50	c lb -380 (thread 0)
82.81/41.57	c lb -379 (thread 0)
83.01/41.64	c lb -378 (thread 0)
83.22/41.71	c lb -377 (thread 0)
83.22/41.78	c lb -376 (thread 0)
83.42/41.85	c lb -375 (thread 0)
83.62/41.93	c lb -374 (thread 0)
83.81/42.00	c lb -373 (thread 0)
83.81/42.07	c lb -372 (thread 0)
84.01/42.14	c lb -371 (thread 0)
84.21/42.22	c lb -370 (thread 0)
84.21/42.29	c lb -369 (thread 0)
84.41/42.36	c lb -368 (thread 0)
84.62/42.44	c lb -367 (thread 0)
84.81/42.51	c lb -366 (thread 0)
84.81/42.59	c lb -365 (thread 0)
85.01/42.66	c lb -364 (thread 0)
85.21/42.73	c lb -363 (thread 0)
85.42/42.81	c lb -362 (thread 0)
85.42/42.88	c lb -361 (thread 0)
85.63/42.95	c lb -360 (thread 0)
85.81/43.03	c lb -359 (thread 0)
86.01/43.10	c lb -358 (thread 0)
86.01/43.17	c lb -357 (thread 0)
86.21/43.25	c lb -356 (thread 0)
86.41/43.32	c lb -355 (thread 0)
86.62/43.40	c lb -354 (thread 0)
86.62/43.47	c lb -353 (thread 0)
86.81/43.55	c lb -352 (thread 0)
87.01/43.62	c lb -351 (thread 0)
87.21/43.70	c lb -350 (thread 0)
87.21/43.77	c lb -349 (thread 0)
87.41/43.85	c lb -348 (thread 0)
87.62/43.92	c lb -347 (thread 0)
87.62/44.00	c lb -346 (thread 0)
87.82/44.07	c lb -345 (thread 0)
88.01/44.15	c lb -344 (thread 0)
88.21/44.23	c lb -343 (thread 0)
88.41/44.31	c lb -342 (thread 0)
88.41/44.38	c lb -341 (thread 0)
88.61/44.46	c lb -340 (thread 0)
88.81/44.54	c lb -339 (thread 0)
89.01/44.62	c lb -338 (thread 0)
89.21/44.70	c lb -337 (thread 0)
89.21/44.77	c lb -336 (thread 0)
89.41/44.85	c lb -335 (thread 0)
89.61/44.92	c lb -334 (thread 0)
89.82/45.00	c lb -333 (thread 0)
89.82/45.07	c lb -332 (thread 0)
90.02/45.15	c lb -331 (thread 0)
90.21/45.23	c lb -330 (thread 0)
90.42/45.30	c lb -329 (thread 0)
90.42/45.38	c lb -328 (thread 0)
90.61/45.46	c lb -327 (thread 0)
90.82/45.53	c lb -326 (thread 0)
91.01/45.62	c lb -325 (thread 0)
91.01/45.69	c lb -324 (thread 0)
91.21/45.77	c lb -323 (thread 0)
91.42/45.84	c lb -322 (thread 0)
91.61/45.92	c lb -321 (thread 0)
91.81/46.00	c lb -320 (thread 0)
91.81/46.08	c lb -319 (thread 0)
92.02/46.15	c lb -318 (thread 0)
92.23/46.24	c lb -317 (thread 0)
92.41/46.32	c lb -316 (thread 0)
92.41/46.39	c lb -315 (thread 0)
92.61/46.47	c lb -314 (thread 0)
92.81/46.54	c lb -313 (thread 0)
93.02/46.69	c lb -312 (thread 0)
93.21/46.77	c lb -311 (thread 0)
93.41/46.87	c lb -310 (thread 0)
93.81/47.04	c lb -309 (thread 0)
94.01/47.12	c lb -308 (thread 0)
94.22/47.20	c lb -307 (thread 0)
94.22/47.29	c lb -306 (thread 0)
94.43/47.39	c lb -305 (thread 0)
94.61/47.47	c lb -304 (thread 0)
94.81/47.57	c lb -303 (thread 0)
95.01/47.65	c lb -302 (thread 0)
95.21/47.73	c lb -301 (thread 0)
95.41/47.81	c lb -300 (thread 0)
95.41/47.89	c lb -299 (thread 0)
95.81/48.03	c lb -298 (thread 0)
96.01/48.11	c lb -297 (thread 0)
96.01/48.19	c lb -296 (thread 0)
96.42/48.30	c lb -295 (thread 0)
96.62/48.45	c lb -294 (thread 0)
96.81/48.59	c lb -293 (thread 0)
97.01/48.66	c lb -292 (thread 0)
97.21/48.76	c lb -291 (thread 0)
97.41/48.85	c lb -290 (thread 0)
97.61/48.94	c lb -289 (thread 0)
98.01/49.12	c lb -288 (thread 0)
99.01/49.65	c lb -287 (thread 0)
99.21/49.74	c lb -286 (thread 0)
104.61/52.46	c lb -285 (thread 0)
247.62/123.90	c ub -21 (thread 1)
287.61/143.90	o -21
287.61/143.90	c lb -284 (thread 0)
288.02/144.15	c lb -283 (thread 0)
880.21/440.27	c ub -22 (thread 1)
1800.03/900.11	o -22
1800.03/900.11	s SATISFIABLE
1800.03/900.11	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -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
1800.03/900.11	c Memory used           : 980.02 MB
1800.03/900.11	c CPU time              : 1793.98 s

Verifier Data 

OK	-22

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500338-1307993907/watcher-3500338-1307993907 -o /var/tmp/evaluation-result-3500338-1307993907/solver-3500338-1307993907 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500338-1307993907.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.02 4.00 3.92 4/179 13026
/proc/meminfo: memFree=12331568/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=5044 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) R 13024 13026 12151 0 -1 4202496 461 0 0 0 0 0 0 0 25 0 1 0 910991459 5165056 413 33554432000 4194304 5714118 140735357834448 18446744073709551615 4226516 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13026/statm: 1261 413 164 372 0 324 0

[startup+0.0445791 s]
/proc/loadavg: 4.02 4.00 3.92 4/179 13026
/proc/meminfo: memFree=12331568/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=8500 CPUtime=0.04 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) R 13024 13026 12151 0 -1 4202496 1438 0 0 0 4 0 0 0 25 0 1 0 910991459 8704000 1390 33554432000 4194304 5714118 140735357834448 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13026/statm: 2125 1390 288 372 0 1188 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8500

[startup+0.100564 s]
/proc/loadavg: 4.02 4.00 3.92 4/179 13026
/proc/meminfo: memFree=12331568/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=13516 CPUtime=0.09 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) R 13024 13026 12151 0 -1 4202496 2897 0 0 0 9 0 0 0 25 0 1 0 910991459 13840384 2783 33554432000 4194304 5714118 140735357834448 18446744073709551615 4235229 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13026/statm: 3379 2784 469 372 0 2442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13516

[startup+0.307474 s]
/proc/loadavg: 4.02 4.00 3.92 4/179 13026
/proc/meminfo: memFree=12331568/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=149948 CPUtime=0.43 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 14684 0 0 0 38 5 0 0 18 0 3 0 910991459 153546752 13506 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 37487 13506 178 372 0 37112 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 149948

[startup+0.7004 s]
/proc/loadavg: 4.02 4.00 3.92 4/179 13026
/proc/meminfo: memFree=12331568/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=149948 CPUtime=1.21 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 18443 0 0 0 110 11 0 0 18 0 3 0 910991459 153546752 16175 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 37487 16175 178 372 0 37112 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 149948

[startup+1.50026 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 13029
/proc/meminfo: memFree=12261384/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=149948 CPUtime=2.81 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 22483 0 0 0 262 19 0 0 18 0 3 0 910991459 153546752 19285 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 37487 19285 178 372 0 37112 0
[pid=13026/tid=13028] ppid=13024 vsize=149948 CPUtime=1.32 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 8289 0 0 0 131 1 0 0 19 0 3 0 910991477 153546752 19285 33554432000 4194304 5714118 140735357834448 18446744073709551615 4968724 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=149948 CPUtime=1.31 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 9268 0 0 0 114 17 0 0 18 0 3 0 910991477 153546752 19285 33554432000 4194304 5714118 140735357834448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 149948

[startup+3.10099 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 13029
/proc/meminfo: memFree=12244892/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=149948 CPUtime=6.02 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 26770 0 0 0 574 28 0 0 18 0 3 0 910991459 153546752 23572 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 37487 23572 178 372 0 37112 0
[pid=13026/tid=13028] ppid=13024 vsize=149948 CPUtime=2.92 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 8289 0 0 0 291 1 0 0 25 0 3 0 910991477 153546752 23572 33554432000 4194304 5714118 140735357834448 18446744073709551615 4964722 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=149948 CPUtime=2.92 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 13555 0 0 0 266 26 0 0 22 0 3 0 910991477 153546752 23572 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 149948

[startup+6.30041 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 13029
/proc/meminfo: memFree=12209384/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=215484 CPUtime=12.41 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 33884 0 0 0 1198 43 0 0 18 0 3 0 910991459 220655616 30686 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 53871 30687 178 372 0 53496 0
[pid=13026/tid=13028] ppid=13024 vsize=215484 CPUtime=6.12 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 8522 0 0 0 611 1 0 0 25 0 3 0 910991477 220655616 30687 33554432000 4194304 5714118 140735357834448 18446744073709551615 4336510 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=215484 CPUtime=6.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 20437 0 0 0 570 41 0 0 19 0 3 0 910991477 220655616 30687 33554432000 4194304 5714118 140735357834448 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 215484

[startup+12.7012 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 13030
/proc/meminfo: memFree=12161912/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=215484 CPUtime=25.22 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 43839 0 0 0 2458 64 0 0 18 0 3 0 910991459 220655616 40641 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 53871 40641 178 372 0 53496 0
[pid=13026/tid=13028] ppid=13024 vsize=215484 CPUtime=12.52 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 9398 0 0 0 1251 1 0 0 25 0 3 0 910991477 220655616 40641 33554432000 4194304 5714118 140735357834448 18446744073709551615 4964670 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=215484 CPUtime=12.52 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 29515 0 0 0 1190 62 0 0 25 0 3 0 910991477 220655616 40641 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 215484

[startup+25.5009 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 13030
/proc/meminfo: memFree=12110932/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=281020 CPUtime=50.81 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 65782 0 0 0 4989 92 0 0 18 0 3 0 910991459 287764480 51548 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 70255 51548 178 372 0 69880 0
[pid=13026/tid=13028] ppid=13024 vsize=281020 CPUtime=25.32 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 22517 0 0 0 2528 4 0 0 25 0 3 0 910991477 287764480 51548 33554432000 4194304 5714118 140735357834448 18446744073709551615 4977550 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=281020 CPUtime=25.31 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 38339 0 0 0 2444 87 0 0 18 0 3 0 910991477 287764480 51548 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 281020

[startup+51.1012 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 13031
/proc/meminfo: memFree=12026820/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=346556 CPUtime=102.01 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 106258 0 0 0 10053 148 0 0 18 0 3 0 910991459 354873344 69190 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 86639 69190 178 372 0 86264 0
[pid=13026/tid=13028] ppid=13024 vsize=346556 CPUtime=50.92 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 48922 0 0 0 5069 23 0 0 25 0 3 0 910991477 354873344 69190 33554432000 4194304 5714118 140735357834448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=346556 CPUtime=50.91 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 52410 0 0 0 4967 124 0 0 25 0 3 0 910991477 354873344 69190 33554432000 4194304 5714118 140735357834448 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 346556

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13032
/proc/meminfo: memFree=11805024/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=477628 CPUtime=204.42 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 149893 0 0 0 20194 248 0 0 18 0 3 0 910991459 489091072 112821 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 119407 112821 179 372 0 119032 0
[pid=13026/tid=13028] ppid=13024 vsize=477628 CPUtime=102.13 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 63867 0 0 0 10169 44 0 0 25 0 3 0 910991477 489091072 112821 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=477628 CPUtime=102.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 81100 0 0 0 10008 203 0 0 18 0 3 0 910991477 489091072 112821 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.42
Current children cumulated vsize (KiB) 477628

[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13034
/proc/meminfo: memFree=11729852/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=608700 CPUtime=324.42 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 164577 0 0 0 32159 283 0 0 18 0 3 0 910991459 623308800 127293 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 152175 127293 179 372 0 151800 0
[pid=13026/tid=13028] ppid=13024 vsize=608700 CPUtime=162.12 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 73152 0 0 0 16151 61 0 0 25 0 3 0 910991477 623308800 127293 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=608700 CPUtime=162.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 86499 0 0 0 15990 221 0 0 25 0 3 0 910991477 623308800 127293 33554432000 4194304 5714118 140735357834448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.42
Current children cumulated vsize (KiB) 608700

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13035
/proc/meminfo: memFree=11709724/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=608700 CPUtime=444.41 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 165020 0 0 0 44147 294 0 0 18 0 3 0 910991459 623308800 127736 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 152175 127736 179 372 0 151800 0
[pid=13026/tid=13028] ppid=13024 vsize=608700 CPUtime=222.12 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 73593 0 0 0 22142 70 0 0 25 0 3 0 910991477 623308800 127736 33554432000 4194304 5714118 140735357834448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=608700 CPUtime=222.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 86501 0 0 0 21988 223 0 0 25 0 3 0 910991477 623308800 127736 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 608700

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.92 6/182 13037
/proc/meminfo: memFree=11672108/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=610324 CPUtime=564.42 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 174368 0 0 0 56131 311 0 0 18 0 3 0 910991459 624971776 137083 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 152581 137083 179 372 0 152206 0
[pid=13026/tid=13028] ppid=13024 vsize=610324 CPUtime=282.12 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 82938 0 0 0 28127 85 0 0 25 0 3 0 910991477 624971776 137083 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=610324 CPUtime=282.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 86504 0 0 0 27987 224 0 0 25 0 3 0 910991477 624971776 137083 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 610324

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13079
/proc/meminfo: memFree=12188816/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=610324 CPUtime=684.41 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 175455 0 0 0 68118 323 0 0 18 0 3 0 910991459 624971776 138170 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 152581 138170 179 372 0 152206 0
[pid=13026/tid=13028] ppid=13024 vsize=610324 CPUtime=342.13 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 84007 0 0 0 34116 97 0 0 25 0 3 0 910991477 624971776 138170 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=610324 CPUtime=342.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 86522 0 0 0 33986 225 0 0 25 0 3 0 910991477 624971776 138170 33554432000 4194304 5714118 140735357834448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 610324

[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13081
/proc/meminfo: memFree=12073548/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=741396 CPUtime=804.42 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 201213 0 0 0 80057 385 0 0 18 0 3 0 910991459 759189504 163912 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 185349 163912 179 372 0 184974 0
[pid=13026/tid=13028] ppid=13024 vsize=741396 CPUtime=402.13 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 89758 0 0 0 40108 105 0 0 25 0 3 0 910991477 759189504 163912 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=741396 CPUtime=402.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 106529 0 0 0 39932 279 0 0 22 0 3 0 910991477 759189504 163912 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.42
Current children cumulated vsize (KiB) 741396

[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13083
/proc/meminfo: memFree=11954600/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=806932 CPUtime=924.42 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 228619 0 0 0 91987 455 0 0 18 0 3 0 910991459 826298368 191307 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 201733 191307 179 372 0 201358 0
[pid=13026/tid=13028] ppid=13024 vsize=806932 CPUtime=462.13 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 98392 0 0 0 46097 116 0 0 25 0 3 0 910991477 826298368 191307 33554432000 4194304 5714118 140735357834448 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=806932 CPUtime=462.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 125301 0 0 0 45873 338 0 0 25 0 3 0 910991477 826298368 191307 33554432000 4194304 5714118 140735357834448 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.42
Current children cumulated vsize (KiB) 806932

[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13084
/proc/meminfo: memFree=11934972/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=806932 CPUtime=1044.41 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 230278 0 0 0 103970 471 0 0 18 0 3 0 910991459 826298368 192965 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 201733 192965 179 372 0 201358 0
[pid=13026/tid=13028] ppid=13024 vsize=806932 CPUtime=522.14 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 100051 0 0 0 52084 130 0 0 25 0 3 0 910991477 826298368 192965 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=806932 CPUtime=522.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 125301 0 0 0 51870 341 0 0 25 0 3 0 910991477 826298368 192965 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.41
Current children cumulated vsize (KiB) 806932

[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13086
/proc/meminfo: memFree=11892280/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=872468 CPUtime=1164.41 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 238058 0 0 0 115950 491 0 0 18 0 3 0 910991459 893407232 200745 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 218117 200745 179 372 0 217742 0
[pid=13026/tid=13028] ppid=13024 vsize=872468 CPUtime=582.14 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 107831 0 0 0 58066 148 0 0 25 0 3 0 910991477 893407232 200745 33554432000 4194304 5714118 140735357834448 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=872468 CPUtime=582.1 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 125301 0 0 0 57868 342 0 0 25 0 3 0 910991477 893407232 200745 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.41
Current children cumulated vsize (KiB) 872468

[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13087
/proc/meminfo: memFree=11857772/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=872468 CPUtime=1284.43 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 244203 0 0 0 127939 504 0 0 18 0 3 0 910991459 893407232 206890 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 218117 206890 179 372 0 217742 0
[pid=13026/tid=13028] ppid=13024 vsize=872468 CPUtime=642.14 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 113976 0 0 0 64055 159 0 0 25 0 3 0 910991477 893407232 206890 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=872468 CPUtime=642.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 125301 0 0 0 63867 344 0 0 25 0 3 0 910991477 893407232 206890 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.43
Current children cumulated vsize (KiB) 872468

[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13089
/proc/meminfo: memFree=11850924/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=872468 CPUtime=1404.42 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 244785 0 0 0 139926 516 0 0 18 0 3 0 910991459 893407232 207470 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 218117 207470 179 372 0 217742 0
[pid=13026/tid=13028] ppid=13024 vsize=872468 CPUtime=702.13 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 114556 0 0 0 70044 169 0 0 25 0 3 0 910991477 893407232 207470 33554432000 4194304 5714118 140735357834448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=872468 CPUtime=702.1 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 125303 0 0 0 69865 345 0 0 25 0 3 0 910991477 893407232 207470 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.42
Current children cumulated vsize (KiB) 872468

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13091
/proc/meminfo: memFree=11824832/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=938004 CPUtime=1524.43 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 250212 0 0 0 151909 534 0 0 18 0 3 0 910991459 960516096 212896 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 234501 212896 179 372 0 234126 0
[pid=13026/tid=13028] ppid=13024 vsize=938004 CPUtime=762.15 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 119299 0 0 0 76031 184 0 0 25 0 3 0 910991477 960516096 212896 33554432000 4194304 5714118 140735357834448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=938004 CPUtime=762.11 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 125987 0 0 0 75862 349 0 0 25 0 3 0 910991477 960516096 212896 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.43
Current children cumulated vsize (KiB) 938004

[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13092
/proc/meminfo: memFree=11767744/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=1003540 CPUtime=1644.42 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 263794 0 0 0 163868 574 0 0 18 0 3 0 910991459 1027624960 226477 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 250885 226477 179 372 0 250510 0
[pid=13026/tid=13028] ppid=13024 vsize=1003540 CPUtime=822.14 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 124319 0 0 0 82014 200 0 0 25 0 3 0 910991477 1027624960 226477 33554432000 4194304 5714118 140735357834448 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=1003540 CPUtime=822.1 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 134549 0 0 0 81837 373 0 0 25 0 3 0 910991477 1027624960 226477 33554432000 4194304 5714118 140735357834448 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.42
Current children cumulated vsize (KiB) 1003540

[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13094
/proc/meminfo: memFree=11736824/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=1003540 CPUtime=1764.42 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 270518 0 0 0 175843 599 0 0 18 0 3 0 910991459 1027624960 233200 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 250885 233200 179 372 0 250510 0
[pid=13026/tid=13028] ppid=13024 vsize=1003540 CPUtime=882.14 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 124847 0 0 0 88004 210 0 0 25 0 3 0 910991477 1027624960 233200 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=1003540 CPUtime=882.1 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 140745 0 0 0 87822 388 0 0 25 0 3 0 910991477 1027624960 233200 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.42
Current children cumulated vsize (KiB) 1003540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13094
/proc/meminfo: memFree=11721568/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=1003540 CPUtime=1800.03 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 274034 0 0 0 179396 607 0 0 18 0 3 0 910991459 1027624960 236713 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 250885 236713 179 372 0 250510 0
[pid=13026/tid=13028] ppid=13024 vsize=1003540 CPUtime=899.94 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 125065 0 0 0 89781 213 0 0 25 0 3 0 910991477 1027624960 236713 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=1003540 CPUtime=899.91 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 144043 0 0 0 89598 393 0 0 25 0 3 0 910991477 1027624960 236713 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1003540

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13094
/proc/meminfo: memFree=11721568/32951124 swapFree=67056684/67111528
[pid=13026] ppid=13024 vsize=1003540 CPUtime=1800.03 cores=0,2,4,6
/proc/13026/stat : 13026 (pwbo1.1) S 13024 13026 12151 0 -1 4202496 274034 0 0 0 179396 607 0 0 18 0 3 0 910991459 1027624960 236713 33554432000 4194304 5714118 140735357834448 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 250885 236713 179 372 0 250510 0
[pid=13026/tid=13028] ppid=13024 vsize=1003540 CPUtime=899.94 cores=0,2,4,6
/proc/13026/task/13028/stat : 13028 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 125065 0 0 0 89781 213 0 0 25 0 3 0 910991477 1027624960 236713 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=1003540 CPUtime=899.91 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (pwbo1.1) R 13024 13026 12151 0 -1 4202560 144043 0 0 0 89598 393 0 0 25 0 3 0 910991477 1027624960 236713 33554432000 4194304 5714118 140735357834448 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1003540

Child status: 0
Real time (s): 900.154
CPU time (s): 1800.1
CPU user time (s): 1793.98
CPU system time (s): 6.11807
CPU usage (%): 199.976
Max. virtual memory (cumulated for all children) (KiB): 1003540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 6.11807
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274040
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= 702
involuntary context switches= 12461

runsolver used 1.59676 second user time and 3.06653 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-13 21:38:27
IDJOB=3500338
IDBENCH=2259
IDSOLVER=1954
FILE ID=node109/3500338-1307993907
RUNJOBID= node109-1307990274-12400
PBS_JOBID= 13559736
Free space on /var/tmp= 2880 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500338-1307993907/watcher-3500338-1307993907 -o /var/tmp/evaluation-result-3500338-1307993907/solver-3500338-1307993907 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500338-1307993907.opb

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

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=1367978702

node109.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.809
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.61
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.809
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.809
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.809
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.809
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.82
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.809
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.75
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.809
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.82
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.809
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	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12331996 kB
Buffers:        117052 kB
Cached:       19288984 kB
SwapCached:       8608 kB
Active:        4507456 kB
Inactive:     15434360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12331996 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:            6616 kB
Writeback:           0 kB
AnonPages:      532940 kB
Mapped:          13572 kB
Slab:           612444 kB
PageTables:       5712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   730168 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 /var/tmp at the end= 2872 MiB
End job on node109 at 2011-06-13 21:53:29