Trace number 3733066

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.05 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-1.opb
MD5SUM9984e76947bf9addca42277d72ff7107
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 benchmark61.0357
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved YES
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
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-3733066-1338692140.opb
0.00/0.00	c File size is 987647 bytes.
0.01/0.08	c Highest Coefficient sum: 760
0.01/0.08	c Parsing was ok!!
0.01/0.08	c Total parsing time: 0.072 s
0.01/0.08	c Var: 760 Constr: 41314 41314/0/0 Lit: 82628 Watch. Lit: 82628
0.01/0.08	c Obj. Vars: 760 (100 % of total variables)
0.28/0.32	c Pre-processing Time: 0.317 s
0.28/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.32	c        0    760    41314    82628    2    82628   13771      0      0 0.32
0.28/0.32	c Switching off LPR mode.
0.28/0.32	o -30	0.32
1.09/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.11	c        0    760    41315    83388    2    82660   14771      1      0 0.32
1.09/1.11	c      100    760    41415   156073    3    82860   16249    101    290 0.34
1.09/1.11	c      350    760    41665   337705    8    83360   17874    351    833 0.42
1.09/1.11	c      825    760    42140   682842   16    84310   19662    826   1361 0.61
1.09/1.11	c     1639    760    42954  1273727   29    85938   21629   1640   1655 0.99
1.09/1.11	o -31	1.109
73.78/73.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
73.78/73.86	c     1987    760    43303  1527496   35    86667   14771   1989   1790 1.11
73.78/73.86	c     2087    760    43403  1600002   36    86867   16249   2089   1832 1.14
73.78/73.86	c     2337    760    43653  1781302   40    87367   17874   2339   1925 1.21
73.78/73.86	c     2815    760    44131  2127656   48    88323   19662   2817   2023 1.39
73.78/73.86	c     3629    760    44945  2718787   60    89951   21629   3631   2021 1.79
73.78/73.86	c     4949    760    46265  3675872   79    92591   23792   4951   2069 2.39
73.78/73.86	c     7030    760    48346  5186057  107    96753   26172   7032   1646 4.27
73.78/73.86	c    10253    760    51569  7522709  145   103199   28790  10255   1415 7.24
73.78/73.86	c    15189    760    56505 11100621  196   113071   31670  15191   1057 14.36
73.78/73.86	c    22696    760    64012 16546669  258   128085   34838  22698    630 36.02
73.78/73.86	c    34057    760    75373 24779655  328   150807   38322  34059    495 68.75
73.78/73.86	o -32	73.839
1800.03/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.50	c    37508    760    78825 27283358  346   157743   14771  37511    507 73.84
1800.03/1800.50	c    37609    760    48802  5510226  112    97636   16249   7488    484 77.61
1800.03/1800.50	c    37859    760    49052  5691318  116    98136   17874   7738    486 77.75
1800.03/1800.50	c    38335    760    49528  6036068  121    99088   19662   8214    491 77.93
1800.03/1800.50	c    39148    760    50341  6625161  131   100714   21629   9027    499 78.32
1800.03/1800.50	c    40470    760    51663  7581503  146   103358   23792  10349    511 79.06
1800.03/1800.50	c    42551    760    53744  9088480  169   107520   26172  12430    527 80.61
1800.03/1800.50	c    45774    760    56967 11422910  200   113966   28790  15653    547 83.64
1800.03/1800.50	c    50710    760    61903 14996316  242   123838   31670  20589    557 90.89
1800.03/1800.50	c    58217    760    69410 20432141  294   138852   34838  28096    553 105.27
1800.03/1800.50	c    69578    760    56526 11095398  196   113084   38322  15212    531 130.93
1800.03/1800.50	c    86723    760    73671 23501865  319   147374   42155  32357    448 193.42
1800.03/1800.50	c   112542    760    68093 19466082  285   136218   46371  26779    409 274.79
1800.03/1800.50	c   151375    760    71430 21888166  306   142892   51009  30116    314 480.93
1800.03/1800.50	c   209728    760    90033 35320894  392   180098   56110  48719    213 981.51
1800.03/1800.50	c   297361    760    87468 33502746  383   174968   61722  46154    170 1747.53
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   32   311497  33729   354803   101604 43734146  60290    173 1800.04
1800.03/1800.50	c Objective: -32
1800.03/1800.50	s SATISFIABLE
1800.03/1800.50	c Total time: 1800.04 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-3733066-1338692140/watcher-3733066-1338692140 -o /tmp/evaluation-result-3733066-1338692140/solver-3733066-1338692140 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733066-1338692140.opb 

running on 4 cores: 1,3,5,7

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.91 3.57 2.62 3/179 29404
/proc/meminfo: memFree=28049160/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) D 29402 29404 27204 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 335339425 2723840 48 33554432000 134512640 135840783 4294373504 4294371540 8250308 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 665 48 37 325 0 32 0

[startup+0.020807 s]
/proc/loadavg: 4.91 3.57 2.62 3/179 29404
/proc/meminfo: memFree=28049160/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=6208 CPUtime=0.01 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 654 0 0 0 1 0 0 0 20 0 1 0 335339425 6356992 590 33554432000 134512640 135840783 4294373504 4294372336 3257639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 1552 591 362 325 0 246 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6208

[startup+0.100282 s]
/proc/loadavg: 4.91 3.57 2.62 3/179 29404
/proc/meminfo: memFree=28049160/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=10656 CPUtime=0.08 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 2222 0 0 0 8 0 0 0 20 0 1 0 335339425 10911744 1916 33554432000 134512640 135840783 4294373504 4294363500 14312496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 2664 1916 343 325 0 1600 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10656

[startup+0.300241 s]
/proc/loadavg: 4.91 3.57 2.62 3/179 29404
/proc/meminfo: memFree=28049160/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=11976 CPUtime=0.28 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 2558 0 0 0 27 1 0 0 20 0 1 0 335339425 12263424 2252 33554432000 134512640 135840783 4294373504 4294363324 14312496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 2994 2252 345 325 0 1930 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11976

[startup+0.700223 s]
/proc/loadavg: 4.91 3.57 2.62 3/179 29404
/proc/meminfo: memFree=28049160/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=20952 CPUtime=0.68 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 5398 0 0 0 66 2 0 0 20 0 1 0 335339425 21454848 4506 33554432000 134512640 135840783 4294373504 4294363920 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 5238 4506 350 325 0 4174 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20952

[startup+1.50023 s]
/proc/loadavg: 4.91 3.57 2.62 3/180 29405
/proc/meminfo: memFree=28027560/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=39740 CPUtime=1.48 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 10091 0 0 0 146 2 0 0 20 0 1 0 335339425 40693760 9199 33554432000 134512640 135840783 4294373504 4294364048 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 9935 9199 350 325 0 8871 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39740

[startup+3.10027 s]
/proc/loadavg: 4.68 3.55 2.61 3/180 29405
/proc/meminfo: memFree=28001644/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=67164 CPUtime=3.09 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 16953 0 0 0 305 4 0 0 20 0 1 0 335339425 68775936 16061 33554432000 134512640 135840783 4294373504 4294363600 3257639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 16791 16061 350 325 0 15727 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67164

[startup+6.30028 s]
/proc/loadavg: 4.68 3.55 2.61 3/180 29405
/proc/meminfo: memFree=27963144/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=99896 CPUtime=6.28 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 25129 0 0 0 623 5 0 0 20 0 1 0 335339425 102293504 24237 33554432000 134512640 135840783 4294373504 4294363600 3257639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 24974 24237 350 325 0 23910 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 99896

[startup+12.7003 s]
/proc/loadavg: 4.26 3.50 2.61 3/180 29405
/proc/meminfo: memFree=27913684/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=146248 CPUtime=12.68 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 36705 0 0 0 1261 7 0 0 20 0 1 0 335339425 149757952 35813 33554432000 134512640 135840783 4294373504 4294363600 3257639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 36562 35813 350 325 0 35498 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 146248

[startup+25.5003 s]
/proc/loadavg: 3.92 3.45 2.60 3/180 29405
/proc/meminfo: memFree=27860252/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=198952 CPUtime=25.48 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 49896 0 0 0 2537 11 0 0 20 0 1 0 335339425 203726848 49004 33554432000 134512640 135840783 4294373504 4294372864 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 49738 49004 350 325 0 48674 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 198952

[startup+51.1003 s]
/proc/loadavg: 3.32 3.34 2.59 3/180 29405
/proc/meminfo: memFree=27765200/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=284080 CPUtime=51.08 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 71186 0 0 0 5090 18 0 0 20 0 1 0 335339425 290897920 70294 33554432000 134512640 135840783 4294373504 4294372816 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 71020 70294 350 325 0 69956 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 284080

[startup+102.307 s]
/proc/loadavg: 2.52 3.12 2.55 3/179 29405
/proc/meminfo: memFree=27686048/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=360324 CPUtime=102.27 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 90279 0 0 0 10202 25 0 0 20 0 1 0 335339425 368971776 89345 33554432000 134512640 135840783 4294373504 4294372816 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 90081 89345 350 325 0 89017 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 360324

[startup+162.3 s]
/proc/loadavg: 2.19 2.91 2.52 3/179 29405
/proc/meminfo: memFree=27686076/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=360324 CPUtime=162.21 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 90325 0 0 0 16196 25 0 0 20 0 1 0 335339425 368971776 89345 33554432000 134512640 135840783 4294373504 4294372864 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 90081 89345 350 325 0 89017 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 360324

[startup+222.3 s]
/proc/loadavg: 2.07 2.74 2.48 3/179 29406
/proc/meminfo: memFree=27636504/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=409724 CPUtime=222.15 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 102767 0 0 0 22187 28 0 0 20 0 1 0 335339425 419557376 101699 33554432000 134512640 135840783 4294373504 4294372928 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 102431 101699 350 325 0 101367 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 409724

[startup+282.3 s]
/proc/loadavg: 2.02 2.60 2.45 3/180 29409
/proc/meminfo: memFree=27623504/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=409724 CPUtime=282.1 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 102813 0 0 0 28182 28 0 0 20 0 1 0 335339425 419557376 101699 33554432000 134512640 135840783 4294373504 4294372864 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 102431 101699 350 325 0 101367 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 409724

[startup+342.3 s]
/proc/loadavg: 2.01 2.49 2.42 3/180 29432
/proc/meminfo: memFree=27615968/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=417984 CPUtime=342.08 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 104889 0 0 0 34179 29 0 0 20 0 1 0 335339425 428015616 103760 33554432000 134512640 135840783 4294373504 4294372864 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 104496 103760 350 325 0 103432 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 417984

[startup+402.3 s]
/proc/loadavg: 2.00 2.40 2.39 3/179 29432
/proc/meminfo: memFree=27584280/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=449028 CPUtime=402.06 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 112713 0 0 0 40174 32 0 0 20 0 1 0 335339425 459804672 111530 33554432000 134512640 135840783 4294373504 4294372864 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 112257 111530 350 325 0 111193 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 449028

[startup+462.3 s]
/proc/loadavg: 2.00 2.32 2.36 3/179 29432
/proc/meminfo: memFree=27570056/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=449028 CPUtime=462.05 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 112713 0 0 0 46173 32 0 0 20 0 1 0 335339425 459804672 111530 33554432000 134512640 135840783 4294373504 4294372864 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 112257 111530 350 325 0 111193 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 449028

[startup+522.3 s]
/proc/loadavg: 2.00 2.27 2.34 3/178 29433
/proc/meminfo: memFree=27570808/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=449028 CPUtime=522.04 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 112713 0 0 0 52172 32 0 0 20 0 1 0 335339425 459804672 111530 33554432000 134512640 135840783 4294373504 4294372864 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 112257 111530 350 325 0 111193 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 449028

[startup+582.3 s]
/proc/loadavg: 2.00 2.21 2.31 3/179 29434
/proc/meminfo: memFree=27531244/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=489232 CPUtime=582.04 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 122762 0 0 0 58167 37 0 0 20 0 1 0 335339425 500973568 121579 33554432000 134512640 135840783 4294373504 4294372816 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 122308 121579 350 325 0 121244 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 489232

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.07 2.21 3/180 29438
/proc/meminfo: memFree=27526584/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=492164 CPUtime=881.97 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 123564 0 0 0 88160 37 0 0 20 0 1 0 335339425 503975936 122309 33554432000 134512640 135840783 4294373504 4294372864 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 123041 122309 350 325 0 121977 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 492164

[startup+942.3 s]
/proc/loadavg: 2.08 2.07 2.20 3/179 29438
/proc/meminfo: memFree=27526716/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=492164 CPUtime=941.96 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 123564 0 0 0 94159 37 0 0 20 0 1 0 335339425 503975936 122309 33554432000 134512640 135840783 4294373504 4294372816 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 123041 122309 350 325 0 121977 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 492164

[startup+1002.3 s]
/proc/loadavg: 2.03 2.05 2.18 3/179 29438
/proc/meminfo: memFree=27464096/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=539440 CPUtime=1001.95 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135421 0 0 0 100154 41 0 0 20 0 1 0 335339425 552386560 134110 33554432000 134512640 135840783 4294373504 4294372928 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 134860 134110 350 325 0 133796 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 539440

[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.17 3/179 29438
/proc/meminfo: memFree=27464096/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=539440 CPUtime=1061.94 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135421 0 0 0 106153 41 0 0 20 0 1 0 335339425 552386560 134110 33554432000 134512640 135840783 4294373504 4294372816 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 134860 134110 350 325 0 133796 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 539440

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/179 29439
/proc/meminfo: memFree=27464096/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=539440 CPUtime=1121.94 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135421 0 0 0 112152 42 0 0 20 0 1 0 335339425 552386560 134110 33554432000 134512640 135840783 4294373504 4294372864 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 134860 134110 350 325 0 133796 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 539440

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.15 3/179 29439
/proc/meminfo: memFree=27463660/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=539440 CPUtime=1181.93 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135422 0 0 0 118151 42 0 0 20 0 1 0 335339425 552386560 134110 33554432000 134512640 135840783 4294373504 4294372864 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 134860 134110 350 325 0 133796 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 539440

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/179 29439
/proc/meminfo: memFree=27463740/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=539440 CPUtime=1241.92 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135441 0 0 0 124150 42 0 0 20 0 1 0 335339425 552386560 134110 33554432000 134512640 135840783 4294373504 4294372864 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 134860 134110 350 325 0 133796 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 539440

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 29439
/proc/meminfo: memFree=27463616/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=539440 CPUtime=1301.91 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135441 0 0 0 130149 42 0 0 20 0 1 0 335339425 552386560 134110 33554432000 134512640 135840783 4294373504 4294372864 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 134860 134110 350 325 0 133796 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 539440

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/179 29439
/proc/meminfo: memFree=27463600/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=539440 CPUtime=1361.9 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135441 0 0 0 136148 42 0 0 20 0 1 0 335339425 552386560 134110 33554432000 134512640 135840783 4294373504 4294372864 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 134860 134110 350 325 0 133796 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 539440

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 29440
/proc/meminfo: memFree=27462980/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=540208 CPUtime=1421.89 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135629 0 0 0 142147 42 0 0 20 0 1 0 335339425 553172992 134298 33554432000 134512640 135840783 4294373504 4294372864 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 135052 134298 350 325 0 133988 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 540208

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.10 3/180 29443
/proc/meminfo: memFree=27463344/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=540208 CPUtime=1481.88 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135629 0 0 0 148146 42 0 0 20 0 1 0 335339425 553172992 134298 33554432000 134512640 135840783 4294373504 4294372864 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 135052 134298 350 325 0 133988 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 540208

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.09 3/179 29443
/proc/meminfo: memFree=27463228/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=540208 CPUtime=1541.87 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135629 0 0 0 154145 42 0 0 20 0 1 0 335339425 553172992 134298 33554432000 134512640 135840783 4294373504 4294372864 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 135052 134298 350 325 0 133988 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 540208

[startup+1602.3 s]
/proc/loadavg: 1.97 2.00 2.08 3/179 29482
/proc/meminfo: memFree=27384780/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=540208 CPUtime=1601.86 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135629 0 0 0 160144 42 0 0 20 0 1 0 335339425 553172992 134298 33554432000 134512640 135840783 4294373504 4294372864 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 135052 134298 350 325 0 133988 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 540208

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.07 3/179 29482
/proc/meminfo: memFree=27033860/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=540208 CPUtime=1661.85 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135629 0 0 0 166143 42 0 0 20 0 1 0 335339425 553172992 134298 33554432000 134512640 135840783 4294373504 4294372740 3252386 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 135052 134298 350 325 0 133988 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 540208

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.07 3/178 29482
/proc/meminfo: memFree=26828384/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=540208 CPUtime=1721.84 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135630 0 0 0 172142 42 0 0 20 0 1 0 335339425 553172992 134298 33554432000 134512640 135840783 4294373504 4294372816 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 135052 134298 350 325 0 133988 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 540208

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.06 3/179 29483
/proc/meminfo: memFree=26639056/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=540208 CPUtime=1781.83 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 135630 0 0 0 178141 42 0 0 20 0 1 0 335339425 553172992 134298 33554432000 134512640 135840783 4294373504 4294372864 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 135052 134298 350 325 0 133988 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 540208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.99 2.00 2.06 3/179 29483
/proc/meminfo: memFree=26566004/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=571868 CPUtime=1800.03 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 143563 0 0 0 179958 45 0 0 20 0 1 0 335339425 585592832 142231 33554432000 134512640 135840783 4294373504 4294372864 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 142967 142231 350 325 0 141903 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 571868

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: 1.99 2.00 2.06 3/179 29483
/proc/meminfo: memFree=26566004/32873844 swapFree=7124/7124
[pid=29404] ppid=29402 vsize=571868 CPUtime=1800.03 cores=1,3,5,7
/proc/29404/stat : 29404 (bsolo3.0.17) R 29402 29404 27204 0 -1 4202496 143563 0 0 0 179958 45 0 0 20 0 1 0 335339425 585592832 142231 33554432000 134512640 135840783 4294373504 4294372864 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29404/statm: 142967 142231 350 325 0 141903 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 571868

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.45993
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 571868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.45993
maximum resident set size= 568924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143566
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= 221
involuntary context switches= 1893

runsolver used 3.53046 second user time and 10.4544 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 04:55:40
IDJOB=3733066
IDBENCH=2243
IDSOLVER=2318
FILE ID=node134/3733066-1338692140
RUNJOBID= node134-1338678625-27224
PBS_JOBID= 14636679
Free space on /tmp= 70352 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-1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733066-1338692140/watcher-3733066-1338692140 -o /tmp/evaluation-result-3733066-1338692140/solver-3733066-1338692140 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733066-1338692140.opb            

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

MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107
RANDOM SEED=993018440

node134.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		: 2667.278
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	: 5334.55
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		: 2667.278
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	: 5332.56
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		: 2667.278
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.55
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		: 2667.278
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	: 5332.59
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.57
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		: 2667.278
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28049152 kB
Buffers:          474756 kB
Cached:          3305680 kB
SwapCached:           76 kB
Active:          1881940 kB
Inactive:        2035764 kB
Active(anon):     128760 kB
Inactive(anon):    10496 kB
Active(file):    1753180 kB
Inactive(file):  2025268 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:             13696 kB
Writeback:             0 kB
AnonPages:        166380 kB
Mapped:            12644 kB
Shmem:                96 kB
Slab:             765604 kB
SReclaimable:     206500 kB
SUnreclaim:       559104 kB
KernelStack:        1504 kB
PageTables:         4252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     251944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 70344 MiB
End job on node134 at 2012-06-03 05:25:43