Trace number 3733055

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
PB07: bsolo 3.0.17SAT (TO)-32 1800.04 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1325.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41095
Number of constraints which are clauses41095
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 760
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 760
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 760
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3733055-1338692045.opb
0.00/0.00	c File size is 980618 bytes.
0.03/0.08	c Highest Coefficient sum: 760
0.03/0.08	c Parsing was ok!!
0.03/0.08	c Total parsing time: 0.073 s
0.03/0.08	c Var: 760 Constr: 41095 41095/0/0 Lit: 82190 Watch. Lit: 82190
0.03/0.08	c Obj. Vars: 760 (100 % of total variables)
0.29/0.32	c Pre-processing Time: 0.313 s
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0    760    41095    82190    2    82190   13698      0      0 0.31
0.29/0.32	c Switching off LPR mode.
0.29/0.32	o -31	0.315
567.75/568.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
567.75/568.09	c        0    760    41096    82950    2    82223   14698      1      0 0.32
567.75/568.09	c      100    760    41196   155564    3    82423   16168    101    295 0.34
567.75/568.09	c      351    760    41447   337709    8    82925   17785    352    854 0.41
567.75/568.09	c      827    760    41923   682961   16    83877   19564    828   1428 0.58
567.75/568.09	c     1640    760    42736  1272368   29    85503   21521   1641   1906 0.86
567.75/568.09	c     2960    760    44056  2229403   50    88143   23674   2961   1890 1.57
567.75/568.09	c     5041    760    46137  3736662   80    92305   26042   5042   1790 2.81
567.75/568.09	c     8265    760    49361  6074237  123    98753   28647   8266   1709 4.83
567.75/568.09	c    13201    760    54297  9651365  177   108625   31512  13202   1293 10.21
567.75/568.09	c    20708    760    61804 15087994  244   123639   34664  20709   1004 20.62
567.75/568.09	c    32069    760    73165 23324704  318   146361   38131  32070    820 39.07
567.75/568.09	c    49213    760    62923 15906694  252   125877   41945  21828    604 81.37
567.75/568.09	c    75032    760    57650 12086160  209   115331   46140  16555    395 189.77
567.75/568.09	c   113864    760    61366 14766923  240   122763   50755  20271    355 320.22
567.75/568.09	c   172216    760    79982 28277669  353   159995   55831  38887    308 557.71
567.75/568.09	o -32	567.857
1800.03/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.50	c   180081    760    87848 33981051  386   175759   14698  46753    317 567.86
1800.03/1800.50	c   180182    760    48546  5484176  112    97124   16168   7451    315 571.12
1800.03/1800.50	c   180432    760    48796  5665263  116    97624   17785   7701    315 571.18
1800.03/1800.50	c   180908    760    49272  6010040  121    98576   19564   8177    316 571.36
1800.03/1800.50	c   181721    760    50085  6598672  131   100202   21521   8990    317 571.79
1800.03/1800.50	c   183041    760    51405  7553900  146   102842   23674  10310    319 572.30
1800.03/1800.50	c   185123    760    53487  9061906  169   107006   26042  12392    322 573.29
1800.03/1800.50	c   188346    760    56710 11395434  200   113452   28647  15615    327 575.78
1800.03/1800.50	c   193282    760    61646 14970123  242   123324   31512  20551    333 580.06
1800.03/1800.50	c   200788    760    69152 20409070  295   138336   34664  28057    341 587.63
1800.03/1800.50	c   212150    760    56382 11146228  197   112796   38131  15287    345 613.24
1800.03/1800.50	c   229297    760    73529 23560978  320   147090   41945  32434    346 661.35
1800.03/1800.50	c   255117    760    68206 19703307  288   136444   46140  27111    341 747.55
1800.03/1800.50	c   293950    760    71717 22253621  310   143466   50755  30622    346 849.54
1800.03/1800.50	c   352304    760    90354 35738764  395   180740   55831  49259    337 1045.40
1800.03/1800.50	c   439936    760    88427 34346440  388   176886   61415  47332    287 1527.65
1800.03/1800.50	c Caught signal: 15
1800.03/1800.50	v -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 
1800.03/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.50	c   31   493463  50766   557024    91767 36774533  50672    274 1800.03
1800.03/1800.50	c Objective: -32
1800.03/1800.50	s SATISFIABLE
1800.03/1800.50	c Total time: 1800.03 s

Verifier Data

OK	-32

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-3733055-1338692045/watcher-3733055-1338692045 -o /tmp/evaluation-result-3733055-1338692045/solver-3733055-1338692045 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733055-1338692045.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.00 2.00 2.00 2/178 9142
/proc/meminfo: memFree=28648384/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 335329273 4583424 154 33554432000 134512640 135840783 4286790336 4286789676 7173464 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9142/statm: 1119 155 134 325 0 39 0

[startup+0.045498 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 9142
/proc/meminfo: memFree=28648384/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=7576 CPUtime=0.03 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 1087 0 0 0 3 0 0 0 20 0 1 0 335329273 7757824 1024 33554432000 134512640 135840783 4286790336 4286789168 7734567 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9142/statm: 1894 1024 444 325 0 590 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7576

[startup+0.100229 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 9142
/proc/meminfo: memFree=28648384/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=10656 CPUtime=0.09 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 2208 0 0 0 9 0 0 0 20 0 1 0 335329273 10911744 1905 33554432000 134512640 135840783 4286790336 4286780332 15873072 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9142/statm: 2664 1905 341 325 0 1600 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10656

[startup+0.300201 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 9142
/proc/meminfo: memFree=28648384/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=11976 CPUtime=0.29 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 2543 0 0 0 28 1 0 0 20 0 1 0 335329273 12263424 2240 33554432000 134512640 135840783 4286790336 4286780156 15873072 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9142/statm: 2994 2240 343 325 0 1930 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11976

[startup+0.700193 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 9142
/proc/meminfo: memFree=28648384/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=21780 CPUtime=0.68 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 5305 0 0 0 67 1 0 0 20 0 1 0 335329273 22302720 4709 33554432000 134512640 135840783 4286790336 4286780432 7734567 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9142/statm: 5445 4709 348 325 0 4381 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21780

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9143
/proc/meminfo: memFree=28622336/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=37476 CPUtime=1.48 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 9212 0 0 0 146 2 0 0 20 0 1 0 335329273 38375424 8616 33554432000 134512640 135840783 4286790336 4286789696 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9142/statm: 9369 8616 348 325 0 8305 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37476

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9143
/proc/meminfo: memFree=28603968/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=63696 CPUtime=3.08 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 15786 0 0 0 305 3 0 0 20 0 1 0 335329273 65224704 15190 33554432000 134512640 135840783 4286790336 4286780504 134584999 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9142/statm: 15924 15190 348 325 0 14860 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63696

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9143
/proc/meminfo: memFree=28552508/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=107072 CPUtime=6.28 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 26629 0 0 0 622 6 0 0 20 0 1 0 335329273 109641728 26033 33554432000 134512640 135840783 4286790336 4286789696 134551321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 26768 26033 348 325 0 25704 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 107072

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9143
/proc/meminfo: memFree=28493864/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=162860 CPUtime=12.68 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 40567 0 0 0 1259 9 0 0 20 0 1 0 335329273 166768640 39971 33554432000 134512640 135840783 4286790336 4286789696 134550782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 40715 39971 348 325 0 39651 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 162860

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9143
/proc/meminfo: memFree=28403724/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=249868 CPUtime=25.48 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 62324 0 0 0 2534 14 0 0 20 0 1 0 335329273 255864832 61728 33554432000 134512640 135840783 4286790336 4286789696 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 62467 61728 348 325 0 61403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 249868

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9143
/proc/meminfo: memFree=28289024/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=350480 CPUtime=51.08 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 87482 0 0 0 5087 21 0 0 20 0 1 0 335329273 358891520 86886 33554432000 134512640 135840783 4286790336 4286789696 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 87620 86886 348 325 0 86556 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 350480

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9143
/proc/meminfo: memFree=28260252/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=372828 CPUtime=102.28 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 93096 0 0 0 10206 22 0 0 20 0 1 0 335329273 381775872 92462 33554432000 134512640 135840783 4286790336 4286789696 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 93207 92462 348 325 0 92143 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 372828

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9143
/proc/meminfo: memFree=28232628/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=401028 CPUtime=162.22 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 100205 0 0 0 16199 23 0 0 20 0 1 0 335329273 410652672 99531 33554432000 134512640 135840783 4286790336 4286789696 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 100257 99531 348 325 0 99193 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 401028

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 9143
/proc/meminfo: memFree=28223976/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=408492 CPUtime=222.18 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 102147 0 0 0 22194 24 0 0 20 0 1 0 335329273 418295808 101383 33554432000 134512640 135840783 4286790336 4286780656 7359231 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 102123 101383 348 325 0 101059 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 408492

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9143
/proc/meminfo: memFree=28196112/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=430184 CPUtime=282.14 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 107613 0 0 0 28188 26 0 0 20 0 1 0 335329273 440508416 106805 33554432000 134512640 135840783 4286790336 4286789696 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 107546 106805 348 325 0 106482 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 430184

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9144
/proc/meminfo: memFree=28177656/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=447488 CPUtime=342.1 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 112038 0 0 0 34183 27 0 0 20 0 1 0 335329273 458227712 111138 33554432000 134512640 135840783 4286790336 4286789696 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 111872 111138 348 325 0 110808 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 447488

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9147
/proc/meminfo: memFree=28165932/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=460796 CPUtime=402.07 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 115365 0 0 0 40179 28 0 0 20 0 1 0 335329273 471855104 114446 33554432000 134512640 135840783 4286790336 4286789696 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 115199 114446 348 325 0 114135 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 460796

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9170
/proc/meminfo: memFree=28135180/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=490448 CPUtime=462.07 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 122846 0 0 0 46176 31 0 0 20 0 1 0 335329273 502218752 121876 33554432000 134512640 135840783 4286790336 4286789696 134550782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 122612 121876 348 325 0 121548 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 490448

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9170
/proc/meminfo: memFree=28117208/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=490448 CPUtime=522.06 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 122846 0 0 0 52175 31 0 0 20 0 1 0 335329273 502218752 121876 33554432000 134512640 135840783 4286790336 4286789572 7729314 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 122612 121876 348 325 0 121548 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 490448

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9170
/proc/meminfo: memFree=28115320/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=488660 CPUtime=582.05 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 122846 0 0 0 58174 31 0 0 20 0 1 0 335329273 500387840 121441 33554432000 134512640 135840783 4286790336 4286789424 7731940 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 122165 121441 348 325 0 121101 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 488660

[startup+642.3 s]

################
# More data... #
################

[startup+882.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 9171
/proc/meminfo: memFree=28123660/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=479712 CPUtime=881.99 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 122861 0 0 0 88168 31 0 0 20 0 1 0 335329273 491225088 119204 33554432000 134512640 135840783 4286790336 4286789696 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 119928 119204 348 325 0 118864 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 479712

[startup+942.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 9172
/proc/meminfo: memFree=28113740/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=490144 CPUtime=941.98 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 125437 0 0 0 94166 32 0 0 20 0 1 0 335329273 501907456 121780 33554432000 134512640 135840783 4286790336 4286789696 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 122536 121780 348 325 0 121472 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 490144

[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/180 9175
/proc/meminfo: memFree=28113732/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=490144 CPUtime=1001.97 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 125437 0 0 0 100165 32 0 0 20 0 1 0 335329273 501907456 121780 33554432000 134512640 135840783 4286790336 4286789648 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 122536 121780 348 325 0 121472 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 490144

[startup+1062.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 9175
/proc/meminfo: memFree=28066868/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=536936 CPUtime=1061.96 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137197 0 0 0 106161 35 0 0 20 0 1 0 335329273 549822464 133484 33554432000 134512640 135840783 4286790336 4286789760 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134234 133484 348 325 0 133170 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 536936

[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/179 9175
/proc/meminfo: memFree=28066868/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=536936 CPUtime=1121.95 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137197 0 0 0 112160 35 0 0 20 0 1 0 335329273 549822464 133484 33554432000 134512640 135840783 4286790336 4286789696 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134234 133484 348 325 0 133170 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 536936

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 9175
/proc/meminfo: memFree=28067240/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=536936 CPUtime=1181.94 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137197 0 0 0 118159 35 0 0 20 0 1 0 335329273 549822464 133484 33554432000 134512640 135840783 4286790336 4286789696 134550814 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134234 133484 348 325 0 133170 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 536936

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 9176
/proc/meminfo: memFree=28067240/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=536936 CPUtime=1241.93 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137197 0 0 0 124158 35 0 0 20 0 1 0 335329273 549822464 133484 33554432000 134512640 135840783 4286790336 4286789696 134550904 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134234 133484 348 325 0 133170 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 536936

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 9176
/proc/meminfo: memFree=28066980/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=536936 CPUtime=1301.93 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137203 0 0 0 130158 35 0 0 20 0 1 0 335329273 549822464 133484 33554432000 134512640 135840783 4286790336 4286789696 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134234 133484 348 325 0 133170 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 536936

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9176
/proc/meminfo: memFree=28066564/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=537328 CPUtime=1361.91 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137316 0 0 0 136155 36 0 0 20 0 1 0 335329273 550223872 133576 33554432000 134512640 135840783 4286790336 4286789648 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134332 133576 348 325 0 133268 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 537328

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 9215
/proc/meminfo: memFree=28077048/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=537328 CPUtime=1421.91 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137316 0 0 0 142155 36 0 0 20 0 1 0 335329273 550223872 133576 33554432000 134512640 135840783 4286790336 4286789696 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134332 133576 348 325 0 133268 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 537328

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9215
/proc/meminfo: memFree=27802016/32873844 swapFree=7384/7384
[pid=9142] ppid=9140 vsize=537328 CPUtime=1481.89 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137316 0 0 0 148153 36 0 0 20 0 1 0 335329273 550223872 133576 33554432000 134512640 135840783 4286790336 4286789696 134551079 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134332 133576 348 325 0 133268 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 537328

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9216
/proc/meminfo: memFree=27627052/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=537328 CPUtime=1541.88 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 137316 0 0 0 154152 36 0 0 20 0 1 0 335329273 550223872 133576 33554432000 134512640 135840783 4286790336 4286789696 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 134332 133576 348 325 0 133268 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 537328

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9219
/proc/meminfo: memFree=27568144/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=589092 CPUtime=1601.87 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 150348 0 0 0 160148 39 0 0 20 0 1 0 335329273 603230208 146547 33554432000 134512640 135840783 4286790336 4286789696 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 147273 146547 348 325 0 146209 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 589092

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9219
/proc/meminfo: memFree=27568276/32873844 swapFree=7384/7384
[pid=9142] ppid=9140 vsize=589092 CPUtime=1661.86 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 150348 0 0 0 166147 39 0 0 20 0 1 0 335329273 603230208 146547 33554432000 134512640 135840783 4286790336 4286789648 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 147273 146547 348 325 0 146209 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 589092

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9219
/proc/meminfo: memFree=27567956/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=589092 CPUtime=1721.84 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 150353 0 0 0 172145 39 0 0 20 0 1 0 335329273 603230208 146547 33554432000 134512640 135840783 4286790336 4286789696 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 147273 146547 348 325 0 146209 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 589092

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9219
/proc/meminfo: memFree=27568000/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=589092 CPUtime=1781.82 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 150374 0 0 0 178142 40 0 0 20 0 1 0 335329273 603230208 146547 33554432000 134512640 135840783 4286790336 4286789696 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 147273 146547 348 325 0 146209 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 589092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9219
/proc/meminfo: memFree=27563380/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=589092 CPUtime=1800.03 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 150374 0 0 0 179963 40 0 0 20 0 1 0 335329273 603230208 146547 33554432000 134512640 135840783 4286790336 4286789696 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 147273 146547 348 325 0 146209 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 589092

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9219
/proc/meminfo: memFree=27563380/32873844 swapFree=7380/7380
[pid=9142] ppid=9140 vsize=589092 CPUtime=1800.03 cores=0,2,4,6
/proc/9142/stat : 9142 (bsolo3.0.17) R 9140 9142 7079 0 -1 4202496 150374 0 0 0 179963 40 0 0 20 0 1 0 335329273 603230208 146547 33554432000 134512640 135840783 4286790336 4286789696 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9142/statm: 147273 146547 348 325 0 146209 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 589092

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.63
CPU system time (s): 0.402938
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 589092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.402938
maximum resident set size= 586432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150377
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= 282
involuntary context switches= 2086

runsolver used 3.42048 second user time and 9.34558 second system time

The end

Launcher Data

Begin job on node133 at 2012-06-03 04:54:05
IDJOB=3733055
IDBENCH=2241
IDSOLVER=2318
FILE ID=node133/3733055-1338692045
RUNJOBID= node133-1338678627-7098
PBS_JOBID= 14636680
Free space on /tmp= 70476 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733055-1338692045/watcher-3733055-1338692045 -o /tmp/evaluation-result-3733055-1338692045/solver-3733055-1338692045 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733055-1338692045.opb            

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

MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42
RANDOM SEED=1044702024

node133.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.540
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.08
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.540
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.92
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.540
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	: 5331.92
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.540
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.540
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.540
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	: 5331.90
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.540
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.540
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:       32873844 kB
MemFree:        28648996 kB
Buffers:          383716 kB
Cached:          2733552 kB
SwapCached:          676 kB
Active:          1587976 kB
Inactive:        1758156 kB
Active(anon):     220020 kB
Inactive(anon):    10228 kB
Active(file):    1367956 kB
Inactive(file):  1747928 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              7328 kB
Writeback:            20 kB
AnonPages:        234868 kB
Mapped:            11740 kB
Shmem:                 0 kB
Slab:             738528 kB
SReclaimable:     180664 kB
SUnreclaim:       557864 kB
KernelStack:        1472 kB
PageTables:         4608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     343556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70468 MiB
End job on node133 at 2012-06-03 05:24:07