Trace number 3737014

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
PB09: bsolo 3.1SAT6 1798.01 1798.44

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
MD5SUM65a3c38bd8963c911b96c745ee468cb1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.08083
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
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 constraint26
Maximum length of a constraint40
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)3062
Sum of products size (including duplicates)6124
Number of different products3062
Sum of products size6124

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.1 - 13/04/2009 : 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737014-1338730219.opb
0.00/0.00	c File size is 218884 bytes.
0.00/0.01	c Highest Coefficient sum: 100
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: 3162 Constr: 6224 3162/0/3062 Lit: 21534 Watch. Lit: 15510
0.00/0.02	c Obj. Vars: 100 (3.16256 % of total variables)
0.09/0.10	c Pre-processing Time: 0.098 s
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6224    21534    3    15510   19425      0      0 0.10
0.09/0.10	c Switching off lower bounding mode.
0.09/0.10	o 99
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6225    21634    3    15513   19492      1      0 0.10
0.09/0.10	o 98
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6226    21734    3    15517   19592      2      0 0.10
0.09/0.10	o 97
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6227    21834    3    15522   19725      3      0 0.10
0.09/0.10	o 96
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6228    21934    3    15528   19892      4      0 0.10
0.09/0.11	o 95
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6229    22034    3    15535   20092      5      0 0.10
0.09/0.11	o 94
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6230    22134    3    15543   20325      6      0 0.11
0.09/0.11	o 93
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6231    22234    3    15552   20592      7      0 0.11
0.09/0.11	o 92
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6232    22334    3    15562   20892      8      0 0.11
0.09/0.11	o 91
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6233    22434    3    15573   21225      9      0 0.11
0.09/0.11	o 90
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6234    22534    3    15585   21592     10      0 0.11
0.09/0.12	o 89
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6235    22634    3    15598   21992     11      0 0.12
0.09/0.12	o 88
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6236    22734    3    15612   22425     12      0 0.12
0.09/0.12	o 87
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6237    22834    3    15627   22892     13      0 0.12
0.09/0.12	o 86
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6238    22934    3    15643   23392     14      0 0.12
0.09/0.12	o 85
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6239    23034    3    15660   23925     15      0 0.12
0.09/0.12	o 84
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6240    23134    3    15678   24492     16      0 0.12
0.09/0.13	o 83
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6241    23234    3    15697   25092     17      0 0.13
0.09/0.13	o 82
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6242    23334    3    15717   25725     18      0 0.13
0.09/0.13	o 81
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6243    23434    3    15738   26392     19      0 0.13
0.09/0.13	o 80
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6244    23534    3    15760   27092     20      0 0.13
0.09/0.13	o 79
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6245    23634    3    15783   27825     21      0 0.13
0.09/0.13	o 78
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6246    23734    3    15807   28592     22      0 0.13
0.09/0.14	o 77
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6247    23834    3    15832   29392     23      0 0.14
0.09/0.14	o 76
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6248    23934    3    15858   30225     24      0 0.14
0.09/0.14	o 75
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6249    24034    3    15885   31092     25      0 0.14
0.09/0.14	o 74
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6250    24134    3    15913   31992     26      0 0.14
0.09/0.14	o 73
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6251    24234    3    15942   32925     27      0 0.14
0.09/0.14	o 72
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6252    24334    3    15972   33892     28      0 0.14
0.09/0.15	o 71
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6253    24434    3    16003   34892     29      0 0.15
0.09/0.15	o 70
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6254    24534    3    16035   35892     30      0 0.15
0.09/0.15	o 69
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6255    24634    3    16068   36892     31      0 0.15
0.09/0.15	o 68
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6256    24734    3    16102   37892     32      0 0.15
0.09/0.15	o 67
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6257    24834    3    16137   38892     33      0 0.15
0.09/0.15	o 66
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3162     6258    24934    3    16173   39892     34      0 0.15
0.09/0.16	o 65
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3162     6259    25034    3    16210   40892     35      0 0.16
0.09/0.16	o 64
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3162     6260    25134    4    16248   41892     36      0 0.16
0.09/0.16	o 63
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3162     6261    25234    4    16287   42892     37      0 0.16
0.09/0.16	o 62
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3162     6262    25334    4    16327   43892     38      0 0.16
0.09/0.16	o 61
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3162     6263    25434    4    16368   44892     39      0 0.16
0.09/0.16	o 60
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3162     6264    25534    4    16410   45892     40      0 0.16
0.09/0.17	o 59
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3162     6265    25634    4    16453   46892     41      0 0.17
0.09/0.17	o 58
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3162     6266    25734    4    16497   47892     42      0 0.17
0.09/0.17	o 57
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3162     6267    25834    4    16542   48892     43      0 0.17
0.09/0.17	o 56
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3162     6268    25934    4    16588   49892     44      0 0.17
0.09/0.17	o 55
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3162     6269    26034    4    16635   50892     45      0 0.17
0.09/0.17	o 54
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3162     6270    26134    4    16683   51892     46      0 0.17
0.09/0.17	o 53
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3162     6271    26234    4    16732   52892     47      0 0.17
0.09/0.18	o 52
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3162     6272    26334    4    16782   53892     48      0 0.17
0.09/0.18	o 51
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3162     6273    26434    4    16833   54892     49      0 0.18
0.09/0.18	o 50
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3162     6274    26534    4    16885   55892     50      0 0.18
0.09/0.18	o 39
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        1   3162     6276    26684    4    16950   55892     52      5 0.18
0.09/0.18	o 9
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        1   3162     6277    26784    4    17043   55892     53      5 0.18
0.19/0.21	c      101   3162     6381    34843    5    17251   61482    157    480 0.21
0.19/0.21	o 8
0.19/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.30	c      101   3162     6382    34943    5    17345   55892    158    476 0.21
0.19/0.30	c      202   3162     6483    46213    7    17547   61482    259    824 0.24
0.19/0.30	o 7
124.77/124.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
124.77/124.84	c      382   3162     6666    66087    9    18006   55892    442   1294 0.29
124.77/124.84	c      482   3162     6767    76843   11    18208   61482    543   1474 0.33
124.77/124.84	c      733   3162     7029   101561   14    18732   67631    805   1814 0.40
124.77/124.84	c     1209   3162     7520   155916   20    19714   74395   1296   2098 0.58
124.77/124.84	c     2023   3162     8352   245410   29    21466   81835   2128   2270 0.89
124.77/124.84	c     3344   3162     9716   416663   42    24419   90019   3492   2218 1.51
124.77/124.84	c     5425   3162    11901   622428   52    28980   99021   5677   2057 2.64
124.77/124.84	c     8648   3162    15313   964017   62    36408  108924   9089   1730 5.00
124.77/124.84	c    13585   3162    20476  1428983   69    47227  119817  14252   1472 9.22
124.77/124.84	c    21094   3162    28405  2151164   75    63697  131799  22181   1177 17.92
124.77/124.84	c    32455   3162    40325  3351666   83    89520  144979  34101    890 36.44
124.77/124.84	c    49599   3162    58384  4968191   85   128389  159477  52160    682 72.68
124.77/124.84	o 6
1797.97/1798.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.43	c    64950   3162    74778  8368049  111   163234   55892  68554    520 124.82
1797.97/1798.43	c    65052   3162    19031  3013572  158    42926   61482  12807    515 126.17
1797.97/1798.43	c    65302   3162    19295  3037291  157    43454   67631  13071    516 126.44
1797.97/1798.43	c    65778   3162    19787  3087416  156    44546   74395  13563    518 126.91
1797.97/1798.43	c    66595   3162    20622  3144699  152    46260   81835  14398    521 127.75
1797.97/1798.43	c    67915   3162    22021  3281927  149    49251   90019  15797    526 128.97
1797.97/1798.43	c    70001   3162    24264  3488780  143    53758   99021  18040    530 131.92
1797.97/1798.43	c    73224   3162    27643  3956468  143    60595  108924  21419    536 136.41
1797.97/1798.43	c    78163   3162    32836  4886052  148    71345  119817  26612    544 143.50
1797.97/1798.43	c    85674   3162    40827  5716839  140    88642  131799  34603    544 157.32
1797.97/1798.43	c    97036   3162    52877  6739358  127   114137  144979  46653    532 182.29
1797.97/1798.43	c   114180   3162    71116  8958460  125   151634  159477  64892    493 231.29
1797.97/1798.43	c   140002   3162    98343 11215400  114   208294  175425  92119    424 330.08
1797.97/1798.43	c   178836   3162   139475 16715164  119   294832  192968 133251    330 541.24
1797.97/1798.43	c   237188   3162    20313  2254574  110    45316  212265  14089    247 956.89
1797.97/1798.43	c   324820   3162   113882 12359419  108   245473  233492 107658    257 1263.57
1797.97/1798.43	c Resources Exceeded
1797.97/1798.43	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 x1446 -x1447 x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 
1797.97/1798.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.43	c   83   400489 123511   683463   194679 32601135 188455    222 1798.01
1797.97/1798.43	c Objective: 6
1797.97/1798.43	s SATISFIABLE
1797.97/1798.43	c Total time: 1798.01 s

Verifier Data 

OK	6

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-3737014-1338730219/watcher-3737014-1338730219 -o /tmp/evaluation-result-3737014-1338730219/solver-3737014-1338730219 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737014-1338730219.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.02 2.01 2.00 4/177 1798
/proc/meminfo: memFree=27664708/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=18832 CPUtime=0 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 339147887 19283968 254 33554432000 134512640 137136520 4289759872 4289758224 136575102 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 4708 254 174 641 0 4010 0

[startup+0.092526 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 1798
/proc/meminfo: memFree=27664708/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=12572 CPUtime=0.08 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 818 0 0 0 8 0 0 0 20 0 1 0 339147887 12873728 717 33554432000 134512640 137136520 4289759872 4289720412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 3143 717 191 641 0 2499 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12572

[startup+0.100224 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 1798
/proc/meminfo: memFree=27664708/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=12308 CPUtime=0.09 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 818 0 0 0 9 0 0 0 20 0 1 0 339147887 12603392 651 33554432000 134512640 137136520 4289759872 4289720556 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 3077 651 191 641 0 2433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12308

[startup+0.300179 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 1798
/proc/meminfo: memFree=27664708/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=12968 CPUtime=0.29 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 1022 0 0 0 28 1 0 0 20 0 1 0 339147887 13279232 821 33554432000 134512640 137136520 4289759872 4289758880 136379950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 3242 821 197 641 0 2598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12968

[startup+0.700183 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 1798
/proc/meminfo: memFree=27664708/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=14796 CPUtime=0.69 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 1470 0 0 0 68 1 0 0 20 0 1 0 339147887 15151104 1269 33554432000 134512640 137136520 4289759872 4289758988 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 3699 1269 197 641 0 3055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14796

[startup+1.50018 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 1799
/proc/meminfo: memFree=27657360/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=17936 CPUtime=1.48 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 2252 0 0 0 147 1 0 0 20 0 1 0 339147887 18366464 2051 33554432000 134512640 137136520 4289759872 4289758988 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 4484 2051 197 641 0 3840 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17936

[startup+3.10018 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 1799
/proc/meminfo: memFree=27651780/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=21932 CPUtime=3.08 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 3251 0 0 0 307 1 0 0 20 0 1 0 339147887 22458368 3050 33554432000 134512640 137136520 4289759872 4289758496 134554219 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 5483 3050 197 641 0 4839 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21932

[startup+6.30019 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 1799
/proc/meminfo: memFree=27640744/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=28124 CPUtime=6.29 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 4798 0 0 0 626 3 0 0 20 0 1 0 339147887 28798976 4597 33554432000 134512640 137136520 4289759872 4289758800 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 7031 4597 197 641 0 6387 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28124

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 1799
/proc/meminfo: memFree=27625472/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=37224 CPUtime=12.68 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 7085 0 0 0 1264 4 0 0 20 0 1 0 339147887 38117376 6884 33554432000 134512640 137136520 4289759872 4289758800 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 9306 6884 197 641 0 8662 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37224

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 1799
/proc/meminfo: memFree=27603136/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=50908 CPUtime=25.48 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 10501 0 0 0 2543 5 0 0 20 0 1 0 339147887 52129792 10300 33554432000 134512640 137136520 4289759872 4289758628 136500536 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 12727 10300 197 641 0 12083 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50908

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1799
/proc/meminfo: memFree=27568008/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=70792 CPUtime=51.08 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 15457 0 0 0 5099 9 0 0 20 0 1 0 339147887 72491008 15256 33554432000 134512640 137136520 4289759872 4289758800 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 17698 15256 197 641 0 17054 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70792

[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 1799
/proc/meminfo: memFree=27501208/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=101968 CPUtime=102.27 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 23271 0 0 0 10212 15 0 0 20 0 1 0 339147887 104415232 23070 33554432000 134512640 137136520 4289759872 4289758800 134544189 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 25492 23070 197 641 0 24848 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 101968

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1799
/proc/meminfo: memFree=27432496/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=129584 CPUtime=162.26 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 30231 0 0 0 16205 21 0 0 20 0 1 0 339147887 132694016 29963 33554432000 134512640 137136520 4289759872 4289758800 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 32396 29963 197 641 0 31752 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 129584

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1799
/proc/meminfo: memFree=27393404/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=134448 CPUtime=222.25 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 31445 0 0 0 22200 25 0 0 20 0 1 0 339147887 137674752 31177 33554432000 134512640 137136520 4289759872 4289758640 134573959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 33612 31177 197 641 0 32968 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 134448

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1800
/proc/meminfo: memFree=27320480/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=157288 CPUtime=282.24 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 37145 0 0 0 28194 30 0 0 20 0 1 0 339147887 161062912 36877 33554432000 134512640 137136520 4289759872 4289758748 136509008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 39322 36877 197 641 0 38678 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 157288

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1800
/proc/meminfo: memFree=27251316/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=175036 CPUtime=342.23 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 41608 0 0 0 34188 35 0 0 20 0 1 0 339147887 179236864 41340 33554432000 134512640 137136520 4289759872 4289758152 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 43759 41340 197 641 0 43115 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 175036

[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 1800
/proc/meminfo: memFree=27163552/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=205372 CPUtime=402.22 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 49165 0 0 0 40182 40 0 0 20 0 1 0 339147887 210300928 48897 33554432000 134512640 137136520 4289759872 4289758800 134543959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 51343 48897 197 641 0 50699 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 205372

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1800
/proc/meminfo: memFree=27093520/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=228556 CPUtime=462.22 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 54989 0 0 0 46177 45 0 0 20 0 1 0 339147887 234041344 54721 33554432000 134512640 137136520 4289759872 4289758792 135982492 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 57139 54721 197 641 0 56495 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 228556

[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 1800
/proc/meminfo: memFree=27037376/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=243052 CPUtime=522.21 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 58584 0 0 0 52173 48 0 0 20 0 1 0 339147887 248885248 58316 33554432000 134512640 137136520 4289759872 4289758800 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 60763 58316 197 641 0 60119 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 243052

[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 1801
/proc/meminfo: memFree=26985472/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=261816 CPUtime=582.17 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 63302 0 0 0 58166 51 0 0 20 0 1 0 339147887 268099584 63004 33554432000 134512640 137136520 4289759872 4289758800 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 65454 63004 197 641 0 64810 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 261816

[startup+642.3 s]

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

/proc/meminfo: memFree=26579412/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=367888 CPUtime=1122.01 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 90136 0 0 0 112117 84 0 0 20 0 1 0 339147887 376717312 89539 33554432000 134512640 137136520 4289759872 4289758800 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 91972 89539 197 641 0 91328 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 367888

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1806
/proc/meminfo: memFree=26547796/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=367888 CPUtime=1182 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 90136 0 0 0 118114 86 0 0 20 0 1 0 339147887 376717312 89539 33554432000 134512640 137136520 4289759872 4289758800 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 91972 89539 197 641 0 91328 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 367888

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1810
/proc/meminfo: memFree=26508244/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=367888 CPUtime=1241.99 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 90136 0 0 0 124109 90 0 0 20 0 1 0 339147887 376717312 89539 33554432000 134512640 137136520 4289759872 4289758800 134543927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 91972 89539 197 641 0 91328 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 367888

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1810
/proc/meminfo: memFree=26483700/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=367888 CPUtime=1301.99 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 90136 0 0 0 130107 92 0 0 20 0 1 0 339147887 376717312 89539 33554432000 134512640 137136520 4289759872 4289758800 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 91972 89539 197 641 0 91328 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 367888

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1810
/proc/meminfo: memFree=26456420/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=367888 CPUtime=1361.97 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 90136 0 0 0 136103 94 0 0 20 0 1 0 339147887 376717312 89539 33554432000 134512640 137136520 4289759872 4289758716 136499605 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 91972 89539 197 641 0 91328 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 367888

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1868
/proc/meminfo: memFree=27875212/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=367888 CPUtime=1421.97 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 90136 0 0 0 142101 96 0 0 20 0 1 0 339147887 376717312 89539 33554432000 134512640 137136520 4289759872 4289758800 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 91972 89539 197 641 0 91328 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 367888

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1919
/proc/meminfo: memFree=27655444/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=367888 CPUtime=1481.95 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 90136 0 0 0 148097 98 0 0 20 0 1 0 339147887 376717312 89539 33554432000 134512640 137136520 4289759872 4289758800 134544396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 91972 89539 197 641 0 91328 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 367888

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1919
/proc/meminfo: memFree=27633620/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=367888 CPUtime=1541.94 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 90136 0 0 0 154093 101 0 0 20 0 1 0 339147887 376717312 89539 33554432000 134512640 137136520 4289759872 4289758800 134544714 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 91972 89539 197 641 0 91328 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 367888

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1919
/proc/meminfo: memFree=27598716/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=391660 CPUtime=1601.9 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 96101 0 0 0 160086 104 0 0 20 0 1 0 339147887 401059840 95474 33554432000 134512640 137136520 4289759872 4289758988 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 97915 95474 197 641 0 97271 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 391660

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1919
/proc/meminfo: memFree=27563100/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=426192 CPUtime=1661.89 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 104764 0 0 0 166081 108 0 0 20 0 1 0 339147887 436420608 104115 33554432000 134512640 137136520 4289759872 4289758800 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 106548 104115 197 641 0 105904 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 426192

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1919
/proc/meminfo: memFree=27520116/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=455796 CPUtime=1721.87 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 112162 0 0 0 172076 111 0 0 20 0 1 0 339147887 466735104 111513 33554432000 134512640 137136520 4289759872 4289758800 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 113949 111513 197 641 0 113305 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 455796

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1920
/proc/meminfo: memFree=27511648/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=465228 CPUtime=1781.87 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 114506 0 0 0 178072 115 0 0 20 0 1 0 339147887 476393472 113857 33554432000 134512640 137136520 4289759872 4289758800 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 116307 113857 197 641 0 115663 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 465228

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 1923
/proc/meminfo: memFree=27510120/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=466720 CPUtime=1791.47 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 114897 0 0 0 179032 115 0 0 20 0 1 0 339147887 477921280 114248 33554432000 134512640 137136520 4289759872 4289758800 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 116680 114248 197 641 0 116036 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 466720

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1923
/proc/meminfo: memFree=27509824/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=467120 CPUtime=1794.67 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 115002 0 0 0 179352 115 0 0 20 0 1 0 339147887 478330880 114353 33554432000 134512640 137136520 4289759872 4289758800 134544703 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 116780 114353 197 641 0 116136 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 467120

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1923
/proc/meminfo: memFree=27509824/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=467384 CPUtime=1796.26 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 115066 0 0 0 179511 115 0 0 20 0 1 0 339147887 478601216 114417 33554432000 134512640 137136520 4289759872 4289758800 134544396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 116846 114417 197 641 0 116202 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 467384

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1923
/proc/meminfo: memFree=27509824/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=467520 CPUtime=1797.06 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 115110 0 0 0 179591 115 0 0 20 0 1 0 339147887 478740480 114461 33554432000 134512640 137136520 4289759872 4289758800 134544547 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 116880 114461 197 641 0 116236 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 467520

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1923
/proc/meminfo: memFree=27509824/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=467660 CPUtime=1797.46 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 115129 0 0 0 179631 115 0 0 20 0 1 0 339147887 478883840 114480 33554432000 134512640 137136520 4289759872 4289758800 134544157 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 116915 114480 197 641 0 116271 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 467660

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1923
/proc/meminfo: memFree=27509824/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=467792 CPUtime=1797.86 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 115150 0 0 0 179671 115 0 0 20 0 1 0 339147887 479019008 114501 33554432000 134512640 137136520 4289759872 4289758512 134606769 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 116948 114501 197 641 0 116304 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 467792

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1923
/proc/meminfo: memFree=27509328/32873648 swapFree=6864/6864
[pid=1798] ppid=1795 vsize=467792 CPUtime=1797.97 cores=0,2,4,6
/proc/1798/stat : 1798 (bsolo) R 1795 1798 31961 0 -1 4202496 115156 0 0 0 179682 115 0 0 20 0 1 0 339147887 479019008 114507 33554432000 134512640 137136520 4289759872 4289758800 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1798/statm: 116948 114507 197 641 0 116304 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 467792

Child status: 0
Real time (s): 1798.44
CPU time (s): 1798.01
CPU user time (s): 1796.85
CPU system time (s): 1.15982
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 467792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.85
system time used= 1.15982
maximum resident set size= 458056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115164
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= 191
involuntary context switches= 1955

runsolver used 4.40033 second user time and 9.76552 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-03 15:30:19
IDJOB=3737014
IDBENCH=48159
IDSOLVER=2320
FILE ID=node120/3737014-1338730219
RUNJOBID= node120-1338713480-31977
PBS_JOBID= 14636735
Free space on /tmp= 70768 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737014-1338730219/watcher-3737014-1338730219 -o /tmp/evaluation-result-3737014-1338730219/solver-3737014-1338730219 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3737014-1338730219.opb

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=747088582

node120.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.456
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.91
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.456
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.456
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.92
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.456
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.88
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.456
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.456
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.83
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.456
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.456
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:        27665136 kB
Buffers:          567124 kB
Cached:          3125868 kB
SwapCached:         1580 kB
Active:          2293824 kB
Inactive:        1983368 kB
Active(anon):     576408 kB
Inactive(anon):     9224 kB
Active(file):    1717416 kB
Inactive(file):  1974144 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:              3876 kB
Writeback:             0 kB
AnonPages:        559760 kB
Mapped:            11520 kB
Shmem:                32 kB
Slab:             794664 kB
SReclaimable:     238756 kB
SUnreclaim:       555908 kB
KernelStack:        1456 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     706836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737014-1338730219.opb

Free space on /tmp at the end= 70768 MiB
End job on node120 at 2012-06-03 16:00:18