Trace number 3462714

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.2SAT12 1798.01 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_5.opb
MD5SUMe6ef25c6f832d5fe55af9368c1298b73
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark2.84357
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint19
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 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1252
Sum of products size (including duplicates)2504
Number of different products1252
Sum of products size2504

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-3462714-1307182192.opb
0.00/0.00	c File size is 17091 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 1352 Constr: 2604 1352/0/1252 Lit: 8864 Watch. Lit: 6460
0.00/0.00	c Obj. Vars: 100 (7.39645 % of total variables)
0.00/0.02	c Pre-processing Time: 0.018 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2604     8864    3     6460    7962      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
0.00/0.02	o 99
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2605     8964    3     6463    8029      1      0 0.02
0.00/0.02	o 98
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2606     9064    3     6467    8129      2      0 0.02
0.00/0.02	o 97
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2607     9164    3     6472    8262      3      0 0.02
0.00/0.02	o 96
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2608     9264    3     6478    8429      4      0 0.02
0.00/0.02	o 95
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2609     9364    3     6485    8629      5      0 0.02
0.00/0.02	o 94
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2610     9464    3     6493    8862      6      0 0.02
0.00/0.02	o 93
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2611     9564    3     6502    9129      7      0 0.02
0.00/0.02	o 92
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2612     9664    3     6512    9429      8      0 0.02
0.00/0.02	o 91
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2613     9764    3     6523    9762      9      0 0.03
0.00/0.02	o 90
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1352     2614     9864    3     6535   10129     10      0 0.03
0.00/0.02	o 89
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        1   1352     2616    10054    3     6550   10162     12     37 0.03
0.00/0.03	o 13
255.11/255.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
255.11/255.12	c        1   1352     2617    10154    3     6639   10762     13     35 0.03
255.11/255.12	c      102   1352     2729    17692    6     6863   11839    125   2217 0.05
255.11/255.12	c      352   1352     3005    33494   11     7415   13023    401   3628 0.10
255.11/255.12	c      829   1352     3511    56414   16     8427   14326    907   4165 0.20
255.11/255.12	c     1642   1352     4372    90806   20    10234   15759   1768   4167 0.39
255.11/255.12	c     2963   1352     5820   195519   33    13213   17335   3216   3631 0.82
255.11/255.12	c     5044   1352     8066   352797   43    17945   19069   5462   3109 1.62
255.11/255.12	c     8267   1352    11601   646140   55    25091   20976   8997   2513 3.29
255.11/255.12	c    13203   1352    16924  1071715   63    36104   23074  14320   2076 6.36
255.11/255.12	c    20709   1352    25108  1893622   75    53351   25382  22504   1631 12.69
255.11/255.12	c    32070   1352    23796  2313692   97    53726   27921  21192   1212 26.44
255.11/255.12	c    49214   1352    27591  2689864   97    63053   30714  24987    986 49.87
255.11/255.12	c    75033   1352    18699  2123197  113    49676   33786  16095    861 87.12
255.11/255.12	c   113866   1352    17545  1551221   88    39991   37165  14941    837 135.99
255.11/255.12	c   172219   1352    31060  2878702   92    69874   40882  28456    815 211.19
255.11/255.12	o 12
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c   201811   1352    35292  3878266  109    79648    8963  32688    791 255.13
1797.93/1797.96	c   201914   1352     7208   590460   81    16275    9860   4604    788 255.96
1797.93/1797.96	c   202164   1352     7491   622052   83    17071   10847   4887    789 256.09
1797.93/1797.96	c   202639   1352     8015   689235   85    18286   11932   5411    790 256.39
1797.93/1797.96	c   203452   1352     8943   797551   89    20211   13126   6339    791 256.98
1797.93/1797.96	c   204773   1352    10370   926027   89    23298   14439   7766    793 257.92
1797.93/1797.96	c   206855   1352    12670  1146113   90    28442   15883  10066    798 259.18
1797.93/1797.96	c   210078   1352    16320  1428666   87    36131   17472  13716    803 261.44
1797.93/1797.96	c   215015   1352    12210   666830   54    26461   19220   9606    811 264.93
1797.93/1797.96	c   222523   1352    20251  1156333   57    43068   21143  17647    825 269.64
1797.93/1797.96	c   233885   1352    21446  1412812   65    46502   23258  18842    837 279.18
1797.93/1797.96	c   251029   1352    16653  1370052   82    37339   25584  14049    842 297.84
1797.93/1797.96	c   276848   1352    18029  1540863   85    40499   28143  15425    846 326.99
1797.93/1797.96	c   315680   1352    29358  3386915  115    67034   30958  26754    847 372.40
1797.93/1797.96	c   374032   1352    20138  1821962   90    46195   34054  17534    827 451.96
1797.93/1797.96	c   461665   1352    32413  3219411   99    72440   37460  29809    802 575.13
1797.93/1797.96	c   593218   1352    28313  2968997  104    63914   41207  25709    777 762.75
1797.93/1797.96	c   790650   1352    20192  2144997  106    46670   45328  17588    715 1105.20
1797.93/1797.96	c  1086903   1352    20864  1565205   75    46046   49861  18260    689 1576.70
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	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 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   45  1233337 363897  2032775    35265  3407244  32661    685 1798.00
1797.93/1797.96	c Objective: 12
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	12

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-3462714-1307182192/watcher-3462714-1307182192 -o /tmp/evaluation-result-3462714-1307182192/solver-3462714-1307182192 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462714-1307182192.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.03 2.00 2/458 17532
/proc/meminfo: memFree=26003816/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=11336 CPUtime=0 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 436 0 0 0 0 0 0 0 25 0 1 0 829817402 11608064 385 33554432000 134512640 137138936 4290865120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17532/statm: 2834 385 185 642 0 2190 0

[startup+0.04811 s]
/proc/loadavg: 2.00 2.03 2.00 2/458 17532
/proc/meminfo: memFree=26003816/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=11468 CPUtime=0.04 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 488 0 0 0 4 0 0 0 25 0 1 0 829817402 11743232 437 33554432000 134512640 137138936 4290865120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17532/statm: 2867 437 192 642 0 2223 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11468

[startup+0.101099 s]
/proc/loadavg: 2.00 2.03 2.00 2/458 17532
/proc/meminfo: memFree=26003816/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=11724 CPUtime=0.09 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 547 0 0 0 9 0 0 0 25 0 1 0 829817402 12005376 496 33554432000 134512640 137138936 4290865120 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17532/statm: 2931 496 192 642 0 2287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11724

[startup+0.301089 s]
/proc/loadavg: 2.00 2.03 2.00 2/458 17532
/proc/meminfo: memFree=26003816/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=12324 CPUtime=0.29 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 700 0 0 0 29 0 0 0 25 0 1 0 829817402 12619776 649 33554432000 134512640 137138936 4290865120 18446744073709551615 134543177 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17532/statm: 3081 649 192 642 0 2437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12324

[startup+0.701039 s]
/proc/loadavg: 2.00 2.03 2.00 2/458 17532
/proc/meminfo: memFree=26003816/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=13680 CPUtime=0.69 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 1048 0 0 0 69 0 0 0 25 0 1 0 829817402 14008320 997 33554432000 134512640 137138936 4290865120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 3420 997 192 642 0 2776 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13680

[startup+1.5009 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17533
/proc/meminfo: memFree=25998968/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=16028 CPUtime=1.49 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 1633 0 0 0 149 0 0 0 25 0 1 0 829817402 16412672 1582 33554432000 134512640 137138936 4290865120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 4007 1582 192 642 0 3363 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16028

[startup+3.10058 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17533
/proc/meminfo: memFree=25995120/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=20208 CPUtime=3.09 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 2654 0 0 0 309 0 0 0 25 0 1 0 829817402 20692992 2603 33554432000 134512640 137138936 4290865120 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 5052 2604 192 642 0 4408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20208

[startup+6.30103 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17533
/proc/meminfo: memFree=25986436/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=26448 CPUtime=6.29 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 4240 0 0 0 628 1 0 0 25 0 1 0 829817402 27082752 4189 33554432000 134512640 137138936 4290865120 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 6612 4189 192 642 0 5968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26448

[startup+12.7009 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17533
/proc/meminfo: memFree=25973152/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=38080 CPUtime=12.69 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 7127 0 0 0 1266 3 0 0 25 0 1 0 829817402 38993920 7076 33554432000 134512640 137138936 4290865120 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 9520 7076 192 642 0 8876 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38080

[startup+25.5006 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17533
/proc/meminfo: memFree=25964092/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=43192 CPUtime=25.49 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 8419 0 0 0 2545 4 0 0 25 0 1 0 829817402 44228608 8368 33554432000 134512640 137138936 4290865120 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 10798 8368 192 642 0 10154 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43192

[startup+51.1011 s]
/proc/loadavg: 2.07 2.04 2.00 3/459 17534
/proc/meminfo: memFree=25948384/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=53780 CPUtime=51.09 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 11069 0 0 0 5102 7 0 0 25 0 1 0 829817402 55070720 11018 33554432000 134512640 137138936 4290865120 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 13445 11018 192 642 0 12801 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 53780

[startup+102.318 s]
/proc/loadavg: 2.03 2.03 2.00 3/459 17535
/proc/meminfo: memFree=25924056/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=67220 CPUtime=102.31 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 14432 0 0 0 10220 11 0 0 25 0 1 0 829817402 68833280 14381 33554432000 134512640 137138936 4290865120 18446744073709551615 134543199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 16805 14381 192 642 0 16161 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 67220

[startup+162.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/459 17537
/proc/meminfo: memFree=25911264/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=67244 CPUtime=162.29 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 14472 0 0 0 16212 17 0 0 25 0 1 0 829817402 68857856 14387 33554432000 134512640 137138936 4290865120 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 16811 14387 192 642 0 16167 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 67244

[startup+222.301 s]
/proc/loadavg: 2.14 2.08 2.02 3/459 17539
/proc/meminfo: memFree=25896988/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=67244 CPUtime=222.29 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 14472 0 0 0 22208 21 0 0 25 0 1 0 829817402 68857856 14387 33554432000 134512640 137138936 4290865120 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 16811 14387 192 642 0 16167 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 67244

[startup+282.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/459 17540
/proc/meminfo: memFree=25878988/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=71096 CPUtime=282.3 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 15445 0 0 0 28204 26 0 0 25 0 1 0 829817402 72802304 15319 33554432000 134512640 137138936 4290865120 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 17774 15319 192 642 0 17130 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 71096

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/459 17542
/proc/meminfo: memFree=25863968/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=71096 CPUtime=342.29 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 15445 0 0 0 34198 31 0 0 25 0 1 0 829817402 72802304 15319 33554432000 134512640 137138936 4290865120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 17774 15319 192 642 0 17130 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 71096

[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/459 17543
/proc/meminfo: memFree=25850420/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=71096 CPUtime=402.3 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 15445 0 0 0 40194 36 0 0 25 0 1 0 829817402 72802304 15319 33554432000 134512640 137138936 4290865120 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 17774 15319 192 642 0 17130 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 71096

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17572
/proc/meminfo: memFree=26152832/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=71096 CPUtime=462.3 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 15445 0 0 0 46189 41 0 0 25 0 1 0 829817402 72802304 15319 33554432000 134512640 137138936 4290865120 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 17774 15319 192 642 0 17130 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 71096

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17574
/proc/meminfo: memFree=26055072/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=71096 CPUtime=522.3 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 15445 0 0 0 52183 47 0 0 25 0 1 0 829817402 72802304 15319 33554432000 134512640 137138936 4290865120 18446744073709551615 134542273 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 17774 15319 192 642 0 17130 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 71096

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17575
/proc/meminfo: memFree=25991692/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=70896 CPUtime=582.3 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 15445 0 0 0 58179 51 0 0 25 0 1 0 829817402 72597504 15301 33554432000 134512640 137138936 4290865120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 17724 15301 192 642 0 17080 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 70896

[startup+642.301 s]

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

/proc/meminfo: memFree=25672220/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=91516 CPUtime=1062.31 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 20593 0 0 0 106142 89 0 0 25 0 1 0 829817402 93712384 20423 33554432000 134512640 137138936 4290865120 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 22879 20423 192 642 0 22235 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 91516

[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/459 17590
/proc/meminfo: memFree=25636728/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=91516 CPUtime=1122.31 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 20593 0 0 0 112138 93 0 0 25 0 1 0 829817402 93712384 20423 33554432000 134512640 137138936 4290865120 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 22879 20423 192 642 0 22235 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 91516

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/459 17591
/proc/meminfo: memFree=25608200/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=91532 CPUtime=1182.31 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 20597 0 0 0 118134 97 0 0 25 0 1 0 829817402 93728768 20427 33554432000 134512640 137138936 4290865120 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 22883 20427 192 642 0 22239 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 91532

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17593
/proc/meminfo: memFree=25580392/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=91532 CPUtime=1242.32 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 20597 0 0 0 124132 100 0 0 25 0 1 0 829817402 93728768 20427 33554432000 134512640 137138936 4290865120 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 22883 20427 192 642 0 22239 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 91532

[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/459 17594
/proc/meminfo: memFree=25548756/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101044 CPUtime=1302.32 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23044 0 0 0 130128 104 0 0 25 0 1 0 829817402 103469056 22829 33554432000 134512640 137138936 4290865120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25261 22829 192 642 0 24617 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 101044

[startup+1362.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/459 17596
/proc/meminfo: memFree=25527900/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101296 CPUtime=1362.31 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23084 0 0 0 136123 108 0 0 25 0 1 0 829817402 103727104 22869 33554432000 134512640 137138936 4290865120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25324 22869 192 642 0 24680 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 101296

[startup+1422.32 s]
/proc/loadavg: 2.11 2.06 2.01 3/459 17598
/proc/meminfo: memFree=25508912/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101296 CPUtime=1422.33 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23084 0 0 0 142121 112 0 0 25 0 1 0 829817402 103727104 22869 33554432000 134512640 137138936 4290865120 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25324 22869 192 642 0 24680 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 101296

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/459 17599
/proc/meminfo: memFree=25490056/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101296 CPUtime=1482.31 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23084 0 0 0 148115 116 0 0 25 0 1 0 829817402 103727104 22869 33554432000 134512640 137138936 4290865120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25324 22869 192 642 0 24680 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 101296

[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/459 17601
/proc/meminfo: memFree=25475024/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101296 CPUtime=1542.32 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23084 0 0 0 154111 121 0 0 25 0 1 0 829817402 103727104 22869 33554432000 134512640 137138936 4290865120 18446744073709551615 136505666 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25324 22869 192 642 0 24680 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 101296

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17602
/proc/meminfo: memFree=25457640/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101296 CPUtime=1602.32 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23084 0 0 0 160107 125 0 0 25 0 1 0 829817402 103727104 22869 33554432000 134512640 137138936 4290865120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25324 22869 192 642 0 24680 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 101296

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17604
/proc/meminfo: memFree=25442368/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1662.32 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 166103 129 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 101312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17606
/proc/meminfo: memFree=25427464/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1722.33 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 172099 134 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 101312

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17607
/proc/meminfo: memFree=25411572/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1782.32 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 178094 138 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 101312

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17607
/proc/meminfo: memFree=25410580/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1785.53 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 178414 139 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 101312

[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17607
/proc/meminfo: memFree=25408956/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1791.94 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 179055 139 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 101312

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17607
/proc/meminfo: memFree=25408336/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1795.13 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 179374 139 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 134575800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 101312

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17608
/proc/meminfo: memFree=25408088/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1796.72 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 179533 139 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 101312

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17608
/proc/meminfo: memFree=25407964/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1797.53 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 179613 140 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 101312

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17608
/proc/meminfo: memFree=25407964/32951124 swapFree=60688864/67111528
[pid=17532] ppid=17530 vsize=101312 CPUtime=1797.93 cores=0,2,4,6
/proc/17532/stat : 17532 (bsolo) R 17530 17532 14960 0 -1 4202496 23088 0 0 0 179653 140 0 0 25 0 1 0 829817402 103743488 22873 33554432000 134512640 137138936 4290865120 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17532/statm: 25328 22873 192 642 0 24684 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 101312

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1796.6
CPU system time (s): 1.40679
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 101312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.6
system time used= 1.40679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23089
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= 5
involuntary context switches= 4041

runsolver used 8.40572 second user time and 18.1512 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-04 12:09:52
IDJOB=3462714
IDBENCH=48130
IDSOLVER=1955
FILE ID=node132/3462714-1307182192
RUNJOBID= node132-1307174147-16199
PBS_JOBID= 13508840
Free space on /tmp= 73920 MiB

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

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

MD5SUM BENCH= e6ef25c6f832d5fe55af9368c1298b73
RANDOM SEED=231353565

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26004096 kB
Buffers:        327520 kB
Cached:        3045380 kB
SwapCached:      15140 kB
Active:        1290680 kB
Inactive:      5394304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26004096 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:     3304820 kB
Mapped:          19900 kB
Slab:           144176 kB
PageTables:      50704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109490048 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node132 at 2011-06-04 12:39:50