Trace number 3741344

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)-54 1800.09 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-p6b.opb
MD5SUMf076140978d89a37e97e041a8b1e6b8f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-63
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables462
Total number of constraints5852
Number of constraints which are clauses5852
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 462
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 462
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 462
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-3741344-1338758098.opb
0.00/0.00	c File size is 141885 bytes.
0.00/0.01	c Highest Coefficient sum: 462
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.011 s
0.00/0.01	c Var: 462 Constr: 5852 5852/0/0 Lit: 11704 Watch. Lit: 11704
0.00/0.01	c Obj. Vars: 462 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.021 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    462     5852    11704    2    11704    1950      0      0 0.02
0.00/0.02	c Switching off LPR mode.
0.00/0.02	o -53	0.021
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    462     5853    12166    2    11759    2950      1      0 0.02
0.00/0.02	o -54	0.022
1800.07/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.40	c        0    462     5854    12628    2    11815    3950      2      0 0.02
1800.07/1800.40	c      101    462     5955    53451    8    12017    4346    103   2729 0.04
1800.07/1800.40	c      352    462     6206   155081   24    12519    4781    354   4571 0.08
1800.07/1800.40	c      828    462     6682   347670   52    13471    5260    830   5142 0.16
1800.07/1800.40	c     1641    462     7495   676702   90    15097    5787   1643   5778 0.28
1800.07/1800.40	c     2961    462     8815  1211051  137    17737    6366   2963   5683 0.52
1800.07/1800.40	c     5042    462    10896  2053370  188    21899    7003   5044   4434 1.14
1800.07/1800.40	c     8265    462    10182  1764156  173    20418    7704   4330   4318 1.91
1800.07/1800.40	c    13201    462    10835  2027875  187    21724    8475   4983   4003 3.30
1800.07/1800.40	c    20709    462    13671  3174835  232    27396    9323   7819   3624 5.71
1800.07/1800.40	c    32071    462    14822  3635014  245    29698   10256   8970   2554 12.56
1800.07/1800.40	c    49215    462    15287  3828147  250    30628   11282   9435   1944 25.31
1800.07/1800.40	c    75035    462    16785  4432828  264    33624   12411  10933   1322 56.76
1800.07/1800.40	c   113868    462    15788  4030955  255    31630   13653   9936   1190 95.67
1800.07/1800.40	c   172222    462    16034  4134138  257    32122   15019  10182   1333 129.11
1800.07/1800.40	c   259856    462    16312  4249174  260    32678   16521  10460    791 328.40
1800.07/1800.40	c   391410    462    17460  4707488  269    34974   18174  11608    829 472.14
1800.07/1800.40	c   588842    462    14987  3705609  247    30028   19992   9135    846 695.96
1800.07/1800.40	c   885095    462    19137  5393327  281    38328   21992  13285    953 927.88
1800.07/1800.40	c  1329578    462    25391  7911413  311    50836   24192  19539    886 1499.24
1800.07/1800.40	c Caught signal: 15
1800.07/1800.40	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 x462 
1800.07/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.40	c   21  1583547 252349  1949926    20450  5914616  14598    879 1800.08
1800.07/1800.40	c Objective: -54
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	c Total time: 1800.08 s

Verifier Data 

OK	-54

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-3741344-1338758098/watcher-3741344-1338758098 -o /tmp/evaluation-result-3741344-1338758098/solver-3741344-1338758098 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741344-1338758098.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: 1.92 1.98 1.99 3/175 7024
/proc/meminfo: memFree=28468404/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4194304 191 0 0 0 0 0 0 0 20 0 1 0 341935511 4583424 142 33554432000 134512640 135840783 4290613520 4290612436 5491256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 1119 148 130 325 0 39 0

[startup+0.0877869 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 7024
/proc/meminfo: memFree=28468404/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=7556 CPUtime=0.07 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 1236 0 0 0 7 0 0 0 20 0 1 0 341935511 7737344 1138 33554432000 134512640 135840783 4290613520 4290607520 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 1889 1138 350 325 0 825 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7556

[startup+0.100273 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 7024
/proc/meminfo: memFree=28468404/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=7936 CPUtime=0.09 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 1351 0 0 0 9 0 0 0 20 0 1 0 341935511 8126464 1253 33554432000 134512640 135840783 4290613520 4290607472 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 1984 1253 350 325 0 920 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7936

[startup+0.300242 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 7024
/proc/meminfo: memFree=28468404/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=14420 CPUtime=0.28 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 2969 0 0 0 28 0 0 0 20 0 1 0 341935511 14766080 2871 33554432000 134512640 135840783 4290613520 4290607472 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 3605 2871 350 325 0 2541 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14420

[startup+0.700237 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 7024
/proc/meminfo: memFree=28468404/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=24952 CPUtime=0.69 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 5603 0 0 0 68 1 0 0 20 0 1 0 341935511 25550848 5505 33554432000 134512640 135840783 4290613520 4290607504 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 6238 5505 350 325 0 5174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24952

[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 7025
/proc/meminfo: memFree=28442596/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=40176 CPUtime=1.48 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 9397 0 0 0 147 1 0 0 20 0 1 0 341935511 41140224 9299 33554432000 134512640 135840783 4290613520 4290607520 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 10044 9299 350 325 0 8980 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40176

[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 7025
/proc/meminfo: memFree=28428204/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=48304 CPUtime=3.09 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 11426 0 0 0 307 2 0 0 20 0 1 0 341935511 49463296 11328 33554432000 134512640 135840783 4290613520 4290612832 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 12076 11328 350 325 0 11012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48304

[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 7026
/proc/meminfo: memFree=28419764/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=56848 CPUtime=6.28 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 13570 0 0 0 626 2 0 0 20 0 1 0 341935511 58212352 13472 33554432000 134512640 135840783 4290613520 4290612944 134546178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 14212 13472 350 325 0 13148 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56848

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 7026
/proc/meminfo: memFree=28414952/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=56832 CPUtime=12.68 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 13570 0 0 0 1266 2 0 0 20 0 1 0 341935511 58195968 13472 33554432000 134512640 135840783 4290613520 4290612816 134573166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 14208 13472 350 325 0 13144 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56832

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 7026
/proc/meminfo: memFree=28408140/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=61820 CPUtime=25.48 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 14807 0 0 0 2546 2 0 0 20 0 1 0 341935511 63303680 14709 33554432000 134512640 135840783 4290613520 4290612880 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 15455 14709 350 325 0 14391 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61820

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 7026
/proc/meminfo: memFree=28402932/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=67196 CPUtime=51.08 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 16173 0 0 0 5105 3 0 0 20 0 1 0 341935511 68808704 16075 33554432000 134512640 135840783 4290613520 4290612880 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 16799 16075 350 325 0 15735 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67196

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 7026
/proc/meminfo: memFree=28389032/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=79576 CPUtime=102.25 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 19337 0 0 0 10221 4 0 0 20 0 1 0 341935511 81485824 19156 33554432000 134512640 135840783 4290613520 4290612592 1579756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 19894 19156 350 325 0 18830 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 79576

[startup+162.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 7027
/proc/meminfo: memFree=28381644/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=86976 CPUtime=162.23 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 21189 0 0 0 16219 4 0 0 20 0 1 0 341935511 89063424 21003 33554432000 134512640 135840783 4290613520 4290612880 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 21744 21003 350 325 0 20680 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 86976

[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 7027
/proc/meminfo: memFree=28381272/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=86976 CPUtime=222.22 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 21205 0 0 0 22218 4 0 0 20 0 1 0 341935511 89063424 21019 33554432000 134512640 135840783 4290613520 4290612800 1584782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 21744 21019 350 325 0 20680 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 86976

[startup+282.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 7066
/proc/meminfo: memFree=28360020/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=86976 CPUtime=282.2 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 21209 0 0 0 28216 4 0 0 20 0 1 0 341935511 89063424 21019 33554432000 134512640 135840783 4290613520 4290612880 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 21744 21019 350 325 0 20680 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 86976

[startup+342.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 7069
/proc/meminfo: memFree=28251540/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=94524 CPUtime=342.19 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 23141 0 0 0 34215 4 0 0 20 0 1 0 341935511 96792576 22907 33554432000 134512640 135840783 4290613520 4290612880 134550985 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 23631 22907 350 325 0 22567 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 94524

[startup+402.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 7069
/proc/meminfo: memFree=28143324/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=94764 CPUtime=402.18 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 23292 0 0 0 40214 4 0 0 20 0 1 0 341935511 97038336 22952 33554432000 134512640 135840783 4290613520 4290612880 134551455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 23691 22952 350 325 0 22627 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 94764

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 7070
/proc/meminfo: memFree=28088916/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=94764 CPUtime=462.17 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 23297 0 0 0 46213 4 0 0 20 0 1 0 341935511 97038336 22957 33554432000 134512640 135840783 4290613520 4290612880 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 23691 22957 350 325 0 22627 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 94764

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7070
/proc/meminfo: memFree=27992472/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=103492 CPUtime=522.17 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 25504 0 0 0 52212 5 0 0 20 0 1 0 341935511 105975808 25149 33554432000 134512640 135840783 4290613520 4290612944 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 25873 25149 350 325 0 24809 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 103492

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7070
/proc/meminfo: memFree=27882844/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=103488 CPUtime=582.16 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 25504 0 0 0 58211 5 0 0 20 0 1 0 341935511 105971712 25148 33554432000 134512640 135840783 4290613520 4290607728 134586550 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 25872 25148 350 325 0 24808 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 103488

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7071
/proc/meminfo: memFree=27433700/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=113184 CPUtime=822.11 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 28040 0 0 0 82205 6 0 0 20 0 1 0 341935511 115900416 27572 33554432000 134512640 135840783 4290613520 4290612880 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 28296 27572 350 325 0 27232 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 113184

[startup+882.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 7071
/proc/meminfo: memFree=27344544/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=113184 CPUtime=882.1 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 28040 0 0 0 88204 6 0 0 20 0 1 0 341935511 115900416 27572 33554432000 134512640 135840783 4290613520 4290612880 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 28296 27572 350 325 0 27232 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 113184

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 7074
/proc/meminfo: memFree=27228652/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123528 CPUtime=942.1 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30620 0 0 0 94203 7 0 0 20 0 1 0 341935511 126492672 30148 33554432000 134512640 135840783 4290613520 4290612880 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30882 30148 350 325 0 29818 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 123528

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7074
/proc/meminfo: memFree=27135812/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123516 CPUtime=1002.09 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30631 0 0 0 100202 7 0 0 20 0 1 0 341935511 126480384 30145 33554432000 134512640 135840783 4290613520 4290612752 1207039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30879 30145 350 325 0 29815 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 123516

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7075
/proc/meminfo: memFree=27092316/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123468 CPUtime=1062.08 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30631 0 0 0 106201 7 0 0 20 0 1 0 341935511 126431232 30143 33554432000 134512640 135840783 4290613520 4290612880 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30867 30143 350 325 0 29803 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 123468

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7075
/proc/meminfo: memFree=27017944/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123468 CPUtime=1122.07 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30633 0 0 0 112200 7 0 0 20 0 1 0 341935511 126431232 30143 33554432000 134512640 135840783 4290613520 4290612848 9818097 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30867 30143 350 325 0 29803 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 123468

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7075
/proc/meminfo: memFree=26968264/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123460 CPUtime=1182.06 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30635 0 0 0 118199 7 0 0 20 0 1 0 341935511 126423040 30141 33554432000 134512640 135840783 4290613520 4290612880 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30865 30141 350 325 0 29801 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 123460

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7075
/proc/meminfo: memFree=26908136/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123460 CPUtime=1242.05 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30635 0 0 0 124198 7 0 0 20 0 1 0 341935511 126423040 30141 33554432000 134512640 135840783 4290613520 4290612880 134551475 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30865 30141 350 325 0 29801 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 123460

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7075
/proc/meminfo: memFree=26862904/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123576 CPUtime=1302.05 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30655 0 0 0 130198 7 0 0 20 0 1 0 341935511 126541824 30161 33554432000 134512640 135840783 4290613520 4290612944 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30894 30161 350 325 0 29830 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 123576

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7076
/proc/meminfo: memFree=26809240/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123460 CPUtime=1362.03 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30655 0 0 0 136196 7 0 0 20 0 1 0 341935511 126423040 30141 33554432000 134512640 135840783 4290613520 4290607760 134547596 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30865 30141 350 325 0 29801 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 123460

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7076
/proc/meminfo: memFree=26756692/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123460 CPUtime=1422.03 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30655 0 0 0 142196 7 0 0 20 0 1 0 341935511 126423040 30141 33554432000 134512640 135840783 4290613520 4290612816 134572639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30865 30141 350 325 0 29801 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 123460

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7076
/proc/meminfo: memFree=26702672/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=123428 CPUtime=1482.01 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 30655 0 0 0 148194 7 0 0 20 0 1 0 341935511 126390272 30133 33554432000 134512640 135840783 4290613520 4290612832 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 30857 30133 350 325 0 29793 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 123428

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7079
/proc/meminfo: memFree=26623936/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=134868 CPUtime=1542.01 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 33509 0 0 0 154193 8 0 0 20 0 1 0 341935511 138104832 32987 33554432000 134512640 135840783 4290613520 4290612880 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 33717 32987 350 325 0 32653 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 134868

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7079
/proc/meminfo: memFree=26532476/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=134856 CPUtime=1602 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 33523 0 0 0 160192 8 0 0 20 0 1 0 341935511 138092544 32990 33554432000 134512640 135840783 4290613520 4290612880 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 33714 32990 350 325 0 32650 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 134856

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7080
/proc/meminfo: memFree=26455484/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=134896 CPUtime=1661.99 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 33544 0 0 0 166191 8 0 0 20 0 1 0 341935511 138133504 33000 33554432000 134512640 135840783 4290613520 4290612880 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 33724 33000 350 325 0 32660 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 134896

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7080
/proc/meminfo: memFree=26389436/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=134896 CPUtime=1721.98 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 33568 0 0 0 172190 8 0 0 20 0 1 0 341935511 138133504 33000 33554432000 134512640 135840783 4290613520 4290612880 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 33724 33000 350 325 0 32660 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 134896

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7080
/proc/meminfo: memFree=26320256/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=134896 CPUtime=1781.97 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 33586 0 0 0 178189 8 0 0 20 0 1 0 341935511 138133504 33000 33554432000 134512640 135840783 4290613520 4290612944 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 33724 33000 350 325 0 32660 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 134896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 7080
/proc/meminfo: memFree=26297424/32873844 swapFree=7112/7112
[pid=7024] ppid=7022 vsize=134896 CPUtime=1800.07 cores=1,3,5,7
/proc/7024/stat : 7024 (bsolo3.0.17) R 7022 7024 5948 0 -1 4202496 33586 0 0 0 179999 8 0 0 20 0 1 0 341935511 138133504 33000 33554432000 134512640 135840783 4290613520 4290612880 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 33724 33000 350 325 0 32660 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 134896

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.09
CPU user time (s): 1800
CPU system time (s): 0.086986
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 135024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.086986
maximum resident set size= 132096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33589
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= 61
involuntary context switches= 1869

runsolver used 3.03254 second user time and 10.5934 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 23:14:58
IDJOB=3741344
IDBENCH=89841
IDSOLVER=2318
FILE ID=node119/3741344-1338758098
RUNJOBID= node119-1338748763-5965
PBS_JOBID= 14636790
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-p6b.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741344-1338758098/watcher-3741344-1338758098 -o /tmp/evaluation-result-3741344-1338758098/solver-3741344-1338758098 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741344-1338758098.opb            

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

MD5SUM BENCH= f076140978d89a37e97e041a8b1e6b8f
RANDOM SEED=735509778

node119.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.943
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.88
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.943
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.943
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.93
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.943
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.943
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.93
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.943
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.92
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.943
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.90
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.943
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:        28469048 kB
Buffers:          412032 kB
Cached:          3069884 kB
SwapCached:         1936 kB
Active:          1584472 kB
Inactive:        1988228 kB
Active(anon):      86232 kB
Inactive(anon):     6624 kB
Active(file):    1498240 kB
Inactive(file):  1981604 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6628 kB
Writeback:             0 kB
AnonPages:         97968 kB
Mapped:            12948 kB
Shmem:                 0 kB
Slab:             690588 kB
SReclaimable:     132752 kB
SUnreclaim:       557836 kB
KernelStack:        1448 kB
PageTables:         4068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     210844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 70884 MiB
End job on node119 at 2012-06-03 23:45:01