Trace number 3707937

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
bsolo 3.2SAT-32 1798 1798.47

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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707937-1338152666.opb
0.00/0.00	c File size is 980618 bytes.
0.00/0.06	c Highest Coefficient sum: 760
0.00/0.06	c Parsing was ok!!
0.00/0.06	c Total parsing time: 0.065 s
0.06/0.07	c Var: 760 Constr: 41095 41095/0/0 Lit: 82190 Watch. Lit: 82190
0.06/0.07	c Obj. Vars: 760 (100 % of total variables)
0.18/0.29	c Pre-processing Time: 0.292 s
0.18/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.29	c        0    760    41095    82190    2    82190   13698      0      0 0.29
0.18/0.29	c Switching off lower bounding mode.
0.18/0.29	o -31
6.18/6.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.20	c        0    760    41096    82950    2    82223   14698      1      0 0.29
6.18/6.20	c      100    760    41204   161332    3    82439   16168    109    269 0.37
6.18/6.20	c      350    760    41481   362100    8    82993   17785    386    606 0.58
6.18/6.20	c      825    760    42029   758767   18    84089   19564    934    852 0.97
6.18/6.20	c     1639    760    42958  1431516   33    85947   21521   1863    952 1.72
6.18/6.20	c     2959    760    44469  2525875   56    88969   23674   3374   1003 2.95
6.18/6.20	c     5041    760    46838  4241803   90    93707   26042   5743    956 5.27
6.18/6.20	o -32
1797.92/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.47	c     6009    760    47904  5014300  104    95871   14698   6809    969 6.20
1797.92/1798.47	c     6109    760    48015  5094672  106    96093   16168   6920    971 6.29
1797.92/1798.47	c     6359    760    48293  5295697  109    96649   17785   7198    974 6.53
1797.92/1798.47	c     6834    760    48801  5663741  116    97665   19564   7706    976 7.00
1797.92/1798.47	c     7648    760    49736  6339294  127    99535   21521   8641    981 7.79
1797.92/1798.47	c     8968    760    51257  7438045  145   102577   23674  10162    970 9.24
1797.92/1798.47	c    11050    760    53681  9188347  171   107425   26042  12586    933 11.84
1797.92/1798.47	c    14273    760    57291 11800525  205   114645   28647  16196    888 16.07
1797.92/1798.47	c    19209    760    63038 15951574  253   126139   31512  21943    847 22.67
1797.92/1798.47	c    26715    760    71698 22210363  309   143459   34664  30603    747 35.72
1797.92/1798.47	c    38076    760    62139 15292364  246   124310   38131  21044    661 57.57
1797.92/1798.47	c    55221    760    56178 10972254  195   112388   41945  15083    621 88.91
1797.92/1798.47	c    81040    760    55554 10530505  189   111140   46140  14459    555 145.81
1797.92/1798.47	c   119872    760    65940 18023784  273   131968   50755  24845    508 235.94
1797.92/1798.47	c   178224    760    56815 11436561  201   113662   55831  15720    441 403.47
1797.92/1798.47	c   265857    760    72298 22580723  312   144685   61415  31203    371 715.76
1797.92/1798.47	c   397409    760    79679 27911578  350   159448   67557  38584    338 1173.34
1797.92/1798.47	c Resources Exceeded
1797.92/1798.47	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 
1797.92/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.47	c   24   552614  39897   600244    95253 39175796  54158    307 1798.00
1797.92/1798.47	c Objective: -32
1797.92/1798.47	s SATISFIABLE
1797.92/1798.47	c Total time: 1798 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-3707937-1338152666/watcher-3707937-1338152666 -o /tmp/evaluation-result-3707937-1338152666/solver-3707937-1338152666 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707937-1338152666.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.01 2.00 3/176 17007
/proc/meminfo: memFree=31019772/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=11896 CPUtime=0 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 281391208 12181504 286 33554432000 134512640 137138936 4293514656 4293513184 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2974 287 179 642 0 2090 0

[startup+0.0717699 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 17007
/proc/meminfo: memFree=31019772/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=15840 CPUtime=0.06 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 1785 0 0 0 6 0 0 0 20 0 1 0 281391208 16220160 1500 33554432000 134512640 137138936 4293514656 4293513336 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 3960 1503 182 642 0 3316 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15840

[startup+0.100237 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 17007
/proc/meminfo: memFree=31019772/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=17424 CPUtime=0.09 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 2198 0 0 0 9 0 0 0 20 0 1 0 281391208 17842176 1912 33554432000 134512640 137138936 4293514656 4293503816 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 4356 1915 185 642 0 3712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17424

[startup+0.300181 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 17007
/proc/meminfo: memFree=31019772/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=16792 CPUtime=0.29 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 2361 0 0 0 28 1 0 0 20 0 1 0 281391208 17195008 1774 33554432000 134512640 137138936 4293514656 4293504076 134599648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 4198 1774 192 642 0 3554 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16792

[startup+0.70018 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 17007
/proc/meminfo: memFree=31019772/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=21960 CPUtime=0.69 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 3649 0 0 0 68 1 0 0 20 0 1 0 281391208 22487040 3062 33554432000 134512640 137138936 4293514656 4293513400 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 5490 3062 192 642 0 4846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21960

[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17008
/proc/meminfo: memFree=31004504/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=31668 CPUtime=1.49 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 6066 0 0 0 147 2 0 0 20 0 1 0 281391208 32428032 5479 33554432000 134512640 137138936 4293514656 4293513048 136504280 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 7917 5479 192 642 0 7273 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31668

[startup+3.10019 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17008
/proc/meminfo: memFree=30991100/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=49968 CPUtime=3.08 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 10656 0 0 0 306 2 0 0 20 0 1 0 281391208 51167232 10065 33554432000 134512640 137138936 4293514656 4293513192 136504193 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 12492 10065 192 642 0 11848 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49968

[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17008
/proc/meminfo: memFree=30958488/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=81276 CPUtime=6.28 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 18467 0 0 0 624 4 0 0 20 0 1 0 281391208 83226624 17876 33554432000 134512640 137138936 4293514656 4293513584 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 20319 17876 192 642 0 19675 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 81276

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17008
/proc/meminfo: memFree=30893628/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=142324 CPUtime=12.68 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 33743 0 0 0 1261 7 0 0 20 0 1 0 281391208 145739776 33146 33554432000 134512640 137138936 4293514656 4293513264 134552410 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 35581 33146 192 642 0 34937 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 142324

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17008
/proc/meminfo: memFree=30787972/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=244116 CPUtime=25.47 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 59197 0 0 0 2533 14 0 0 20 0 1 0 281391208 249974784 58592 33554432000 134512640 137138936 4293514656 4293513080 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 61029 58592 192 642 0 60385 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 244116

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17008
/proc/meminfo: memFree=30683036/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=345908 CPUtime=51.05 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 84700 0 0 0 5083 22 0 0 20 0 1 0 281391208 354209792 84045 33554432000 134512640 137138936 4293514656 4293513264 134544865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 86477 84045 192 642 0 85833 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 345908

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17008
/proc/meminfo: memFree=30649956/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=378036 CPUtime=102.21 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 92797 0 0 0 10194 27 0 0 20 0 1 0 281391208 387108864 92056 33554432000 134512640 137138936 4293514656 4293513152 134617971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 94509 92056 192 642 0 93865 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 378036

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17008
/proc/meminfo: memFree=30615032/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=413184 CPUtime=162.16 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 101688 0 0 0 16183 33 0 0 20 0 1 0 281391208 423100416 100857 33554432000 134512640 137138936 4293514656 4293513584 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 103296 100857 192 642 0 102652 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 413184

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17009
/proc/meminfo: memFree=30575876/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=452156 CPUtime=222.11 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 111525 0 0 0 22173 38 0 0 20 0 1 0 281391208 463007744 110603 33554432000 134512640 137138936 4293514656 4293513772 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 113039 110603 192 642 0 112395 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 452156

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17009
/proc/meminfo: memFree=30533752/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=495572 CPUtime=282.09 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 122472 0 0 0 28165 44 0 0 20 0 1 0 281391208 507465728 121464 33554432000 134512640 137138936 4293514656 4293513696 134540740 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 123893 121464 192 642 0 123249 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 495572

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17012
/proc/meminfo: memFree=30532628/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=495572 CPUtime=342.08 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 122472 0 0 0 34161 47 0 0 20 0 1 0 281391208 507465728 121464 33554432000 134512640 137138936 4293514656 4293513536 136297742 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 123893 121464 192 642 0 123249 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 495572

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17012
/proc/meminfo: memFree=30532636/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=495968 CPUtime=402.07 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 122544 0 0 0 40159 48 0 0 20 0 1 0 281391208 507871232 121536 33554432000 134512640 137138936 4293514656 4293513772 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 123992 121536 192 642 0 123348 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 495968

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17012
/proc/meminfo: memFree=30532512/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=495968 CPUtime=462.06 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 122544 0 0 0 46154 52 0 0 20 0 1 0 281391208 507871232 121536 33554432000 134512640 137138936 4293514656 4293513204 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 123992 121536 192 642 0 123348 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 495968

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17013
/proc/meminfo: memFree=30484896/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=543360 CPUtime=522.06 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 134478 0 0 0 52147 59 0 0 20 0 1 0 281391208 556400640 133414 33554432000 134512640 137138936 4293514656 4293513584 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 135840 133414 192 642 0 135196 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 543360

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17013
/proc/meminfo: memFree=30485020/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=543360 CPUtime=582.04 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 134478 0 0 0 58142 62 0 0 20 0 1 0 281391208 556400640 133414 33554432000 134512640 137138936 4293514656 4293513772 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 135840 133414 192 642 0 135196 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 543360

[startup+642.3 s]

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

/proc/meminfo: memFree=30433416/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=595032 CPUtime=1121.94 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 147480 0 0 0 112105 89 0 0 20 0 1 0 281391208 609312768 146321 33554432000 134512640 137138936 4293514656 4293513584 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 148758 146321 192 642 0 148114 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 595032

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17018
/proc/meminfo: memFree=30433540/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=595032 CPUtime=1181.94 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 147480 0 0 0 118101 93 0 0 20 0 1 0 281391208 609312768 146321 33554432000 134512640 137138936 4293514656 4293513200 134607584 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 148758 146321 192 642 0 148114 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 595032

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17018
/proc/meminfo: memFree=30380280/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=632120 CPUtime=1241.9 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 156788 0 0 0 124093 97 0 0 20 0 1 0 281391208 647290880 155591 33554432000 134512640 137138936 4293514656 4293513584 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 158030 155591 192 642 0 157386 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 632120

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17018
/proc/meminfo: memFree=30348556/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1301.9 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 130088 102 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 652100

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30536756/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1361.89 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 136085 104 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 652100

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30058404/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1421.89 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 142082 107 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513552 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 652100

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17057
/proc/meminfo: memFree=29748776/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1481.87 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 148079 108 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 652100

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17060
/proc/meminfo: memFree=29541812/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1541.86 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 154075 111 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 652100

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17060
/proc/meminfo: memFree=29541696/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1601.85 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 160072 113 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 652100

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17060
/proc/meminfo: memFree=29541820/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1661.84 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 166068 116 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513048 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 652100

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17060
/proc/meminfo: memFree=29538596/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1721.83 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 172065 118 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513152 134618026 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 652100

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538616/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1781.82 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 178060 122 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 652100

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538848/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1791.43 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 179020 123 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513236 136511125 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 652100

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538832/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1794.62 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 179339 123 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513772 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 652100

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538832/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1796.22 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 179499 123 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 652100

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538832/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1797.01 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 179578 123 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 652100

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538832/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1797.41 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 179618 123 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 652100

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538832/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1797.81 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 179658 123 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 652100

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538956/32873844 swapFree=6080/6080
[pid=17007] ppid=17005 vsize=652100 CPUtime=1797.92 cores=0,2,4,6
/proc/17007/stat : 17007 (bsolo) R 17005 17007 24278 0 -1 4202496 161866 0 0 0 179669 123 0 0 20 0 1 0 281391208 667750400 160598 33554432000 134512640 137138936 4293514656 4293513584 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 163025 160598 192 642 0 162381 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 652100

Child status: 0
Real time (s): 1798.47
CPU time (s): 1798
CPU user time (s): 1796.76
CPU system time (s): 1.24081
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 652100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 1.24081
maximum resident set size= 642660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161867
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= 291
involuntary context switches= 1947

runsolver used 2.79957 second user time and 7.01693 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-27 23:04:27
IDJOB=3707937
IDBENCH=2241
IDSOLVER=2286
FILE ID=node139/3707937-1338152666
RUNJOBID= node139-1338145026-16386
PBS_JOBID= 14624487
Free space on /tmp= 71656 MiB

SOLVER NAME= bsolo 3.2
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= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707937-1338152666/watcher-3707937-1338152666 -o /tmp/evaluation-result-3707937-1338152666/solver-3707937-1338152666 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707937-1338152666.opb

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

MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42
RANDOM SEED=515284965

node139.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.750
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.50
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.750
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.750
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.90
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.750
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.750
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.92
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.750
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.91
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.750
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.750
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:        31020136 kB
Buffers:          392096 kB
Cached:           399032 kB
SwapCached:          828 kB
Active:           826108 kB
Inactive:         173796 kB
Active(anon):     201508 kB
Inactive(anon):     8712 kB
Active(file):     624600 kB
Inactive(file):   165084 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              4668 kB
Writeback:             0 kB
AnonPages:        233792 kB
Mapped:            12616 kB
Shmem:                 8 kB
Slab:             714112 kB
SReclaimable:     156636 kB
SUnreclaim:       557476 kB
KernelStack:        1472 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     334012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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= 71648 MiB
End job on node139 at 2012-05-27 23:34:25