Trace number 3703621

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 2.0OPT-35 616.286 308.188

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM3895ca8e12182fcd80d7923f66584703
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark54.0378
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27931
Number of constraints which are clauses27931
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 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703621-1338092365.opb.
0.00/0.00	c Instance file HOME/instance-3703621-1338092365.opb
0.00/0.00	c File size is 664643 bytes.
0.00/0.05	c Cost Offset: -595
0.00/0.05	c Highest Coefficient sum: 3
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.05         s                                      |
0.00/0.05	c |  Number Variables:      595                                                 |
0.00/0.05	c |  Number Clauses:        27931                                               |
0.00/0.05	c |  Number Cardinality:    0                                                   |
0.00/0.05	c |  Number PB Constraints: 0                                                   |
0.00/0.05	c |                                                                             |
0.00/0.06	c |  Problem Type:          Optimization                                        |
0.00/0.06	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.06	c |                                                                             |
0.00/0.06	c ===============================================================================
616.03/308.16	o -25
616.03/308.16	o -27
616.03/308.16	o -28
616.03/308.16	o -29
616.03/308.16	o -30
616.03/308.16	o -31
616.03/308.16	o -32
616.03/308.16	o -33
616.03/308.16	o -34
616.03/308.16	o -35
616.03/308.16	c ===============================================================================
616.03/308.16	c Wall Clock Time: 308.16 s
616.03/308.16	c Best Solution: -35
616.03/308.16	s OPTIMUM FOUND
616.03/308.16	v -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

Verifier Data

OK	-35

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 /tmp/evaluation-result-3703621-1338092365/watcher-3703621-1338092365 -o /tmp/evaluation-result-3703621-1338092365/solver-3703621-1338092365 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703621-1338092365.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.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=4712 CPUtime=0 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) R 7899 7901 7065 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275362482 4825088 309 33554432000 4194304 5965102 140734641054448 140734641052200 4224389 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 1178 309 162 433 0 579 0

[startup+0.0725321 s]
/proc/loadavg: 4.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=169232 CPUtime=0.08 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 4842 0 0 0 7 1 0 0 20 0 3 0 275362482 173293568 4631 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42308 4634 196 433 0 41872 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 169232

[startup+0.100219 s]
/proc/loadavg: 4.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=0.13 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 6772 0 0 0 12 1 0 0 20 0 3 0 275362482 175484928 6450 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 6450 203 433 0 42407 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 171372

[startup+0.300179 s]
/proc/loadavg: 4.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=0.53 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 7087 0 0 0 52 1 0 0 20 0 3 0 275362482 175484928 6515 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 6515 205 433 0 42407 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 171372

[startup+0.700176 s]
/proc/loadavg: 4.00 4.00 3.92 5/178 7901
/proc/meminfo: memFree=28014568/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=1.32 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 7218 0 0 0 131 1 0 0 20 0 3 0 275362482 175484928 6571 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 6571 205 433 0 42407 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 171372

[startup+1.50029 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27986016/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=2.92 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 7645 0 0 0 290 2 0 0 20 0 3 0 275362482 175484928 6998 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 6998 205 433 0 42407 0
[pid=7901/tid=7903] ppid=7899 vsize=171372 CPUtime=1.43 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 2480 0 0 0 143 0 0 0 20 0 3 0 275362488 175484928 6998 33554432000 4194304 5965102 140734641054448 139912761055688 5131557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171372 CPUtime=1.43 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 3101 0 0 0 142 1 0 0 20 0 3 0 275362488 175484928 6998 33554432000 4194304 5965102 140734641054448 139912750565208 4401146 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 171372

[startup+3.10029 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27975584/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=6.12 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 10451 0 0 0 609 3 0 0 20 0 3 0 275362482 175484928 9021 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 9021 206 433 0 42407 0
[pid=7901/tid=7903] ppid=7899 vsize=171372 CPUtime=3.03 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 3924 0 0 0 303 0 0 0 20 0 3 0 275362488 175484928 9021 33554432000 4194304 5965102 140734641054448 139912761055576 4420575 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171372 CPUtime=3.03 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 4463 0 0 0 301 2 0 0 20 0 3 0 275362488 175484928 9022 33554432000 4194304 5965102 140734641054448 139912750565688 4400902 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 171372

[startup+6.3003 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27947436/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171372 CPUtime=12.52 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 16078 0 0 0 1247 5 0 0 20 0 3 0 275362482 175484928 13172 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42843 13172 206 433 0 42407 0
[pid=7901/tid=7903] ppid=7899 vsize=171372 CPUtime=6.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 6857 0 0 0 621 1 0 0 20 0 3 0 275362488 175484928 13172 33554432000 4194304 5965102 140734641054448 139912761055768 5123014 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171372 CPUtime=6.23 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 7157 0 0 0 619 4 0 0 20 0 3 0 275362488 175484928 13172 33554432000 4194304 5965102 140734641054448 139912750565688 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 171372

[startup+12.7002 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27892752/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171856 CPUtime=25.32 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 24061 0 0 0 2524 8 0 0 20 0 3 0 275362482 175980544 21155 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42964 21155 206 433 0 42528 0
[pid=7901/tid=7903] ppid=7899 vsize=171856 CPUtime=12.62 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 9677 0 0 0 1260 2 0 0 20 0 3 0 275362488 175980544 21155 33554432000 4194304 5965102 140734641054448 139912761055560 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171856 CPUtime=12.63 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 12320 0 0 0 1256 7 0 0 20 0 3 0 275362488 175980544 21155 33554432000 4194304 5965102 140734641054448 139912750565688 4401137 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 171856

[startup+25.5002 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7904
/proc/meminfo: memFree=27844624/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=171856 CPUtime=50.91 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 30031 0 0 0 5080 11 0 0 20 0 3 0 275362482 175980544 27125 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 42964 27125 206 433 0 42528 0
[pid=7901/tid=7903] ppid=7899 vsize=171856 CPUtime=25.43 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 12856 0 0 0 2539 4 0 0 20 0 3 0 275362488 175980544 27125 33554432000 4194304 5965102 140734641054448 139912761055032 4393869 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=171856 CPUtime=25.43 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 15111 0 0 0 2534 9 0 0 20 0 3 0 275362488 175980544 27125 33554432000 4194304 5965102 140734641054448 139912750565688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 171856

[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 7908
/proc/meminfo: memFree=27753724/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=238384 CPUtime=102.11 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 42409 0 0 0 10193 18 0 0 20 0 3 0 275362482 244105216 39503 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 59596 39503 206 433 0 59160 0
[pid=7901/tid=7903] ppid=7899 vsize=238384 CPUtime=51.02 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 17354 0 0 0 5096 6 0 0 20 0 3 0 275362488 244105216 39503 33554432000 4194304 5965102 140734641054448 139912761055224 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=238384 CPUtime=51.03 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 22991 0 0 0 5090 13 0 0 20 0 3 0 275362488 244105216 39503 33554432000 4194304 5965102 140734641054448 139912750565688 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 238384

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27542104/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=370808 CPUtime=204.5 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 72534 0 0 0 20411 39 0 0 20 0 3 0 275362482 379707392 69627 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 92702 69627 206 433 0 92266 0
[pid=7901/tid=7903] ppid=7899 vsize=370808 CPUtime=102.23 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 24042 0 0 0 10213 10 0 0 20 0 3 0 275362488 379707392 69627 33554432000 4194304 5965102 140734641054448 139912761054824 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=370808 CPUtime=102.24 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46428 0 0 0 10192 32 0 0 20 0 3 0 275362488 379707392 69627 33554432000 4194304 5965102 140734641054448 139912750565688 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 370808

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27477280/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=370372 CPUtime=324.47 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 80171 0 0 0 32403 44 0 0 20 0 3 0 275362482 379260928 77092 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 92593 77092 206 433 0 92157 0
[pid=7901/tid=7903] ppid=7899 vsize=370372 CPUtime=162.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 28014 0 0 0 16208 14 0 0 20 0 3 0 275362488 379260928 77092 33554432000 4194304 5965102 140734641054448 139912761056184 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=370372 CPUtime=162.23 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 50093 0 0 0 16187 36 0 0 20 0 3 0 275362488 379260928 77092 33554432000 4194304 5965102 140734641054448 139912750565448 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 370372

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27450728/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=371788 CPUtime=444.45 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 86324 0 0 0 44395 50 0 0 20 0 3 0 275362482 380710912 83245 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 92947 83245 206 433 0 92511 0
[pid=7901/tid=7903] ppid=7899 vsize=371788 CPUtime=222.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 34110 0 0 0 22201 21 0 0 20 0 3 0 275362488 380710912 83245 33554432000 4194304 5965102 140734641054448 139912761055224 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=371788 CPUtime=222.24 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 50150 0 0 0 22187 37 0 0 20 0 3 0 275362488 380710912 83245 33554432000 4194304 5965102 140734641054448 139912750565448 4400992 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 371788

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27385440/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=564.43 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 97040 0 0 0 56385 58 0 0 20 0 3 0 275362482 515207168 93960 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 93960 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=282.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 41507 0 0 0 28194 28 0 0 20 0 3 0 275362488 515207168 93960 33554432000 4194304 5965102 140734641054448 139912761054824 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=282.24 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53469 0 0 0 28184 40 0 0 20 0 3 0 275362488 515207168 93960 33554432000 4194304 5965102 140734641054448 139912750565688 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 503132

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

[startup+294.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27369536/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=588.43 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 99535 0 0 0 58779 64 0 0 20 0 3 0 275362482 515207168 96455 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 96455 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=294.22 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 44002 0 0 0 29389 33 0 0 20 0 3 0 275362488 515207168 96455 33554432000 4194304 5965102 140734641054448 139912761055032 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=294.24 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53469 0 0 0 29384 40 0 0 20 0 3 0 275362488 515207168 96455 33554432000 4194304 5965102 140734641054448 139912750565688 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 588.43
Current children cumulated vsize (KiB) 503132

[startup+300.7 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27360112/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=601.23 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 100862 0 0 0 60058 65 0 0 20 0 3 0 275362482 515207168 97782 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 97782 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=300.62 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 45324 0 0 0 30028 34 0 0 20 0 3 0 275362488 515207168 97782 33554432000 4194304 5965102 140734641054448 139912761055224 4389308 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=300.64 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53474 0 0 0 30024 40 0 0 20 0 3 0 275362488 515207168 97782 33554432000 4194304 5965102 140734641054448 139912750565688 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 601.23
Current children cumulated vsize (KiB) 503132

[startup+303.9 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27355012/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=607.63 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 101570 0 0 0 60697 66 0 0 20 0 3 0 275362482 515207168 98490 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 98490 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=303.82 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46026 0 0 0 30347 35 0 0 20 0 3 0 275362488 515207168 98490 33554432000 4194304 5965102 140734641054448 139912761055272 4401015 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=303.84 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30344 40 0 0 20 0 3 0 275362488 515207168 98490 33554432000 4194304 5965102 140734641054448 139912750565688 4400981 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 607.63
Current children cumulated vsize (KiB) 503132

[startup+305.5 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27353152/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=610.83 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 101907 0 0 0 61017 66 0 0 20 0 3 0 275362482 515207168 98827 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 98827 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=305.42 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46363 0 0 0 30507 35 0 0 20 0 3 0 275362488 515207168 98827 33554432000 4194304 5965102 140734641054448 139912761055032 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=305.44 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30504 40 0 0 20 0 3 0 275362488 515207168 98827 33554432000 4194304 5965102 140734641054448 139912750565688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 610.83
Current children cumulated vsize (KiB) 503132

[startup+307.1 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27351044/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=614.03 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 102300 0 0 0 61337 66 0 0 20 0 3 0 275362482 515207168 99217 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 99217 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=307.02 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46756 0 0 0 30667 35 0 0 20 0 3 0 275362488 515207168 99217 33554432000 4194304 5965102 140734641054448 139912761055224 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=307.04 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30664 40 0 0 20 0 3 0 275362488 515207168 99217 33554432000 4194304 5965102 140734641054448 139912750565720 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 614.03
Current children cumulated vsize (KiB) 503132

[startup+307.9 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27349432/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=615.64 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 102403 0 0 0 61498 66 0 0 20 0 3 0 275362482 515207168 99320 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 99320 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=307.82 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46859 0 0 0 30747 35 0 0 20 0 3 0 275362488 515207168 99320 33554432000 4194304 5965102 140734641054448 139912761055272 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=307.85 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30745 40 0 0 20 0 3 0 275362488 515207168 99320 33554432000 4194304 5965102 140734641054448 139912750565720 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 615.64
Current children cumulated vsize (KiB) 503132

[startup+308.1 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7908
/proc/meminfo: memFree=27349432/32873648 swapFree=7372/7372
[pid=7901] ppid=7899 vsize=503132 CPUtime=616.03 cores=0,2,4,6
/proc/7901/stat : 7901 (pwbo2.0) S 7899 7901 7065 0 -1 4202496 102444 0 0 0 61537 66 0 0 20 0 3 0 275362482 515207168 99361 33554432000 4194304 5965102 140734641054448 140734641053968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7901/statm: 125783 99361 206 433 0 125347 0
[pid=7901/tid=7903] ppid=7899 vsize=503132 CPUtime=308.02 cores=0,2,4,6
/proc/7901/task/7903/stat : 7903 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 46900 0 0 0 30767 35 0 0 20 0 3 0 275362488 515207168 99361 33554432000 4194304 5965102 140734641054448 139912761055272 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7901/tid=7904] ppid=7899 vsize=503132 CPUtime=308.04 cores=0,2,4,6
/proc/7901/task/7904/stat : 7904 (pwbo2.0) R 7899 7901 7065 0 -1 4202560 53480 0 0 0 30764 40 0 0 20 0 3 0 275362488 515207168 99361 33554432000 4194304 5965102 140734641054448 139912750565720 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 616.03
Current children cumulated vsize (KiB) 503132

Child status: 255
Real time (s): 308.188
CPU time (s): 616.286
CPU user time (s): 615.482
CPU system time (s): 0.803877
CPU usage (%): 199.971
Max. virtual memory (cumulated for all children) (KiB): 503132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 615.482
system time used= 0.803877
maximum resident set size= 397560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102473
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= 507
involuntary context switches= 688

runsolver used 0.440932 second user time and 1.25281 second system time

The end

Launcher Data

Begin job on node122 at 2012-05-27 06:19:25
IDJOB=3703621
IDBENCH=2272
IDSOLVER=2279
FILE ID=node122/3703621-1338092365
RUNJOBID= node122-1338086209-7081
PBS_JOBID= 14624430
Free space on /tmp= 71688 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703621-1338092365/watcher-3703621-1338092365 -o /tmp/evaluation-result-3703621-1338092365/solver-3703621-1338092365 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703621-1338092365.opb

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

MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703
RANDOM SEED=1407029873

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28014832 kB
Buffers:          277892 kB
Cached:          2832924 kB
SwapCached:            0 kB
Active:          2058652 kB
Inactive:        2016820 kB
Active(anon):     955916 kB
Inactive(anon):    11052 kB
Active(file):    1102736 kB
Inactive(file):  2005768 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6264 kB
Writeback:             0 kB
AnonPages:        971512 kB
Mapped:            14656 kB
Shmem:               200 kB
Slab:             643872 kB
SReclaimable:      88016 kB
SUnreclaim:       555856 kB
KernelStack:        1496 kB
PageTables:         6484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     192000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node122 at 2012-05-27 06:24:33