Trace number 3733297

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-5.opb
MD5SUM7f24dba3f3d4b877b96bd50f5b27c089
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 benchmark42.7685
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 constraints28143
Number of constraints which are clauses28143
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-3733297-1338694180.opb
0.00/0.00	c File size is 669646 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.051 s
0.00/0.06	c Var: 595 Constr: 28143 28143/0/0 Lit: 56286 Watch. Lit: 56286
0.00/0.06	c Obj. Vars: 595 (100 % of total variables)
0.08/0.19	c Pre-processing Time: 0.189 s
0.08/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.19	c        0    595    28143    56286    2    56286    9381      0      0 0.19
0.08/0.19	c Switching off LPR mode.
0.08/0.19	o -21	0.19
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0    595    28144    56881    2    56309   10381      1      0 0.19
0.19/0.20	o -22	0.197
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c       39    595    28184    79688    2    56411   10381     41    196 0.20
0.19/0.20	o -23	0.198
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c       39    595    28185    80283    2    56436   10381     42    196 0.20
0.19/0.20	o -24	0.2
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c       47    595    28194    85418    3    56478   10381     51    233 0.20
0.19/0.20	o -25	0.202
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c       47    595    28195    86013    3    56505   10381     52    232 0.20
0.19/0.21	o -26	0.203
0.38/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.46	c       49    595    28198    87743    3    56537   10381     55    241 0.20
0.38/0.46	c      149    595    28298   144284    5    56737   11420    155    662 0.23
0.38/0.46	c      399    595    28548   285431    9    57237   12563    405   1371 0.29
0.38/0.46	c      875    595    29024   554433   19    58189   13820    881   1970 0.44
0.38/0.46	o -27	0.46
2.78/2.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.78/2.89	c      934    595    29084   588442   20    58336   10381    941   2030 0.46
2.78/2.89	c     1034    595    29184   644916   22    58536   11420   1041   2131 0.48
2.78/2.89	c     1285    595    29435   786603   26    59038   12563   1292   2332 0.55
2.78/2.89	c     1760    595    29910  1054401   35    59988   13820   1767   2458 0.72
2.78/2.89	c     2574    595    30724  1513823   49    61616   15203   2581   2467 1.04
2.78/2.89	c     3896    595    32046  2259185   70    64260   16724   3903   2295 1.70
2.78/2.89	c     5977    595    34127  3433159  100    68422   18397   5984   2217 2.69
2.78/2.89	o -28	2.891
1800.09/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.50	c     6562    595    34713  3763707  108    69622   10381   6570   2269 2.89
1800.09/1800.50	c     6662    595    34813  3820076  109    69822   11420   6670   2279 2.92
1800.09/1800.50	c     6912    595    35063  3960927  112    70322   12563   6920   2239 3.09
1800.09/1800.50	c     7387    595    35538  4228443  118    71272   13820   7395   2125 3.48
1800.09/1800.50	c     8200    595    36351  4686052  128    72898   15203   8208   2037 4.03
1800.09/1800.50	c     9520    595    37671  5428866  144    75538   16724   9528   1889 5.04
1800.09/1800.50	c    11601    595    39752  6600517  166    79700   18397  11609   1824 6.36
1800.09/1800.50	c    14825    595    42976  8417141  195    86148   20237  14833   1835 8.08
1800.09/1800.50	c    19761    595    47912 11195832  233    96020   22261  19769   1475 13.40
1800.09/1800.50	c    27268    595    43383  8633578  199    86794   24488  15240    872 31.24
1800.09/1800.50	c    38629    595    40635  7081630  174    81298   26937  12492    653 59.07
1800.09/1800.50	c    55774    595    41414  7520503  181    82856   29631  13271    610 91.37
1800.09/1800.50	c    81594    595    48134 11304260  234    96296   32595  19991    577 141.36
1800.09/1800.50	c   120427    595    43169  8519182  197    86366   35855  15026    410 293.67
1800.09/1800.50	c   178779    595    51348 13115958  255   102724   39441  23205    344 518.44
1800.09/1800.50	c   266412    595    53393 14266051  267   106814   43386  25250    328 810.21
1800.09/1800.50	c   397964    595    55866 15641655  279   111760   47725  27723    253 1568.58
1800.09/1800.50	c Caught signal: 15
1800.09/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.09/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.50	c   33   441015  44741   497983    62296 19271447  34153    244 1800.10
1800.09/1800.50	c Objective: -28
1800.09/1800.50	s SATISFIABLE
1800.09/1800.50	c Total time: 1800.1 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-3733297-1338694180/watcher-3733297-1338694180 -o /tmp/evaluation-result-3733297-1338694180/solver-3733297-1338694180 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733297-1338694180.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.00 2.00 2.04 1/174 11389
/proc/meminfo: memFree=27349964/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 335544046 4583424 156 33554432000 134512640 135840783 4290141792 4290141132 5502296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 1119 156 135 325 0 39 0

[startup+0.070338 s]
/proc/loadavg: 2.00 2.00 2.04 1/174 11389
/proc/meminfo: memFree=27349964/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=8756 CPUtime=0.05 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 1659 0 0 0 5 0 0 0 20 0 1 0 335544046 8966144 1431 33554432000 134512640 135840783 4290141792 4290133756 15402032 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 2189 1431 341 325 0 1125 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8756

[startup+0.100229 s]
/proc/loadavg: 2.00 2.00 2.04 1/174 11389
/proc/meminfo: memFree=27349964/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=9680 CPUtime=0.08 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 1889 0 0 0 8 0 0 0 20 0 1 0 335544046 9912320 1661 33554432000 134512640 135840783 4290141792 4290133580 15402032 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 2420 1661 343 325 0 1356 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9680

[startup+0.300181 s]
/proc/loadavg: 2.00 2.00 2.04 1/174 11389
/proc/meminfo: memFree=27349964/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=11680 CPUtime=0.29 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 2602 0 0 0 28 1 0 0 20 0 1 0 335544046 11960320 2184 33554432000 134512640 135840783 4290141792 4290141152 134550902 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 2920 2184 348 325 0 1856 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11680

[startup+0.700187 s]
/proc/loadavg: 2.00 2.00 2.04 1/174 11389
/proc/meminfo: memFree=27349964/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=21088 CPUtime=0.69 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 4959 0 0 0 67 2 0 0 20 0 1 0 335544046 21594112 4541 33554432000 134512640 135840783 4290141792 4290141152 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 5272 4541 348 325 0 4208 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21088

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11428
/proc/meminfo: memFree=27325448/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=34896 CPUtime=1.48 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 8405 0 0 0 146 2 0 0 20 0 1 0 335544046 35733504 7987 33554432000 134512640 135840783 4290141792 4290141144 14440656 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 8724 7987 348 325 0 7660 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34896

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11428
/proc/meminfo: memFree=27284968/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=59168 CPUtime=3.08 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 14458 0 0 0 305 3 0 0 20 0 1 0 335544046 60588032 14040 33554432000 134512640 135840783 4290141792 4290141152 134551324 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 14792 14040 348 325 0 13728 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 59168

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11428
/proc/meminfo: memFree=27209464/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=92584 CPUtime=6.29 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 22808 0 0 0 625 4 0 0 20 0 1 0 335544046 94806016 22390 33554432000 134512640 135840783 4290141792 4290141152 134550902 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 23146 22390 348 325 0 22082 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92584

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11428
/proc/meminfo: memFree=27083784/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=147984 CPUtime=12.67 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 36677 0 0 0 1261 6 0 0 20 0 1 0 335544046 151535616 36252 33554432000 134512640 135840783 4290141792 4290141152 134551063 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 36996 36254 348 325 0 35932 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 147984

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 11431
/proc/meminfo: memFree=26996252/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=174808 CPUtime=25.47 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 43400 0 0 0 2539 8 0 0 20 0 1 0 335544046 179003392 42967 33554432000 134512640 135840783 4290141792 4290141104 134550913 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 43702 42967 348 325 0 42638 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 174808

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 11431
/proc/meminfo: memFree=26984236/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=188984 CPUtime=51.05 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 46958 0 0 0 5095 10 0 0 20 0 1 0 335544046 193519616 46501 33554432000 134512640 135840783 4290141792 4290141152 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 47246 46501 348 325 0 46182 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 188984

[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.04 3/177 11431
/proc/meminfo: memFree=26929728/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=208388 CPUtime=102.22 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 51860 0 0 0 10210 12 0 0 20 0 1 0 335544046 213389312 51366 33554432000 134512640 135840783 4290141792 4290141148 134520488 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11389/statm: 52097 51366 348 325 0 51033 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 208388

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/177 11431
/proc/meminfo: memFree=26895408/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=240020 CPUtime=162.18 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 59779 0 0 0 16204 14 0 0 20 0 1 0 335544046 245780480 59261 33554432000 134512640 135840783 4290141792 4290141152 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 60005 59261 348 325 0 58941 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 240020

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/177 11431
/proc/meminfo: memFree=26883904/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=249724 CPUtime=222.17 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 62232 0 0 0 22202 15 0 0 20 0 1 0 335544046 255717376 61681 33554432000 134512640 135840783 4290141792 4290141104 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 62431 61681 348 325 0 61367 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 249724

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/176 11431
/proc/meminfo: memFree=26874236/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=250028 CPUtime=282.16 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 62301 0 0 0 28201 15 0 0 20 0 1 0 335544046 256028672 61750 33554432000 134512640 135840783 4290141792 4290141104 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 62507 61750 348 325 0 61443 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 250028

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 11432
/proc/meminfo: memFree=26844980/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=269880 CPUtime=342.15 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 67267 0 0 0 34199 16 0 0 20 0 1 0 335544046 276357120 66716 33554432000 134512640 135840783 4290141792 4290141152 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 67470 66716 348 325 0 66406 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 269880

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 11432
/proc/meminfo: memFree=26840268/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=273464 CPUtime=402.14 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 68209 0 0 0 40198 16 0 0 20 0 1 0 335544046 280027136 67622 33554432000 134512640 135840783 4290141792 4290141152 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 68366 67622 348 325 0 67302 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 273464

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=26816544/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=273464 CPUtime=462.11 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 68231 0 0 0 46195 16 0 0 20 0 1 0 335544046 280027136 67622 33554432000 134512640 135840783 4290141792 4290141152 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 68366 67622 348 325 0 67302 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 273464

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=26816544/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=273464 CPUtime=522.1 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 68231 0 0 0 52194 16 0 0 20 0 1 0 335544046 280027136 67622 33554432000 134512640 135840783 4290141792 4290141104 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 68366 67622 348 325 0 67302 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 273464

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11432
/proc/meminfo: memFree=26789752/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=299276 CPUtime=582.1 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 74742 0 0 0 58192 18 0 0 20 0 1 0 335544046 306458624 74093 33554432000 134512640 135840783 4290141792 4290141152 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 74819 74093 348 325 0 73755 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 299276

[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=11389] ppid=11387 vsize=327868 CPUtime=882.04 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81947 0 0 0 88184 20 0 0 20 0 1 0 335544046 335736832 81224 33554432000 134512640 135840783 4290141792 4290141152 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81224 348 325 0 80903 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 327868

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11437
/proc/meminfo: memFree=26707336/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=942.03 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81947 0 0 0 94183 20 0 0 20 0 1 0 335544046 335736832 81224 33554432000 134512640 135840783 4290141792 4290141152 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81224 348 325 0 80903 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 327868

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11437
/proc/meminfo: memFree=26706688/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1002.02 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81947 0 0 0 100182 20 0 0 20 0 1 0 335544046 335736832 81224 33554432000 134512640 135840783 4290141792 4290141152 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81224 348 325 0 80903 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 327868

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11437
/proc/meminfo: memFree=26707460/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1062.01 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81947 0 0 0 106181 20 0 0 20 0 1 0 335544046 335736832 81224 33554432000 134512640 135840783 4290141792 4290141152 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81224 348 325 0 80903 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 327868

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11437
/proc/meminfo: memFree=26707340/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1122 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81947 0 0 0 112180 20 0 0 20 0 1 0 335544046 335736832 81224 33554432000 134512640 135840783 4290141792 4290141152 134551100 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81224 348 325 0 80903 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 327868

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11437
/proc/meminfo: memFree=26707464/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1181.99 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81947 0 0 0 118179 20 0 0 20 0 1 0 335544046 335736832 81224 33554432000 134512640 135840783 4290141792 4290141152 134550820 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81224 348 325 0 80903 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 327868

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11441
/proc/meminfo: memFree=26707312/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1241.97 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81959 0 0 0 124177 20 0 0 20 0 1 0 335544046 335736832 81224 33554432000 134512640 135840783 4290141792 4290133888 6060701 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81224 348 325 0 80903 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 327868

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11441
/proc/meminfo: memFree=26707320/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1301.97 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81959 0 0 0 130177 20 0 0 20 0 1 0 335544046 335736832 81224 33554432000 134512640 135840783 4290141792 4290141152 134550899 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81224 348 325 0 80903 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 327868

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11441
/proc/meminfo: memFree=26707568/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1361.95 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81973 0 0 0 136175 20 0 0 20 0 1 0 335544046 335736832 81238 33554432000 134512640 135840783 4290141792 4290141104 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81238 348 325 0 80903 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 327868

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11441
/proc/meminfo: memFree=26707816/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1421.95 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81973 0 0 0 142175 20 0 0 20 0 1 0 335544046 335736832 81238 33554432000 134512640 135840783 4290141792 4290141152 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81238 348 325 0 80903 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 327868

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11441
/proc/meminfo: memFree=26707568/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=327868 CPUtime=1481.93 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81973 0 0 0 148173 20 0 0 20 0 1 0 335544046 335736832 81238 33554432000 134512640 135840783 4290141792 4290141152 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 81967 81238 348 325 0 80903 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 327868

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11442
/proc/meminfo: memFree=26676696/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=328020 CPUtime=1541.92 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81983 0 0 0 154172 20 0 0 20 0 1 0 335544046 335892480 81248 33554432000 134512640 135840783 4290141792 4290141104 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 82005 81248 348 325 0 80941 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 328020

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11442
/proc/meminfo: memFree=26676200/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=328020 CPUtime=1601.91 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 81983 0 0 0 160171 20 0 0 20 0 1 0 335544046 335892480 81248 33554432000 134512640 135840783 4290141792 4290141152 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 82005 81248 348 325 0 80941 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 328020

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11442
/proc/meminfo: memFree=26644580/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=359148 CPUtime=1661.91 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 89815 0 0 0 166167 24 0 0 20 0 1 0 335544046 367767552 89032 33554432000 134512640 135840783 4290141792 4290141152 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 89787 89032 348 325 0 88723 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 359148

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11442
/proc/meminfo: memFree=26644580/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=359148 CPUtime=1721.9 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 89815 0 0 0 172166 24 0 0 20 0 1 0 335544046 367767552 89032 33554432000 134512640 135840783 4290141792 4290141152 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 89787 89032 348 325 0 88723 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 359148

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11442
/proc/meminfo: memFree=26643960/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=359148 CPUtime=1781.89 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 89815 0 0 0 178165 24 0 0 20 0 1 0 335544046 367767552 89032 33554432000 134512640 135840783 4290141792 4290141152 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 89787 89032 348 325 0 88723 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 359148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11442
/proc/meminfo: memFree=26644208/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=359148 CPUtime=1800.09 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 89815 0 0 0 179985 24 0 0 20 0 1 0 335544046 367767552 89032 33554432000 134512640 135840783 4290141792 4290141152 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 89787 89032 348 325 0 88723 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 359148

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: 2.00 2.00 2.00 3/177 11442
/proc/meminfo: memFree=26644208/32873648 swapFree=6860/6860
[pid=11389] ppid=11387 vsize=359148 CPUtime=1800.09 cores=0,2,4,6
/proc/11389/stat : 11389 (bsolo3.0.17) R 11387 11389 9030 0 -1 4202496 89815 0 0 0 179985 24 0 0 20 0 1 0 335544046 367767552 89032 33554432000 134512640 135840783 4290141792 4290141152 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/11389/statm: 89787 89032 348 325 0 88723 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 359148

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.86
CPU system time (s): 0.244962
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 359148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.244962
maximum resident set size= 356320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89818
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= 161
involuntary context switches= 1975

runsolver used 3.54146 second user time and 9.30458 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-03 05:29:40
IDJOB=3733297
IDBENCH=2271
IDSOLVER=2318
FILE ID=node116/3733297-1338694180
RUNJOBID= node116-1338678620-9049
PBS_JOBID= 14636697
Free space on /tmp= 71028 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-5.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733297-1338694180/watcher-3733297-1338694180 -o /tmp/evaluation-result-3733297-1338694180/solver-3733297-1338694180 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733297-1338694180.opb            

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

MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089
RANDOM SEED=1284211689

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:        27349964 kB
Buffers:          529284 kB
Cached:          4075248 kB
SwapCached:         3028 kB
Active:          2180880 kB
Inactive:        2438212 kB
Active(anon):       4640 kB
Inactive(anon):     8500 kB
Active(file):    2176240 kB
Inactive(file):  2429712 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:              7040 kB
Writeback:             0 kB
AnonPages:         15328 kB
Mapped:            11828 kB
Shmem:                68 kB
Slab:             765408 kB
SReclaimable:     209904 kB
SUnreclaim:       555504 kB
KernelStack:        1448 kB
PageTables:         4064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     136076 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:42