Trace number 3731462

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
PB09: bsolo 3.1SAT223 1798 1798.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM0a5749e09f3f6f40d04f442dc86d22a6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark193
Best CPU time to get the best result obtained on this benchmark1789.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 188
Optimality of the best value was proved NO
Number of variables479
Total number of constraints479
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 479
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.1 - 13/04/2009 : 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731462-1338693103.opb
0.00/0.00	c File size is 43630 bytes.
0.00/0.00	c Highest Coefficient sum: 479
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 479 Constr: 479 0/0/479 Lit: 4305 Watch. Lit: 1562
0.00/0.00	c Obj. Vars: 479 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c        0    479      479     4305    8     1999    8610      0      0 0.01
0.39/0.44	c Initial Lower Bound: 146
0.39/0.44	c Initial Path Cost: 0
0.39/0.44	o 233
3.30/3.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.37	c        0    479      480     4784    9     2480    9610      1      0 0.44
3.30/3.37	o 232
10.79/10.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.87	c       24    479      534    17937   33     2834    9610     55      7 3.38
10.79/10.87	c      126    479      776    80781  104     3340   10572    297     18 6.88
10.79/10.87	o 230
14.59/14.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.59/14.63	c      126    479      777    81260  104     3594    9610    298     11 10.87
14.59/14.63	o 227
94.27/94.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
94.27/94.35	c      126    479      778    81739  105     3877    9610    299      8 14.63
94.27/94.35	c      226    479     1048   150545  143     4420   10572    569     11 19.14
94.27/94.35	c      476    479     1723   354938  206     5759   11630   1244     19 23.94
94.27/94.35	c      951    479     2966   668739  225     8203   12794   2487     33 28.41
94.27/94.35	c     1764    479     5187  1326997  255    12681   14074   4708     52 33.92
94.27/94.35	c     3084    479     8919  2341120  262    20166   15482   8440     75 40.77
94.27/94.35	c     5165    479    14839  4074450  274    31988   17031  14360    102 50.31
94.27/94.35	c     8389    479    10821  2776823  256    23215   18735  10342    137 61.04
94.27/94.35	c    13325    479    14293  3809489  266    30201   20609  13814    167 79.34
94.27/94.35	o 226
193.62/193.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.62/193.73	c    17534    479    11667  2970417  254    25136    9610  11188    185 94.33
193.62/193.73	c    17635    479     5572  1259299  226    12732   10572   5093    178 98.55
193.62/193.73	c    17885    479     6201  1429339  230    13949   11630   5722    174 102.54
193.62/193.73	c    18360    479     7546  1791948  237    16655   12794   7067    171 107.33
193.62/193.73	c    19174    479     9819  2352564  239    21217   14074   9340    169 113.09
193.62/193.73	c    20494    479    13251  3227787  243    28087   15482  12772    170 119.97
193.62/193.73	c    22575    479    10550  2685368  254    22647   17031  10071    174 129.21
193.62/193.73	c    25798    479    16167  4066795  251    33894   18735  15688    183 140.38
193.62/193.73	c    30735    479     9906  2743444  276    21361   20609   9427    194 157.97
193.62/193.73	c    38243    479    18792  4893181  260    39118   22670  18313    209 182.82
193.62/193.73	o 225
217.60/217.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
217.60/217.73	c    41208    479    11815  2901228  245    25195    9610  11336    212 194.15
217.60/217.73	c    41308    479     5466  1232037  225    12466   10572   4987    208 198.03
217.60/217.73	c    41559    479     6086  1395835  229    13804   11630   5607    204 202.78
217.60/217.73	c    42035    479     7430  1750322  235    16420   12794   6951    202 207.61
217.60/217.73	c    42849    479     9486  2302503  242    20576   14074   9007    200 213.69
217.60/217.73	o 224
599.04/599.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
599.04/599.25	c    42982    479     9839  2387704  242    21483    9610   9360    197 217.64
599.04/599.25	c    43084    479     5285  1243196  235    12156   10572   4806    193 222.31
599.04/599.25	c    43335    479     5978  1429180  239    13552   11630   5499    191 226.40
599.04/599.25	c    43810    479     7246  1758096  242    16081   12794   6767    189 230.59
599.04/599.25	c    44623    479     9429  2343511  248    20450   14074   8950    188 236.67
599.04/599.25	c    45944    479    13106  3323268  253    27806   15482  12627    188 243.68
599.04/599.25	c    48025    479    10556  2746372  260    22707   17031  10077    189 253.33
599.04/599.25	c    51248    479    10474  2729917  260    22536   18735   9995    192 265.75
599.04/599.25	c    56186    479    13936  3802393  272    29466   20609  13457    199 282.31
599.04/599.25	c    63692    479    12716  3274893  257    27034   22670  12237    207 306.38
599.04/599.25	c    75054    479    19263  4991172  259    40160   24938  18784    218 344.13
599.04/599.25	c    92198    479    24931  6656874  267    51492   27432  24452    230 399.32
599.04/599.25	c   118017    479    23516  5993858  254    48615   30176  23037    243 484.33
599.04/599.25	o 223
1797.93/1798.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.35	c   152761    478    20708  4911354  237    43244    9610  20229    254 599.10
1797.93/1798.35	c   152862    478     5551  1216559  219    12673   10572   5072    253 603.32
1797.93/1798.35	c   153112    478     6226  1409761  226    14015   11630   5747    251 607.63
1797.93/1798.35	c   153589    478     7503  1775890  236    16604   12794   7024    250 612.27
1797.93/1798.35	c   154403    478     9646  2382971  247    20870   14074   9167    249 618.31
1797.93/1798.35	c   155723    478    13285  3386419  254    28184   15482  12806    248 625.61
1797.93/1798.35	c   157804    478    10486  2744796  261    22539   17031  10007    248 635.30
1797.93/1798.35	c   161028    478    10187  2764551  271    21971   18735   9708    248 647.93
1797.93/1798.35	c   165964    478    14142  3871838  273    29874   20609  13663    249 664.37
1797.93/1798.35	c   173471    478    12723  3273862  257    26983   22670  12244    252 687.70
1797.93/1798.35	c   184833    478    20033  5343768  266    41630   24938  19554    255 722.19
1797.93/1798.35	c   201979    478    14188  3912661  275    29913   27432  13709    260 775.96
1797.93/1798.35	c   227798    478    14285  3811925  266    30106   30176  13806    265 857.33
1797.93/1798.35	c   266630    478    21461  5940857  276    44510   33194  20982    268 991.55
1797.93/1798.35	c   324982    478    27309  7270451  266    56202   36514  26830    275 1179.41
1797.93/1798.35	c   412614    478    18143  4937161  272    37887   40166  17664    273 1506.94
1797.93/1798.35	c Resources Exceeded
1797.93/1798.35	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 -x463 -x464 -x465 x466 -x467 x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 x476 -x477 x478 -x479 
1797.93/1798.35	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.35	c   57   488818 106842   702148    21200  5554241  20721    271 1798.00
1797.93/1798.35	c Objective: 223
1797.93/1798.35	s SATISFIABLE
1797.93/1798.35	c Total time: 1798 s

Verifier Data 

OK	223

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-3731462-1338693103/watcher-3731462-1338693103 -o /tmp/evaluation-result-3731462-1338693103/solver-3731462-1338693103 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731462-1338693103.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: 2.04 2.02 2.00 3/176 21396
/proc/meminfo: memFree=28674236/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=10920 CPUtime=0 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 335438779 11182080 294 33554432000 134512640 137136520 4291307408 4291300140 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 2730 294 189 641 0 2086 0

[startup+0.100068 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 21396
/proc/meminfo: memFree=28674236/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=12556 CPUtime=0.09 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 774 0 0 0 9 0 0 0 20 0 1 0 335438779 12857344 686 33554432000 134512640 137136520 4291307408 4291305120 134766809 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 3139 686 284 641 0 2495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12556

[startup+0.200267 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 21396
/proc/meminfo: memFree=28674236/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=12924 CPUtime=0.19 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 960 0 0 0 19 0 0 0 20 0 1 0 335438779 13234176 729 33554432000 134512640 137136520 4291307408 4291305152 135461773 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 3231 729 284 641 0 2587 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12924

[startup+0.300254 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 21396
/proc/meminfo: memFree=28674236/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=13320 CPUtime=0.29 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 1176 0 0 0 29 0 0 0 20 0 1 0 335438779 13639680 740 33554432000 134512640 137136520 4291307408 4291305272 135436295 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 3330 740 284 641 0 2686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13320

[startup+0.700228 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 21396
/proc/meminfo: memFree=28674236/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=13296 CPUtime=0.69 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 3370 0 0 0 69 0 0 0 20 0 1 0 335438779 13615104 647 33554432000 134512640 137136520 4291307408 4291305168 135447705 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 3324 647 289 641 0 2680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13296

[startup+1.50022 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 21397
/proc/meminfo: memFree=28673004/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=13428 CPUtime=1.49 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 7941 0 0 0 148 1 0 0 20 0 1 0 335438779 13750272 699 33554432000 134512640 137136520 4291307408 4291305152 135462563 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 3357 699 289 641 0 2713 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13428

[startup+3.10023 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 21397
/proc/meminfo: memFree=28672616/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=13192 CPUtime=3.09 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 20111 0 0 0 306 3 0 0 20 0 1 0 335438779 13508608 551 33554432000 134512640 137136520 4291307408 4291305096 135443216 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 3298 551 289 641 0 2654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13192

[startup+6.30023 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 21397
/proc/meminfo: memFree=28671856/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=13772 CPUtime=6.29 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 50980 0 0 0 620 9 0 0 20 0 1 0 335438779 14102528 562 33554432000 134512640 137136520 4291307408 4291305096 135443262 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 3443 562 292 641 0 2799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13772

[startup+12.7002 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 21397
/proc/meminfo: memFree=28670516/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=15124 CPUtime=12.69 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 109318 0 0 0 1251 18 0 0 20 0 1 0 335438779 15486976 974 33554432000 134512640 137136520 4291307408 4291305096 135442575 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 3781 974 296 641 0 3137 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15124

[startup+25.5003 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 21397
/proc/meminfo: memFree=28667848/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=18000 CPUtime=25.48 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 255696 0 0 0 2506 42 0 0 20 0 1 0 335438779 18432000 1642 33554432000 134512640 137136520 4291307408 4291304952 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 4500 1645 296 641 0 3856 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18000

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 21397
/proc/meminfo: memFree=28612792/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=68060 CPUtime=51.07 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 1043366 0 0 0 4942 165 0 0 20 0 1 0 335438779 69693440 14005 33554432000 134512640 137136520 4291307408 4291305376 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 17015 14005 296 641 0 16371 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68060

[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 21397
/proc/meminfo: memFree=28581668/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=88068 CPUtime=102.26 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 1972385 0 0 0 9876 350 0 0 20 0 1 0 335438779 90181632 19696 33554432000 134512640 137136520 4291307408 4291305052 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 22361 19701 296 641 0 21717 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 88068

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 21398
/proc/meminfo: memFree=28575320/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=95476 CPUtime=162.22 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 2526508 0 0 0 15723 499 0 0 20 0 1 0 335438779 97767424 21180 33554432000 134512640 137136520 4291307408 4291305256 134731460 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 23869 21180 296 641 0 23225 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 95476

[startup+222.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 21398
/proc/meminfo: memFree=28573388/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=96608 CPUtime=222.21 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 3176055 0 0 0 21559 662 0 0 20 0 1 0 335438779 98926592 21476 33554432000 134512640 137136520 4291307408 4291305256 134731460 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 24294 21478 296 641 0 23650 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 96608

[startup+282.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 21398
/proc/meminfo: memFree=28573512/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=95448 CPUtime=282.2 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 3500694 0 0 0 27453 767 0 0 20 0 1 0 335438779 97738752 21473 33554432000 134512640 137136520 4291307408 4291305608 136571969 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 23862 21473 296 641 0 23218 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 95448

[startup+342.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/177 21398
/proc/meminfo: memFree=28571216/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=99332 CPUtime=342.19 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 3955925 0 0 0 33305 914 0 0 20 0 1 0 335438779 101715968 22139 33554432000 134512640 137136520 4291307408 4291305528 134731460 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 25006 22143 296 641 0 24362 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 99332

[startup+402.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/177 21398
/proc/meminfo: memFree=28557824/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=114008 CPUtime=402.17 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 4850641 0 0 0 39084 1133 0 0 20 0 1 0 335438779 116744192 25565 33554432000 134512640 137136520 4291307408 4291305248 135455565 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 28502 25565 296 641 0 27858 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 114008

[startup+462.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 21399
/proc/meminfo: memFree=28547408/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=115636 CPUtime=462.17 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 5673758 0 0 0 44856 1361 0 0 20 0 1 0 335438779 118411264 26588 33554432000 134512640 137136520 4291307408 4291305436 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 28909 26588 296 641 0 28265 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 115636

[startup+522.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/178 21402
/proc/meminfo: memFree=28541428/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=123604 CPUtime=522.15 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 6461317 0 0 0 50644 1571 0 0 20 0 1 0 335438779 126570496 28040 33554432000 134512640 137136520 4291307408 4291305208 136504572 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 30901 28040 296 641 0 30257 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 123604

[startup+582.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 21402
/proc/meminfo: memFree=28539632/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=123156 CPUtime=582.14 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 7254314 0 0 0 56412 1802 0 0 20 0 1 0 335438779 126111744 28468 33554432000 134512640 137136520 4291307408 4291305436 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 30789 28468 296 641 0 30145 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 123156

[startup+642.3 s]

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

/proc/meminfo: memFree=28505304/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=144792 CPUtime=1122.06 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 11721865 0 0 0 109126 3080 0 0 20 0 1 0 335438779 148267008 33504 33554432000 134512640 137136520 4291307408 4291305304 136504572 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 36198 33505 296 641 0 35554 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 144792

[startup+1182.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 21407
/proc/meminfo: memFree=28502584/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=148468 CPUtime=1182.05 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 12510318 0 0 0 114911 3294 0 0 20 0 1 0 335438779 152031232 34181 33554432000 134512640 137136520 4291307408 4291305096 135443223 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 37117 34181 296 641 0 36473 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 148468

[startup+1242.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21407
/proc/meminfo: memFree=28484648/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=162304 CPUtime=1242.03 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 13382951 0 0 0 120689 3514 0 0 20 0 1 0 335438779 166199296 38701 33554432000 134512640 137136520 4291307408 4291306448 134540859 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 40576 38701 296 641 0 39932 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 162304

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21407
/proc/meminfo: memFree=28482664/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=165488 CPUtime=1302.02 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 14141226 0 0 0 126487 3715 0 0 20 0 1 0 335438779 169459712 38983 33554432000 134512640 137136520 4291307408 4291305480 136504572 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 41372 38981 296 641 0 40728 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 165488

[startup+1362.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21456
/proc/meminfo: memFree=28631368/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=163292 CPUtime=1362.01 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 14838989 0 0 0 132287 3914 0 0 20 0 1 0 335438779 167211008 38980 33554432000 134512640 137136520 4291307408 4291306524 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 40823 38980 296 641 0 40179 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 163292

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 21457
/proc/meminfo: memFree=28561412/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=166416 CPUtime=1422 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 15514265 0 0 0 138095 4105 0 0 20 0 1 0 335438779 170409984 39210 33554432000 134512640 137136520 4291307408 4291305096 135443262 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 41604 39211 296 641 0 40960 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 166416

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21457
/proc/meminfo: memFree=28553156/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=166436 CPUtime=1481.99 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 16164526 0 0 0 143912 4287 0 0 20 0 1 0 335438779 170430464 39209 33554432000 134512640 137136520 4291307408 4291305096 135443262 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 41040 39197 296 641 0 40396 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 166436

[startup+1542.31 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 21457
/proc/meminfo: memFree=28537656/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=167580 CPUtime=1541.99 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 16931124 0 0 0 149707 4492 0 0 20 0 1 0 335438779 171601920 40052 33554432000 134512640 137136520 4291307408 4291306524 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 41895 40052 296 641 0 41251 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 167580

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 21457
/proc/meminfo: memFree=28530336/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=167580 CPUtime=1601.96 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 17648111 0 0 0 155506 4690 0 0 20 0 1 0 335438779 171601920 40052 33554432000 134512640 137136520 4291307408 4291306524 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 41895 40052 296 641 0 41251 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 167580

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 21458
/proc/meminfo: memFree=28511636/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=169764 CPUtime=1661.96 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 18332040 0 0 0 161310 4886 0 0 20 0 1 0 335438779 173838336 40061 33554432000 134512640 137136520 4291307408 4291305224 136571969 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 42269 40056 296 641 0 41625 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 169764

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 21461
/proc/meminfo: memFree=28511380/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=167560 CPUtime=1721.95 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 18904567 0 0 0 167146 5049 0 0 20 0 1 0 335438779 171581440 40047 33554432000 134512640 137136520 4291307408 4291305436 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 41890 40047 296 641 0 41246 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 167560

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 21461
/proc/meminfo: memFree=28510644/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=167560 CPUtime=1781.95 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 19590916 0 0 0 172949 5246 0 0 20 0 1 0 335438779 171581440 40047 33554432000 134512640 137136520 4291307408 4291306524 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 41890 40047 296 641 0 41246 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 167560

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

[startup+1792.01 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 21461
/proc/meminfo: memFree=28510644/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=167560 CPUtime=1791.65 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 19691709 0 0 0 173889 5276 0 0 20 0 1 0 335438779 171581440 40047 33554432000 134512640 137136520 4291307408 4291306336 134544148 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 41890 40047 296 641 0 41246 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (KiB) 167560

[startup+1795.2 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 21461
/proc/meminfo: memFree=28508660/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=171756 CPUtime=1794.85 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 19740660 0 0 0 174196 5289 0 0 20 0 1 0 335438779 175878144 40554 33554432000 134512640 137136520 4291307408 4291305236 134728531 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 42939 40555 296 641 0 42295 0
Current children cumulated CPU time (s) 1794.85
Current children cumulated vsize (KiB) 171756

[startup+1796.8 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 21461
/proc/meminfo: memFree=28508660/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=171772 CPUtime=1796.44 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 19761101 0 0 0 174348 5296 0 0 20 0 1 0 335438779 175894528 40553 33554432000 134512640 137136520 4291307408 4291305224 136571969 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 42772 40551 296 641 0 42128 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (KiB) 171772

[startup+1797.6 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 21461
/proc/meminfo: memFree=28508660/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=171112 CPUtime=1797.24 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 19771802 0 0 0 174425 5299 0 0 20 0 1 0 335438779 175218688 40551 33554432000 134512640 137136520 4291307408 4291305528 134731460 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 42778 40551 296 641 0 42134 0
Current children cumulated CPU time (s) 1797.24
Current children cumulated vsize (KiB) 171112

[startup+1798 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 21461
/proc/meminfo: memFree=28508660/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=169552 CPUtime=1797.64 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 19776706 0 0 0 174464 5300 0 0 20 0 1 0 335438779 173621248 40545 33554432000 134512640 137136520 4291307408 4291306336 134544245 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 42388 40545 296 641 0 41744 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 169552

[startup+1798.2 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 21461
/proc/meminfo: memFree=28508660/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=171740 CPUtime=1797.84 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 19779231 0 0 0 174483 5301 0 0 20 0 1 0 335438779 175861760 40555 33554432000 134512640 137136520 4291307408 4291305480 136504572 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 42935 40555 296 641 0 42291 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 171740

[startup+1798.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 21461
/proc/meminfo: memFree=28508660/32873844 swapFree=6872/6872
[pid=21396] ppid=21394 vsize=169552 CPUtime=1797.93 cores=1,3,5,7
/proc/21396/stat : 21396 (bsolo) R 21394 21396 8274 0 -1 4202496 19780493 0 0 0 174492 5301 0 0 20 0 1 0 335438779 173621248 40545 33554432000 134512640 137136520 4291307408 4291306524 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 42388 40545 296 641 0 41744 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 169552

Child status: 0
Real time (s): 1798.35
CPU time (s): 1798
CPU user time (s): 1744.98
CPU system time (s): 53.0209
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 171804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.98
system time used= 53.0209
maximum resident set size= 162388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19781111
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= 89
involuntary context switches= 2741

runsolver used 3.02954 second user time and 8.5407 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 05:11:43
IDJOB=3731462
IDBENCH=1956
IDSOLVER=2320
FILE ID=node106/3731462-1338693103
RUNJOBID= node106-1338679215-16851
PBS_JOBID= 14636707
Free space on /tmp= 70864 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731462-1338693103/watcher-3731462-1338693103 -o /tmp/evaluation-result-3731462-1338693103/solver-3731462-1338693103 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731462-1338693103.opb

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

MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6
RANDOM SEED=69032258

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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		: 2667.065
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		: 2667.065
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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		: 2667.065
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		: 2667.065
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:        28675012 kB
Buffers:          291576 kB
Cached:          2931448 kB
SwapCached:         2004 kB
Active:          1105808 kB
Inactive:        2245596 kB
Active(anon):     125364 kB
Inactive(anon):     4984 kB
Active(file):     980444 kB
Inactive(file):  2240612 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:        105980 kB
Mapped:            10124 kB
Shmem:                 0 kB
Slab:             707340 kB
SReclaimable:     149528 kB
SUnreclaim:       557812 kB
KernelStack:        1480 kB
PageTables:         4316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     255672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731462-1338693103.opb

Free space on /tmp at the end= 70860 MiB
End job on node106 at 2012-06-03 05:41:41