Trace number 3707934

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-29 1798 1798.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM3895ca8e12182fcd80d7923f66584703
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark54.0378
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27931
Number of constraints which are clauses27931
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 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707934-1338154552.opb
0.00/0.00	c File size is 664643 bytes.
0.00/0.04	c Highest Coefficient sum: 595
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.04 s
0.00/0.04	c Var: 595 Constr: 27931 27931/0/0 Lit: 55862 Watch. Lit: 55862
0.00/0.04	c Obj. Vars: 595 (100 % of total variables)
0.09/0.17	c Pre-processing Time: 0.173 s
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0    595    27931    55862    2    55862    9310      0      0 0.17
0.09/0.17	c Switching off lower bounding mode.
0.09/0.17	o -25
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0    595    27932    56457    2    55889   10310      1      0 0.17
0.09/0.17	o -26
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        1    595    27934    57621    2    55919   10310      3      5 0.18
0.19/0.24	c      101    595    28051   123588    4    56153   11342    120    427 0.24
0.19/0.24	o -27
2.28/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.34	c      104    595    28055   125882    4    56188   10310    124    435 0.24
2.28/2.34	c      204    595    28171   191139    6    56420   11342    240    677 0.30
2.28/2.34	c      454    595    28460   353882   12    56998   12477    529   1008 0.45
2.28/2.34	c      929    595    28989   652128   22    58056   13725   1058   1217 0.76
2.28/2.34	c     1742    595    29905  1168332   39    59888   15098   1974   1292 1.35
2.28/2.34	c     3062    595    31424  2023089   64    62926   16608   3493   1311 2.33
2.28/2.34	o -28
4.69/4.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.75	c     3063    595    31426  2024249   64    62958   10310   3495   1310 2.34
4.69/4.75	c     3163    595    31542  2089427   66    63190   11342   3611   1313 2.41
4.69/4.75	c     3414    595    31830  2251007   70    63766   12477   3899   1323 2.58
4.69/4.75	c     3890    595    32370  2554934   78    64846   13725   4439   1320 2.95
4.69/4.75	c     4703    595    33309  3082639   92    66724   15098   5378   1311 3.59
4.69/4.75	c     6024    595    34801  3922136  112    69708   16608   6870   1285 4.68
4.69/4.75	o -29
1797.96/1798.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.43	c     6108    595    34901  3978431  113    69937   10310   6970   1285 4.75
1797.96/1798.43	c     6209    595    35016  4042994  115    70167   11342   7085   1286 4.83
1797.96/1798.43	c     6460    595    35308  4206640  119    70751   12477   7377   1287 5.02
1797.96/1798.43	c     6935    595    35844  4507653  125    71823   13725   7913   1274 5.44
1797.96/1798.43	c     7748    595    36777  5030454  136    73689   15098   8846   1263 6.13
1797.96/1798.43	c     9068    595    38263  5863472  153    76661   16608  10332   1240 7.31
1797.96/1798.43	c    11149    595    40601  7175742  176    81337   18269  12670   1206 9.24
1797.96/1798.43	c    14373    595    44341  9267888  209    88817   20096  16410   1148 12.51
1797.96/1798.43	c    19310    595    39405  6483499  164    78889   22106  11474   1031 18.72
1797.96/1798.43	c    26816    595    48031 11307856  235    96141   24317  20100    942 28.44
1797.96/1798.43	c    38177    595    48531 11592762  238    97118   26749  20600    837 45.60
1797.96/1798.43	c    55322    595    53511 14383825  268   107078   29424  25580    701 78.84
1797.96/1798.43	c    81142    595    48656 11633094  239    97550   32367  20725    640 126.72
1797.96/1798.43	c   119974    595    53283 14251585  267   106595   35604  25352    566 211.64
1797.96/1798.43	c   178326    595    50674 12776614  252   101461   39165  22743    540 330.06
1797.96/1798.43	c   265959    595    44138  9124884  206    88402   43082  16207    466 569.84
1797.96/1798.43	c   397511    595    44481  9295416  208    89011   47391  16550    449 883.48
1797.96/1798.43	c   594943    595    61078 18586387  304   122256   52131  33147    419 1418.71
1797.96/1798.43	c Resources Exceeded
1797.96/1798.43	v -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1797.96/1798.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.43	c   33   729343  71803   820905    55573 15550708  27642    405 1798.00
1797.96/1798.43	c Objective: -29
1797.96/1798.43	s SATISFIABLE
1797.96/1798.43	c Total time: 1798 s

Verifier Data 

OK	-29

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-3707934-1338154552/watcher-3707934-1338154552 -o /tmp/evaluation-result-3707934-1338154552/solver-3707934-1338154552 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707934-1338154552.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.08 2.02 2.01 3/176 19190
/proc/meminfo: memFree=29575676/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=11588 CPUtime=0 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 281583704 11866112 284 33554432000 134512640 137138936 4290963376 4290961784 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 2897 284 179 642 0 2090 0

[startup+0.0812629 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19190
/proc/meminfo: memFree=29575676/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=15656 CPUtime=0.07 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 1689 0 0 0 7 0 0 0 20 0 1 0 281583704 16031744 1479 33554432000 134512640 137138936 4290963376 4290954732 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 3914 1479 185 642 0 3270 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15656

[startup+0.100276 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19190
/proc/meminfo: memFree=29575676/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=15656 CPUtime=0.09 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 1689 0 0 0 9 0 0 0 20 0 1 0 281583704 16031744 1479 33554432000 134512640 137138936 4290963376 4290954732 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 3914 1479 185 642 0 3270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15656

[startup+0.300227 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19190
/proc/meminfo: memFree=29575676/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=16500 CPUtime=0.29 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 2088 0 0 0 28 1 0 0 20 0 1 0 281583704 16896000 1690 33554432000 134512640 137138936 4290963376 4290961656 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 4125 1690 192 642 0 3481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16500

[startup+0.700225 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19190
/proc/meminfo: memFree=29575676/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=21788 CPUtime=0.69 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 3403 0 0 0 67 2 0 0 20 0 1 0 281583704 22310912 3005 33554432000 134512640 137138936 4290963376 4290961656 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 5447 3005 192 642 0 4803 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21788

[startup+1.50023 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 19191
/proc/meminfo: memFree=29560632/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=31008 CPUtime=1.49 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 5709 0 0 0 147 2 0 0 20 0 1 0 281583704 31752192 5311 33554432000 134512640 137138936 4290963376 4290962492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 7752 5311 192 642 0 7108 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31008

[startup+3.10023 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19191
/proc/meminfo: memFree=29547984/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=48772 CPUtime=3.09 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 10166 0 0 0 306 3 0 0 20 0 1 0 281583704 49942528 9768 33554432000 134512640 137138936 4290963376 4290961656 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 12193 9768 192 642 0 11549 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48772

[startup+6.30025 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19191
/proc/meminfo: memFree=29513636/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=80812 CPUtime=6.29 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 18174 0 0 0 624 5 0 0 20 0 1 0 281583704 82751488 17776 33554432000 134512640 137138936 4290963376 4290962492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 20203 17776 192 642 0 19559 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80812

[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19191
/proc/meminfo: memFree=29455480/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=134896 CPUtime=12.68 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 31674 0 0 0 1260 8 0 0 20 0 1 0 281583704 138133504 31276 33554432000 134512640 137138936 4290963376 4290962492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 33724 31276 192 642 0 33080 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 134896

[startup+25.5003 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 19191
/proc/meminfo: memFree=29420372/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=164652 CPUtime=25.48 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 39124 0 0 0 2537 11 0 0 20 0 1 0 281583704 168603648 38726 33554432000 134512640 137138936 4290963376 4290962088 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 41163 38726 192 642 0 40519 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 164652

[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 19192
/proc/meminfo: memFree=29386712/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=201060 CPUtime=51.08 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 48232 0 0 0 5094 14 0 0 20 0 1 0 281583704 205885440 47834 33554432000 134512640 137138936 4290963376 4290961656 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 50265 47834 192 642 0 49621 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 201060

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19193
/proc/meminfo: memFree=29217868/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=232048 CPUtime=102.28 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 55983 0 0 0 10209 19 0 0 20 0 1 0 281583704 237617152 55585 33554432000 134512640 137138936 4290963376 4290962492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 58012 55585 192 642 0 57368 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 232048

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19193
/proc/meminfo: memFree=29126268/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=252936 CPUtime=162.26 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 61229 0 0 0 16201 25 0 0 20 0 1 0 281583704 259006464 60798 33554432000 134512640 137138936 4290963376 4290962272 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 63234 60798 192 642 0 62590 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 252936

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19193
/proc/meminfo: memFree=29126296/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=254132 CPUtime=222.25 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 61533 0 0 0 22197 28 0 0 20 0 1 0 281583704 260231168 61102 33554432000 134512640 137138936 4290963376 4290962492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 63533 61102 192 642 0 62889 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 254132

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19196
/proc/meminfo: memFree=29102756/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=276932 CPUtime=282.25 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 67243 0 0 0 28193 32 0 0 20 0 1 0 281583704 283578368 66776 33554432000 134512640 137138936 4290963376 4290962304 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 69233 66776 192 642 0 68589 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 276932

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19196
/proc/meminfo: memFree=29102544/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=276752 CPUtime=342.24 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 67243 0 0 0 34189 35 0 0 20 0 1 0 281583704 283394048 66763 33554432000 134512640 137138936 4290963376 4290962088 136505123 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 69188 66763 192 642 0 68544 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 276752

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19197
/proc/meminfo: memFree=29076780/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=302484 CPUtime=402.22 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 73694 0 0 0 40184 38 0 0 20 0 1 0 281583704 309743616 73175 33554432000 134512640 137138936 4290963376 4290962492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 75621 73175 192 642 0 74977 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 302484

[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 19197
/proc/meminfo: memFree=29077428/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=302484 CPUtime=462.22 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 73694 0 0 0 46180 42 0 0 20 0 1 0 281583704 309743616 73175 33554432000 134512640 137138936 4290963376 4290962304 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 75621 73175 192 642 0 74977 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 302484

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19197
/proc/meminfo: memFree=29077828/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=302484 CPUtime=522.21 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 73694 0 0 0 52177 44 0 0 20 0 1 0 281583704 309743616 73175 33554432000 134512640 137138936 4290963376 4290962272 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 75621 73175 192 642 0 74977 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 302484

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19197
/proc/meminfo: memFree=29075876/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=302740 CPUtime=582.2 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 73747 0 0 0 58173 47 0 0 20 0 1 0 281583704 310005760 73228 33554432000 134512640 137138936 4290963376 4290962128 134575044 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 75685 73228 192 642 0 75041 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 302740

[startup+642.3 s]

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

/proc/meminfo: memFree=29014372/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=362648 CPUtime=1121.98 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 89035 0 0 0 112119 79 0 0 20 0 1 0 281583704 371351552 88205 33554432000 134512640 137138936 4290963376 4290962304 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 90662 88205 192 642 0 90018 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 362648

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19213
/proc/meminfo: memFree=29014248/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=362648 CPUtime=1181.97 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 89035 0 0 0 118116 81 0 0 20 0 1 0 281583704 371351552 88205 33554432000 134512640 137138936 4290963376 4290962304 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 90662 88205 192 642 0 90018 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 362648

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19213
/proc/meminfo: memFree=29014248/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=362648 CPUtime=1241.97 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 89035 0 0 0 124113 84 0 0 20 0 1 0 281583704 371351552 88205 33554432000 134512640 137138936 4290963376 4290962304 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 90662 88205 192 642 0 90018 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 362648

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19214
/proc/meminfo: memFree=29014248/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=362648 CPUtime=1301.96 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 89035 0 0 0 130110 86 0 0 20 0 1 0 281583704 371351552 88205 33554432000 134512640 137138936 4290963376 4290962416 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 90662 88205 192 642 0 90018 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 362648

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19214
/proc/meminfo: memFree=29014372/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=362648 CPUtime=1361.94 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 89035 0 0 0 136104 90 0 0 20 0 1 0 281583704 371351552 88205 33554432000 134512640 137138936 4290963376 4290954856 136504383 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 90662 88205 192 642 0 90018 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 362648

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19214
/proc/meminfo: memFree=29014372/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=362648 CPUtime=1421.94 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 89035 0 0 0 142101 93 0 0 20 0 1 0 281583704 371351552 88205 33554432000 134512640 137138936 4290963376 4290962304 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 90662 88205 192 642 0 90018 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 362648

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19217
/proc/meminfo: memFree=28980324/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396044 CPUtime=1481.92 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97445 0 0 0 148093 99 0 0 20 0 1 0 281583704 405549056 96563 33554432000 134512640 137138936 4290963376 4290962492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99011 96563 192 642 0 98367 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 396044

[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 19353
/proc/meminfo: memFree=30013928/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396044 CPUtime=1541.91 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97445 0 0 0 154089 102 0 0 20 0 1 0 281583704 405549056 96563 33554432000 134512640 137138936 4290963376 4290962304 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99011 96563 192 642 0 98367 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 396044

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 19353
/proc/meminfo: memFree=30008744/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396668 CPUtime=1601.91 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97592 0 0 0 160085 106 0 0 20 0 1 0 281583704 406188032 96710 33554432000 134512640 137138936 4290963376 4290962304 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99167 96710 192 642 0 98523 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 396668

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19354
/proc/meminfo: memFree=29988672/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396668 CPUtime=1661.88 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97611 0 0 0 166079 109 0 0 20 0 1 0 281583704 406188032 96710 33554432000 134512640 137138936 4290963376 4290962288 136296993 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99167 96710 192 642 0 98523 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 396668

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19354
/proc/meminfo: memFree=29976020/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1721.87 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 172075 112 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290961796 136502626 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 396288

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19354
/proc/meminfo: memFree=29929272/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1781.85 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 178071 114 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290962304 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 396288

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19354
/proc/meminfo: memFree=29929520/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1791.46 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 179031 115 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290962492 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 396288

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19354
/proc/meminfo: memFree=29922452/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1794.66 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 179351 115 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290962196 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 396288

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19354
/proc/meminfo: memFree=29922700/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1796.25 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 179510 115 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290962252 136295502 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 396288

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19354
/proc/meminfo: memFree=29918980/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1797.05 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 179590 115 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290962304 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 396288

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19354
/proc/meminfo: memFree=29918980/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1797.45 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 179630 115 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290961952 136296975 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 396288

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19354
/proc/meminfo: memFree=29918980/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1797.85 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 179670 115 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290962272 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 396288

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19354
/proc/meminfo: memFree=29916004/32873844 swapFree=7108/7108
[pid=19190] ppid=19188 vsize=396288 CPUtime=1797.96 cores=0,2,4,6
/proc/19190/stat : 19190 (bsolo) R 19188 19190 14929 0 -1 4202496 97623 0 0 0 179681 115 0 0 20 0 1 0 281583704 405798912 96647 33554432000 134512640 137138936 4290963376 4290962088 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19190/statm: 99072 96647 192 642 0 98428 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 396288

Child status: 0
Real time (s): 1798.44
CPU time (s): 1798
CPU user time (s): 1796.84
CPU system time (s): 1.16082
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 396668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.84
system time used= 1.16082
maximum resident set size= 386840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97624
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= 189
involuntary context switches= 1930

runsolver used 2.67459 second user time and 7.14191 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-27 23:35:52
IDJOB=3707934
IDBENCH=2272
IDSOLVER=2286
FILE ID=node102/3707934-1338154552
RUNJOBID= node102-1338138881-16730
PBS_JOBID= 14624485
Free space on /tmp= 71532 MiB

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

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

MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703
RANDOM SEED=464728783

node102.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.178
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.35
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.178
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.90
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.178
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.178
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		: 2667.178
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.178
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	: 5438.54
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.178
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.178
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:        29575304 kB
Buffers:          377372 kB
Cached:          1239592 kB
SwapCached:            0 kB
Active:          1755984 kB
Inactive:         704824 kB
Active(anon):     835416 kB
Inactive(anon):    11036 kB
Active(file):     920568 kB
Inactive(file):   693788 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4708 kB
Writeback:             0 kB
AnonPages:        850508 kB
Mapped:            15168 kB
Shmem:               200 kB
Slab:             696692 kB
SReclaimable:     139132 kB
SUnreclaim:       557560 kB
KernelStack:        1448 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     964440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 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= 71528 MiB
End job on node102 at 2012-05-28 00:05:50