Trace number 3708410

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT-21 1798.01 1798.36

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1789.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708410-1338181229.opb
0.00/0.00	c File size is 36021 bytes.
0.00/0.00	c Highest Coefficient sum: 200
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 2696 Constr: 5294 2596/202/2496 Lit: 18072 Watch. Lit: 15378
0.00/0.00	c Obj. Vars: 100 (3.7092 % of total variables)
0.49/0.54	c Pre-processing Time: 0.542 s
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        0   2696     5294    18072    3    15378   27672      0      0 0.54
0.49/0.54	c Switching off lower bounding mode.
0.49/0.54	o -1
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        0   2696     5295    18172    3    15381   27738      1      0 0.55
0.49/0.55	o -2
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        1   2696     5298    18472    3    15390   27772      4      1 0.55
0.49/0.55	o -3
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        2   2696     5301    18798    3    15401   27805      7      3 0.55
0.49/0.55	o -4
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        3   2696     5304    19118    3    15414   27838     10      5 0.55
0.49/0.55	o -5
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c        6   2696     5309    19467    3    15433   27872     15     10 0.56
0.49/0.56	o -6
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c        7   2696     5312    19805    3    15450   27905     18     12 0.56
0.49/0.56	o -7
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c       10   2696     5317    20340    3    15473   27938     23     17 0.56
0.49/0.56	o -8
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c       18   2696     5327    20983    3    15508   27972     33     31 0.56
0.49/0.56	o -9
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c       24   2696     5335    21799    4    15541   28005     41     42 0.57
0.49/0.57	o -10
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c       32   2696     5345    22795    4    15580   28038     51     56 0.57
0.49/0.57	o -11
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c       51   2696     5366    24077    4    15643   28072     72     88 0.57
0.49/0.58	o -12
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c       66   2696     5383    25341    4    15700   28105     89    114 0.58
0.49/0.58	o -13
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c       80   2696     5399    26678    4    15757   28138    105    137 0.58
0.49/0.58	o -14
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c       99   2696     5420    28191    5    15826   28172    126    168 0.59
0.49/0.59	o -15
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c      115   2696     5438    29769    5    15891   28205    144    194 0.59
0.49/0.59	o -16
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c      132   2696     5457    31419    5    15960   28238    163    221 0.60
0.59/0.60	o -17
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c      159   2696     5486    33166    6    16051   28272    192    264 0.60
0.59/0.61	o -18
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c      239   2696     5569    37472    6    16252   28305    275    387 0.62
0.79/0.87	c      339   2696     5672    42952    7    16476   31136    378    527 0.64
0.79/0.87	c      589   2696     5927    62638   10    16989   34250    633    843 0.70
0.79/0.87	c     1064   2696     6410   105828   16    17955   37676   1116   1336 0.80
0.79/0.87	o -19
3.49/3.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.53	c     1388   2696     6743   132448   19    18640   28338   1449   1591 0.87
3.49/3.53	c     1488   2696     6849   141340   20    18871   31172   1555   1640 0.91
3.49/3.53	c     1738   2696     7115   164296   23    19403   34290   1821   1806 0.96
3.49/3.53	c     2213   2696     7625   215898   28    20428   37720   2331   1984 1.11
3.49/3.53	c     3026   2696     8487   306983   36    22178   41493   3193   2194 1.38
3.49/3.53	c     4347   2696     9886   445532   45    25023   45643   4592   2479 1.75
3.49/3.53	c     6428   2696    12119   684229   56    29607   50208   6825   2581 2.49
3.49/3.53	o -20
398.46/398.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
398.46/398.69	c     9003   2696    14836   993598   66    35087   28372   9542   2548 3.53
398.46/398.69	c     9103   2696    14938  1002310   67    35311   31210   9644   2557 3.56
398.46/398.69	c     9353   2696    15196  1027557   67    35827   34332   9902   2557 3.66
398.46/398.69	c     9828   2696    15691  1078402   68    36824   37766  10397   2560 3.84
398.46/398.69	c    10641   2696    16545  1163397   70    38559   41543  11251   2556 4.16
398.46/398.69	c    11962   2696    17928  1299770   72    41341   45698  12634   2573 4.65
398.46/398.69	c    14043   2696    20165  1548898   76    45878   50268  14871   2538 5.53
398.46/398.69	c    17266   2696    23590  1916409   81    52770   55295  18296   2310 7.47
398.46/398.69	c    22202   2696    28783  2449348   85    63225   60825  23489   2134 10.40
398.46/398.69	c    29708   2696    36783  3268397   88    79433   66908  31489   1881 15.79
398.46/398.69	c    41069   2696    49001  4528607   92   104070   73599  43707   1602 25.63
398.46/398.69	c    58213   2696    67401  6514720   96   141369   80959  62107   1307 44.53
398.46/398.69	c    84032   2696    29077  2818746   96   137853   89055  23783    960 87.49
398.46/398.69	c   122864   2696    90303 10448001  115   617708   97961  85009   1031 119.11
398.46/398.69	o -21
1797.94/1798.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.35	c   140235   2696    31363  3055044   97   170155   29011  26069    351 398.56
1797.94/1798.35	c   140335   2696    31475  3063299   97   170381   31913  26181    351 398.76
1797.94/1798.35	c   140585   2696    31744  3086028   97   170979   35105  26450    352 399.17
1797.94/1798.35	c   141060   2696    32236  3131648   97   171963   38616  26942    352 399.85
1797.94/1798.35	c   141873   2696    33092  3210675   97   173675   42478  27798    353 401.01
1797.94/1798.35	c   143193   2696    34501  3346454   96   176570   46726  29207    355 403.04
1797.94/1798.35	c   145274   2696    36698  3567598   97   181002   51399  31404    357 406.60
1797.94/1798.35	c   148497   2696    40154  3910542   97   187980   56539  34860    360 412.21
1797.94/1798.35	c   153433   2696    45467  4438618   97   198652   62193  40173    364 420.95
1797.94/1798.35	c   160939   2696    53417  5218213   97   214744   68413  48123    370 434.90
1797.94/1798.35	c   172300   2696    65570  6457403   98   239297   75255  60276    373 460.75
1797.94/1798.35	c   189445   2696    19118  1386980   72    43186   82781  13824    373 506.96
1797.94/1798.35	c   215264   2696    46412  4210560   90    98097   91060  41118    414 519.87
1797.94/1798.35	c   254096   2696    87962  8497171   96   181724  100167  82668    457 555.81
1797.94/1798.35	c   312449   2696    62419  5786308   92   130503  110184  57125    496 629.16
1797.94/1798.35	c   400081   2696    57043  5638152   98   120565  121203  51749    540 739.97
1797.94/1798.35	c   531634   2696    90241  9040613  100   187057  133324  84947    560 948.57
1797.94/1798.35	c   729066   2696    58966  6066748  102   123961  146657  53672    573 1271.08
1797.94/1798.35	c  1025318   2696   106002 11390231  107   219361  161323 100708    597 1714.87
1797.94/1798.35	c Resources Exceeded
1797.94/1798.35	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 -x184 -x187 -x178 x116 -x194 -x136 -x193 -x150 -x122 -x163 x117 -x131 -x156 x160 x167 -x179 x101 -x128 -x191 -x164 -x127 x141 -x173 x137 -x112 x169 -x110 -x111 -x102 -x168 -x130 -x183 -x124 -x123 x159 -x170 -x148 -x154 -x155 -x190 -x103 x157 -x143 -x174 -x120 -x185 -x108 -x115 x149 -x151 x104 -x138 -x199 -x125 -x171 -x114 -x192 -x181 x121 x126 -x145 -x147 -x158 -x105 -x197 -x182 -x139 -x146 x176 -x198 -x106 -x196 -x135 -x107 x165 -x144 -x188 -x109 -x177 -x189 x119 -x195 x152 -x200 x133 -x161 -x140 -x113 x129 -x118 -x153 -x142 -x166 -x132 -x172 x186 -x180 -x175 -x134 -x162 
1797.94/1798.35	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.35	c   61  1063674 223661  1415652   147269 16304707 141975    591 1798.00
1797.94/1798.35	c Objective: -21
1797.94/1798.35	s SATISFIABLE
1797.94/1798.35	c Total time: 1798 s

Verifier Data 

OK	-21

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-3708410-1338181229/watcher-3708410-1338181229 -o /tmp/evaluation-result-3708410-1338181229/solver-3708410-1338181229 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708410-1338181229.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31402
/proc/meminfo: memFree=26928064/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=11384 CPUtime=0 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 1 0 284248351 11657216 370 33554432000 134512640 137138936 4286967472 4286965624 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 2846 370 177 642 0 2193 0

[startup+0.0196699 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31402
/proc/meminfo: memFree=26928064/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=12028 CPUtime=0.01 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 626 0 0 0 1 0 0 0 20 0 1 0 284248351 12316672 570 33554432000 134512640 137138936 4286967472 4286933820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 3007 570 185 642 0 2363 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12028

[startup+0.100208 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31402
/proc/meminfo: memFree=26928064/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=12028 CPUtime=0.09 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 626 0 0 0 9 0 0 0 20 0 1 0 284248351 12316672 570 33554432000 134512640 137138936 4286967472 4286933820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 3007 570 185 642 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12028

[startup+0.30017 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31402
/proc/meminfo: memFree=26928064/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=12028 CPUtime=0.29 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 626 0 0 0 29 0 0 0 20 0 1 0 284248351 12316672 570 33554432000 134512640 137138936 4286967472 4286933820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 3007 570 185 642 0 2363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12028

[startup+0.700181 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31402
/proc/meminfo: memFree=26928064/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=12760 CPUtime=0.69 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 860 0 0 0 68 1 0 0 20 0 1 0 284248351 13066240 758 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 3190 758 192 642 0 2546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12760

[startup+1.50013 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 31403
/proc/meminfo: memFree=26924220/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=16792 CPUtime=1.48 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 1859 0 0 0 147 1 0 0 20 0 1 0 284248351 17195008 1757 33554432000 134512640 137138936 4286967472 4286966224 134572768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 4198 1757 192 642 0 3554 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16792

[startup+3.10016 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 31403
/proc/meminfo: memFree=26918508/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=23988 CPUtime=3.08 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 3675 0 0 0 306 2 0 0 20 0 1 0 284248351 24563712 3573 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 5997 3573 192 642 0 5353 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23988

[startup+6.30017 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 31403
/proc/meminfo: memFree=26905168/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=35260 CPUtime=6.29 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 6470 0 0 0 625 4 0 0 20 0 1 0 284248351 36106240 6368 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 8815 6368 192 642 0 8171 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35260

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 31403
/proc/meminfo: memFree=26888708/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=50384 CPUtime=12.69 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 10257 0 0 0 1262 7 0 0 20 0 1 0 284248351 51593216 10155 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 12596 10155 192 642 0 11952 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50384

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 31403
/proc/meminfo: memFree=26864304/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=74384 CPUtime=25.49 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 16267 0 0 0 2538 11 0 0 20 0 1 0 284248351 76169216 16165 33554432000 134512640 137138936 4286967472 4286966224 134575242 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 18596 16165 192 642 0 17952 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74384

[startup+51.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 31426
/proc/meminfo: memFree=26828500/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=110132 CPUtime=51.08 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 25200 0 0 0 5090 18 0 0 20 0 1 0 284248351 112775168 25098 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 27533 25098 192 642 0 26889 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110132

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26805216/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=132412 CPUtime=102.28 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 30865 0 0 0 10204 24 0 0 20 0 1 0 284248351 135589888 30681 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 33103 30681 192 642 0 32459 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 132412

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744208/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=193408 CPUtime=162.27 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 46198 0 0 0 16197 30 0 0 20 0 1 0 284248351 198049792 45915 33554432000 134512640 137138936 4286967472 4286966512 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 48352 45915 192 642 0 47708 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 193408

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31464
/proc/meminfo: memFree=27737620/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=193408 CPUtime=222.25 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 46206 0 0 0 22195 30 0 0 20 0 1 0 284248351 198049792 45915 33554432000 134512640 137138936 4286967472 4286966512 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 48352 45915 192 642 0 47708 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 193408

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31464
/proc/meminfo: memFree=27737604/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=193408 CPUtime=282.19 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 46254 0 0 0 28189 30 0 0 20 0 1 0 284248351 198049792 45915 33554432000 134512640 137138936 4286967472 4286966512 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 48352 45915 192 642 0 47708 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 193408

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31465
/proc/meminfo: memFree=27738284/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=193408 CPUtime=342.17 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 46276 0 0 0 34187 30 0 0 20 0 1 0 284248351 198049792 45915 33554432000 134512640 137138936 4286967472 4286966512 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 48352 45915 192 642 0 47708 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 193408

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31465
/proc/meminfo: memFree=27569484/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=193408 CPUtime=402.15 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 46276 0 0 0 40184 31 0 0 20 0 1 0 284248351 198049792 45915 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 48352 45915 192 642 0 47708 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 193408

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31465
/proc/meminfo: memFree=27298172/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=193408 CPUtime=462.15 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 46276 0 0 0 46179 36 0 0 20 0 1 0 284248351 198049792 45915 33554432000 134512640 137138936 4286967472 4286966400 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 48352 45915 192 642 0 47708 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 193408

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31465
/proc/meminfo: memFree=27078940/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=193408 CPUtime=522.14 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 46276 0 0 0 52172 42 0 0 20 0 1 0 284248351 198049792 45915 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 48352 45915 192 642 0 47708 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 193408

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 31468
/proc/meminfo: memFree=26877768/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=193412 CPUtime=582.13 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 46276 0 0 0 58167 46 0 0 20 0 1 0 284248351 198053888 45915 33554432000 134512640 137138936 4286967472 4286965968 134618336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 48353 45915 192 642 0 47709 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 193412

[startup+642.3 s]

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

/proc/meminfo: memFree=26709388/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=213592 CPUtime=1062.06 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 51589 0 0 0 106121 85 0 0 20 0 1 0 284248351 218718208 50974 33554432000 134512640 137138936 4286967472 4286966512 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 53398 50974 192 642 0 52754 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 213592

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31470
/proc/meminfo: memFree=26709292/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=213592 CPUtime=1122.05 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 51589 0 0 0 112113 92 0 0 20 0 1 0 284248351 218718208 50974 33554432000 134512640 137138936 4286967472 4286966140 136504017 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 53398 50974 192 642 0 52754 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 213592

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 31473
/proc/meminfo: memFree=26708880/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=213592 CPUtime=1182.03 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 51589 0 0 0 118107 96 0 0 20 0 1 0 284248351 218718208 50974 33554432000 134512640 137138936 4286967472 4286966400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 53398 50974 192 642 0 52754 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 213592

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31474
/proc/meminfo: memFree=26709528/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=213592 CPUtime=1242.03 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 51722 0 0 0 124104 99 0 0 20 0 1 0 284248351 218718208 50974 33554432000 134512640 137138936 4286967472 4286966512 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 53398 50974 192 642 0 52754 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 213592

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31474
/proc/meminfo: memFree=26712752/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=213592 CPUtime=1302.02 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 51732 0 0 0 130095 107 0 0 20 0 1 0 284248351 218718208 50974 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 53398 50974 192 642 0 52754 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 213592

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31474
/proc/meminfo: memFree=26712752/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=213592 CPUtime=1362 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 51732 0 0 0 136089 111 0 0 20 0 1 0 284248351 218718208 50974 33554432000 134512640 137138936 4286967472 4286966400 134542915 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 53398 50974 192 642 0 52754 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 213592

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31474
/proc/meminfo: memFree=26689936/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=237064 CPUtime=1422 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 57582 0 0 0 142081 119 0 0 20 0 1 0 284248351 242753536 56824 33554432000 134512640 137138936 4286967472 4286966400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59266 56824 192 642 0 58622 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 237064

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31474
/proc/meminfo: memFree=26688824/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=237064 CPUtime=1481.99 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 57744 0 0 0 148074 125 0 0 20 0 1 0 284248351 242753536 56840 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59266 56840 192 642 0 58622 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 237064

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31475
/proc/meminfo: memFree=26689452/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=237064 CPUtime=1541.98 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 57744 0 0 0 154068 130 0 0 20 0 1 0 284248351 242753536 56840 33554432000 134512640 137138936 4286967472 4286966400 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59266 56840 192 642 0 58622 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 237064

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31477
/proc/meminfo: memFree=26687592/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1601.96 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 160062 134 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966512 134540740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 239640

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31477
/proc/meminfo: memFree=26687352/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1661.95 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 166056 139 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 239640

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31477
/proc/meminfo: memFree=26687352/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1721.94 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 172050 144 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 239640

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31480
/proc/meminfo: memFree=26686444/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1781.94 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 178045 149 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966324 136511173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 239640

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31480
/proc/meminfo: memFree=26687104/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1791.55 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 179005 150 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966400 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 239640

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31480
/proc/meminfo: memFree=26687104/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1794.75 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 179325 150 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 239640

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31480
/proc/meminfo: memFree=26687104/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1796.34 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 179484 150 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 239640

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31480
/proc/meminfo: memFree=26687104/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1797.14 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 179564 150 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 239640

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31480
/proc/meminfo: memFree=26687104/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1797.54 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 179604 150 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 239640

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31480
/proc/meminfo: memFree=26687104/32873648 swapFree=7104/7104
[pid=31402] ppid=31400 vsize=239640 CPUtime=1797.94 cores=1,3,5,7
/proc/31402/stat : 31402 (bsolo) R 31400 31402 29254 0 -1 4202496 58537 0 0 0 179644 150 0 0 20 0 1 0 284248351 245391360 57487 33554432000 134512640 137138936 4286967472 4286966400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31402/statm: 59910 57487 192 642 0 59266 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 239640

Child status: 0
Real time (s): 1798.36
CPU time (s): 1798.01
CPU user time (s): 1796.5
CPU system time (s): 1.50577
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 240224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.5
system time used= 1.50577
maximum resident set size= 230532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58538
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= 91
involuntary context switches= 1850

runsolver used 3.3085 second user time and 7.55685 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-28 07:00:29
IDJOB=3708410
IDBENCH=48251
IDSOLVER=2286
FILE ID=node127/3708410-1338181229
RUNJOBID= node127-1338157754-29271
PBS_JOBID= 14624533
Free space on /tmp= 71168 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708410-1338181229/watcher-3708410-1338181229 -o /tmp/evaluation-result-3708410-1338181229/solver-3708410-1338181229 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708410-1338181229.opb

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

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=314474552

node127.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.348
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	: 5332.69
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.348
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.348
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.94
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.348
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.348
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		: 2666.348
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		: 2666.348
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		: 2666.348
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:        26928948 kB
Buffers:          481364 kB
Cached:          3538100 kB
SwapCached:            0 kB
Active:          2259544 kB
Inactive:        2801052 kB
Active(anon):    1043084 kB
Inactive(anon):        0 kB
Active(file):    1216460 kB
Inactive(file):  2801052 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:       1080260 kB
Mapped:            15128 kB
Shmem:               200 kB
Slab:             743804 kB
SReclaimable:     188176 kB
SUnreclaim:       555628 kB
KernelStack:        1472 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1162488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1056768 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= 71160 MiB
End job on node127 at 2012-05-28 07:30:27