Trace number 3739319

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)55 1800.05 1800.51

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
MD5SUMb561a61efc46169e6f19abce33721598
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark19.745
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Solver Data 

0.00/0.03	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.03	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.03	c type "bsolo -h" for help
0.00/0.03	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Memory Limit set to 15500 MB
0.00/0.03	c Instance file HOME/instance-3739319-1338747648.opb
0.00/0.03	c File size is 96935 bytes.
0.00/0.04	c Highest Coefficient sum: 182
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.01 s
0.00/0.05	c Var: 2990 Constr: 5666 2775/485/2406 Lit: 37628 Watch. Lit: 24414
0.00/0.05	c Obj. Vars: 182 (6.08696 % of total variables)
0.06/0.15	c Pre-processing Time: 0.119 s
0.06/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.15	c        0   2273     4294    29110    6    18729   56052      0      0 0.12
0.06/0.15	c Switching off LPR mode.
82.92/83.08	c      101   2273     4395    40041    9    18931   61658    101    748 0.14
82.92/83.08	c      251   2273     4545    44309    9    19231   67824    251   1662 0.15
82.92/83.08	c      476   2273     4770    50848   10    19681   74607    476   2751 0.17
82.92/83.08	c      814   2273     5108    59696   11    20357   82068    814   4376 0.19
82.92/83.08	c     1325   2273     5619    73413   13    21379   90275   1325   6463 0.20
82.92/83.08	c     2089   2273     6383   114874   17    22907   99303   2089   3658 0.57
82.92/83.08	c     3236   2273     7530   232297   30    25201  109234   3236   3571 0.91
82.92/83.08	c     4958   2273     9252   427178   46    28645  120158   4958   3151 1.57
82.92/83.08	c     7543   2273    11837   713778   60    33815  132174   7543   2726 2.77
82.92/83.08	c    11423   2273    15717  1121760   71    41575  145392  11423   2106 5.42
82.92/83.08	c    17246   2273    21540  1796742   83    53221  159932  17246   1726 9.99
82.92/83.08	c    25985   2273    30279  2825440   93    70699  175926  25985   1288 20.17
82.92/83.08	c    39101   2273    43395  3818953   88    96931  193519  39101    804 48.60
82.92/83.08	c    58771   2273    63065  4321495   68   136271  212871  58771   1089 53.93
82.92/83.08	o 55	83.014
1800.03/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.50	c    71752   2273    76047  5680391   74   162362   57052  71753    864 83.02
1800.03/1800.50	c    71852   2273    16658  1312944   78    43584   62758  12364    856 83.93
1800.03/1800.50	c    72102   2273    16908  1324099   78    44084   69034  12614    855 84.24
1800.03/1800.50	c    72579   2273    17385  1351623   77    45038   75938  13091    860 84.38
1800.03/1800.50	c    73392   2273    18198  1399758   76    46664   83532  13904    862 85.09
1800.03/1800.50	c    74713   2273    19519  1440430   73    49306   91886  15225    874 85.47
1800.03/1800.50	c    76794   2273    21600  1499229   69    53468  101075  17306    896 85.68
1800.03/1800.50	c    80017   2273    24823  1590482   64    59914  111183  20529    927 86.26
1800.03/1800.50	c    84953   2273    29759  1735048   58    69786  122302  25465    966 87.91
1800.03/1800.50	c    92459   2273    37265  2295536   61    84798  134533  32971   1010 91.51
1800.03/1800.50	c   103820   2273    48626  3370226   69   107520  147987  44332    980 105.93
1800.03/1800.50	c   120966   2273    65772  5130575   78   141812  162786  61478    901 134.21
1800.03/1800.50	c   146787   2273    91593  8733926   95   193454  179065  87299    789 186.00
1800.03/1800.50	c   185619   2273   130425 13582413  104   271118  196972 126131    554 334.64
1800.03/1800.50	c   243971   2273   188777 20494948  108   387822  216670 184483    355 686.49
1800.03/1800.50	c   331605   2273    77090  9616863  124   164448  238338  72796    322 1029.71
1800.03/1800.50	c Caught signal: 15
1800.03/1800.50	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40 -x41 -x42 x43 -x44 x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 x74 -x75 x76 -x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 x111 -x112 x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 x135 -x136 x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 x216 x221 x220 -x219 -x218 -x217 -x222 -x224 -x223 x225 -x226 -x230 x229 x228 -x227 -x231 x232 -x233 x234 -x238 -x237 x236 x235 x239 -x240 -x241 x242 -x246 x245 -x244 -x243 -x247 x248 -x249 x250 -x254 x253 -x252 -x251 x255 -x256 x257 -x260 x259 -x258 x261 x262 x263 -x265 x264 -x266 -x267 x268 x269 -x270 x271 x272 -x273 -x274 x275 x276 x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 x286 x287 x288 x289 -x290 -x291 x292 -x293 -x294 x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 x307 x308 -x309 -x310 x311 x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 x321 x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 x334 -x335 -x336 x337 -x338 x339 x340 -x341 -x342 -x343 x344 x345 -x346 -x347 -x348 -x349 x350 x351 x352 -x353 x354 x355 -x356 x357 -x358 -x359 x360 x361 -x362 x363 -x364 -x365 x366 x367 x368 x369 x370 -x371 x372 -x373 x374 x375 -x376 -x377 x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 x387 x388 -x389 x390 x391 x392 -x393 -x394 x395 x396 -x397 x398 -x399 -x400 -x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 x417 x418 -x419 -x420 x421 -x422 x423 -x424 -x425 x426 -x427 -x428 x429 -x430 -x431 -x432 x433 x434 -x435 x436 -x437 -x438 x439 x440 x441 x442 x443 x444 -x445 -x446 x447 x448 -x449 x450 -x451 x452 x453 x454 -x455 x456 x457 -x458 x459 -x460 -x461 x462 x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 x472 x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 x482 -x483 x484 -x485 -x486 -x487 -x488 x489 x490 -x491 -x492 -x493 -x494 x495 x496 x497 -x498 x499 -x500 -x501 x502 x503 -x504 -x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 x516 x517 x518 -x519 -x520 x521 x522 x523 x524 x525 x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 x539 -x540 x541 x542 x543 x544 x545 -x546 -x547 -x548 x549 x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
1800.03/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.50	c   30   454458  58445   552188   199943 23678515 195649    252 1800.04
1800.03/1800.50	c Objective: 55
1800.03/1800.50	s SATISFIABLE
1800.03/1800.50	c Total time: 1800.04 s

Verifier Data 

OK	55

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-3739319-1338747648/watcher-3739319-1338747648 -o /tmp/evaluation-result-3739319-1338747648/solver-3739319-1338747648 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3739319-1338747648.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: 0.92 1.08 1.46 2/174 9437
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=2428 CPUtime=0 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) D 9434 9437 9396 0 -1 4194304 77 0 0 0 0 0 0 0 20 0 1 0 340893354 2486272 31 33554432000 134512640 135840783 4289529808 4289527800 1593591 0 0 4096 0 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/9437/statm: 607 31 24 325 0 25 0

[startup+0.0752879 s]
/proc/loadavg: 0.92 1.08 1.46 2/174 9437
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=6440 CPUtime=0.03 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 950 0 3 0 3 0 0 0 20 0 1 0 340893354 6594560 865 33554432000 134512640 135840783 4289529808 4289493020 4777008 0 0 4096 16384 0 0 0 17 2 0 0 2 0 0
/proc/9437/statm: 1610 865 345 325 0 546 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6440

[startup+0.100265 s]
/proc/loadavg: 0.92 1.08 1.46 2/174 9437
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=6440 CPUtime=0.06 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 950 0 3 0 6 0 0 0 20 0 1 0 340893354 6594560 865 33554432000 134512640 135840783 4289529808 4289493020 4777008 0 0 4096 16384 0 0 0 17 2 0 0 2 0 0
/proc/9437/statm: 1610 865 345 325 0 546 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6440

[startup+0.300223 s]
/proc/loadavg: 0.92 1.08 1.46 2/174 9437
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=6900 CPUtime=0.25 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 1092 0 3 0 25 0 0 0 20 0 1 0 340893354 7065600 1000 33554432000 134512640 135840783 4289529808 4289529168 134551347 0 0 4096 16384 0 0 0 17 2 0 0 2 0 0
/proc/9437/statm: 1725 1000 349 325 0 661 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 6900

[startup+0.700221 s]
/proc/loadavg: 0.92 1.08 1.46 2/174 9437
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=7932 CPUtime=0.65 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 1329 0 3 0 65 0 0 0 20 0 1 0 340893354 8122368 1237 33554432000 134512640 135840783 4289529808 4289529168 134550764 0 0 4096 16384 0 0 0 17 2 0 0 2 0 0
/proc/9437/statm: 1983 1237 349 325 0 919 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 7932

[startup+1.50022 s]
/proc/loadavg: 0.92 1.08 1.46 3/178 9441
/proc/meminfo: memFree=31260332/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=11168 CPUtime=1.45 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 2160 0 3 0 145 0 0 0 20 0 1 0 340893354 11436032 2068 33554432000 134512640 135840783 4289529808 4289529044 3295836 0 0 4096 16384 0 0 0 17 2 0 0 2 0 0
/proc/9437/statm: 2792 2069 349 325 0 1728 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 11168

[startup+3.10023 s]
/proc/loadavg: 0.92 1.08 1.46 3/178 9441
/proc/meminfo: memFree=31252272/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=16496 CPUtime=3.05 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 3467 0 3 0 305 0 0 0 20 0 1 0 340893354 16891904 3375 33554432000 134512640 135840783 4289529808 4289529088 3292814 0 0 4096 16384 0 0 0 17 2 0 0 2 0 0
/proc/9437/statm: 4124 3375 349 325 0 3060 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16496

[startup+6.30025 s]
/proc/loadavg: 1.25 1.15 1.47 3/178 9441
/proc/meminfo: memFree=31235424/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=23204 CPUtime=6.26 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 5159 0 3 0 625 1 0 0 20 0 1 0 340893354 23760896 5067 33554432000 134512640 135840783 4289529808 4289529168 134551042 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 5801 5067 349 325 0 4737 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23204

[startup+12.7003 s]
/proc/loadavg: 1.31 1.16 1.48 3/178 9441
/proc/meminfo: memFree=31214052/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=35772 CPUtime=12.65 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 8302 0 3 0 1264 1 0 0 20 0 1 0 340893354 36630528 8210 33554432000 134512640 135840783 4289529808 4289526528 3290407 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 8943 8210 349 325 0 7879 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 35772

[startup+25.5003 s]
/proc/loadavg: 1.46 1.20 1.48 3/177 9441
/proc/meminfo: memFree=31194488/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=46356 CPUtime=25.44 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 10946 0 3 0 2542 2 0 0 20 0 1 0 340893354 47468544 10848 33554432000 134512640 135840783 4289529808 4289529164 6416576 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 11589 10848 349 325 0 10525 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46356

[startup+51.1003 s]
/proc/loadavg: 1.64 1.27 1.50 3/177 9441
/proc/meminfo: memFree=31162324/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=64232 CPUtime=51.03 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 15441 0 3 0 5099 4 0 0 20 0 1 0 340893354 65773568 15328 33554432000 134512640 135840783 4289529808 4289529168 134550817 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 16058 15328 349 325 0 14994 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 64232

[startup+102.3 s]
/proc/loadavg: 1.84 1.38 1.52 3/177 9441
/proc/meminfo: memFree=31092388/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=86160 CPUtime=102.23 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 21003 0 3 0 10217 6 0 0 20 0 1 0 340893354 88227840 20819 33554432000 134512640 135840783 4289529808 4289529168 134550872 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 21540 20819 351 325 0 20476 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 86160

[startup+162.3 s]
/proc/loadavg: 1.94 1.49 1.55 3/177 9441
/proc/meminfo: memFree=31038460/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=105056 CPUtime=162.19 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 25744 0 3 0 16210 9 0 0 20 0 1 0 340893354 107577344 25535 33554432000 134512640 135840783 4289529808 4289529168 134550884 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 26264 25535 351 325 0 25200 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 105056

[startup+222.307 s]
/proc/loadavg: 2.01 1.59 1.58 3/177 9442
/proc/meminfo: memFree=30961560/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=150960 CPUtime=222.18 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 37210 0 3 0 22205 13 0 0 20 0 1 0 340893354 154583040 37001 33554432000 134512640 135840783 4289529808 4289529108 3295819 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 37740 37001 351 325 0 36676 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 150960

[startup+282.3 s]
/proc/loadavg: 2.04 1.68 1.61 3/177 9442
/proc/meminfo: memFree=30910396/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=177024 CPUtime=282.17 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 43720 0 3 0 28202 15 0 0 20 0 1 0 340893354 181272576 43511 33554432000 134512640 135840783 4289529808 4289529168 134550779 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 44256 43511 351 325 0 43192 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 177024

[startup+342.3 s]
/proc/loadavg: 2.11 1.76 1.64 3/177 9442
/proc/meminfo: memFree=30873128/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=194756 CPUtime=342.16 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 48160 0 3 0 34199 17 0 0 20 0 1 0 340893354 199430144 47948 33554432000 134512640 135840783 4289529808 4289529168 134550804 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 48689 47948 351 325 0 47625 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 194756

[startup+402.3 s]
/proc/loadavg: 2.07 1.82 1.66 3/177 9442
/proc/meminfo: memFree=30836824/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=216856 CPUtime=402.1 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 53732 0 3 0 40190 20 0 0 20 0 1 0 340893354 222060544 53472 33554432000 134512640 135840783 4289529808 4289529168 134551222 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 54214 53472 351 325 0 53150 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 216856

[startup+462.3 s]
/proc/loadavg: 2.06 1.86 1.69 3/177 9442
/proc/meminfo: memFree=30801408/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=235248 CPUtime=462.08 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 58353 0 3 0 46185 23 0 0 20 0 1 0 340893354 240893952 58086 33554432000 134512640 135840783 4289529808 4289529168 134550857 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 58812 58086 351 325 0 57748 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 235248

[startup+522.3 s]
/proc/loadavg: 2.02 1.89 1.70 3/177 9443
/proc/meminfo: memFree=30771336/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=251000 CPUtime=522.08 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 62290 0 3 0 52182 26 0 0 20 0 1 0 340893354 257024000 62023 33554432000 134512640 135840783 4289529808 4289529168 134550872 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 62750 62023 351 325 0 61686 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 251000

[startup+582.3 s]
/proc/loadavg: 2.01 1.90 1.72 3/178 9446
/proc/meminfo: memFree=30740436/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=266088 CPUtime=582.07 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 66058 0 3 0 58179 28 0 0 20 0 1 0 340893354 272474112 65791 33554432000 134512640 135840783 4289529808 4289529168 134550779 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 66522 65791 351 325 0 65458 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 266088

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.95 1.77 3/177 9447
/proc/meminfo: memFree=30630368/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=324568 CPUtime=821.99 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 80725 0 3 0 82164 35 0 0 20 0 1 0 340893354 332357632 80415 33554432000 134512640 135840783 4289529808 4289529168 134550764 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 81142 80415 351 325 0 80078 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 324568

[startup+882.307 s]
/proc/loadavg: 2.00 1.95 1.78 3/177 9447
/proc/meminfo: memFree=30601848/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=339120 CPUtime=881.99 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 84350 0 3 0 88161 38 0 0 20 0 1 0 340893354 347258880 84040 33554432000 134512640 135840783 4289529808 4289529168 134550779 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 84780 84040 351 325 0 83716 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 339120

[startup+942.3 s]
/proc/loadavg: 2.08 1.98 1.80 3/177 9447
/proc/meminfo: memFree=30580124/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=941.97 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86667 0 3 0 94158 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134550779 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 347456

[startup+1002.3 s]
/proc/loadavg: 2.03 1.98 1.81 3/177 9447
/proc/meminfo: memFree=30567600/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1001.96 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86667 0 3 0 100157 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134551330 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 347456

[startup+1062.3 s]
/proc/loadavg: 2.01 1.98 1.82 3/177 9447
/proc/meminfo: memFree=30555696/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1061.95 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86667 0 3 0 106156 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134550804 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 347456

[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.83 3/176 9447
/proc/meminfo: memFree=30542932/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1121.95 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86667 0 3 0 112156 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134551084 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 347456

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.83 3/178 9451
/proc/meminfo: memFree=30530880/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1181.93 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86671 0 3 0 118154 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134551084 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 347456

[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.84 3/177 9451
/proc/meminfo: memFree=30521312/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1241.91 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 124152 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529108 3295819 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 347456

[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.84 3/178 9452
/proc/meminfo: memFree=30511632/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1301.9 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 130151 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134550779 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 347456

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.85 3/177 9452
/proc/meminfo: memFree=30502464/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1361.89 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 136150 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134550804 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 347456

[startup+1422.3 s]
/proc/loadavg: 2.00 1.98 1.86 3/177 9452
/proc/meminfo: memFree=30492096/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1421.89 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 142150 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134550779 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 347456

[startup+1482.3 s]
/proc/loadavg: 2.06 2.00 1.87 3/177 9453
/proc/meminfo: memFree=30481856/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1481.87 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 148148 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134550764 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 347456

[startup+1542.31 s]
/proc/loadavg: 2.02 2.00 1.88 3/177 9453
/proc/meminfo: memFree=30472308/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1541.87 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 154148 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134551048 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 347456

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.88 3/177 9453
/proc/meminfo: memFree=30462760/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1601.86 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 160147 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529132 6380308 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 347456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 9453
/proc/meminfo: memFree=30453584/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1661.85 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 166146 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134551501 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 347456

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 9453
/proc/meminfo: memFree=30444656/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1721.84 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 172145 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134550872 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 347456

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 9457
/proc/meminfo: memFree=30434852/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1781.83 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 178144 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134550779 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 347456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 9457
/proc/meminfo: memFree=30433240/32873844 swapFree=8656/8656
[pid=9437] ppid=9434 vsize=347456 CPUtime=1800.03 cores=0,2,4,6
/proc/9437/stat : 9437 (bsolo3.0.17) R 9434 9437 9396 0 -1 4202496 86685 0 3 0 179964 39 0 0 20 0 1 0 340893354 355794944 86144 33554432000 134512640 135840783 4289529808 4289529168 134551501 0 0 4096 16384 0 0 0 17 4 0 0 2 0 0
/proc/9437/statm: 86864 86144 351 325 0 85800 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 347456

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

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

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.65
CPU system time (s): 0.399939
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 348308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.399939
maximum resident set size= 345428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86688
page faults= 3
swaps= 0
block input operations= 1560
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186
involuntary context switches= 2012

runsolver used 3.40248 second user time and 9.37457 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-03 20:20:48
IDJOB=3739319
IDBENCH=72483
IDSOLVER=2318
FILE ID=node102/3739319-1338747648
RUNJOBID= node102-1338747648-9412
PBS_JOBID= 14636781
Free space on /tmp= 71176 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739319-1338747648/watcher-3739319-1338747648 -o /tmp/evaluation-result-3739319-1338747648/solver-3739319-1338747648 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3739319-1338747648.opb            

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

MD5SUM BENCH= b561a61efc46169e6f19abce33721598
RANDOM SEED=912144930

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:        31273788 kB
Buffers:          193312 kB
Cached:           636760 kB
SwapCached:         5520 kB
Active:           216500 kB
Inactive:         621068 kB
Active(anon):       4348 kB
Inactive(anon):     5652 kB
Active(file):     212152 kB
Inactive(file):   615416 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:             13280 kB
Writeback:             0 kB
AnonPages:         11012 kB
Mapped:             8032 kB
Shmem:                 0 kB
Slab:             619740 kB
SReclaimable:      60612 kB
SUnreclaim:       559128 kB
KernelStack:        1320 kB
PageTables:         3428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71164 MiB
End job on node102 at 2012-06-03 20:50:51