Trace number 3733000

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)-24 1800.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark12.2971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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-3733000-1338691741.opb
0.00/0.00	c File size is 421987 bytes.
0.02/0.04	c Highest Coefficient sum: 450
0.02/0.04	c Parsing was ok!!
0.02/0.04	c Total parsing time: 0.036 s
0.02/0.04	c Var: 450 Constr: 17794 17794/0/0 Lit: 35588 Watch. Lit: 35588
0.02/0.04	c Obj. Vars: 450 (100 % of total variables)
0.08/0.11	c Pre-processing Time: 0.112 s
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0    450    17794    35588    2    35588    5931      0      0 0.11
0.08/0.11	c Switching off LPR mode.
0.08/0.11	o -22	0.113
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0    450    17795    36038    2    35612    6931      1      0 0.11
0.08/0.12	o -23	0.116
127.76/127.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.76/127.87	c       19    450    17815    44544    2    35675    6931     21    163 0.12
127.76/127.87	c      119    450    17915    86917    4    35875    7625    121    894 0.13
127.76/127.87	c      369    450    18165   192608   10    36375    8388    371   2038 0.18
127.76/127.87	c      845    450    18641   394136   21    37327    9227    847   2903 0.29
127.76/127.87	c     1660    450    19456   738083   37    38957   10150   1662   3051 0.54
127.76/127.87	c     2980    450    20776  1296452   62    41597   11166   2982   3232 0.92
127.76/127.87	c     5061    450    22857  2175373   95    45759   12283   5063   2454 2.06
127.76/127.87	c     8285    450    26081  3538171  135    52207   13512   8287   2300 3.60
127.76/127.87	c    13221    450    31017  5622296  181    62079   14864  13223   1700 7.77
127.76/127.87	c    20727    450    30654  5470482  178    61331   16351  12860   1525 13.59
127.76/127.87	c    32088    450    33407  6632901  198    66837   17987  15613   1026 31.27
127.76/127.87	c    49233    450    31714  5918228  186    63451   19786  13920    674 73.04
127.76/127.87	c    75052    450    36884  8103032  219    73791   21765  19090    592 126.70
127.76/127.87	o -24	127.846
1800.03/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.40	c    76220    450    38053  8597382  225    76153    6931  20259    596 127.85
1800.03/1800.40	c    76321    450    21362  1544201   72    42748    7625   3568    592 128.91
1800.03/1800.40	c    76571    450    21612  1649825   76    43248    8388   3818    593 128.97
1800.03/1800.40	c    77048    450    22089  1851137   83    44202    9227   4295    597 129.06
1800.03/1800.40	c    77861    450    22902  2193494   95    45828   10150   5108    601 129.52
1800.03/1800.40	c    79182    450    24223  2749824  113    48470   11166   6429    608 130.15
1800.03/1800.40	c    81264    450    26305  3627359  137    52634   12283   8511    619 131.17
1800.03/1800.40	c    84488    450    29529  4987340  168    59082   13512  11735    632 133.53
1800.03/1800.40	c    89426    450    27288  4038803  148    54600   14864   9494    653 136.77
1800.03/1800.40	c    96932    450    26931  3887021  144    53886   16351   9137    666 145.42
1800.03/1800.40	c   108293    450    29681  5043209  169    59386   17987  11887    672 160.96
1800.03/1800.40	c   125437    450    27986  4330499  154    55996   19786  10192    661 189.57
1800.03/1800.40	c   151256    450    33159  6513612  196    66342   21765  15365    598 252.84
1800.03/1800.40	c   190089    450    38081  8580496  225    76186   23942  20287    541 350.78
1800.03/1800.40	c   248443    450    29640  5029281  169    59304   26337  11846    457 542.67
1800.03/1800.40	c   336075    450    39298  9107777  231    78620   28971  21504    466 720.87
1800.03/1800.40	c   467627    450    43823 11007183  251    87670   31869  26029    323 1447.64
1800.03/1800.40	c Caught signal: 15
1800.03/1800.40	v -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.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.40	c   31   566444  46446   621878    38085  8580467  20291    314 1800.04
1800.03/1800.40	c Objective: -24
1800.03/1800.40	s SATISFIABLE
1800.03/1800.40	c Total time: 1800.04 s

Verifier Data 

OK	-24

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-3733000-1338691741/watcher-3733000-1338691741 -o /tmp/evaluation-result-3733000-1338691741/solver-3733000-1338691741 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733000-1338691741.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 3/176 9031
/proc/meminfo: memFree=26496600/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=2888 CPUtime=0 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 335298485 2957312 56 33554432000 134512640 135840783 4292299376 4292297360 12317636 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9031/statm: 1118 62 47 325 0 38 0

[startup+0.0316561 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9031
/proc/meminfo: memFree=26496600/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=6204 CPUtime=0.02 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 803 0 0 0 2 0 0 0 20 0 1 0 335298485 6352896 739 33554432000 134512640 135840783 4292299376 4292298332 8532834 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9031/statm: 1551 740 390 325 0 383 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6204

[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9031
/proc/meminfo: memFree=26496600/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=7792 CPUtime=0.08 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 1368 0 0 0 8 0 0 0 20 0 1 0 335298485 7979008 1200 33554432000 134512640 135840783 4292299376 4292292892 6767664 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9031/statm: 1948 1200 343 325 0 884 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7792

[startup+0.300185 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9031
/proc/meminfo: memFree=26496600/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=11888 CPUtime=0.29 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 2509 0 0 0 28 1 0 0 20 0 1 0 335298485 12173312 2233 33554432000 134512640 135840783 4292299376 4292298672 134572681 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9031/statm: 2972 2233 348 325 0 1908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11888

[startup+0.700186 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9031
/proc/meminfo: memFree=26496600/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=19796 CPUtime=0.68 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 4477 0 0 0 67 1 0 0 20 0 1 0 335298485 20271104 4201 33554432000 134512640 135840783 4292299376 4292298676 12835403 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9031/statm: 4949 4201 348 325 0 3885 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19796

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9032
/proc/meminfo: memFree=26475752/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=31024 CPUtime=1.49 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 7289 0 0 0 147 2 0 0 20 0 1 0 335298485 31768576 7013 33554432000 134512640 135840783 4292299376 4292298736 134551076 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 7756 7013 348 325 0 6692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31024

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9032
/proc/meminfo: memFree=26465832/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=48092 CPUtime=3.08 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 11560 0 0 0 305 3 0 0 20 0 1 0 335298485 49246208 11284 33554432000 134512640 135840783 4292299376 4292298736 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 12023 11284 348 325 0 10959 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48092

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9032
/proc/meminfo: memFree=26431740/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=75172 CPUtime=6.28 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 18320 0 0 0 623 5 0 0 20 0 1 0 335298485 76976128 18044 33554432000 134512640 135840783 4292299376 4292298736 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 18793 18044 348 325 0 17729 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 75172

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9033
/proc/meminfo: memFree=26409148/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=91132 CPUtime=12.69 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 22317 0 0 0 1263 6 0 0 20 0 1 0 335298485 93319168 22041 33554432000 134512640 135840783 4292299376 4292298612 12824683 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 22783 22041 348 325 0 21719 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91132

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9033
/proc/meminfo: memFree=26401204/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=99252 CPUtime=25.48 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 24352 0 0 0 2542 6 0 0 20 0 1 0 335298485 101634048 24076 33554432000 134512640 135840783 4292299376 4292298612 12824738 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 24813 24076 348 325 0 23749 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 99252

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9033
/proc/meminfo: memFree=26392600/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=108148 CPUtime=51.07 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 26574 0 0 0 5101 6 0 0 20 0 1 0 335298485 110743552 26298 33554432000 134512640 135840783 4292299376 4292298736 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 27037 26298 348 325 0 25973 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 108148

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9036
/proc/meminfo: memFree=26178612/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=118232 CPUtime=102.27 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 29097 0 0 0 10220 7 0 0 20 0 1 0 335298485 121069568 28821 33554432000 134512640 135840783 4292299376 4292298736 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 29558 28821 348 325 0 28494 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 118232

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9036
/proc/meminfo: memFree=26178524/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=118600 CPUtime=162.26 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 29189 0 0 0 16219 7 0 0 20 0 1 0 335298485 121446400 28913 33554432000 134512640 135840783 4292299376 4292298736 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 29650 28913 348 325 0 28586 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 118600

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9036
/proc/meminfo: memFree=26178552/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=118600 CPUtime=222.25 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 29189 0 0 0 22218 7 0 0 20 0 1 0 335298485 121446400 28913 33554432000 134512640 135840783 4292299376 4292298736 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 29650 28913 348 325 0 28586 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 118600

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9036
/proc/meminfo: memFree=26134312/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=128684 CPUtime=282.24 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 31712 0 0 0 28216 8 0 0 20 0 1 0 335298485 131772416 31436 33554432000 134512640 135840783 4292299376 4292298688 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 32171 31436 348 325 0 31107 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 128684

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9037
/proc/meminfo: memFree=26049400/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=128772 CPUtime=342.23 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 31738 0 0 0 34215 8 0 0 20 0 1 0 335298485 131862528 31462 33554432000 134512640 135840783 4292299376 4292298736 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 32193 31462 348 325 0 31129 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 128772

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9037
/proc/meminfo: memFree=26037400/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=140692 CPUtime=402.22 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 34718 0 0 0 40214 8 0 0 20 0 1 0 335298485 144068608 34442 33554432000 134512640 135840783 4292299376 4292298736 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 35173 34442 348 325 0 34109 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 140692

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9037
/proc/meminfo: memFree=26037304/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=140692 CPUtime=462.21 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 34718 0 0 0 46213 8 0 0 20 0 1 0 335298485 144068608 34442 33554432000 134512640 135840783 4292299376 4292298736 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 35173 34442 348 325 0 34109 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 140692

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9037
/proc/meminfo: memFree=26037332/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=140800 CPUtime=522.21 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 34743 0 0 0 52212 9 0 0 20 0 1 0 335298485 144179200 34467 33554432000 134512640 135840783 4292299376 4292298736 134550820 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 35200 34467 348 325 0 34136 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 140800

[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 9037
/proc/meminfo: memFree=26024588/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=153752 CPUtime=582.2 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 37983 0 0 0 58210 10 0 0 20 0 1 0 335298485 157442048 37707 33554432000 134512640 135840783 4292299376 4292298736 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 38438 37707 348 325 0 37374 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 153752

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9064
/proc/meminfo: memFree=25876048/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168168 CPUtime=822.12 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42038 0 0 0 82201 11 0 0 20 0 1 0 335298485 172204032 41317 33554432000 134512640 135840783 4292299376 4292298672 134572687 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42042 41317 348 325 0 40978 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 168168

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9064
/proc/meminfo: memFree=25875852/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168168 CPUtime=882.07 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 88196 11 0 0 20 0 1 0 335298485 172204032 41317 33554432000 134512640 135840783 4292299376 4292298736 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42042 41317 348 325 0 40978 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 168168

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9065
/proc/meminfo: memFree=25876100/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168168 CPUtime=942.06 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 94195 11 0 0 20 0 1 0 335298485 172204032 41317 33554432000 134512640 135840783 4292299376 4292298736 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42042 41317 348 325 0 40978 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 168168

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9065
/proc/meminfo: memFree=25875976/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168168 CPUtime=1002.05 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 100194 11 0 0 20 0 1 0 335298485 172204032 41317 33554432000 134512640 135840783 4292299376 4292298736 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42042 41317 348 325 0 40978 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 168168

[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 9065
/proc/meminfo: memFree=25876224/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168168 CPUtime=1062.05 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 106194 11 0 0 20 0 1 0 335298485 172204032 41317 33554432000 134512640 135840783 4292299376 4292298736 134550904 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42042 41317 348 325 0 40978 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 168168

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/177 9065
/proc/meminfo: memFree=25876224/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168112 CPUtime=1122.04 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 112193 11 0 0 20 0 1 0 335298485 172146688 41303 33554432000 134512640 135840783 4292299376 4292298736 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42028 41303 348 325 0 40964 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 168112

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9065
/proc/meminfo: memFree=25877588/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168108 CPUtime=1182.03 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 118192 11 0 0 20 0 1 0 335298485 172142592 41302 33554432000 134512640 135840783 4292299376 4292298736 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42027 41302 348 325 0 40963 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 168108

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9066
/proc/meminfo: memFree=25877216/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168084 CPUtime=1242.02 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 124191 11 0 0 20 0 1 0 335298485 172118016 41296 33554432000 134512640 135840783 4292299376 4292298736 134551063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42021 41296 348 325 0 40957 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 168084

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9069
/proc/meminfo: memFree=25876712/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168084 CPUtime=1302.01 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 130190 11 0 0 20 0 1 0 335298485 172118016 41296 33554432000 134512640 135840783 4292299376 4292298736 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42021 41296 348 325 0 40957 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 168084

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9069
/proc/meminfo: memFree=25876844/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168068 CPUtime=1362 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 136189 11 0 0 20 0 1 0 335298485 172101632 41292 33554432000 134512640 135840783 4292299376 4292298736 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42017 41292 348 325 0 40953 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 168068

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9069
/proc/meminfo: memFree=25877092/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=168068 CPUtime=1421.99 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 42071 0 0 0 142188 11 0 0 20 0 1 0 335298485 172101632 41292 33554432000 134512640 135840783 4292299376 4292298736 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 42017 41292 348 325 0 40953 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 168068

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9069
/proc/meminfo: memFree=25861096/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=183776 CPUtime=1481.98 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 45998 0 0 0 148185 13 0 0 20 0 1 0 335298485 188186624 45219 33554432000 134512640 135840783 4292299376 4292298512 12827389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 45944 45219 348 325 0 44880 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 183776

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9070
/proc/meminfo: memFree=25861468/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=183776 CPUtime=1541.97 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 45998 0 0 0 154184 13 0 0 20 0 1 0 335298485 188186624 45219 33554432000 134512640 135840783 4292299376 4292298736 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 45944 45219 348 325 0 44880 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 183776

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9109
/proc/meminfo: memFree=27293980/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=183372 CPUtime=1601.96 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 45998 0 0 0 160183 13 0 0 20 0 1 0 335298485 187772928 45118 33554432000 134512640 135840783 4292299376 4292298736 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 45843 45118 348 325 0 44779 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 183372

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9109
/proc/meminfo: memFree=27030264/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=184020 CPUtime=1661.95 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 46159 0 0 0 166182 13 0 0 20 0 1 0 335298485 188436480 45279 33554432000 134512640 135840783 4292299376 4292298736 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 46005 45279 348 325 0 44941 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 184020

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9109
/proc/meminfo: memFree=26882996/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=183368 CPUtime=1721.94 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 46166 0 0 0 172181 13 0 0 20 0 1 0 335298485 187768832 45117 33554432000 134512640 135840783 4292299376 4292298688 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 45842 45117 348 325 0 44778 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 183368

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9109
/proc/meminfo: memFree=26719468/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=183784 CPUtime=1781.93 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 46269 0 0 0 178180 13 0 0 20 0 1 0 335298485 188194816 45220 33554432000 134512640 135840783 4292299376 4292298736 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 45946 45220 348 325 0 44882 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 183784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9109
/proc/meminfo: memFree=26720180/32873844 swapFree=7628/7628
[pid=9031] ppid=9029 vsize=183784 CPUtime=1800.03 cores=0,2,4,6
/proc/9031/stat : 9031 (bsolo3.0.17) R 9029 9031 7463 0 -1 4202496 46269 0 0 0 179990 13 0 0 20 0 1 0 335298485 188194816 45220 33554432000 134512640 135840783 4292299376 4292298848 134552174 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9031/statm: 45946 45220 348 325 0 44882 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 183784

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.91
CPU system time (s): 0.137979
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 184020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.137979
maximum resident set size= 181116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46272
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= 96
involuntary context switches= 2011

runsolver used 3.05154 second user time and 9.16261 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 04:49:01
IDJOB=3733000
IDBENCH=2235
IDSOLVER=2318
FILE ID=node143/3733000-1338691741
RUNJOBID= node143-1338680527-7479
PBS_JOBID= 14636712
Free space on /tmp= 68460 MiB

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

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

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=2111457555

node143.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.787
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.57
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.787
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.787
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.91
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.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        26497236 kB
Buffers:          434820 kB
Cached:          3907956 kB
SwapCached:          188 kB
Active:          3311140 kB
Inactive:        2143736 kB
Active(anon):    1103436 kB
Inactive(anon):    10992 kB
Active(file):    2207704 kB
Inactive(file):  2132744 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              7000 kB
Writeback:             0 kB
AnonPages:       1121076 kB
Mapped:            11848 kB
Shmem:               160 kB
Slab:             777092 kB
SReclaimable:     219184 kB
SUnreclaim:       557908 kB
KernelStack:        1472 kB
PageTables:         6540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1228476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 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= 68456 MiB
End job on node143 at 2012-06-03 05:19:04