Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pwbo 1.1 | OPT | -7772 | 154.629 | 77.5642 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb |
MD5SUM | d0f46c7e79d3309033cc6b73ceacef6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7772 |
Best CPU time to get the best result obtained on this benchmark | 0.317951 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7772 |
Optimality of the best value was proved | YES |
Number of variables | 60 |
Total number of constraints | 30 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 30 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 974 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 9460 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 6000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 26162 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c pwbo 1.1 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3500057-1307989672.opb. 0.00/0.00 c Instance file HOME/instance-3500057-1307989672.opb 0.00/0.00 c File size is 15778 bytes. 0.00/0.00 c Highest Coefficient sum: 26162 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 60 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 30 | 0.00/0.00 c init lb 0 0.00/0.00 c init ub 9461 0.00/0.00 c ub 0 (thread 1) 0.00/0.00 o 0 0.00/0.00 c lb -9458 (thread 0) 0.00/0.00 c ub -6 (thread 1) 0.00/0.00 o -6 0.00/0.00 c ub -67 (thread 1) 0.00/0.00 o -67 0.00/0.00 c lb -9457 (thread 0) 0.00/0.00 c ub -930 (thread 1) 0.00/0.00 o -930 0.00/0.00 c ub -936 (thread 1) 0.00/0.00 o -936 0.00/0.00 c lb -9454 (thread 0) 0.00/0.00 c ub -1200 (thread 1) 0.00/0.00 o -1200 0.00/0.00 c ub -1904 (thread 1) 0.00/0.00 o -1904 0.00/0.00 c lb -9453 (thread 0) 0.00/0.00 c ub -1960 (thread 1) 0.00/0.00 o -1960 0.00/0.00 c ub -2638 (thread 1) 0.00/0.00 o -2638 0.00/0.00 c ub -2876 (thread 1) 0.00/0.00 o -2876 0.00/0.00 c lb -9447 (thread 0) 0.00/0.00 c ub -2913 (thread 1) 0.00/0.00 o -2913 0.00/0.00 c ub -2914 (thread 1) 0.00/0.00 o -2914 0.00/0.00 c lb -9439 (thread 0) 0.00/0.00 c ub -2921 (thread 1) 0.00/0.00 o -2921 0.00/0.00 c lb -9438 (thread 0) 0.00/0.00 c ub -2930 (thread 1) 0.00/0.00 o -2930 0.00/0.00 c ub -2946 (thread 1) 0.00/0.00 o -2946 0.00/0.00 c lb -9435 (thread 0) 0.00/0.00 c ub -2960 (thread 1) 0.00/0.00 o -2960 0.00/0.00 c lb -9433 (thread 0) 0.00/0.00 c ub -2995 (thread 1) 0.00/0.00 o -2995 0.00/0.00 c ub -3019 (thread 1) 0.00/0.00 o -3019 0.00/0.00 c lb -9431 (thread 0) 0.00/0.00 c ub -3024 (thread 1) 0.00/0.00 o -3024 0.00/0.00 c ub -3068 (thread 1) 0.00/0.00 o -3068 0.00/0.00 c lb -9429 (thread 0) 0.00/0.00 c ub -3112 (thread 1) 0.00/0.00 o -3112 0.00/0.00 c ub -3170 (thread 1) 0.00/0.00 o -3170 0.00/0.00 c lb -9427 (thread 0) 0.00/0.00 c ub -3202 (thread 1) 0.00/0.00 o -3202 0.00/0.00 c ub -3234 (thread 1) 0.00/0.00 o -3234 0.00/0.00 c lb -9421 (thread 0) 0.00/0.00 c ub -3279 (thread 1) 0.00/0.00 o -3279 0.00/0.00 c ub -3334 (thread 1) 0.00/0.00 o -3334 0.00/0.00 c lb -9413 (thread 0) 0.00/0.00 c ub -3345 (thread 1) 0.00/0.00 o -3345 0.00/0.00 c ub -3355 (thread 1) 0.00/0.00 o -3355 0.00/0.00 c ub -3394 (thread 1) 0.00/0.00 o -3394 0.00/0.00 c lb -9409 (thread 0) 0.00/0.00 c ub -3422 (thread 1) 0.00/0.00 o -3422 0.00/0.00 c ub -3570 (thread 1) 0.00/0.00 o -3570 0.00/0.00 c ub -3595 (thread 1) 0.00/0.00 o -3595 0.00/0.00 c lb -9408 (thread 0) 0.00/0.00 c ub -3653 (thread 1) 0.00/0.00 o -3653 0.00/0.00 c ub -3655 (thread 1) 0.00/0.00 o -3655 0.00/0.00 c lb -9407 (thread 0) 0.00/0.00 c ub -3670 (thread 1) 0.00/0.00 o -3670 0.00/0.00 c ub -3673 (thread 1) 0.00/0.00 o -3673 0.00/0.00 c ub -3726 (thread 1) 0.00/0.00 o -3726 0.00/0.00 c lb -9405 (thread 0) 0.00/0.00 c ub -3739 (thread 1) 0.00/0.00 o -3739 0.00/0.00 c ub -4294 (thread 1) 0.00/0.00 o -4294 0.00/0.00 c ub -4297 (thread 1) 0.00/0.00 o -4297 0.00/0.00 c lb -9404 (thread 0) 0.00/0.00 c ub -4328 (thread 1) 0.00/0.00 o -4328 0.00/0.00 c ub -4342 (thread 1) 0.00/0.00 o -4342 0.00/0.00 c lb -9399 (thread 0) 0.00/0.00 c ub -4375 (thread 1) 0.00/0.00 o -4375 0.00/0.00 c ub -4387 (thread 1) 0.00/0.00 o -4387 0.00/0.00 c lb -9397 (thread 0) 0.00/0.00 c ub -4395 (thread 1) 0.00/0.00 o -4395 0.00/0.00 c ub -4470 (thread 1) 0.00/0.00 o -4470 0.00/0.00 c ub -4670 (thread 1) 0.00/0.00 o -4670 0.00/0.00 c lb -9395 (thread 0) 0.00/0.00 c ub -4673 (thread 1) 0.00/0.00 o -4673 0.00/0.00 c ub -4684 (thread 1) 0.00/0.01 o -4684 0.00/0.01 c lb -9393 (thread 0) 0.00/0.01 c ub -4686 (thread 1) 0.00/0.01 o -4686 0.00/0.01 c ub -4694 (thread 1) 0.00/0.01 o -4694 0.00/0.01 c lb -9391 (thread 0) 0.00/0.01 c ub -4697 (thread 1) 0.00/0.01 o -4697 0.00/0.01 c ub -4721 (thread 1) 0.00/0.01 o -4721 0.00/0.01 c lb -9388 (thread 0) 0.00/0.01 c ub -4755 (thread 1) 0.00/0.01 o -4755 0.00/0.01 c ub -4802 (thread 1) 0.00/0.01 o -4802 0.00/0.01 c lb -9385 (thread 0) 0.00/0.01 c ub -4812 (thread 1) 0.00/0.01 o -4812 0.00/0.01 c ub -4815 (thread 1) 0.00/0.01 o -4815 0.00/0.01 c lb -9384 (thread 0) 0.00/0.01 c ub -4817 (thread 1) 0.00/0.01 o -4817 0.00/0.01 c ub -4864 (thread 1) 0.00/0.01 o -4864 0.00/0.01 c ub -4886 (thread 1) 0.00/0.01 o -4886 0.00/0.01 c lb -9383 (thread 0) 0.00/0.01 c ub -4892 (thread 1) 0.00/0.01 o -4892 0.00/0.01 c ub -4900 (thread 1) 0.00/0.01 o -4900 0.00/0.01 c lb -9378 (thread 0) 0.00/0.01 c ub -4978 (thread 1) 0.00/0.01 o -4978 0.00/0.01 c ub -5041 (thread 1) 0.00/0.01 o -5041 0.00/0.01 c lb -9377 (thread 0) 0.00/0.01 c ub -5093 (thread 1) 0.00/0.01 o -5093 0.00/0.01 c ub -5106 (thread 1) 0.00/0.01 o -5106 0.00/0.01 c lb -9375 (thread 0) 0.00/0.01 c ub -5110 (thread 1) 0.00/0.01 o -5110 0.00/0.01 c ub -5116 (thread 1) 0.00/0.01 o -5116 0.00/0.01 c lb -9369 (thread 0) 0.00/0.01 c lb -9365 (thread 0) 0.00/0.01 c lb -9350 (thread 0) 0.00/0.01 c lb -9348 (thread 0) 0.00/0.01 c lb -9347 (thread 0) 0.00/0.01 c lb -9344 (thread 0) 0.00/0.02 c lb -9343 (thread 0) 0.00/0.02 c lb -9337 (thread 0) 0.00/0.02 c lb -9329 (thread 0) 0.00/0.02 c lb -9328 (thread 0) 0.00/0.02 c lb -9325 (thread 0) 0.00/0.02 c lb -9323 (thread 0) 0.00/0.02 c lb -9321 (thread 0) 0.00/0.02 c lb -9319 (thread 0) 0.00/0.02 c lb -9317 (thread 0) 0.00/0.02 c lb -9311 (thread 0) 0.00/0.03 c lb -9303 (thread 0) 0.00/0.03 c lb -9299 (thread 0) 0.00/0.03 c lb -9298 (thread 0) 0.00/0.03 c lb -9297 (thread 0) 0.00/0.03 c lb -9295 (thread 0) 0.00/0.03 c lb -9294 (thread 0) 0.00/0.03 c lb -9289 (thread 0) 0.00/0.03 c lb -9287 (thread 0) 0.00/0.04 c lb -9285 (thread 0) 0.07/0.04 c lb -9283 (thread 0) 0.07/0.04 c ub -5127 (thread 1) 0.07/0.04 o -5127 0.07/0.04 c ub -5130 (thread 1) 0.07/0.04 o -5130 0.07/0.04 c lb -9281 (thread 0) 0.07/0.04 c ub -5133 (thread 1) 0.07/0.04 o -5133 0.07/0.04 c lb -9278 (thread 0) 0.07/0.04 c lb -9275 (thread 0) 0.07/0.04 c lb -9274 (thread 0) 0.07/0.04 c lb -9273 (thread 0) 0.07/0.04 c lb -9268 (thread 0) 0.07/0.05 c lb -9267 (thread 0) 0.07/0.05 c lb -9265 (thread 0) 0.07/0.05 c lb -9260 (thread 0) 0.07/0.05 c lb -9258 (thread 0) 0.07/0.05 c lb -9257 (thread 0) 0.07/0.05 c lb -9256 (thread 0) 0.07/0.06 c lb -9254 (thread 0) 0.07/0.06 c lb -9253 (thread 0) 0.07/0.06 c lb -9252 (thread 0) 0.07/0.07 c lb -9247 (thread 0) 0.07/0.07 c lb -9246 (thread 0) 0.07/0.07 c lb -9245 (thread 0) 0.07/0.08 c lb -9243 (thread 0) 0.07/0.08 c lb -9241 (thread 0) 0.07/0.08 c lb -9240 (thread 0) 0.07/0.09 c lb -9239 (thread 0) 0.07/0.09 c lb -9238 (thread 0) 0.07/0.09 c lb -9236 (thread 0) 0.07/0.09 c lb -9235 (thread 0) 0.07/0.09 c ub -5134 (thread 1) 0.19/0.10 o -5134 0.19/0.10 c lb -9234 (thread 0) 0.19/0.10 c lb -9233 (thread 0) 0.19/0.10 c lb -9232 (thread 0) 0.19/0.11 c lb -9231 (thread 0) 0.19/0.11 c lb -9230 (thread 0) 0.19/0.11 c lb -9229 (thread 0) 0.19/0.11 c ub -5138 (thread 1) 0.19/0.12 o -5138 0.19/0.12 c lb -9225 (thread 0) 0.19/0.12 c ub -5144 (thread 1) 0.19/0.12 o -5144 0.19/0.12 c lb -9224 (thread 0) 0.19/0.12 c lb -9223 (thread 0) 0.19/0.12 c lb -9222 (thread 0) 0.19/0.13 c lb -9221 (thread 0) 0.19/0.13 c ub -5147 (thread 1) 0.19/0.13 o -5147 0.19/0.13 c ub -5150 (thread 1) 0.19/0.13 o -5150 0.19/0.13 c lb -9220 (thread 0) 0.19/0.13 c lb -9219 (thread 0) 0.19/0.14 c lb -9218 (thread 0) 0.19/0.14 c lb -9217 (thread 0) 0.19/0.14 c lb -9216 (thread 0) 0.19/0.15 c lb -9215 (thread 0) 0.19/0.15 c lb -9214 (thread 0) 0.19/0.16 c lb -9213 (thread 0) 0.19/0.16 c lb -9212 (thread 0) 0.19/0.16 c ub -5151 (thread 1) 0.19/0.16 o -5151 0.19/0.16 c ub -5157 (thread 1) 0.19/0.16 o -5157 0.19/0.16 c ub -5158 (thread 1) 0.19/0.16 o -5158 0.19/0.16 c ub -5164 (thread 1) 0.19/0.17 o -5164 0.19/0.17 c lb -9211 (thread 0) 0.19/0.17 c lb -9210 (thread 0) 0.19/0.18 c lb -9209 (thread 0) 0.19/0.18 c lb -9207 (thread 0) 0.19/0.19 c lb -9206 (thread 0) 0.19/0.20 c lb -9205 (thread 0) 0.38/0.20 c ub -5166 (thread 1) 0.38/0.20 o -5166 0.38/0.20 c lb -9204 (thread 0) 0.38/0.21 c lb -9203 (thread 0) 0.38/0.21 c lb -9202 (thread 0) 0.38/0.22 c ub -5168 (thread 1) 0.38/0.22 o -5168 0.38/0.22 c ub -5171 (thread 1) 0.38/0.22 o -5171 0.38/0.22 c lb -9201 (thread 0) 0.38/0.23 c ub -5172 (thread 1) 0.38/0.23 o -5172 0.38/0.23 c lb -9200 (thread 0) 0.38/0.23 c ub -5173 (thread 1) 0.38/0.23 o -5173 0.38/0.23 c ub -5179 (thread 1) 0.38/0.23 o -5179 0.38/0.23 c ub -5180 (thread 1) 0.38/0.23 o -5180 0.38/0.23 c ub -5184 (thread 1) 0.38/0.24 o -5184 0.38/0.24 c ub -5185 (thread 1) 0.38/0.24 o -5185 0.38/0.24 c lb -9199 (thread 0) 0.38/0.24 c lb -9198 (thread 0) 0.38/0.25 c lb -9197 (thread 0) 0.38/0.25 c lb -9196 (thread 0) 0.38/0.26 c ub -5191 (thread 1) 0.38/0.26 o -5191 0.38/0.26 c ub -5213 (thread 1) 0.38/0.26 o -5213 0.38/0.26 c lb -9195 (thread 0) 0.38/0.26 c ub -5219 (thread 1) 0.38/0.27 o -5219 0.38/0.27 c ub -5225 (thread 1) 0.38/0.27 o -5225 0.38/0.27 c ub -5234 (thread 1) 0.38/0.27 o -5234 0.38/0.27 c lb -9194 (thread 0) 0.38/0.27 c ub -5240 (thread 1) 0.38/0.28 o -5240 0.38/0.28 c lb -9193 (thread 0) 0.38/0.29 c lb -9192 (thread 0) 0.59/0.30 c ub -5244 (thread 1) 0.59/0.30 o -5244 0.59/0.30 c lb -9191 (thread 0) 0.59/0.30 c ub -5246 (thread 1) 0.59/0.30 o -5246 0.59/0.30 c ub -5251 (thread 1) 0.59/0.30 o -5251 0.59/0.30 c lb -9190 (thread 0) 0.59/0.31 c lb -9189 (thread 0) 0.59/0.32 c ub -5255 (thread 1) 0.59/0.32 o -5255 0.59/0.32 c ub -5261 (thread 1) 0.59/0.32 o -5261 0.59/0.32 c ub -5263 (thread 1) 0.59/0.32 o -5263 0.59/0.32 c ub -5267 (thread 1) 0.59/0.32 o -5267 0.59/0.32 c ub -5271 (thread 1) 0.59/0.32 o -5271 0.59/0.32 c ub -5274 (thread 1) 0.59/0.32 o -5274 0.59/0.32 c ub -5280 (thread 1) 0.59/0.32 o -5280 0.59/0.32 c ub -5288 (thread 1) 0.59/0.33 o -5288 0.59/0.33 c ub -5290 (thread 1) 0.59/0.33 o -5290 0.59/0.33 c lb -9188 (thread 0) 0.59/0.33 c ub -5293 (thread 1) 0.59/0.33 o -5293 0.59/0.33 c ub -5296 (thread 1) 0.59/0.33 o -5296 0.59/0.33 c ub -5302 (thread 1) 0.59/0.34 o -5302 0.59/0.34 c lb -9187 (thread 0) 0.59/0.35 c ub -5303 (thread 1) 0.59/0.36 o -5303 0.59/0.36 c lb -9186 (thread 0) 0.59/0.36 c ub -5306 (thread 1) 0.59/0.37 o -5306 0.59/0.37 c lb -9185 (thread 0) 0.59/0.37 c ub -5309 (thread 1) 0.59/0.37 o -5309 0.59/0.37 c ub -5313 (thread 1) 0.59/0.38 o -5313 0.59/0.38 c ub -5315 (thread 1) 0.59/0.38 o -5315 0.59/0.38 c ub -5321 (thread 1) 0.59/0.38 o -5321 0.59/0.38 c lb -9184 (thread 0) 0.59/0.39 c lb -9183 (thread 0) 0.79/0.40 c ub -5326 (thread 1) 0.79/0.40 o -5326 0.79/0.40 c ub -5332 (thread 1) 0.79/0.40 o -5332 0.79/0.40 c ub -5334 (thread 1) 0.79/0.40 o -5334 0.79/0.40 c ub -5343 (thread 1) 0.79/0.41 o -5343 0.79/0.41 c lb -9182 (thread 0) 0.79/0.41 c ub -5346 (thread 1) 0.79/0.41 o -5346 0.79/0.41 c ub -5348 (thread 1) 0.79/0.42 o -5348 0.79/0.42 c ub -5349 (thread 1) 0.79/0.42 o -5349 0.79/0.42 c lb -9181 (thread 0) 0.79/0.42 c ub -5352 (thread 1) 0.79/0.43 o -5352 0.79/0.43 c ub -5353 (thread 1) 0.79/0.44 o -5353 0.79/0.44 c ub -5361 (thread 1) 0.79/0.44 o -5361 0.79/0.44 c lb -9180 (thread 0) 0.79/0.44 c ub -5363 (thread 1) 0.79/0.45 o -5363 0.79/0.45 c lb -9179 (thread 0) 0.79/0.45 c ub -5367 (thread 1) 0.79/0.46 o -5367 0.79/0.46 c ub -5369 (thread 1) 0.79/0.46 o -5369 0.79/0.46 c ub -5370 (thread 1) 0.79/0.46 o -5370 0.79/0.46 c ub -5371 (thread 1) 0.79/0.46 o -5371 0.79/0.46 c ub -5377 (thread 1) 0.79/0.46 o -5377 0.79/0.46 c ub -5380 (thread 1) 0.79/0.47 o -5380 0.79/0.47 c ub -5386 (thread 1) 0.79/0.47 o -5386 0.79/0.47 c lb -9178 (thread 0) 0.79/0.47 c ub -5398 (thread 1) 0.79/0.48 o -5398 0.79/0.48 c ub -5404 (thread 1) 0.79/0.48 o -5404 0.79/0.48 c lb -9177 (thread 0) 0.79/0.49 c ub -5405 (thread 1) 0.99/0.50 o -5405 0.99/0.50 c lb -9176 (thread 0) 0.99/0.51 c ub -5407 (thread 1) 0.99/0.51 o -5407 0.99/0.51 c ub -5408 (thread 1) 0.99/0.51 o -5408 0.99/0.51 c lb -9175 (thread 0) 0.99/0.52 c ub -5409 (thread 1) 0.99/0.53 o -5409 0.99/0.53 c ub -5410 (thread 1) 0.99/0.53 o -5410 0.99/0.53 c lb -9174 (thread 0) 0.99/0.55 c lb -9173 (thread 0) 0.99/0.55 c ub -5411 (thread 1) 0.99/0.55 o -5411 0.99/0.55 c ub -5415 (thread 1) 0.99/0.55 o -5415 0.99/0.55 c ub -5417 (thread 1) 0.99/0.56 o -5417 0.99/0.56 c ub -5422 (thread 1) 0.99/0.56 o -5422 0.99/0.56 c ub -5423 (thread 1) 0.99/0.57 o -5423 0.99/0.57 c lb -9172 (thread 0) 0.99/0.57 c ub -5428 (thread 1) 0.99/0.57 o -5428 0.99/0.57 c ub -5430 (thread 1) 0.99/0.57 o -5430 0.99/0.57 c ub -5431 (thread 1) 0.99/0.57 o -5431 0.99/0.57 c ub -5436 (thread 1) 0.99/0.58 o -5436 0.99/0.58 c ub -5440 (thread 1) 0.99/0.58 o -5440 0.99/0.58 c lb -9171 (thread 0) 0.99/0.59 c ub -5441 (thread 1) 1.19/0.60 o -5441 1.19/0.60 c lb -9170 (thread 0) 1.19/0.60 c ub -5447 (thread 1) 1.19/0.61 o -5447 1.19/0.61 c ub -5453 (thread 1) 1.19/0.61 o -5453 1.19/0.61 c lb -9169 (thread 0) 1.19/0.64 c lb -9168 (thread 0) 1.19/0.64 c ub -5454 (thread 1) 1.19/0.65 o -5454 1.19/0.65 c ub -5457 (thread 1) 1.19/0.65 o -5457 1.19/0.65 c lb -9167 (thread 0) 1.19/0.66 c ub -5463 (thread 1) 1.19/0.66 o -5463 1.19/0.66 c ub -5464 (thread 1) 1.19/0.66 o -5464 1.19/0.66 c ub -5470 (thread 1) 1.19/0.67 o -5470 1.19/0.67 c lb -9166 (thread 0) 1.19/0.69 c lb -9165 (thread 0) 1.19/0.69 c ub -5476 (thread 1) 1.39/0.70 o -5476 1.39/0.70 c ub -5479 (thread 1) 1.39/0.70 o -5479 1.39/0.70 c lb -9164 (thread 0) 1.39/0.70 c ub -5482 (thread 1) 1.39/0.71 o -5482 1.39/0.71 c ub -5483 (thread 1) 1.39/0.72 o -5483 1.39/0.72 c lb -9163 (thread 0) 1.39/0.73 c ub -5486 (thread 1) 1.39/0.73 o -5486 1.39/0.73 c lb -9162 (thread 0) 1.39/0.75 c lb -9161 (thread 0) 1.39/0.77 c ub -5487 (thread 1) 1.39/0.77 o -5487 1.39/0.77 c ub -5493 (thread 1) 1.39/0.77 o -5493 1.39/0.77 c ub -5500 (thread 1) 1.39/0.77 o -5500 1.39/0.77 c lb -9160 (thread 0) 1.39/0.78 c ub -5501 (thread 1) 1.39/0.78 o -5501 1.39/0.78 c ub -5505 (thread 1) 1.39/0.78 o -5505 1.39/0.78 c ub -5507 (thread 1) 1.39/0.78 o -5507 1.39/0.78 c ub -5508 (thread 1) 1.39/0.78 o -5508 1.39/0.78 c ub -5514 (thread 1) 1.39/0.78 o -5514 1.39/0.78 c ub -5520 (thread 1) 1.39/0.79 o -5520 1.39/0.79 c ub -5525 (thread 1) 1.39/0.79 o -5525 1.39/0.79 c ub -5526 (thread 1) 1.39/0.79 o -5526 1.39/0.79 c ub -5532 (thread 1) 1.39/0.80 o -5532 1.39/0.80 c lb -9159 (thread 0) 1.59/0.80 c ub -5533 (thread 1) 1.59/0.80 o -5533 1.59/0.80 c ub -5539 (thread 1) 1.59/0.82 o -5539 1.59/0.82 c lb -9158 (thread 0) 1.59/0.84 c ub -5546 (thread 1) 1.59/0.84 o -5546 1.59/0.84 c ub -5552 (thread 1) 1.59/0.84 o -5552 1.59/0.84 c ub -5558 (thread 1) 1.59/0.84 o -5558 1.59/0.84 c ub -5559 (thread 1) 1.59/0.84 o -5559 1.59/0.84 c ub -5565 (thread 1) 1.59/0.85 o -5565 1.59/0.85 c lb -9157 (thread 0) 1.59/0.86 c ub -5570 (thread 1) 1.59/0.88 o -5570 1.59/0.88 c ub -5573 (thread 1) 1.59/0.88 o -5573 1.59/0.88 c ub -5574 (thread 1) 1.59/0.88 o -5574 1.59/0.88 c ub -5580 (thread 1) 1.59/0.89 o -5580 1.59/0.89 c ub -5586 (thread 1) 1.59/0.89 o -5586 1.59/0.89 c lb -9156 (thread 0) 1.59/0.89 c ub -5587 (thread 1) 1.59/0.90 o -5587 1.59/0.90 c ub -5592 (thread 1) 1.79/0.90 o -5592 1.79/0.90 c ub -5593 (thread 1) 1.79/0.90 o -5593 1.79/0.90 c ub -5599 (thread 1) 1.79/0.90 o -5599 1.79/0.90 c ub -5601 (thread 1) 1.79/0.90 o -5601 1.79/0.90 c ub -5607 (thread 1) 1.79/0.90 o -5607 1.79/0.90 c ub -5608 (thread 1) 1.79/0.91 o -5608 1.79/0.91 c lb -9155 (thread 0) 1.79/0.93 c lb -9154 (thread 0) 1.79/0.96 c lb -9153 (thread 0) 1.79/0.99 c lb -9152 (thread 0) 1.79/1.00 c ub -5612 (thread 1) 2.00/1.02 o -5612 2.00/1.02 c lb -9151 (thread 0) 2.00/1.05 c lb -9150 (thread 0) 2.00/1.07 c ub -5615 (thread 1) 2.00/1.07 o -5615 2.00/1.07 c ub -5621 (thread 1) 2.00/1.08 o -5621 2.00/1.08 c ub -5624 (thread 1) 2.00/1.08 o -5624 2.00/1.08 c ub -5630 (thread 1) 2.00/1.08 o -5630 2.00/1.08 c lb -9149 (thread 0) 2.00/1.08 c ub -5636 (thread 1) 2.00/1.08 o -5636 2.00/1.08 c ub -5637 (thread 1) 2.00/1.08 o -5637 2.00/1.08 c ub -5639 (thread 1) 2.00/1.09 o -5639 2.00/1.09 c ub -5647 (thread 1) 2.00/1.09 o -5647 2.00/1.09 c ub -5653 (thread 1) 2.00/1.09 o -5653 2.00/1.09 c ub -5659 (thread 1) 2.19/1.11 o -5659 2.19/1.11 c lb -9148 (thread 0) 2.19/1.11 c ub -5661 (thread 1) 2.19/1.12 o -5661 2.19/1.12 c ub -5667 (thread 1) 2.19/1.12 o -5667 2.19/1.12 c ub -5671 (thread 1) 2.19/1.13 o -5671 2.19/1.13 c ub -5677 (thread 1) 2.19/1.13 o -5677 2.19/1.13 c ub -5693 (thread 1) 2.19/1.14 o -5693 2.19/1.14 c ub -5699 (thread 1) 2.19/1.14 o -5699 2.19/1.14 c ub -5705 (thread 1) 2.19/1.14 o -5705 2.19/1.14 c ub -5706 (thread 1) 2.19/1.14 o -5706 2.19/1.14 c ub -5712 (thread 1) 2.19/1.15 o -5712 2.19/1.15 c ub -5722 (thread 1) 2.19/1.15 o -5722 2.19/1.15 c ub -5728 (thread 1) 2.19/1.16 o -5728 2.19/1.16 c ub -5748 (thread 1) 2.19/1.19 o -5748 2.19/1.19 c ub -5775 (thread 1) 2.19/1.19 o -5775 2.19/1.19 c ub -5781 (thread 1) 2.39/1.22 o -5781 2.39/1.22 c ub -5796 (thread 1) 2.39/1.25 o -5796 2.39/1.25 c ub -5798 (thread 1) 2.39/1.25 o -5798 2.39/1.25 c ub -5804 (thread 1) 2.39/1.25 o -5804 2.39/1.25 c ub -5810 (thread 1) 2.39/1.29 o -5810 2.39/1.29 c ub -5815 (thread 1) 2.39/1.29 o -5815 2.39/1.29 c lb -9147 (thread 0) 2.39/1.29 c ub -5816 (thread 1) 2.39/1.30 o -5816 2.39/1.30 c ub -5817 (thread 1) 2.59/1.30 o -5817 2.59/1.30 c ub -5818 (thread 1) 2.59/1.34 o -5818 2.59/1.34 c ub -5826 (thread 1) 2.59/1.34 o -5826 2.59/1.34 c ub -5832 (thread 1) 2.59/1.34 o -5832 2.59/1.34 c ub -5839 (thread 1) 2.59/1.38 o -5839 2.59/1.38 c lb -9146 (thread 0) 2.79/1.41 c ub -5840 (thread 1) 2.79/1.41 o -5840 2.79/1.41 c ub -5846 (thread 1) 2.79/1.42 o -5846 2.79/1.42 c lb -9145 (thread 0) 2.79/1.43 c ub -5849 (thread 1) 2.79/1.44 o -5849 2.79/1.44 c ub -5850 (thread 1) 2.79/1.44 o -5850 2.79/1.44 c ub -5856 (thread 1) 2.79/1.45 o -5856 2.79/1.45 c ub -5857 (thread 1) 2.79/1.45 o -5857 2.79/1.45 c lb -9144 (thread 0) 2.79/1.45 c ub -5860 (thread 1) 2.79/1.46 o -5860 2.79/1.46 c ub -5866 (thread 1) 2.99/1.50 o -5866 2.99/1.50 c ub -5868 (thread 1) 2.99/1.50 o -5868 2.99/1.50 c ub -5874 (thread 1) 2.99/1.51 o -5874 2.99/1.51 c ub -5880 (thread 1) 2.99/1.53 o -5880 2.99/1.53 c lb -9143 (thread 0) 2.99/1.54 c ub -5881 (thread 1) 2.99/1.55 o -5881 2.99/1.55 c ub -5887 (thread 1) 2.99/1.55 o -5887 2.99/1.55 c ub -5893 (thread 1) 2.99/1.56 o -5893 2.99/1.56 c ub -5894 (thread 1) 2.99/1.56 o -5894 2.99/1.56 c lb -9142 (thread 0) 2.99/1.57 c ub -5900 (thread 1) 3.19/1.64 o -5900 3.19/1.64 c ub -5905 (thread 1) 3.19/1.65 o -5905 3.19/1.65 c ub -5924 (thread 1) 3.19/1.66 o -5924 3.19/1.66 c lb -9141 (thread 0) 3.39/1.75 c lb -9140 (thread 0) 3.39/1.75 c ub -5929 (thread 1) 3.39/1.75 o -5929 3.39/1.75 c ub -5935 (thread 1) 3.39/1.75 o -5935 3.39/1.75 c ub -5936 (thread 1) 3.79/1.95 o -5936 3.79/1.95 c lb -9139 (thread 0) 3.79/1.98 c lb -9138 (thread 0) 4.20/2.13 c ub -5946 (thread 1) 4.20/2.13 o -5946 4.20/2.13 c ub -5965 (thread 1) 4.59/2.31 o -5965 4.59/2.31 c ub -5971 (thread 1) 4.59/2.32 o -5971 4.59/2.32 c ub -5972 (thread 1) 4.59/2.36 o -5972 4.59/2.36 c ub -5988 (thread 1) 4.79/2.42 o -5988 4.79/2.42 c ub -6010 (thread 1) 4.79/2.43 o -6010 4.79/2.43 c ub -6018 (thread 1) 4.79/2.43 o -6018 4.79/2.43 c ub -6036 (thread 1) 4.79/2.44 o -6036 4.79/2.44 c lb -9137 (thread 0) 5.19/2.62 c lb -9136 (thread 0) 5.39/2.75 c ub -6038 (thread 1) 5.39/2.75 o -6038 5.39/2.75 c ub -6044 (thread 1) 5.78/2.97 o -6044 5.78/2.97 c ub -6046 (thread 1) 5.78/2.98 o -6046 5.78/2.98 c ub -6056 (thread 1) 6.18/3.16 o -6056 6.18/3.16 c ub -6075 (thread 1) 6.18/3.18 o -6075 6.18/3.18 c ub -6081 (thread 1) 6.99/3.52 o -6081 6.99/3.52 c ub -6083 (thread 1) 6.99/3.53 o -6083 6.99/3.53 c ub -6103 (thread 1) 6.99/3.54 o -6103 6.99/3.54 c ub -6109 (thread 1) 6.99/3.54 o -6109 6.99/3.54 c ub -6122 (thread 1) 7.78/3.95 o -6122 7.78/3.95 c ub -6144 (thread 1) 8.80/4.42 o -6144 8.80/4.42 c lb -9135 (thread 0) 8.99/4.55 c ub -6174 (thread 1) 8.99/4.57 o -6174 8.99/4.57 c lb -9134 (thread 0) 9.19/4.60 c lb -9133 (thread 0) 10.19/5.18 c ub -6177 (thread 1) 10.39/5.20 o -6177 10.39/5.20 c ub -6182 (thread 1) 10.39/5.23 o -6182 10.39/5.23 c ub -6207 (thread 1) 10.39/5.25 o -6207 10.39/5.25 c ub -6213 (thread 1) 10.39/5.27 o -6213 10.39/5.27 c ub -6221 (thread 1) 10.39/5.27 o -6221 10.39/5.27 c ub -6254 (thread 1) 10.59/5.32 o -6254 10.59/5.32 c ub -6276 (thread 1) 10.80/5.41 o -6276 10.80/5.41 c ub -6288 (thread 1) 10.80/5.49 o -6288 10.80/5.49 c ub -6299 (thread 1) 10.80/5.50 o -6299 10.80/5.50 c ub -6300 (thread 1) 11.19/5.65 o -6300 11.19/5.65 c ub -6303 (thread 1) 11.38/5.76 o -6303 11.38/5.76 c ub -6314 (thread 1) 11.38/5.76 o -6314 11.38/5.76 c ub -6347 (thread 1) 11.38/5.77 o -6347 11.38/5.77 c ub -6352 (thread 1) 11.38/5.78 o -6352 11.38/5.78 c ub -6364 (thread 1) 11.38/5.78 o -6364 11.38/5.78 c ub -6370 (thread 1) 11.78/5.98 o -6370 11.78/5.98 c ub -6375 (thread 1) 11.98/6.01 o -6375 11.98/6.01 c ub -6376 (thread 1) 11.98/6.09 o -6376 11.98/6.09 c ub -6379 (thread 1) 11.98/6.09 o -6379 11.98/6.09 c ub -6380 (thread 1) 12.18/6.10 o -6380 12.18/6.10 c ub -6381 (thread 1) 12.18/6.10 o -6381 12.18/6.10 c ub -6387 (thread 1) 12.18/6.10 o -6387 12.18/6.10 c ub -6388 (thread 1) 12.18/6.10 o -6388 12.18/6.10 c ub -6394 (thread 1) 12.18/6.11 o -6394 12.18/6.11 c ub -6405 (thread 1) 12.18/6.13 o -6405 12.18/6.13 c ub -6410 (thread 1) 12.18/6.15 o -6410 12.18/6.15 c ub -6412 (thread 1) 12.18/6.17 o -6412 12.18/6.17 c ub -6414 (thread 1) 12.39/6.23 o -6414 12.39/6.23 c ub -6420 (thread 1) 12.39/6.24 o -6420 12.39/6.24 c ub -6421 (thread 1) 12.39/6.26 o -6421 12.39/6.26 c ub -6426 (thread 1) 12.39/6.26 o -6426 12.39/6.26 c ub -6432 (thread 1) 12.39/6.28 o -6432 12.39/6.28 c ub -6433 (thread 1) 12.59/6.30 o -6433 12.59/6.30 c ub -6443 (thread 1) 12.59/6.32 o -6443 12.59/6.32 c ub -6449 (thread 1) 12.59/6.34 o -6449 12.59/6.34 c ub -6453 (thread 1) 12.59/6.34 o -6453 12.59/6.34 c ub -6467 (thread 1) 12.59/6.35 o -6467 12.59/6.35 c ub -6468 (thread 1) 12.59/6.36 o -6468 12.59/6.36 c ub -6475 (thread 1) 12.59/6.36 o -6475 12.59/6.36 c ub -6481 (thread 1) 12.59/6.37 o -6481 12.59/6.37 c ub -6488 (thread 1) 12.79/6.40 o -6488 12.79/6.40 c ub -6501 (thread 1) 12.79/6.45 o -6501 12.79/6.45 c ub -6502 (thread 1) 12.79/6.46 o -6502 12.79/6.46 c ub -6508 (thread 1) 13.00/6.57 o -6508 13.00/6.57 c ub -6511 (thread 1) 13.20/6.69 o -6511 13.20/6.69 c ub -6514 (thread 1) 13.59/6.87 o -6514 13.59/6.87 c ub -6515 (thread 1) 13.78/6.95 o -6515 13.78/6.95 c ub -6523 (thread 1) 13.78/6.95 o -6523 13.78/6.95 c ub -6525 (thread 1) 13.78/6.97 o -6525 13.78/6.97 c ub -6527 (thread 1) 13.98/7.05 o -6527 13.98/7.05 c ub -6531 (thread 1) 13.98/7.09 o -6531 13.98/7.09 c ub -6537 (thread 1) 14.39/7.26 o -6537 14.39/7.26 c ub -6542 (thread 1) 14.59/7.35 o -6542 14.59/7.35 c ub -6543 (thread 1) 14.59/7.38 o -6543 14.59/7.38 c ub -6544 (thread 1) 14.79/7.42 o -6544 14.79/7.42 c ub -6548 (thread 1) 14.79/7.43 o -6548 14.79/7.43 c ub -6549 (thread 1) 14.79/7.45 o -6549 14.79/7.45 c ub -6552 (thread 1) 14.79/7.46 o -6552 14.79/7.46 c ub -6558 (thread 1) 14.79/7.47 o -6558 14.79/7.47 c ub -6562 (thread 1) 14.79/7.47 o -6562 14.79/7.47 c ub -6578 (thread 1) 14.79/7.48 o -6578 14.79/7.48 c ub -6584 (thread 1) 15.20/7.63 o -6584 15.20/7.63 c ub -6587 (thread 1) 15.40/7.73 o -6587 15.40/7.73 c ub -6592 (thread 1) 15.40/7.74 o -6592 15.40/7.74 c ub -6594 (thread 1) 15.40/7.75 o -6594 15.40/7.75 c ub -6602 (thread 1) 15.59/7.83 o -6602 15.59/7.83 c ub -6604 (thread 1) 15.59/7.84 o -6604 15.59/7.84 c ub -6609 (thread 1) 15.59/7.85 o -6609 15.59/7.85 c ub -6610 (thread 1) 15.59/7.85 o -6610 15.59/7.85 c ub -6613 (thread 1) 15.59/7.85 o -6613 15.59/7.85 c ub -6616 (thread 1) 15.59/7.86 o -6616 15.59/7.86 c ub -6618 (thread 1) 15.78/7.93 o -6618 15.78/7.93 c ub -6619 (thread 1) 15.78/7.98 o -6619 15.78/7.98 c ub -6624 (thread 1) 15.98/8.08 o -6624 15.98/8.08 c ub -6627 (thread 1) 16.18/8.11 o -6627 16.18/8.11 c ub -6628 (thread 1) 16.38/8.29 o -6628 16.38/8.29 c ub -6636 (thread 1) 16.38/8.29 o -6636 16.38/8.29 c ub -6642 (thread 1) 16.58/8.31 o -6642 16.58/8.31 c ub -6646 (thread 1) 16.58/8.31 o -6646 16.58/8.31 c ub -6652 (thread 1) 16.58/8.33 o -6652 16.58/8.33 c ub -6664 (thread 1) 16.58/8.34 o -6664 16.58/8.34 c ub -6670 (thread 1) 16.58/8.35 o -6670 16.58/8.35 c ub -6676 (thread 1) 16.58/8.35 o -6676 16.58/8.35 c ub -6678 (thread 1) 16.79/8.44 o -6678 16.79/8.44 c ub -6684 (thread 1) 16.79/8.45 o -6684 16.79/8.45 c ub -6687 (thread 1) 16.79/8.46 o -6687 16.79/8.46 c ub -6693 (thread 1) 16.99/8.52 o -6693 16.99/8.52 c ub -6698 (thread 1) 16.99/8.53 o -6698 16.99/8.53 c ub -6699 (thread 1) 16.99/8.53 o -6699 16.99/8.53 c ub -6701 (thread 1) 16.99/8.54 o -6701 16.99/8.54 c ub -6703 (thread 1) 16.99/8.54 o -6703 16.99/8.54 c ub -6705 (thread 1) 16.99/8.54 o -6705 16.99/8.54 c ub -6711 (thread 1) 16.99/8.55 o -6711 16.99/8.55 c ub -6714 (thread 1) 16.99/8.55 o -6714 16.99/8.55 c ub -6718 (thread 1) 16.99/8.56 o -6718 16.99/8.56 c ub -6720 (thread 1) 16.99/8.58 o -6720 16.99/8.58 c ub -6721 (thread 1) 16.99/8.58 o -6721 16.99/8.58 c ub -6724 (thread 1) 16.99/8.59 o -6724 16.99/8.59 c ub -6734 (thread 1) 17.19/8.60 o -6734 17.19/8.60 c ub -6735 (thread 1) 17.19/8.60 o -6735 17.19/8.60 c ub -6736 (thread 1) 17.19/8.61 o -6736 17.19/8.61 c ub -6740 (thread 1) 17.19/8.61 o -6740 17.19/8.61 c ub -6742 (thread 1) 17.19/8.64 o -6742 17.19/8.64 c ub -6744 (thread 1) 17.19/8.65 o -6744 17.19/8.65 c ub -6748 (thread 1) 17.19/8.65 o -6748 17.19/8.65 c ub -6749 (thread 1) 17.19/8.65 o -6749 17.19/8.65 c ub -6753 (thread 1) 17.19/8.66 o -6753 17.19/8.66 c ub -6755 (thread 1) 17.19/8.66 o -6755 17.19/8.66 c ub -6761 (thread 1) 17.19/8.69 o -6761 17.19/8.69 c ub -6765 (thread 1) 17.19/8.69 o -6765 17.19/8.69 c ub -6767 (thread 1) 17.19/8.70 o -6767 17.19/8.70 c ub -6769 (thread 1) 17.19/8.70 o -6769 17.19/8.70 c ub -6770 (thread 1) 17.39/8.71 o -6770 17.39/8.71 c ub -6772 (thread 1) 17.39/8.71 o -6772 17.39/8.71 c ub -6774 (thread 1) 17.78/8.91 o -6774 17.78/8.91 c ub -6779 (thread 1) 17.78/8.93 o -6779 17.78/8.93 c ub -6785 (thread 1) 17.78/8.94 o -6785 17.78/8.94 c ub -6788 (thread 1) 17.78/8.96 o -6788 17.78/8.96 c ub -6791 (thread 1) 17.78/8.96 o -6791 17.78/8.96 c ub -6794 (thread 1) 17.78/8.96 o -6794 17.78/8.96 c ub -6800 (thread 1) 17.78/8.97 o -6800 17.78/8.97 c ub -6803 (thread 1) 17.78/8.98 o -6803 17.78/8.98 c ub -6804 (thread 1) 17.78/8.98 o -6804 17.78/8.98 c ub -6806 (thread 1) 17.78/8.99 o -6806 17.78/8.99 c ub -6807 (thread 1) 17.78/9.00 o -6807 17.78/9.00 c ub -6815 (thread 1) 17.98/9.00 o -6815 17.98/9.00 c ub -6817 (thread 1) 17.98/9.00 o -6817 17.98/9.00 c ub -6818 (thread 1) 17.98/9.01 o -6818 17.98/9.01 c ub -6821 (thread 1) 17.98/9.01 o -6821 17.98/9.01 c ub -6823 (thread 1) 17.98/9.01 o -6823 17.98/9.01 c ub -6824 (thread 1) 17.98/9.02 o -6824 17.98/9.02 c ub -6827 (thread 1) 17.98/9.02 o -6827 17.98/9.02 c ub -6829 (thread 1) 17.98/9.02 o -6829 17.98/9.02 c ub -6830 (thread 1) 17.98/9.03 o -6830 17.98/9.03 c ub -6833 (thread 1) 17.98/9.04 o -6833 17.98/9.04 c ub -6835 (thread 1) 17.98/9.04 o -6835 17.98/9.04 c ub -6841 (thread 1) 17.98/9.05 o -6841 17.98/9.05 c ub -6847 (thread 1) 17.98/9.06 o -6847 17.98/9.06 c ub -6854 (thread 1) 17.98/9.06 o -6854 17.98/9.06 c ub -6856 (thread 1) 18.18/9.11 o -6856 18.18/9.11 c ub -6862 (thread 1) 18.18/9.13 o -6862 18.18/9.13 c ub -6868 (thread 1) 18.18/9.14 o -6868 18.18/9.14 c ub -6870 (thread 1) 18.18/9.17 o -6870 18.18/9.17 c ub -6877 (thread 1) 18.18/9.18 o -6877 18.18/9.18 c ub -6879 (thread 1) 18.18/9.18 o -6879 18.18/9.18 c ub -6883 (thread 1) 18.18/9.18 o -6883 18.18/9.18 c ub -6885 (thread 1) 18.18/9.19 o -6885 18.18/9.19 c ub -6886 (thread 1) 18.18/9.19 o -6886 18.18/9.19 c ub -6899 (thread 1) 18.18/9.19 o -6899 18.18/9.19 c ub -6905 (thread 1) 18.38/9.20 o -6905 18.38/9.20 c ub -6907 (thread 1) 18.38/9.20 o -6907 18.38/9.20 c ub -6920 (thread 1) 18.38/9.21 o -6920 18.38/9.21 c ub -6928 (thread 1) 18.38/9.22 o -6928 18.38/9.22 c ub -6932 (thread 1) 18.38/9.22 o -6932 18.38/9.22 c ub -6940 (thread 1) 18.38/9.23 o -6940 18.38/9.23 c ub -6950 (thread 1) 18.38/9.23 o -6950 18.38/9.23 c ub -6961 (thread 1) 18.38/9.25 o -6961 18.38/9.25 c ub -6963 (thread 1) 18.38/9.25 o -6963 18.38/9.25 c ub -6964 (thread 1) 18.38/9.25 o -6964 18.38/9.25 c ub -6967 (thread 1) 18.38/9.26 o -6967 18.38/9.26 c ub -6972 (thread 1) 18.38/9.26 o -6972 18.38/9.26 c ub -6974 (thread 1) 18.38/9.26 o -6974 18.38/9.26 c ub -6978 (thread 1) 18.38/9.26 o -6978 18.38/9.26 c ub -6980 (thread 1) 18.38/9.27 o -6980 18.38/9.27 c ub -6992 (thread 1) 18.38/9.27 o -6992 18.38/9.27 c ub -6998 (thread 1) 18.38/9.28 o -6998 18.38/9.28 c ub -7014 (thread 1) 18.38/9.28 o -7014 18.38/9.28 c ub -7019 (thread 1) 18.58/9.31 o -7019 18.58/9.31 c ub -7024 (thread 1) 18.58/9.34 o -7024 18.58/9.34 c ub -7035 (thread 1) 18.58/9.34 o -7035 18.58/9.34 c ub -7037 (thread 1) 18.58/9.35 o -7037 18.58/9.35 c ub -7062 (thread 1) 18.58/9.35 o -7062 18.58/9.35 c ub -7064 (thread 1) 18.58/9.39 o -7064 18.58/9.39 c ub -7067 (thread 1) 18.78/9.46 o -7067 18.78/9.46 c ub -7069 (thread 1) 18.98/9.52 o -7069 18.98/9.52 c ub -7071 (thread 1) 19.19/9.62 o -7071 19.19/9.62 c ub -7090 (thread 1) 19.19/9.66 o -7090 19.19/9.66 c ub -7106 (thread 1) 19.39/9.70 o -7106 19.39/9.70 c ub -7110 (thread 1) 19.39/9.74 o -7110 19.39/9.74 c ub -7128 (thread 1) 19.60/9.81 o -7128 19.60/9.81 c ub -7138 (thread 1) 19.60/9.81 o -7138 19.60/9.81 c ub -7140 (thread 1) 19.60/9.82 o -7140 19.60/9.82 c ub -7159 (thread 1) 20.18/10.11 o -7159 20.18/10.11 c ub -7160 (thread 1) 20.38/10.23 o -7160 20.38/10.23 c ub -7161 (thread 1) 20.58/10.30 o -7161 20.58/10.30 c ub -7163 (thread 1) 20.58/10.30 o -7163 20.58/10.30 c ub -7181 (thread 1) 20.78/10.44 o -7181 20.78/10.44 c ub -7183 (thread 1) 20.98/10.52 o -7183 20.98/10.52 c ub -7186 (thread 1) 20.98/10.59 o -7186 20.98/10.59 c ub -7188 (thread 1) 21.38/10.72 o -7188 21.38/10.72 c ub -7208 (thread 1) 21.79/10.96 o -7208 21.79/10.96 c ub -7215 (thread 1) 21.79/10.96 o -7215 21.79/10.96 c ub -7217 (thread 1) 21.79/10.96 o -7217 21.79/10.96 c ub -7219 (thread 1) 21.79/10.97 o -7219 21.79/10.97 c ub -7240 (thread 1) 21.79/10.97 o -7240 21.79/10.97 c ub -7242 (thread 1) 21.79/10.98 o -7242 21.79/10.98 c ub -7246 (thread 1) 21.79/10.99 o -7246 21.79/10.99 c ub -7260 (thread 1) 22.78/11.41 o -7260 22.78/11.41 c ub -7267 (thread 1) 22.78/11.42 o -7267 22.78/11.42 c ub -7271 (thread 1) 22.78/11.42 o -7271 22.78/11.42 c ub -7291 (thread 1) 22.78/11.45 o -7291 22.78/11.45 c ub -7301 (thread 1) 22.78/11.46 o -7301 22.78/11.46 c ub -7307 (thread 1) 23.78/11.90 o -7307 23.78/11.90 c ub -7313 (thread 1) 24.38/12.20 o -7313 24.38/12.20 c ub -7334 (thread 1) 26.78/13.40 o -7334 26.78/13.40 c ub -7349 (thread 1) 26.98/13.52 o -7349 26.98/13.52 c ub -7355 (thread 1) 39.39/19.78 o -7355 39.39/19.78 c lb -9132 (thread 0) 39.98/20.10 c lb -9131 (thread 0) 41.79/20.98 c lb -9130 (thread 0) 42.38/21.26 c lb -9129 (thread 0) 58.98/29.50 c ub -7360 (thread 1) 60.98/30.55 o -7360 60.98/30.55 c ub -7364 (thread 1) 61.39/30.75 o -7364 61.39/30.75 c ub -7367 (thread 1) 62.18/31.12 o -7367 62.18/31.12 c ub -7371 (thread 1) 62.18/31.14 o -7371 62.18/31.14 c ub -7389 (thread 1) 62.18/31.15 o -7389 62.18/31.15 c ub -7396 (thread 1) 63.80/31.96 o -7396 63.80/31.96 c ub -7399 (thread 1) 63.98/32.07 o -7399 63.98/32.07 c ub -7403 (thread 1) 64.38/32.22 o -7403 64.38/32.22 c ub -7413 (thread 1) 64.38/32.23 o -7413 64.38/32.23 c ub -7419 (thread 1) 64.38/32.23 o -7419 64.38/32.23 c ub -7420 (thread 1) 64.38/32.24 o -7420 64.38/32.24 c ub -7421 (thread 1) 64.38/32.24 o -7421 64.38/32.24 c ub -7433 (thread 1) 64.58/32.32 o -7433 64.58/32.32 c ub -7435 (thread 1) 64.78/32.43 o -7435 64.78/32.43 c ub -7463 (thread 1) 64.78/32.44 o -7463 64.78/32.44 c ub -7469 (thread 1) 64.78/32.45 o -7469 64.78/32.45 c ub -7490 (thread 1) 64.78/32.46 o -7490 64.78/32.46 c ub -7510 (thread 1) 69.58/34.90 o -7510 69.58/34.90 c ub -7514 (thread 1) 69.98/35.09 o -7514 69.98/35.09 c ub -7526 (thread 1) 70.78/35.48 o -7526 70.78/35.48 c ub -7532 (thread 1) 70.78/35.49 o -7532 70.78/35.49 c ub -7533 (thread 1) 72.78/36.49 o -7533 72.78/36.49 c ub -7534 (thread 1) 73.18/36.61 o -7534 73.18/36.61 c ub -7537 (thread 1) 73.18/36.65 o -7537 73.18/36.65 c ub -7543 (thread 1) 73.18/36.66 o -7543 73.18/36.66 c ub -7549 (thread 1) 73.18/36.66 o -7549 73.18/36.66 c ub -7550 (thread 1) 73.18/36.69 o -7550 73.18/36.69 c ub -7555 (thread 1) 73.38/36.70 o -7555 73.38/36.70 c ub -7563 (thread 1) 73.38/36.71 o -7563 73.38/36.71 c ub -7569 (thread 1) 73.38/36.71 o -7569 73.38/36.71 c ub -7577 (thread 1) 73.38/36.72 o -7577 73.38/36.72 c ub -7583 (thread 1) 73.38/36.72 o -7583 73.38/36.72 c ub -7595 (thread 1) 73.38/36.72 o -7595 73.38/36.72 c ub -7602 (thread 1) 78.18/39.15 o -7602 78.18/39.15 c ub -7608 (thread 1) 98.79/49.43 o -7608 98.79/49.43 c ub -7616 (thread 1) 101.19/50.68 o -7616 101.19/50.68 c ub -7617 (thread 1) 102.58/51.31 o -7617 102.58/51.31 c ub -7622 (thread 1) 102.58/51.32 o -7622 102.58/51.32 c ub -7642 (thread 1) 102.78/51.45 o -7642 102.78/51.45 c ub -7643 (thread 1) 102.78/51.47 o -7643 102.78/51.47 c ub -7648 (thread 1) 103.78/51.98 o -7648 103.78/51.98 c lb -9128 (thread 0) 105.39/52.78 c ub -7657 (thread 1) 106.77/53.43 o -7657 106.77/53.43 c ub -7658 (thread 1) 106.77/53.45 o -7658 106.77/53.45 c ub -7675 (thread 1) 106.77/53.45 o -7675 106.77/53.45 c ub -7677 (thread 1) 106.77/53.47 o -7677 106.77/53.47 c ub -7679 (thread 1) 107.18/53.60 o -7679 107.18/53.60 c ub -7693 (thread 1) 107.18/53.61 o -7693 107.18/53.61 c ub -7694 (thread 1) 107.38/53.72 o -7694 107.38/53.72 c ub -7698 (thread 1) 107.38/53.72 o -7698 107.38/53.72 c ub -7705 (thread 1) 107.38/53.80 o -7705 107.38/53.80 c lb -9127 (thread 0) 107.79/53.96 c lb -9126 (thread 0) 108.18/54.16 c lb -9125 (thread 0) 108.18/54.20 c ub -7712 (thread 1) 108.38/54.27 o -7712 108.38/54.27 c lb -9124 (thread 0) 108.58/54.38 c lb -9123 (thread 0) 115.58/57.88 c lb -9122 (thread 0) 116.18/58.18 c lb -9121 (thread 0) 118.80/59.41 c ub -7715 (thread 1) 119.38/59.71 o -7715 119.38/59.71 c ub -7721 (thread 1) 119.38/59.71 o -7721 119.38/59.71 c ub -7728 (thread 1) 119.78/59.92 o -7728 119.78/59.92 c ub -7739 (thread 1) 119.78/59.92 o -7739 119.78/59.92 c ub -7758 (thread 1) 119.78/59.98 o -7758 119.78/59.98 c lb -9120 (thread 0) 132.18/66.12 c ub -7761 (thread 1) 132.78/66.40 o -7761 132.78/66.40 c lb -9119 (thread 0) 133.58/66.84 c ub -7772 (thread 1) 154.56/77.56 o -7772 154.56/77.56 s OPTIMUM FOUND 154.56/77.56 v -x1 x12 -x23 -x34 x45 -x56 -x58 x59 x60 -x2 x3 -x4 x5 x6 -x7 x8 -x9 x10 x11 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x46 -x47 -x48 x49 -x50 -x51 x52 -x53 -x54 x55 -x57 154.56/77.56 c Memory used : 131.75 MB 154.56/77.56 c CPU time : 153.864 s
OK -7772
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-3500057-1307989672/watcher-3500057-1307989672 -o /var/tmp/evaluation-result-3500057-1307989672/solver-3500057-1307989672 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500057-1307989672.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: 2.01 2.00 1.96 2/175 15999 /proc/meminfo: memFree=30141088/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=0 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 516 0 0 0 0 0 0 0 23 0 3 0 910565974 138149888 464 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 464 178 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=0 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 121 0 0 0 0 0 0 0 24 0 3 0 910565974 138149888 471 33554432000 4194304 5714118 140734310076528 18446744073709551615 4315154 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=0 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 36 0 0 0 0 0 0 0 18 0 3 0 910565974 138149888 471 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 [startup+0.0402811 s] /proc/loadavg: 2.01 2.00 1.96 2/175 15999 /proc/meminfo: memFree=30141088/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=0.07 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 989 0 0 0 7 0 0 0 23 0 3 0 910565974 138149888 887 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 887 179 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=0.03 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 533 0 0 0 3 0 0 0 25 0 3 0 910565974 138149888 887 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=0.03 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 90 0 0 0 3 0 0 0 18 0 3 0 910565974 138149888 887 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 134912 [startup+0.100271 s] /proc/loadavg: 2.01 2.00 1.96 2/175 15999 /proc/meminfo: memFree=30141088/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=0.19 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 1455 0 0 0 18 1 0 0 23 0 3 0 910565974 138149888 1218 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 1218 179 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=0.09 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 955 0 0 0 9 0 0 0 25 0 3 0 910565974 138149888 1218 33554432000 4194304 5714118 140734310076528 18446744073709551615 4973087 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=0.08 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 134 0 0 0 8 0 0 0 18 0 3 0 910565974 138149888 1218 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 134912 [startup+0.300235 s] /proc/loadavg: 2.01 2.00 1.96 2/175 15999 /proc/meminfo: memFree=30141088/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=0.59 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 2358 0 0 0 57 2 0 0 23 0 3 0 910565974 138149888 1850 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 1850 179 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=0.29 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 1724 0 0 0 28 1 0 0 25 0 3 0 910565974 138149888 1850 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=0.29 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 268 0 0 0 28 1 0 0 18 0 3 0 910565974 138149888 1850 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 134912 [startup+0.700164 s] /proc/loadavg: 2.01 2.00 1.96 2/175 15999 /proc/meminfo: memFree=30141088/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=1.39 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 3711 0 0 0 134 5 0 0 23 0 3 0 910565974 138149888 2562 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 2562 179 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=0.69 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 2900 0 0 0 66 3 0 0 25 0 3 0 910565974 138149888 2562 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=0.69 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 445 0 0 0 68 1 0 0 18 0 3 0 910565974 138149888 2562 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 134912 [startup+1.50108 s] /proc/loadavg: 2.16 2.04 1.97 5/182 16009 /proc/meminfo: memFree=30119672/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=2.99 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 5680 0 0 0 289 10 0 0 23 0 3 0 910565974 138149888 3466 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 3466 179 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=1.48 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 4799 0 0 0 141 7 0 0 25 0 3 0 910565974 138149888 3466 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=1.49 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 515 0 0 0 147 2 0 0 20 0 3 0 910565974 138149888 3466 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 134912 [startup+3.10074 s] /proc/loadavg: 2.16 2.04 1.97 5/182 16009 /proc/meminfo: memFree=30111860/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=6.18 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 6442 0 0 0 606 12 0 0 23 0 3 0 910565974 138149888 4049 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 4049 179 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=3.09 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 5526 0 0 0 299 10 0 0 25 0 3 0 910565974 138149888 4049 33554432000 4194304 5714118 140734310076528 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=3.09 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 550 0 0 0 307 2 0 0 25 0 3 0 910565974 138149888 4049 33554432000 4194304 5714118 140734310076528 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 134912 [startup+6.30022 s] /proc/loadavg: 2.16 2.04 1.97 5/182 16009 /proc/meminfo: memFree=30100224/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=12.59 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 7488 0 0 0 1242 17 0 0 23 0 3 0 910565974 138149888 5094 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 5094 179 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=6.29 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 6440 0 0 0 616 13 0 0 25 0 3 0 910565974 138149888 5094 33554432000 4194304 5714118 140734310076528 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=6.29 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 682 0 0 0 626 3 0 0 25 0 3 0 910565974 138149888 5094 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 134912 [startup+12.7011 s] /proc/loadavg: 2.45 2.10 1.99 5/182 16009 /proc/meminfo: memFree=30094096/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=25.38 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 8750 0 0 0 2516 22 0 0 23 0 3 0 910565974 138149888 6356 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 6356 180 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=12.69 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 7541 0 0 0 1251 18 0 0 25 0 3 0 910565974 138149888 6356 33554432000 4194304 5714118 140734310076528 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=12.68 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 843 0 0 0 1264 4 0 0 25 0 3 0 910565974 138149888 6356 33554432000 4194304 5714118 140734310076528 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 134912 [startup+25.5008 s] /proc/loadavg: 2.68 2.16 2.01 5/182 16010 /proc/meminfo: memFree=30064096/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=50.98 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 12737 0 0 0 5062 36 0 0 23 0 3 0 910565974 138149888 10343 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 10343 180 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=25.49 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 11083 0 0 0 2521 28 0 0 25 0 3 0 910565974 138149888 10343 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=25.48 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 1288 0 0 0 2540 8 0 0 25 0 3 0 910565974 138149888 10343 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 134912 [startup+51.1003 s] /proc/loadavg: 3.13 2.31 2.06 5/182 16010 /proc/meminfo: memFree=30035376/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=102.18 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 17723 0 0 0 10164 54 0 0 23 0 3 0 910565974 138149888 15329 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 15329 180 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=51.09 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 15973 0 0 0 5068 41 0 0 25 0 3 0 910565974 138149888 15329 33554432000 4194304 5714118 140734310076528 18446744073709551615 4197720 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=51.08 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 1384 0 0 0 5096 12 0 0 25 0 3 0 910565974 138149888 15329 33554432000 4194304 5714118 140734310076528 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 134912 Solver just ended. Dumping a history of the last processes samples [startup+63.901 s] /proc/loadavg: 3.32 2.39 2.09 5/182 16011 /proc/meminfo: memFree=30014660/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=127.78 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 18718 0 0 0 12712 66 0 0 23 0 3 0 910565974 138149888 16324 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 16324 180 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=63.89 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 16968 0 0 0 6336 53 0 0 25 0 3 0 910565974 138149888 16324 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=63.88 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 1384 0 0 0 6375 13 0 0 25 0 3 0 910565974 138149888 16324 33554432000 4194304 5714118 140734310076528 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 127.78 Current children cumulated vsize (KiB) 134912 [startup+70.3009 s] /proc/loadavg: 3.38 2.42 2.10 5/182 16011 /proc/meminfo: memFree=30012176/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=140.59 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 18740 0 0 0 13988 71 0 0 23 0 3 0 910565974 138149888 16346 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 16346 180 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=70.29 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 16968 0 0 0 6972 57 0 0 25 0 3 0 910565974 138149888 16346 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=70.29 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 1406 0 0 0 7015 14 0 0 25 0 3 0 910565974 138149888 16346 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 140.59 Current children cumulated vsize (KiB) 134912 [startup+73.5003 s] /proc/loadavg: 3.43 2.44 2.11 5/182 16011 /proc/meminfo: memFree=30011180/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=146.98 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 18741 0 0 0 14624 74 0 0 23 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 16347 180 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=73.49 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 16968 0 0 0 7290 59 0 0 25 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=73.48 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 1407 0 0 0 7334 14 0 0 25 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 146.98 Current children cumulated vsize (KiB) 134912 [startup+75.1009 s] /proc/loadavg: 3.43 2.44 2.11 5/182 16011 /proc/meminfo: memFree=30009936/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=150.18 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 18741 0 0 0 14943 75 0 0 23 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 16347 180 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=75.09 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 16968 0 0 0 7449 60 0 0 25 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=75.08 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 1407 0 0 0 7494 14 0 0 25 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 4322689 0 0 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 150.18 Current children cumulated vsize (KiB) 134912 [startup+76.7007 s] /proc/loadavg: 3.47 2.47 2.12 5/182 16011 /proc/meminfo: memFree=30009688/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=153.38 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 18741 0 0 0 15263 75 0 0 23 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 16347 180 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=76.69 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 16968 0 0 0 7609 60 0 0 25 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=15999/tid=16001] ppid=15996 vsize=134912 CPUtime=76.68 cores=0,2,4,6 /proc/15999/task/16001/stat : 16001 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 1407 0 0 0 7653 15 0 0 25 0 3 0 910565974 138149888 16347 33554432000 4194304 5714118 140734310076528 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 153.38 Current children cumulated vsize (KiB) 134912 [startup+77.1007 s] /proc/loadavg: 3.47 2.47 2.12 5/182 16011 /proc/meminfo: memFree=30008820/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=154.16 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 18742 0 0 0 15340 76 0 0 23 0 2 0 910565974 138149888 16348 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 16348 181 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=77.09 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 16968 0 0 0 7649 60 0 0 25 0 2 0 910565974 138149888 16348 33554432000 4194304 5714118 140734310076528 18446744073709551615 4197716 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 154.16 Current children cumulated vsize (KiB) 134912 [startup+77.5006 s] /proc/loadavg: 3.47 2.47 2.12 5/182 16011 /proc/meminfo: memFree=30008820/32950928 swapFree=67048888/67111528 [pid=15999] ppid=15996 vsize=134912 CPUtime=154.56 cores=0,2,4,6 /proc/15999/stat : 15999 (pwbo1.1) S 15996 15999 15608 0 -1 4202496 18742 0 0 0 15380 76 0 0 23 0 2 0 910565974 138149888 16348 33554432000 4194304 5714118 140734310076528 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/15999/statm: 33728 16348 181 372 0 33353 0 [pid=15999/tid=16000] ppid=15996 vsize=134912 CPUtime=77.49 cores=0,2,4,6 /proc/15999/task/16000/stat : 16000 (pwbo1.1) R 15996 15999 15608 0 -1 4202560 16968 0 0 0 7689 60 0 0 25 0 2 0 910565974 138149888 16348 33554432000 4194304 5714118 140734310076528 18446744073709551615 4324880 0 0 4096 16387 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 154.56 Current children cumulated vsize (KiB) 134912 Child status: 0 Real time (s): 77.5642 CPU time (s): 154.629 CPU user time (s): 153.864 CPU system time (s): 0.765883 CPU usage (%): 199.357 Max. virtual memory (cumulated for all children) (KiB): 135768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 153.864 system time used= 0.765883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18746 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= 64 involuntary context switches= 965 runsolver used 0.116982 second user time and 0.26196 second system time The end
Begin job on node122 at 2011-06-13 20:27:52 IDJOB=3500057 IDBENCH=1857 IDSOLVER=1954 FILE ID=node122/3500057-1307989672 RUNJOBID= node122-1307989672-15976 PBS_JOBID= 13559733 Free space on /var/tmp= 2892 MiB SOLVER NAME= pwbo 1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500057-1307989672/watcher-3500057-1307989672 -o /var/tmp/evaluation-result-3500057-1307989672/solver-3500057-1307989672 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500057-1307989672.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c RANDOM SEED=774024758 node122.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.820 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.64 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.820 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.820 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.75 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.820 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.83 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30142052 kB Buffers: 50764 kB Cached: 2538588 kB SwapCached: 15152 kB Active: 174692 kB Inactive: 2433172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30142052 kB SwapTotal: 67111528 kB SwapFree: 67048888 kB Dirty: 8564 kB Writeback: 0 kB AnonPages: 16768 kB Mapped: 8856 kB Slab: 135756 kB PageTables: 5156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 189248 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= 2884 MiB End job on node122 at 2011-06-13 20:29:09