Trace number 3733308

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)-28 1800.1 1800.51

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3733308-1338694181.opb
0.00/0.00	c File size is 664643 bytes.
0.00/0.05	c Highest Coefficient sum: 595
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.048 s
0.00/0.05	c Var: 595 Constr: 27931 27931/0/0 Lit: 55862 Watch. Lit: 55862
0.00/0.05	c Obj. Vars: 595 (100 % of total variables)
0.09/0.18	c Pre-processing Time: 0.185 s
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0    595    27931    55862    2    55862    9310      0      0 0.18
0.09/0.18	c Switching off LPR mode.
0.09/0.19	o -25	0.186
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0    595    27932    56457    2    55889   10310      1      0 0.19
0.09/0.19	o -26	0.187
0.18/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.24	c        1    595    27934    57621    2    55919   10310      3      5 0.19
0.18/0.24	c      101    595    28034   113985    4    56119   11342    103    485 0.21
0.18/0.24	o -27	0.24
143.27/143.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
143.27/143.30	c      260    595    28194   204492    7    56466   10310    263   1078 0.24
143.27/143.30	c      360    595    28294   260904    9    56666   11342    363   1368 0.26
143.27/143.30	c      610    595    28544   401760   14    57166   12477    613   1888 0.32
143.27/143.30	c     1085    595    29019   669951   23    58116   13725   1088   2500 0.43
143.27/143.30	c     1899    595    29833  1129081   37    59744   15098   1902   2697 0.70
143.27/143.30	c     3219    595    31153  1874242   60    62384   16608   3222   2732 1.18
143.27/143.30	c     5300    595    33234  3047585   91    66546   18269   5303   2397 2.21
143.27/143.30	c     8523    595    36457  4864183  133    72992   20096   8526   1565 5.45
143.27/143.30	c    13459    595    41393  7646909  184    82864   22106  13462   1647 8.17
143.27/143.30	c    20965    595    48899 11883643  243    97876   24317  20968   1149 18.24
143.27/143.30	c    32327    595    46241 10371291  224    92509   26749  18310    680 47.51
143.27/143.30	c    49471    595    47141 10881830  230    94309   29424  19210    544 90.91
143.27/143.30	c    75290    595    54049 14794506  273   108125   32367  26118    528 142.51
143.27/143.30	o -28	143.271
1800.08/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.50	c    75841    595    54601 15106281  276   109257   10310  26670    529 143.27
1800.08/1800.50	c    75941    595    33187  3021278   91    66402   11342   5256    523 145.01
1800.08/1800.50	c    76191    595    33437  3162181   94    66902   12477   5506    525 145.12
1800.08/1800.50	c    76667    595    33913  3430332  101    67854   13725   5982    527 145.26
1800.08/1800.50	c    77481    595    34727  3888627  111    69482   15098   6796    532 145.51
1800.08/1800.50	c    78802    595    36048  4632278  128    72124   16608   8117    539 146.11
1800.08/1800.50	c    80883    595    38129  5802416  152    76286   18269  10198    548 147.36
1800.08/1800.50	c    84106    595    41352  7616074  184    82732   20096  13421    559 150.32
1800.08/1800.50	c    89043    595    46289 10397221  224    92606   22106  18358    576 154.44
1800.08/1800.50	c    96549    595    41987  7967727  189    84002   24317  14056    588 164.08
1800.08/1800.50	c   107910    595    39358  6486234  164    78744   26749  11427    601 179.34
1800.08/1800.50	c   125054    595    40272  7004024  173    80572   29424  12341    571 218.65
1800.08/1800.50	c   150873    595    47219 10911352  231    94466   32367  19288    571 264.13
1800.08/1800.50	c   189706    595    42520  8264381  194    85068   35604  14589    519 365.39
1800.08/1800.50	c   248058    595    51346 13237193  257   102720   39165  23415    424 584.74
1800.08/1800.50	c   335691    595    54071 14772835  273   108170   43082  26140    382 877.21
1800.08/1800.50	c   467243    595    58247 17103620  293   116522   47391  30316    316 1478.23
1800.08/1800.50	c Caught signal: 15
1800.08/1800.50	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 
1800.08/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.50	c   33   556380  57196   630152    74762 26432615  46831    309 1800.09
1800.08/1800.50	c Objective: -28
1800.08/1800.50	s SATISFIABLE
1800.08/1800.50	c Total time: 1800.09 s

Verifier Data 

OK	-28

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-3733308-1338694181/watcher-3733308-1338694181 -o /tmp/evaluation-result-3733308-1338694181/solver-3733308-1338694181 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733308-1338694181.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.00 2.00 2.04 2/176 11427
/proc/meminfo: memFree=27331672/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=5340 CPUtime=0 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 335544137 5468160 409 33554432000 134512640 135840783 4286895312 4286893488 5921669 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 1335 409 327 325 0 108 0

[startup+0.083913 s]
/proc/loadavg: 2.00 2.00 2.04 2/176 11427
/proc/meminfo: memFree=27331672/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=9544 CPUtime=0.07 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 1878 0 0 0 7 0 0 0 20 0 1 0 335544137 9773056 1651 33554432000 134512640 135840783 4286895312 4286887100 8225840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 2386 1651 343 325 0 1322 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9544

[startup+0.100231 s]
/proc/loadavg: 2.00 2.00 2.04 2/176 11427
/proc/meminfo: memFree=27331672/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=9544 CPUtime=0.09 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 1878 0 0 0 9 0 0 0 20 0 1 0 335544137 9773056 1651 33554432000 134512640 135840783 4286895312 4286887100 8225840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 2386 1651 343 325 0 1322 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9544

[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 2.04 2/176 11427
/proc/meminfo: memFree=27331672/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=12420 CPUtime=0.29 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 2776 0 0 0 28 1 0 0 20 0 1 0 335544137 12718080 2361 33554432000 134512640 135840783 4286895312 4286887344 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 3105 2362 348 325 0 2041 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12420

[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 2.04 2/176 11427
/proc/meminfo: memFree=27331672/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=22468 CPUtime=0.69 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 5282 0 0 0 68 1 0 0 20 0 1 0 335544137 23007232 4867 33554432000 134512640 135840783 4286895312 4286894672 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 5617 4868 348 325 0 4553 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22468

[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11428
/proc/meminfo: memFree=27290548/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=39200 CPUtime=1.49 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 9461 0 0 0 147 2 0 0 20 0 1 0 335544137 40140800 9046 33554432000 134512640 135840783 4286895312 4286894672 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 9800 9046 348 325 0 8736 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39200

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11428
/proc/meminfo: memFree=27255828/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=58844 CPUtime=3.09 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 14398 0 0 0 306 3 0 0 20 0 1 0 335544137 60256256 13983 33554432000 134512640 135840783 4286895312 4286894672 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 14711 13983 348 325 0 13647 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58844

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11428
/proc/meminfo: memFree=27197816/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=86420 CPUtime=6.29 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 21266 0 0 0 625 4 0 0 20 0 1 0 335544137 88494080 20851 33554432000 134512640 135840783 4286895312 4286887328 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 21605 20851 348 325 0 20541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86420

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11428
/proc/meminfo: memFree=27073244/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=142152 CPUtime=12.69 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 35198 0 0 0 1262 7 0 0 20 0 1 0 335544137 145563648 34783 33554432000 134512640 135840783 4286895312 4286887576 134586339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 35538 34783 348 325 0 34474 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 142152

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 11431
/proc/meminfo: memFree=26996252/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=189676 CPUtime=25.49 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 47099 0 0 0 2539 10 0 0 20 0 1 0 335544137 194228224 46684 33554432000 134512640 135840783 4286895312 4286887580 15111271 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 47419 46684 348 325 0 46355 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 189676

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 11431
/proc/meminfo: memFree=26982748/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=189676 CPUtime=51.08 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 47099 0 0 0 5098 10 0 0 20 0 1 0 335544137 194228224 46684 33554432000 134512640 135840783 4286895312 4286894672 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 47419 46684 348 325 0 46355 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 189676

[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.04 3/177 11431
/proc/meminfo: memFree=26926628/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=226632 CPUtime=102.28 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 56329 0 0 0 10216 12 0 0 20 0 1 0 335544137 232071168 55914 33554432000 134512640 135840783 4286895312 4286887328 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 56658 55914 348 325 0 55594 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 226632

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 11431
/proc/meminfo: memFree=26893052/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=226976 CPUtime=162.25 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 56451 0 0 0 16213 12 0 0 20 0 1 0 335544137 232423424 56017 33554432000 134512640 135840783 4286895312 4286894624 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 56744 56017 348 325 0 55680 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 226976

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/177 11431
/proc/meminfo: memFree=26883780/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=226976 CPUtime=222.2 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 56499 0 0 0 22208 12 0 0 20 0 1 0 335544137 232423424 56017 33554432000 134512640 135840783 4286895312 4286894672 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 56744 56017 348 325 0 55680 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 226976

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 11432
/proc/meminfo: memFree=26872244/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=242332 CPUtime=282.15 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 60373 0 0 0 28202 13 0 0 20 0 1 0 335544137 248147968 59852 33554432000 134512640 135840783 4286895312 4286894624 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 60583 59852 348 325 0 59519 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 242332

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 11432
/proc/meminfo: memFree=26842748/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=247668 CPUtime=342.14 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 61726 0 0 0 34201 13 0 0 20 0 1 0 335544137 253612032 61172 33554432000 134512640 135840783 4286895312 4286894672 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 61917 61172 348 325 0 60853 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 247668

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 11432
/proc/meminfo: memFree=26840268/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=247956 CPUtime=402.13 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 61785 0 0 0 40200 13 0 0 20 0 1 0 335544137 253906944 61231 33554432000 134512640 135840783 4286895312 4286894672 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 61989 61231 348 325 0 60925 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 247956

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=26816544/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=271244 CPUtime=462.11 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 67662 0 0 0 46197 14 0 0 20 0 1 0 335544137 277753856 67072 33554432000 134512640 135840783 4286895312 4286894672 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 67811 67072 348 325 0 66747 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 271244

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=26816544/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=271244 CPUtime=522.11 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 67662 0 0 0 52197 14 0 0 20 0 1 0 335544137 277753856 67072 33554432000 134512640 135840783 4286895312 4286894672 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 67811 67072 348 325 0 66747 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 271244

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 11432
/proc/meminfo: memFree=26789884/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=271632 CPUtime=582.1 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 67744 0 0 0 58195 15 0 0 20 0 1 0 335544137 278151168 67150 33554432000 134512640 135840783 4286895312 4286894672 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 67908 67150 348 325 0 66844 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 271632

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11436
/proc/meminfo: memFree=26735980/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=297644 CPUtime=882.03 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 74357 0 0 0 88187 16 0 0 20 0 1 0 335544137 304787456 73653 33554432000 134512640 135840783 4286895312 4286894672 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 74411 73653 348 325 0 73347 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 297644

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11437
/proc/meminfo: memFree=26707336/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325736 CPUtime=942.01 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81445 0 0 0 94183 18 0 0 20 0 1 0 335544137 333553664 80698 33554432000 134512640 135840783 4286895312 4286894672 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81434 80698 348 325 0 80370 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 325736

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11437
/proc/meminfo: memFree=26706564/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325736 CPUtime=1001.99 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81459 0 0 0 100181 18 0 0 20 0 1 0 335544137 333553664 80698 33554432000 134512640 135840783 4286895312 4286894672 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81434 80698 348 325 0 80370 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 325736

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11437
/proc/meminfo: memFree=26707460/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325732 CPUtime=1061.98 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81500 0 0 0 106180 18 0 0 20 0 1 0 335544137 333549568 80707 33554432000 134512640 135840783 4286895312 4286894672 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81433 80707 348 325 0 80369 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 325732

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11437
/proc/meminfo: memFree=26707340/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325732 CPUtime=1121.98 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81500 0 0 0 112180 18 0 0 20 0 1 0 335544137 333549568 80707 33554432000 134512640 135840783 4286895312 4286887664 134547744 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81433 80707 348 325 0 80369 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 325732

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11437
/proc/meminfo: memFree=26707464/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325732 CPUtime=1181.97 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81500 0 0 0 118179 18 0 0 20 0 1 0 335544137 333549568 80707 33554432000 134512640 135840783 4286895312 4286894672 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81433 80707 348 325 0 80369 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 325732

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11441
/proc/meminfo: memFree=26707312/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325732 CPUtime=1241.96 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81500 0 0 0 124178 18 0 0 20 0 1 0 335544137 333549568 80707 33554432000 134512640 135840783 4286895312 4286894672 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81433 80707 348 325 0 80369 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 325732

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11441
/proc/meminfo: memFree=26707320/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325732 CPUtime=1301.95 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81500 0 0 0 130177 18 0 0 20 0 1 0 335544137 333549568 80707 33554432000 134512640 135840783 4286895312 4286894672 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81433 80707 348 325 0 80369 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 325732

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11441
/proc/meminfo: memFree=26707568/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325732 CPUtime=1361.94 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81500 0 0 0 136176 18 0 0 20 0 1 0 335544137 333549568 80707 33554432000 134512640 135840783 4286895312 4286894672 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81433 80707 348 325 0 80369 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 325732

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11441
/proc/meminfo: memFree=26707816/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325732 CPUtime=1421.94 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81500 0 0 0 142176 18 0 0 20 0 1 0 335544137 333549568 80707 33554432000 134512640 135840783 4286895312 4286894736 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81433 80707 348 325 0 80369 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 325732

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11441
/proc/meminfo: memFree=26707568/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=325732 CPUtime=1481.92 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 81500 0 0 0 148174 18 0 0 20 0 1 0 335544137 333549568 80707 33554432000 134512640 135840783 4286895312 4286894672 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 81433 80707 348 325 0 80369 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 325732

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11442
/proc/meminfo: memFree=26676696/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=356964 CPUtime=1541.91 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 89346 0 0 0 154170 21 0 0 20 0 1 0 335544137 365531136 88506 33554432000 134512640 135840783 4286895312 4286894672 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 89241 88506 348 325 0 88177 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 356964

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11442
/proc/meminfo: memFree=26676200/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=356964 CPUtime=1601.9 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 89346 0 0 0 160169 21 0 0 20 0 1 0 335544137 365531136 88506 33554432000 134512640 135840783 4286895312 4286894672 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 89241 88506 348 325 0 88177 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 356964

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11442
/proc/meminfo: memFree=26644580/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=357648 CPUtime=1661.89 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 89494 0 0 0 166168 21 0 0 20 0 1 0 335544137 366231552 88654 33554432000 134512640 135840783 4286895312 4286894672 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 89412 88654 348 325 0 88348 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 357648

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11442
/proc/meminfo: memFree=26644580/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=357648 CPUtime=1721.88 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 89494 0 0 0 172167 21 0 0 20 0 1 0 335544137 366231552 88654 33554432000 134512640 135840783 4286895312 4286894672 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 89412 88654 348 325 0 88348 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 357648

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11442
/proc/meminfo: memFree=26643960/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=357648 CPUtime=1781.88 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 89494 0 0 0 178167 21 0 0 20 0 1 0 335544137 366231552 88654 33554432000 134512640 135840783 4286895312 4286894672 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 89412 88654 348 325 0 88348 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 357648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 11443
/proc/meminfo: memFree=26998992/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=357648 CPUtime=1800.08 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 89494 0 0 0 179987 21 0 0 20 0 1 0 335544137 366231552 88654 33554432000 134512640 135840783 4286895312 4286894672 134550826 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 89412 88654 348 325 0 88348 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 357648

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

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

[startup+1800.5 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 11443
/proc/meminfo: memFree=26998992/32873648 swapFree=6860/6860
[pid=11427] ppid=11425 vsize=357648 CPUtime=1800.08 cores=1,3,5,7
/proc/11427/stat : 11427 (bsolo3.0.17) R 11425 11427 9030 0 -1 4202496 89494 0 0 0 179987 21 0 0 20 0 1 0 335544137 366231552 88654 33554432000 134512640 135840783 4286895312 4286894672 134550826 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11427/statm: 89412 88654 348 325 0 88348 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 357648

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.87
CPU system time (s): 0.222966
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 357648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.222966
maximum resident set size= 354616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89497
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= 162
involuntary context switches= 1851

runsolver used 3.37249 second user time and 9.34258 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-03 05:29:41
IDJOB=3733308
IDBENCH=2272
IDSOLVER=2318
FILE ID=node116/3733308-1338694181
RUNJOBID= node116-1338678620-9050
PBS_JOBID= 14636697
Free space on /tmp= 71032 MiB

SOLVER NAME= PB07: bsolo 3.0.17
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= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733308-1338694181/watcher-3733308-1338694181 -o /tmp/evaluation-result-3733308-1338694181/solver-3733308-1338694181 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733308-1338694181.opb            

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

MD5SUM BENCH= 3895ca8e12182fcd80d7923f66584703
RANDOM SEED=1780662508

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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:       32873648 kB
MemFree:        27332432 kB
Buffers:          529300 kB
Cached:          4073336 kB
SwapCached:         3028 kB
Active:          2198048 kB
Inactive:        2438280 kB
Active(anon):      23764 kB
Inactive(anon):     8500 kB
Active(file):    2174284 kB
Inactive(file):  2429780 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:             14676 kB
Writeback:             0 kB
AnonPages:         34476 kB
Mapped:            13232 kB
Shmem:                68 kB
Slab:             765944 kB
SReclaimable:     210132 kB
SUnreclaim:       555812 kB
KernelStack:        1440 kB
PageTables:         4048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     145408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71024 MiB
End job on node116 at 2012-06-03 05:59:43