Trace number 3462836

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-13 1798.04 1797.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_2.opb
MD5SUM3576405369e31b0bc5c7707d6d764dde
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-15
Best CPU time to get the best result obtained on this benchmark1798
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
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)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3462836-1307183811.opb
0.00/0.01	c File size is 79465 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.02	c Var: 6348 Constr: 12598 6248/202/6148 Lit: 43636 Watch. Lit: 37290
0.00/0.02	c Obj. Vars: 100 (1.5753 % of total variables)
8.59/8.66	c Pre-processing Time: 8.657 s
8.59/8.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.66	c        0   6348    12598    43636    3    37290  103149      0      0 8.66
8.59/8.66	c Switching off lower bounding mode.
8.59/8.66	o -1
8.59/8.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.67	c        0   6348    12599    43736    3    37293  103216      1      0 8.66
8.59/8.67	o -2
8.59/8.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.68	c        1   6348    12602    44036    3    37302  103249      4      0 8.67
8.59/8.68	o -3
8.59/8.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.68	c        4   6348    12607    44482    3    37317  103282      9      0 8.68
8.59/8.68	o -4
8.59/8.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.69	c       12   6348    12617    45496    3    37344  103316     19      1 8.68
8.59/8.69	o -5
8.71/8.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.71/8.71	c       22   6348    12629    46602    3    37377  103349     31      2 8.69
8.71/8.71	o -6
8.71/8.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.71/8.71	c       36   6348    12645    47818    3    37420  103382     47      4 8.70
8.71/8.71	o -7
8.71/8.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.71/8.72	c       55   6348    12666    49580    3    37475  103416     68      6 8.71
8.71/8.72	o -8
8.71/8.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.71/8.73	c       88   6348    12701    51724    4    37560  103449    103     10 8.72
8.71/8.73	o -9
9.48/9.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.48/9.57	c      119   6348    12734    54100    4    37643  103482    136     13 8.73
9.48/9.57	c      220   6348    12836    59169    4    37856  113831    238     25 8.75
9.48/9.57	c      470   6348    13091    83668    6    38366  125215    493     53 8.84
9.48/9.57	c      945   6348    13575   130110    9    39334  137737    977    104 9.05
9.48/9.57	c     1758   6348    14397   205379   14    40978  151511   1799    184 9.51
9.48/9.57	o -10
10.39/10.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.39/10.46	c     1915   6348    14555   216431   14    41304  103516   1957    200 9.57
10.39/10.46	c     2015   6348    14656   219773   14    41516  113868   2058    210 9.59
10.39/10.46	c     2265   6348    14909   244339   16    42022  125255   2311    234 9.65
10.39/10.46	c     2740   6348    15390   290674   18    42984  137781   2792    280 9.76
10.39/10.46	c     3553   6348    16206   370225   22    44616  151560   3608    356 9.96
10.39/10.46	c     4873   6348    17543   485993   27    47290  166717   4945    467 10.43
10.39/10.46	o -11
11.19/11.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.19/11.24	c     4974   6348    17646   490926   27    47507  103549   5048    475 10.46
11.19/11.24	c     5074   6348    17747   491757   27    47720  113904   5149    484 10.48
11.19/11.24	c     5324   6348    17998   504135   28    48222  125295   5400    503 10.57
11.19/11.24	c     5799   6348    18505   537265   29    49236  137825   5907    540 10.73
11.19/11.24	c     6612   6348    19353   609783   31    50932  151608   6755    600 11.02
11.19/11.24	o -12
109.19/109.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
109.19/109.22	c     7191   6348    19966   670827   33    52172  103582   7368    639 11.24
109.19/109.22	c     7291   6348    20072   679169   33    52416  113941   7474    646 11.28
109.19/109.22	c     7541   6348    20331   702267   34    52934  125336   7733    663 11.37
109.19/109.22	c     8016   6348    20843   754873   36    53972  137870   8245    693 11.55
109.19/109.22	c     8829   6348    21709   837013   38    55706  151658   9111    743 11.87
109.19/109.22	c    10149   6348    23103   968738   41    58564  166824  10505    815 12.44
109.19/109.22	c    12230   6348    25320  1198818   47    63042  183507  12722    913 13.38
109.19/109.22	c    15453   6348    28725  1547457   53    70156  201858  16127   1029 15.01
109.19/109.22	c    20389   6348    34008  2124264   62    80930  222044  21410   1124 18.12
109.19/109.22	c    27895   6348    42026  2988291   71    97733  244249  29428   1173 23.78
109.19/109.22	c    39256   6348    54345  4383446   80   122877  268674  41747   1097 35.76
109.19/109.22	c    56400   6348    72962  6533240   89   161068  295542  60364    910 61.94
109.19/109.22	o -13
1797.94/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.95	c    76316   6348    94777  9060098   95   206459  103616  82179    698 109.22
1797.94/1797.95	c    76416   6348    94888  9073398   95   206693  113978  82290    698 109.39
1797.94/1797.95	c    76666   6348    95151  9102563   95   207230  125376  82553    698 109.77
1797.94/1797.95	c    77141   6348    95643  9150611   95   208223  137914  83045    697 110.57
1797.94/1797.95	c    77954   6348    96502  9238063   95   209960  151706  83904    697 111.76
1797.94/1797.95	c    79274   6348    97915  9387360   95   212800  166877  85317    697 113.66
1797.94/1797.95	c    81356   6348   100155  9641157   96   217368  183565  87557    691 117.72
1797.94/1797.95	c    84579   6348   103640 10036290   96   224471  201922  91042    668 126.45
1797.94/1797.95	c    89515   6348   108966 10629350   97   235356  222115  96368    639 139.99
1797.94/1797.95	c    97021   6348   117023 11507797   98   251809  244327 104425    604 160.42
1797.94/1797.95	c   108382   6348   129218 12853006   99   276813  268760 116620    573 189.13
1797.94/1797.95	c   125526   6348   147757 14965393  101   314262  295637 135159    532 235.66
1797.94/1797.95	c   151347   6348   175550 18018903  102   371665  325201 162952    448 337.53
1797.94/1797.95	c   190179   6348   218011 22800742  104   459301  357722 205413    345 550.99
1797.94/1797.95	c   248531   6348   281252 29985986  106   588689  393495 268654    261 951.32
1797.94/1797.95	c   336163   6348   377022 41032757  108   784393  432845 364424    208 1610.29
1797.94/1797.95	c Resources Exceeded
1797.94/1797.95	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 -x191 x120 -x189 -x176 -x162 -x199 -x165 -x178 -x146 x128 -x143 -x180 x150 -x194 -x138 x155 -x174 -x168 -x131 -x103 -x173 -x170 -x116 -x192 -x111 -x108 -x118 -x122 -x125 -x132 -x157 -x182 x184 x190 -x195 x198 -x101 -x197 x164 -x114 -x187 -x183 -x153 -x158 -x129 -x107 -x161 -x166 -x115 -x145 -x200 -x104 -x109 x134 -x135 -x139 -x141 -x148 -x151 -x160 -x167 -x169 x177 -x193 -x102 -x110 -x124 -x149 -x106 -x163 -x144 -x117 -x171 -x105 x186 -x126 -x136 -x142 -x154 -x185 x152 -x156 -x119 -x147 -x113 -x188 -x112 x175 -x133 -x121 -x123 -x181 -x159 -x127 -x179 -x140 -x172 -x130 -x137 -x196 
1797.94/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.95	c   52   361309  78473   509208   404225 44094508 391627    200 1798.01
1797.94/1797.95	c Objective: -13
1797.94/1797.95	s SATISFIABLE
1797.94/1797.95	c Total time: 1798.01 s

Verifier Data 

OK	-13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 32721
/proc/meminfo: memFree=26399876/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=12524 CPUtime=0.01 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 696 0 0 0 1 0 0 0 25 0 1 0 908611803 12824576 650 33554432000 134512640 137138936 4294246672 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 3131 651 188 642 0 2467 0

[startup+0.064196 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 32721
/proc/meminfo: memFree=26399876/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=14116 CPUtime=0.05 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 1137 0 0 0 5 0 0 0 25 0 1 0 908611803 14454784 1071 33554432000 134512640 137138936 4294246672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 3529 1071 185 642 0 2885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14116

[startup+0.101188 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 32721
/proc/meminfo: memFree=26399876/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=14116 CPUtime=0.09 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 1137 0 0 0 9 0 0 0 25 0 1 0 908611803 14454784 1071 33554432000 134512640 137138936 4294246672 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 3529 1071 185 642 0 2885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14116

[startup+0.30115 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 32721
/proc/meminfo: memFree=26399876/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=14116 CPUtime=0.29 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 1141 0 0 0 29 0 0 0 25 0 1 0 908611803 14454784 1075 33554432000 134512640 137138936 4294246672 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 3529 1075 185 642 0 2885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14116

[startup+0.701074 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 32721
/proc/meminfo: memFree=26399876/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=14116 CPUtime=0.69 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 1141 0 0 0 69 0 0 0 25 0 1 0 908611803 14454784 1075 33554432000 134512640 137138936 4294246672 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 3529 1075 185 642 0 2885 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14116

[startup+1.50093 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32722
/proc/meminfo: memFree=26395404/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=14116 CPUtime=1.49 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 1141 0 0 0 149 0 0 0 25 0 1 0 908611803 14454784 1075 33554432000 134512640 137138936 4294246672 18446744073709551615 136511093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 3529 1075 185 642 0 2885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14116

[startup+3.10063 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32722
/proc/meminfo: memFree=26394288/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=14116 CPUtime=3.09 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 1141 0 0 0 309 0 0 0 25 0 1 0 908611803 14454784 1075 33554432000 134512640 137138936 4294246672 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 3529 1075 185 642 0 2885 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14116

[startup+6.30104 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 32722
/proc/meminfo: memFree=26392192/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=14116 CPUtime=6.29 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 1141 0 0 0 629 0 0 0 25 0 1 0 908611803 14454784 1075 33554432000 134512640 137138936 4294246672 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 3529 1075 185 642 0 2885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14116

[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32722
/proc/meminfo: memFree=26376000/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=28132 CPUtime=12.69 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 4926 0 0 0 1265 4 0 0 25 0 1 0 908611803 28807168 4600 33554432000 134512640 137138936 4294246672 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 7033 4600 192 642 0 6389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28132

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32722
/proc/meminfo: memFree=26335696/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=58424 CPUtime=25.49 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 12516 0 0 0 2541 8 0 0 25 0 1 0 908611803 59826176 12190 33554432000 134512640 137138936 4294246672 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 14606 12190 192 642 0 13962 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58424

[startup+51.1007 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32723
/proc/meminfo: memFree=26279564/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=93132 CPUtime=51.09 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 21190 0 0 0 5097 12 0 0 25 0 1 0 908611803 95367168 20864 33554432000 134512640 137138936 4294246672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 23283 20864 192 642 0 22639 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93132

[startup+102.319 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 32724
/proc/meminfo: memFree=26224848/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=131400 CPUtime=102.3 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 30743 0 0 0 10214 16 0 0 25 0 1 0 908611803 134553600 30417 33554432000 134512640 137138936 4294246672 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 32850 30417 192 642 0 32206 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 131400

[startup+162.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/499 32729
/proc/meminfo: memFree=26047308/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=173576 CPUtime=162.29 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 41302 0 0 0 16206 23 0 0 25 0 1 0 908611803 177741824 40976 33554432000 134512640 137138936 4294246672 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 43394 40976 192 642 0 42750 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 173576

[startup+222.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 32731
/proc/meminfo: memFree=25879352/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=211728 CPUtime=222.3 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 50827 0 0 0 22200 30 0 0 25 0 1 0 908611803 216809472 50501 33554432000 134512640 137138936 4294246672 18446744073709551615 136297625 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 52932 50501 192 642 0 52288 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 211728

[startup+282.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 32732
/proc/meminfo: memFree=25729896/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=238260 CPUtime=282.3 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 57457 0 0 0 28195 35 0 0 25 0 1 0 908611803 243978240 57131 33554432000 134512640 137138936 4294246672 18446744073709551615 134542511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 59565 57131 192 642 0 58921 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 238260

[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 32734
/proc/meminfo: memFree=25587140/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=264080 CPUtime=342.29 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 63913 0 0 0 34190 39 0 0 25 0 1 0 908611803 270417920 63587 33554432000 134512640 137138936 4294246672 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 66020 63587 192 642 0 65376 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 264080

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32735
/proc/meminfo: memFree=25457284/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=283544 CPUtime=402.3 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 68783 0 0 0 40187 43 0 0 25 0 1 0 908611803 290349056 68457 33554432000 134512640 137138936 4294246672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 70886 68457 192 642 0 70242 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 283544

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32737
/proc/meminfo: memFree=25328916/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=303716 CPUtime=462.3 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 73838 0 0 0 46182 48 0 0 25 0 1 0 908611803 311005184 73512 33554432000 134512640 137138936 4294246672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 75929 73512 192 642 0 75285 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 303716

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32739
/proc/meminfo: memFree=25217648/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=319812 CPUtime=522.3 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 77846 0 0 0 52177 53 0 0 25 0 1 0 908611803 327487488 77520 33554432000 134512640 137138936 4294246672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 79953 77520 192 642 0 79309 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 319812

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32740
/proc/meminfo: memFree=25111212/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=336228 CPUtime=582.3 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 81966 0 0 0 58174 56 0 0 25 0 1 0 908611803 344297472 81640 33554432000 134512640 137138936 4294246672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 84057 81640 192 642 0 83413 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 336228

[startup+642.301 s]

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

/proc/meminfo: memFree=24959060/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=452892 CPUtime=1062.32 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 111120 0 0 0 106153 79 0 0 25 0 1 0 908611803 463761408 110794 33554432000 134512640 137138936 4294246672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 113223 110794 192 642 0 112579 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 452892

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32755
/proc/meminfo: memFree=24942032/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=469700 CPUtime=1122.33 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 115331 0 0 0 112150 83 0 0 25 0 1 0 908611803 480972800 115005 33554432000 134512640 137138936 4294246672 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 117425 115005 192 642 0 116781 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 469700

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32756
/proc/meminfo: memFree=24926256/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=485256 CPUtime=1182.33 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 119207 0 0 0 118147 86 0 0 25 0 1 0 908611803 496902144 118881 33554432000 134512640 137138936 4294246672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 121314 118881 192 642 0 120670 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 485256

[startup+1242.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/499 32758
/proc/meminfo: memFree=24911716/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=500184 CPUtime=1242.33 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 122939 0 0 0 124144 89 0 0 25 0 1 0 908611803 512188416 122613 33554432000 134512640 137138936 4294246672 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 125046 122613 192 642 0 124402 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 500184

[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/499 32759
/proc/meminfo: memFree=24894572/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=516856 CPUtime=1302.35 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 127121 0 0 0 130143 92 0 0 25 0 1 0 908611803 529260544 126795 33554432000 134512640 137138936 4294246672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 129214 126795 192 642 0 128570 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 516856

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 32761
/proc/meminfo: memFree=24879412/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=531924 CPUtime=1362.33 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 130894 0 0 0 136137 96 0 0 25 0 1 0 908611803 544690176 130568 33554432000 134512640 137138936 4294246672 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 132981 130568 192 642 0 132337 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 531924

[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 32763
/proc/meminfo: memFree=24869580/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=543048 CPUtime=1422.35 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 133654 0 0 0 142136 99 0 0 25 0 1 0 908611803 556081152 133328 33554432000 134512640 137138936 4294246672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 135762 133328 192 642 0 135118 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 543048

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 305
/proc/meminfo: memFree=24856508/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=554644 CPUtime=1482.33 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 136556 0 0 0 148132 101 0 0 25 0 1 0 908611803 567955456 136230 33554432000 134512640 137138936 4294246672 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 138661 136230 192 642 0 138017 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 554644

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 307
/proc/meminfo: memFree=24845436/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=565328 CPUtime=1542.33 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 139231 0 0 0 154130 103 0 0 25 0 1 0 908611803 578895872 138905 33554432000 134512640 137138936 4294246672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 141332 138905 192 642 0 140688 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 565328

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 308
/proc/meminfo: memFree=24833996/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=577256 CPUtime=1602.34 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 142227 0 0 0 160127 107 0 0 25 0 1 0 908611803 591110144 141901 33554432000 134512640 137138936 4294246672 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 144314 141901 192 642 0 143670 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 577256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 346
/proc/meminfo: memFree=25850656/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=589856 CPUtime=1662.34 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 145363 0 0 0 166124 110 0 0 25 0 1 0 908611803 604012544 145037 33554432000 134512640 137138936 4294246672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 147464 145037 192 642 0 146820 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 589856

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 375
/proc/meminfo: memFree=25838736/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=603832 CPUtime=1722.34 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 148865 0 0 0 172121 113 0 0 25 0 1 0 908611803 618323968 148539 33554432000 134512640 137138936 4294246672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 150958 148539 192 642 0 150314 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 603832

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/499 376
/proc/meminfo: memFree=25825044/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=617888 CPUtime=1782.34 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 152367 0 0 0 178118 116 0 0 25 0 1 0 908611803 632717312 152041 33554432000 134512640 137138936 4294246672 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 154472 152041 192 642 0 153828 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 617888

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

[startup+1785.5 s]
/proc/loadavg: 2.14 2.04 2.01 3/499 376
/proc/meminfo: memFree=25825664/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=618520 CPUtime=1785.55 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 152523 0 0 0 178438 117 0 0 25 0 1 0 908611803 633364480 152197 33554432000 134512640 137138936 4294246672 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 154630 152197 192 642 0 153986 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 618520

[startup+1791.92 s]
/proc/loadavg: 2.13 2.04 2.01 3/499 376
/proc/meminfo: memFree=25823800/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=619784 CPUtime=1791.96 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 152857 0 0 0 179079 117 0 0 25 0 1 0 908611803 634658816 152531 33554432000 134512640 137138936 4294246672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 154946 152531 192 642 0 154302 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 619784

[startup+1795.1 s]
/proc/loadavg: 2.12 2.04 2.01 3/499 377
/proc/meminfo: memFree=25822312/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=620516 CPUtime=1795.16 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 153023 0 0 0 179399 117 0 0 25 0 1 0 908611803 635408384 152697 33554432000 134512640 137138936 4294246672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 155129 152697 192 642 0 154485 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 620516

[startup+1796.7 s]
/proc/loadavg: 2.12 2.04 2.01 3/499 377
/proc/meminfo: memFree=25823676/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=620856 CPUtime=1796.74 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 153124 0 0 0 179557 117 0 0 25 0 1 0 908611803 635756544 152798 33554432000 134512640 137138936 4294246672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 155214 152798 192 642 0 154570 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 620856

[startup+1797.5 s]
/proc/loadavg: 2.12 2.04 2.01 3/499 377
/proc/meminfo: memFree=25821072/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=621096 CPUtime=1797.54 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 153184 0 0 0 179637 117 0 0 25 0 1 0 908611803 636002304 152858 33554432000 134512640 137138936 4294246672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 155274 152858 192 642 0 154630 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 621096

[startup+1797.9 s]
/proc/loadavg: 2.12 2.04 2.01 3/499 377
/proc/meminfo: memFree=25821072/32950928 swapFree=34421304/67111528
[pid=32721] ppid=32719 vsize=621224 CPUtime=1797.94 cores=0,2,4,6
/proc/32721/stat : 32721 (bsolo) R 32719 32721 29288 0 -1 4202496 153199 0 0 0 179677 117 0 0 25 0 1 0 908611803 636133376 152873 33554432000 134512640 137138936 4294246672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32721/statm: 155306 152873 192 642 0 154662 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 621224

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.04
CPU user time (s): 1796.83
CPU system time (s): 1.20582
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 621224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.83
system time used= 1.20582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153200
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= 4
involuntary context switches= 21622

runsolver used 9.1796 second user time and 20.2429 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-04 12:36:51
IDJOB=3462836
IDBENCH=48252
IDSOLVER=1955
FILE ID=node113/3462836-1307183811
RUNJOBID= node113-1307173947-31163
PBS_JOBID= 13508847
Free space on /tmp= 73792 MiB

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

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

MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde
RANDOM SEED=757534021

node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26400040 kB
Buffers:        282356 kB
Cached:         871388 kB
SwapCached:      13476 kB
Active:        5450752 kB
Inactive:       778228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26400040 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:     5073988 kB
Mapped:          21832 kB
Slab:           136172 kB
PageTables:     116620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 154840916 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73788 MiB
End job on node113 at 2011-06-04 13:06:49