Trace number 3463102

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT-26 1798.01 1797.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM8e251d4e151b2868eb3a52cf845e4cf8
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 benchmark570.413
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 constraints17809
Number of constraints which are clauses17809
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463102-1307177575.opb
0.00/0.00	c File size is 422772 bytes.
0.00/0.02	c Highest Coefficient sum: 450
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.024 s
0.02/0.02	c Var: 450 Constr: 17809 17809/0/0 Lit: 35618 Watch. Lit: 35618
0.02/0.02	c Obj. Vars: 450 (100 % of total variables)
0.02/0.10	c Pre-processing Time: 0.098 s
0.02/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.10	c        0    450    17809    35618    2    35618    5936      0      0 0.10
0.02/0.10	c Switching off lower bounding mode.
0.09/0.10	o -23
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0    450    17810    36068    2    35643    6936      1      0 0.10
0.09/0.14	c      100    450    17928    85847    4    35879    7630    119    694 0.14
0.09/0.14	o -24
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      100    450    17929    86297    4    35905    6936    120    689 0.14
0.19/0.20	c      200    450    18045   135188    7    36137    7630    236   1058 0.19
0.19/0.20	o -25
3.20/3.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.25	c      223    450    18072   146586    8    36216    6936    263   1115 0.20
3.20/3.25	c      324    450    18187   194921   10    36446    7630    378   1311 0.25
3.20/3.25	c      575    450    18476   316352   17    37024    8394    667   1558 0.37
3.20/3.25	c     1052    450    19037   551268   28    38146    9234   1228   1659 0.63
3.20/3.25	c     1866    450    19980   946834   47    40032   10158   2171   1735 1.07
3.20/3.25	c     3186    450    21498  1584027   73    43068   11174   3689   1661 1.92
3.20/3.25	c     5267    450    23913  2597787  108    47898   12292   6104   1639 3.21
3.20/3.25	o -26
1797.95/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.94	c     5334    450    23991  2630632  109    48080    6936   6182   1639 3.25
1797.95/1797.94	c     5434    450    24104  2677958  111    48306    7630   6295   1636 3.32
1797.95/1797.94	c     5685    450    24395  2799910  114    48888    8394   6586   1640 3.46
1797.95/1797.94	c     6160    450    24942  3029221  121    49982    9234   7133   1642 3.75
1797.95/1797.94	c     6973    450    25881  3422471  132    51860   10158   8072   1618 4.31
1797.95/1797.94	c     8293    450    27408  4061567  148    54914   11174   9599   1604 5.17
1797.95/1797.94	c    10375    450    23792  2541212  106    47610   12292   5983   1499 6.92
1797.95/1797.94	c    13598    450    27506  4095762  148    55038   13522   9697   1462 9.30
1797.95/1797.94	c    18534    450    26025  3473658  133    52076   14875   8216   1382 13.40
1797.95/1797.94	c    26040    450    26820  3804429  141    53666   16363   9011   1257 20.70
1797.95/1797.94	c    37401    450    31505  5763687  182    63059   18000  13696   1153 32.42
1797.95/1797.94	c    54546    450    32532  6188800  190    65090   19801  14723   1030 52.94
1797.95/1797.94	c    80365    450    31872  5909973  185    63770   21782  14063    877 91.54
1797.95/1797.94	c   119197    450    31904  5928064  185    63834   23961  14095    813 146.57
1797.95/1797.94	c   177549    450    37753  8368887  221    75532   26358  19944    707 250.90
1797.95/1797.94	c   265181    450    42321 10284989  243    84690   28994  24512    629 421.45
1797.95/1797.94	c   396734    450    44559 11225112  251    89144   31894  26750    596 664.59
1797.95/1797.94	c   594166    450    40060  9338322  233    80146   35084  22251    543 1092.58
1797.95/1797.94	c   890418    450    47015 12227369  260    94056   38593  29206    534 1664.80
1797.95/1797.94	c Resources Exceeded
1797.95/1797.94	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 
1797.95/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.94	c   30   937399  56152  1001377    49768 13396440  31959    521 1798.00
1797.95/1797.94	c Objective: -26
1797.95/1797.94	s SATISFIABLE
1797.95/1797.94	c Total time: 1798 s

Verifier Data 

OK	-26

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463102-1307177575/watcher-3463102-1307177575 -o /tmp/evaluation-result-3463102-1307177575/solver-3463102-1307177575 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463102-1307177575.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.03 2.05 2.00 2/436 30338
/proc/meminfo: memFree=20622676/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=12032 CPUtime=0.01 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 521 0 0 0 1 0 0 0 25 0 1 0 829355345 12320768 475 33554432000 134512640 137138936 4290148240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 3008 476 216 642 0 2260 0

[startup+0.0292 s]
/proc/loadavg: 2.03 2.05 2.00 2/436 30338
/proc/meminfo: memFree=20622676/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=13236 CPUtime=0.02 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 1008 0 0 0 2 0 0 0 25 0 1 0 829355345 13553664 858 33554432000 134512640 137138936 4290148240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 3309 862 182 642 0 2665 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13236

[startup+0.101197 s]
/proc/loadavg: 2.03 2.05 2.00 2/436 30338
/proc/meminfo: memFree=20622676/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=13896 CPUtime=0.09 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 1177 0 0 0 9 0 0 0 25 0 1 0 829355345 14229504 1027 33554432000 134512640 137138936 4290148240 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 3474 1027 186 642 0 2830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13896

[startup+0.301175 s]
/proc/loadavg: 2.03 2.05 2.00 2/436 30338
/proc/meminfo: memFree=20622676/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=16084 CPUtime=0.29 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 1852 0 0 0 29 0 0 0 25 0 1 0 829355345 16470016 1594 33554432000 134512640 137138936 4290148240 18446744073709551615 134607560 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 4021 1595 192 642 0 3377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16084

[startup+0.701101 s]
/proc/loadavg: 2.03 2.05 2.00 2/436 30338
/proc/meminfo: memFree=20622676/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=20844 CPUtime=0.69 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 3037 0 0 0 68 1 0 0 25 0 1 0 829355345 21344256 2779 33554432000 134512640 137138936 4290148240 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 5211 2779 192 642 0 4567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20844

[startup+1.50093 s]
/proc/loadavg: 2.03 2.05 2.00 3/437 30339
/proc/meminfo: memFree=20606300/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=29856 CPUtime=1.49 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 5280 0 0 0 148 1 0 0 25 0 1 0 829355345 30572544 5022 33554432000 134512640 137138936 4290148240 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 7464 5022 192 642 0 6820 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29856

[startup+3.10062 s]
/proc/loadavg: 2.03 2.05 2.00 3/437 30339
/proc/meminfo: memFree=20593780/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=45512 CPUtime=3.09 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 9198 0 0 0 308 1 0 0 25 0 1 0 829355345 46604288 8940 33554432000 134512640 137138936 4290148240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 11378 8940 192 642 0 10734 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45512

[startup+6.30106 s]
/proc/loadavg: 2.03 2.05 2.00 3/437 30339
/proc/meminfo: memFree=20560672/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=74964 CPUtime=6.29 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 16562 0 0 0 626 3 0 0 25 0 1 0 829355345 76763136 16304 33554432000 134512640 137138936 4290148240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 18741 16304 192 642 0 18097 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74964

[startup+12.7009 s]
/proc/loadavg: 2.02 2.05 2.00 3/437 30339
/proc/meminfo: memFree=20531640/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=89296 CPUtime=12.69 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 20140 0 0 0 1266 3 0 0 25 0 1 0 829355345 91439104 19882 33554432000 134512640 137138936 4290148240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 22324 19882 192 642 0 21680 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89296

[startup+25.5005 s]
/proc/loadavg: 2.02 2.04 2.00 3/437 30340
/proc/meminfo: memFree=20506600/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=98216 CPUtime=25.49 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 22375 0 0 0 2545 4 0 0 25 0 1 0 829355345 100573184 22117 33554432000 134512640 137138936 4290148240 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 24554 22117 192 642 0 23910 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 98216

[startup+51.1008 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 30340
/proc/meminfo: memFree=20479136/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=113628 CPUtime=51.09 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 26232 0 0 0 5103 6 0 0 25 0 1 0 829355345 116355072 25974 33554432000 134512640 137138936 4290148240 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 28407 25974 192 642 0 27763 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 113628

[startup+102.316 s]
/proc/loadavg: 2.16 2.06 2.01 3/437 30342
/proc/meminfo: memFree=20456312/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=134692 CPUtime=102.31 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 31496 0 0 0 10220 11 0 0 25 0 1 0 829355345 137924608 31238 33554432000 134512640 137138936 4290148240 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 33673 31238 192 642 0 33029 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 134692

[startup+162.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/437 30343
/proc/meminfo: memFree=20433488/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=146640 CPUtime=162.3 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 34486 0 0 0 16215 15 0 0 25 0 1 0 829355345 150159360 34228 33554432000 134512640 137138936 4290148240 18446744073709551615 136504193 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 36660 34228 192 642 0 36016 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 146640

[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/437 30345
/proc/meminfo: memFree=20422444/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=146636 CPUtime=222.3 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 34488 0 0 0 22213 17 0 0 25 0 1 0 829355345 150155264 34230 33554432000 134512640 137138936 4290148240 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 36659 34230 192 642 0 36015 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 146636

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 30347
/proc/meminfo: memFree=20409544/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=159568 CPUtime=282.3 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 37721 0 0 0 28209 21 0 0 25 0 1 0 829355345 163397632 37463 33554432000 134512640 137138936 4290148240 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 39892 37463 192 642 0 39248 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 159568

[startup+342.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/437 30348
/proc/meminfo: memFree=20396516/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=159564 CPUtime=342.3 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 37721 0 0 0 34206 24 0 0 25 0 1 0 829355345 163393536 37463 33554432000 134512640 137138936 4290148240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 39891 37463 192 642 0 39247 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 159564

[startup+402.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/437 30350
/proc/meminfo: memFree=20396384/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=159768 CPUtime=402.3 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 37770 0 0 0 40203 27 0 0 25 0 1 0 829355345 163602432 37512 33554432000 134512640 137138936 4290148240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 39942 37512 192 642 0 39298 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 159768

[startup+462.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/437 30351
/proc/meminfo: memFree=20381996/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=174152 CPUtime=462.3 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 41369 0 0 0 46199 31 0 0 25 0 1 0 829355345 178331648 41111 33554432000 134512640 137138936 4290148240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 43538 41111 192 642 0 42894 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 174152

[startup+522.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/437 30362
/proc/meminfo: memFree=20368180/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=174144 CPUtime=522.3 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 41369 0 0 0 52196 34 0 0 25 0 1 0 829355345 178323456 41111 33554432000 134512640 137138936 4290148240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 43536 41111 192 642 0 42892 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 174144

[startup+582.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/437 30364
/proc/meminfo: memFree=20367904/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=174120 CPUtime=582.31 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 41369 0 0 0 58193 38 0 0 25 0 1 0 829355345 178298880 41106 33554432000 134512640 137138936 4290148240 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 43530 41106 192 642 0 42886 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 174120

[startup+642.3 s]

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

/proc/meminfo: memFree=20336288/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=189876 CPUtime=1062.33 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 45319 0 0 0 106172 61 0 0 25 0 1 0 829355345 194433024 45044 33554432000 134512640 137138936 4290148240 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 47469 45044 192 642 0 46825 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 189876

[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/437 30381
/proc/meminfo: memFree=20302428/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=206664 CPUtime=1122.33 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49524 0 0 0 112167 66 0 0 25 0 1 0 829355345 211623936 49214 33554432000 134512640 137138936 4290148240 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51666 49214 192 642 0 51022 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 206664

[startup+1182.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/437 30383
/proc/meminfo: memFree=20301800/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207000 CPUtime=1182.33 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49603 0 0 0 118164 69 0 0 25 0 1 0 829355345 211968000 49293 33554432000 134512640 137138936 4290148240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51750 49293 192 642 0 51106 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 207000

[startup+1242.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/437 30384
/proc/meminfo: memFree=20300676/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207276 CPUtime=1242.33 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49673 0 0 0 124162 71 0 0 25 0 1 0 829355345 212250624 49363 33554432000 134512640 137138936 4290148240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51819 49363 192 642 0 51175 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 207276

[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/437 30386
/proc/meminfo: memFree=20300044/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207124 CPUtime=1302.35 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49673 0 0 0 130161 74 0 0 25 0 1 0 829355345 212094976 49357 33554432000 134512640 137138936 4290148240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51781 49357 192 642 0 51137 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 207124

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 30387
/proc/meminfo: memFree=20301396/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207124 CPUtime=1362.34 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49673 0 0 0 136158 76 0 0 25 0 1 0 829355345 212094976 49357 33554432000 134512640 137138936 4290148240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51781 49357 192 642 0 51137 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 207124

[startup+1422.32 s]
/proc/loadavg: 2.06 2.05 2.00 3/437 30389
/proc/meminfo: memFree=20301268/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207124 CPUtime=1422.35 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49673 0 0 0 142156 79 0 0 25 0 1 0 829355345 212094976 49357 33554432000 134512640 137138936 4290148240 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51781 49357 192 642 0 51137 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 207124

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30391
/proc/meminfo: memFree=20300896/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207124 CPUtime=1482.34 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49673 0 0 0 148153 81 0 0 25 0 1 0 829355345 212094976 49357 33554432000 134512640 137138936 4290148240 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51781 49357 192 642 0 51137 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 207124

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 30392
/proc/meminfo: memFree=20301016/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207124 CPUtime=1542.34 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49673 0 0 0 154150 84 0 0 25 0 1 0 829355345 212094976 49357 33554432000 134512640 137138936 4290148240 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51781 49357 192 642 0 51137 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 207124

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/437 30394
/proc/meminfo: memFree=20301384/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207124 CPUtime=1602.34 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49673 0 0 0 160146 88 0 0 25 0 1 0 829355345 212094976 49357 33554432000 134512640 137138936 4290148240 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51781 49357 192 642 0 51137 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 207124

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/437 30395
/proc/meminfo: memFree=20301248/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=207124 CPUtime=1662.34 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 49673 0 0 0 166143 91 0 0 25 0 1 0 829355345 212094976 49357 33554432000 134512640 137138936 4290148240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 51781 49357 192 642 0 51137 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 207124

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 30397
/proc/meminfo: memFree=20263168/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=225616 CPUtime=1722.35 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 54328 0 0 0 172141 94 0 0 25 0 1 0 829355345 231030784 53973 33554432000 134512640 137138936 4290148240 18446744073709551615 134542511 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 56404 53973 192 642 0 55760 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 225616

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 30399
/proc/meminfo: memFree=20262904/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=225864 CPUtime=1782.35 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 54365 0 0 0 178139 96 0 0 25 0 1 0 829355345 231284736 54010 33554432000 134512640 137138936 4290148240 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 56466 54010 192 642 0 55822 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 225864

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 30399
/proc/meminfo: memFree=20263276/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=225864 CPUtime=1785.55 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 54365 0 0 0 178459 96 0 0 25 0 1 0 829355345 231284736 54010 33554432000 134512640 137138936 4290148240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 56466 54010 192 642 0 55822 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 225864

[startup+1791.92 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 30426
/proc/meminfo: memFree=20480276/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=225864 CPUtime=1791.97 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 54365 0 0 0 179100 97 0 0 25 0 1 0 829355345 231284736 54010 33554432000 134512640 137138936 4290148240 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 56466 54010 192 642 0 55822 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 225864

[startup+1795.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 30426
/proc/meminfo: memFree=20479904/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=225864 CPUtime=1795.16 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 54365 0 0 0 179419 97 0 0 25 0 1 0 829355345 231284736 54010 33554432000 134512640 137138936 4290148240 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 56466 54010 192 642 0 55822 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 225864

[startup+1796.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30426
/proc/meminfo: memFree=20479420/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=225864 CPUtime=1796.75 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 54365 0 0 0 179578 97 0 0 25 0 1 0 829355345 231284736 54010 33554432000 134512640 137138936 4290148240 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 56466 54010 192 642 0 55822 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 225864

[startup+1797.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30426
/proc/meminfo: memFree=20479492/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=225864 CPUtime=1797.55 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 54365 0 0 0 179658 97 0 0 25 0 1 0 829355345 231284736 54010 33554432000 134512640 137138936 4290148240 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 56466 54010 192 642 0 55822 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 225864

[startup+1797.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30426
/proc/meminfo: memFree=20479492/32951124 swapFree=60787360/67111528
[pid=30338] ppid=30336 vsize=225864 CPUtime=1797.95 cores=0,2,4,6
/proc/30338/stat : 30338 (bsolo) R 30336 30338 29081 0 -1 4202496 54365 0 0 0 179698 97 0 0 25 0 1 0 829355345 231284736 54010 33554432000 134512640 137138936 4290148240 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30338/statm: 56466 54010 192 642 0 55822 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 225864

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1797.03
CPU system time (s): 0.98285
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 225864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 0.98285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54366
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= 3
involuntary context switches= 2693

runsolver used 8.39272 second user time and 17.3824 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-04 10:52:55
IDJOB=3463102
IDBENCH=2239
IDSOLVER=1955
FILE ID=node135/3463102-1307177575
RUNJOBID= node135-1307173971-30075
PBS_JOBID= 13508851
Free space on /tmp= 73960 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463102-1307177575/watcher-3463102-1307177575 -o /tmp/evaluation-result-3463102-1307177575/solver-3463102-1307177575 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463102-1307177575.opb

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

MD5SUM BENCH= 8e251d4e151b2868eb3a52cf845e4cf8
RANDOM SEED=824042402

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20622956 kB
Buffers:        265628 kB
Cached:         628064 kB
SwapCached:       6168 kB
Active:       11534612 kB
Inactive:       536384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20622956 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:            8840 kB
Writeback:           0 kB
AnonPages:    11177072 kB
Mapped:          26700 kB
Slab:           125956 kB
PageTables:      66104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124479152 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73956 MiB
End job on node135 at 2011-06-04 11:22:53