Trace number 3739341

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)59 1800.11 1800.62

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
MD5SUMb155444c97f18a8f3025da7494a3d01e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark49.9814
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 19
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.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-3739341-1338747852.opb
0.00/0.00	c File size is 96935 bytes.
0.00/0.01	c Highest Coefficient sum: 182
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.011 s
0.01/0.02	c Var: 2990 Constr: 5666 2775/485/2406 Lit: 37628 Watch. Lit: 24414
0.01/0.02	c Obj. Vars: 182 (6.08696 % of total variables)
0.09/0.13	c Pre-processing Time: 0.122 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   2273     4294    29110    6    18729   56052      0      0 0.12
0.09/0.13	c Switching off LPR mode.
3.18/3.24	c      100   2273     4394    37666    8    18929   61658    100    735 0.14
3.18/3.24	c      250   2273     4544    41356    9    19229   67824    250   1623 0.15
3.18/3.24	c      475   2273     4769    46557    9    19679   74607    475   2777 0.17
3.18/3.24	c      813   2273     5107    54983   10    20355   82068    813   4394 0.18
3.18/3.24	c     1321   2273     5615    74506   13    21371   90275   1321   4374 0.30
3.18/3.24	c     2085   2273     6379   130376   20    22899   99303   2085   3677 0.57
3.18/3.24	c     3231   2273     7525   164553   21    25191  109234   3231   5186 0.62
3.18/3.24	c     4952   2273     9246   213135   23    28633  120158   4952   6447 0.77
3.18/3.24	c     7536   2273    11830   345624   29    33801  132174   7536   3232 2.33
3.18/3.24	c    11415   2273    15709   437137   27    41559  145392  11415   4368 2.61
3.18/3.24	o 59	3.232
1800.10/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.61	c    13605   2273    17900   626282   34    46064   57052  13606   4209 3.23
1800.10/1800.61	c    13705   2273    18000   629046   34    46264   62758  13706   4206 3.26
1800.10/1800.61	c    13955   2273    18250   635331   34    46764   69034  13956   4235 3.29
1800.10/1800.61	c    14431   2273    18726   647374   34    47716   75938  14432   4306 3.35
1800.10/1800.61	c    15244   2273    19539   667768   34    49342   83532  15245   4372 3.49
1800.10/1800.61	c    16564   2273    20859   701425   33    51982   91886  16565   4484 3.69
1800.10/1800.61	c    18646   2273    22941   755839   32    56146  101075  18647   4629 4.03
1800.10/1800.61	c    21869   2273    26164   840281   32    62592  111183  21870   4715 4.64
1800.10/1800.61	c    26806   2273    31101  1151278   37    72466  122302  26807   3406 7.87
1800.10/1800.61	c    34312   2273    38607  1369120   35    87478  134533  34313   3713 9.24
1800.10/1800.61	c    45674   2273    49969  1689233   33   110202  147987  45675   3561 12.82
1800.10/1800.61	c    62819   2273    67114  3214220   47   144492  162786  62820   1778 35.32
1800.10/1800.61	c    88640   2273    92935  6664250   71   196134  179065  88641    899 98.52
1800.10/1800.61	c   127475   2273   131770 13959539  105   273804  196972 127476    499 255.24
1800.10/1800.61	c   185827   2273   190122 23898739  125   390508  216670 185828    310 597.95
1800.10/1800.61	c   273459   2273    79435 11836622  149   169134  238338  75141    275 993.42
1800.10/1800.61	c   405011   2273   210987 32236354  152   432238  262172 206693    249 1626.22
1800.10/1800.61	c Caught signal: 15
1800.10/1800.61	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.10/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.61	c   27   422963  50857   505243   228939 35122285 224645    234 1800.11
1800.10/1800.61	c Objective: 59
1800.10/1800.61	s SATISFIABLE
1800.10/1800.61	c Total time: 1800.11 s

Verifier Data 

OK	59

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-3739341-1338747852/watcher-3739341-1338747852 -o /tmp/evaluation-result-3739341-1338747852/solver-3739341-1338747852 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3739341-1338747852.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.16 2.04 2.01 2/171 25897
/proc/meminfo: memFree=28738908/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 340913731 2723840 47 33554432000 134512640 135840783 4287088976 4287087012 7230404 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 665 47 37 325 0 32 0

[startup+0.0215181 s]
/proc/loadavg: 2.16 2.04 2.01 2/171 25897
/proc/meminfo: memFree=28738908/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=6308 CPUtime=0.01 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 906 0 0 0 1 0 0 0 20 0 1 0 340913731 6459392 818 33554432000 134512640 135840783 4287088976 4287088064 7742759 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 1577 821 339 325 0 513 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6308

[startup+0.100274 s]
/proc/loadavg: 2.16 2.04 2.01 2/171 25897
/proc/meminfo: memFree=28738908/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 951 0 0 0 9 0 0 0 20 0 1 0 340913731 6594560 863 33554432000 134512640 135840783 4287088976 4287052188 3888176 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 1610 863 343 325 0 546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6440

[startup+0.300248 s]
/proc/loadavg: 2.16 2.04 2.01 2/171 25897
/proc/meminfo: memFree=28738908/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=6880 CPUtime=0.28 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 1073 0 0 0 28 0 0 0 20 0 1 0 340913731 7045120 978 33554432000 134512640 135840783 4287088976 4287086384 7740724 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 1720 978 347 325 0 656 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6880

[startup+0.700209 s]
/proc/loadavg: 2.16 2.04 2.01 2/171 25897
/proc/meminfo: memFree=28738908/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=8700 CPUtime=0.68 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 1518 0 0 0 68 0 0 0 20 0 1 0 340913731 8908800 1423 33554432000 134512640 135840783 4287088976 4287088336 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 2175 1423 347 325 0 1111 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8700

[startup+1.50024 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28721028/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=9824 CPUtime=1.48 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 1810 0 0 0 148 0 0 0 20 0 1 0 340913731 10059776 1715 33554432000 134512640 135840783 4287088976 4287088112 7740318 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 2456 1715 347 325 0 1392 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9824

[startup+3.10022 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28716168/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=14848 CPUtime=3.08 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 3062 0 0 0 308 0 0 0 20 0 1 0 340913731 15204352 2966 33554432000 134512640 135840783 4287088976 4287088336 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 3712 2966 347 325 0 2648 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14848

[startup+6.30023 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28696780/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=21568 CPUtime=6.28 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 4759 0 0 0 627 1 0 0 20 0 1 0 340913731 22085632 4663 33554432000 134512640 135840783 4287088976 4287088336 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 5392 4663 349 325 0 4328 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21568

[startup+12.7002 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28667812/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=32300 CPUtime=12.68 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 7431 0 0 0 1267 1 0 0 20 0 1 0 340913731 33075200 7335 33554432000 134512640 135840783 4287088976 4287088288 134550761 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 8075 7335 349 325 0 7011 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32300

[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 25910
/proc/meminfo: memFree=28633364/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=47028 CPUtime=25.47 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 11118 0 0 0 2544 3 0 0 20 0 1 0 340913731 48156672 11014 33554432000 134512640 135840783 4287088976 4287088336 134550994 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 11757 11014 349 325 0 10693 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 47028

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 25910
/proc/meminfo: memFree=28585716/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=67640 CPUtime=51.04 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 16282 0 0 0 5100 4 0 0 20 0 1 0 340913731 69263360 16162 33554432000 134512640 135840783 4287088976 4287088336 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 16910 16162 349 325 0 15846 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 67640

[startup+102.306 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 25910
/proc/meminfo: memFree=28517940/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=102328 CPUtime=102.24 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 24965 0 0 0 10216 8 0 0 20 0 1 0 340913731 104783872 24841 33554432000 134512640 135840783 4287088976 4287088336 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 25582 24841 349 325 0 24518 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 102328

[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 25910
/proc/meminfo: memFree=28442868/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=145208 CPUtime=162.23 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 35684 0 0 0 16211 12 0 0 20 0 1 0 340913731 148692992 35560 33554432000 134512640 135840783 4287088976 4287088336 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 36302 35560 349 325 0 35238 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 145208

[startup+222.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 25910
/proc/meminfo: memFree=28367848/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=183368 CPUtime=222.18 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 45255 0 0 0 22201 17 0 0 20 0 1 0 340913731 187768832 45100 33554432000 134512640 135840783 4287088976 4287088336 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 45842 45100 349 325 0 44778 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 183368

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 25910
/proc/meminfo: memFree=28316264/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=210780 CPUtime=282.14 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 52133 0 0 0 28194 20 0 0 20 0 1 0 340913731 215838720 51947 33554432000 134512640 135840783 4287088976 4287083456 7742759 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 52695 51947 349 325 0 51631 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 210780

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 25911
/proc/meminfo: memFree=28265728/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=237244 CPUtime=342.14 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 58744 0 0 0 34190 24 0 0 20 0 1 0 340913731 242937856 58558 33554432000 134512640 135840783 4287088976 4287088336 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 59311 58558 349 325 0 58247 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 237244

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 25914
/proc/meminfo: memFree=28227804/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=263024 CPUtime=402.13 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 65197 0 0 0 40186 27 0 0 20 0 1 0 340913731 269336576 65011 33554432000 134512640 135840783 4287088976 4287088336 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 65756 65011 349 325 0 64692 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 263024

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/177 25914
/proc/meminfo: memFree=28189052/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=286244 CPUtime=462.11 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 71017 0 0 0 46182 29 0 0 20 0 1 0 340913731 293113856 70831 33554432000 134512640 135840783 4287088976 4287088336 134550826 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 71561 70831 349 325 0 70497 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 286244

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25914
/proc/meminfo: memFree=28153216/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=309412 CPUtime=522.11 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 76809 0 0 0 52178 33 0 0 20 0 1 0 340913731 316837888 76623 33554432000 134512640 135840783 4287088976 4287088336 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 77353 76623 349 325 0 76289 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 309412

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 25914
/proc/meminfo: memFree=28125300/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=324928 CPUtime=582.06 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 80734 0 0 0 58171 35 0 0 20 0 1 0 340913731 332726272 80509 33554432000 134512640 135840783 4287088976 4287088336 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 81232 80509 349 325 0 80168 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 324928

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25916
/proc/meminfo: memFree=27995208/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=392520 CPUtime=821.99 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 97656 0 0 0 82156 43 0 0 20 0 1 0 340913731 401940480 97404 33554432000 134512640 135840783 4287088976 4287088288 134551321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 98130 97404 349 325 0 97066 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 392520

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25916
/proc/meminfo: memFree=27964264/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=881.98 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101084 0 0 0 88153 45 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 405396

[startup+942.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 25917
/proc/meminfo: memFree=27945168/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=941.97 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101084 0 0 0 94152 45 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 405396

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 25920
/proc/meminfo: memFree=27928792/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1001.96 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101084 0 0 0 100151 45 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 405396

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27914556/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1061.92 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101107 0 0 0 106147 45 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 405396

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27900208/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1121.9 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101120 0 0 0 112145 45 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 405396

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25920
/proc/meminfo: memFree=27885576/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1181.89 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101120 0 0 0 118144 45 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 405396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27870200/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1241.89 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101120 0 0 0 124143 46 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 405396

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27857344/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1301.89 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101120 0 0 0 130143 46 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088256 7745199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 405396

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27844476/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1361.88 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101120 0 0 0 136142 46 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 405396

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27830632/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1421.87 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101120 0 0 0 142141 46 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134551232 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 405396

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25921
/proc/meminfo: memFree=27818232/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=405396 CPUtime=1481.86 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 101120 0 0 0 148140 46 0 0 20 0 1 0 340913731 415125504 100618 33554432000 134512640 135840783 4287088976 4287088336 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 101349 100618 349 325 0 100285 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 405396

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25922
/proc/meminfo: memFree=27798640/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=412884 CPUtime=1541.84 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 102996 0 0 0 154137 47 0 0 20 0 1 0 340913731 422793216 102494 33554432000 134512640 135840783 4287088976 4287088336 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 103221 102494 349 325 0 102157 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 412884

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25925
/proc/meminfo: memFree=27766888/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=430188 CPUtime=1601.83 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 107295 0 0 0 160134 49 0 0 20 0 1 0 340913731 440512512 106793 33554432000 134512640 135840783 4287088976 4287088276 7748171 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 107547 106793 349 325 0 106483 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 430188

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25925
/proc/meminfo: memFree=27741564/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=447020 CPUtime=1661.81 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 111549 0 0 0 166129 52 0 0 20 0 1 0 340913731 457748480 111029 33554432000 134512640 135840783 4287088976 4287088336 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 111755 111029 349 325 0 110691 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 447020

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25925
/proc/meminfo: memFree=27728668/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=460200 CPUtime=1721.8 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 114822 0 0 0 172127 53 0 0 20 0 1 0 340913731 471244800 114302 33554432000 134512640 135840783 4287088976 4287088336 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 115050 114302 349 325 0 113986 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 460200

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25925
/proc/meminfo: memFree=27715152/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=473208 CPUtime=1781.79 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 118094 0 0 0 178124 55 0 0 20 0 1 0 340913731 484564992 117574 33554432000 134512640 135840783 4287088976 4287088336 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 118302 117574 349 325 0 117238 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 473208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25925
/proc/meminfo: memFree=27710812/32873844 swapFree=6872/6872
[pid=25897] ppid=25895 vsize=477740 CPUtime=1800.1 cores=0,2,4,6
/proc/25897/stat : 25897 (bsolo3.0.17) R 25895 25897 23291 0 -1 4202496 119228 0 0 0 179955 55 0 0 20 0 1 0 340913731 489205760 118708 33554432000 134512640 135840783 4287088976 4287088336 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25897/statm: 119435 118708 349 325 0 118371 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 477740

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.62
CPU time (s): 1800.11
CPU user time (s): 1799.55
CPU system time (s): 0.561914
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 477740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.561914
maximum resident set size= 474832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119231
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= 225
involuntary context switches= 2044

runsolver used 3.67144 second user time and 8.60269 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 20:24:12
IDJOB=3739341
IDBENCH=72485
IDSOLVER=2318
FILE ID=node106/3739341-1338747852
RUNJOBID= node106-1338714620-23307
PBS_JOBID= 14636759
Free space on /tmp= 70852 MiB

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

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

MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e
RANDOM SEED=685428514

node106.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.065
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.13
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.065
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		: 2667.065
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.065
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.92
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.065
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.065
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.91
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.065
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.065
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:        28738552 kB
Buffers:          316864 kB
Cached:          2958224 kB
SwapCached:         2004 kB
Active:          1023540 kB
Inactive:        2258780 kB
Active(anon):       4288 kB
Inactive(anon):     4984 kB
Active(file):    1019252 kB
Inactive(file):  2253796 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              6596 kB
Writeback:             0 kB
AnonPages:         11348 kB
Mapped:             8416 kB
Shmem:                 0 kB
Slab:             713424 kB
SReclaimable:     155360 kB
SUnreclaim:       558064 kB
KernelStack:        1432 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105900 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= 70848 MiB
End job on node106 at 2012-06-03 20:54:15