Trace number 3708450

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.2SAT15 1798.01 1798.59

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1789.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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-3708450-1338171659.opb
0.00/0.00	c File size is 83980 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.012 s
0.00/0.01	c Var: 6404 Constr: 12608 6404/0/6204 Lit: 43628 Watch. Lit: 31420
0.00/0.01	c Obj. Vars: 200 (3.12305 % of total variables)
0.09/0.18	c Pre-processing Time: 0.184 s
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   6404    12608    43628    3    31420   39358      0      0 0.18
0.09/0.18	c Switching off lower bounding mode.
0.09/0.18	o 199
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6404    12609    43828    3    31423   39491      1      0 0.19
0.09/0.19	o 198
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6404    12610    44028    3    31427   39691      2      0 0.19
0.09/0.19	o 197
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6404    12611    44228    3    31432   39958      3      0 0.19
0.09/0.19	o 196
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   6404    12612    44428    3    31438   40291      4      0 0.20
0.19/0.20	o 195
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   6404    12613    44628    3    31445   40691      5      0 0.20
0.19/0.20	o 194
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6404    12614    44828    3    31453   41158      6      0 0.20
0.19/0.21	o 193
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6404    12615    45028    3    31462   41691      7      0 0.21
0.19/0.21	o 192
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6404    12616    45228    3    31472   42291      8      0 0.21
0.19/0.21	o 191
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   6404    12617    45428    3    31483   42958      9      0 0.22
0.19/0.22	o 190
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   6404    12618    45628    3    31495   43691     10      0 0.22
0.19/0.22	o 189
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   6404    12619    45828    3    31508   44491     11      0 0.22
0.19/0.23	o 188
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   6404    12620    46028    3    31522   45358     12      0 0.23
0.19/0.23	o 187
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   6404    12621    46228    3    31537   46291     13      0 0.23
0.19/0.24	o 186
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   6404    12622    46428    3    31553   47291     14      0 0.24
0.19/0.24	o 185
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   6404    12623    46628    3    31570   48291     15      0 0.24
0.19/0.24	o 184
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   6404    12624    46828    3    31588   49291     16      0 0.25
0.19/0.25	o 183
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   6404    12625    47028    3    31607   50291     17      0 0.25
0.19/0.25	o 182
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   6404    12626    47228    3    31627   51291     18      0 0.26
0.19/0.26	o 181
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   6404    12627    47428    3    31648   52291     19      0 0.26
0.19/0.26	o 180
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   6404    12628    47628    3    31670   53291     20      0 0.27
0.19/0.27	o 179
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   6404    12629    47828    3    31693   54291     21      0 0.27
0.19/0.27	o 178
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   6404    12630    48028    3    31717   55291     22      0 0.28
0.19/0.28	o 177
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   6404    12631    48228    3    31742   56291     23      0 0.28
0.19/0.28	o 176
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   6404    12632    48428    3    31768   57291     24      0 0.28
0.19/0.29	o 175
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   6404    12633    48628    3    31795   58291     25      0 0.29
0.19/0.29	o 174
0.28/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.30	c        0   6404    12634    48828    3    31823   59291     26      0 0.30
0.28/0.30	o 173
0.28/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.30	c        0   6404    12635    49028    3    31852   60291     27      0 0.30
0.28/0.30	o 172
0.28/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.31	c        0   6404    12636    49228    3    31882   61291     28      0 0.31
0.28/0.31	o 171
0.28/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.31	c        0   6404    12637    49428    3    31913   62291     29      0 0.31
0.28/0.31	o 170
0.28/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.32	c        0   6404    12638    49628    3    31945   63291     30      0 0.32
0.28/0.32	o 169
0.28/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.32	c        0   6404    12639    49828    3    31978   64291     31      0 0.32
0.28/0.32	o 168
0.28/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.33	c        0   6404    12640    50028    3    32012   65291     32      0 0.33
0.28/0.33	o 167
0.28/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.33	c        0   6404    12641    50228    3    32047   66291     33      0 0.33
0.28/0.33	o 166
0.28/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.34	c        0   6404    12642    50428    3    32083   67291     34      0 0.34
0.28/0.34	o 165
0.28/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.34	c        0   6404    12643    50628    4    32120   68291     35      0 0.34
0.28/0.34	o 164
0.28/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.35	c        0   6404    12644    50828    4    32158   69291     36      0 0.35
0.28/0.35	o 163
0.28/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.36	c        0   6404    12645    51028    4    32197   70291     37      0 0.35
0.28/0.36	o 162
0.28/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.36	c        0   6404    12646    51228    4    32237   71291     38      0 0.36
0.28/0.36	o 161
0.28/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.37	c        0   6404    12647    51428    4    32278   72291     39      0 0.36
0.28/0.37	o 160
0.28/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.37	c        0   6404    12648    51628    4    32320   73291     40      0 0.37
0.28/0.37	o 159
0.28/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.38	c        0   6404    12649    51828    4    32363   74291     41      0 0.37
0.28/0.38	o 158
0.28/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.38	c        0   6404    12650    52028    4    32407   75291     42      0 0.38
0.28/0.38	o 157
0.28/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.39	c        0   6404    12651    52228    4    32452   76291     43      0 0.38
0.28/0.39	o 156
0.28/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.39	c        0   6404    12652    52428    4    32498   77291     44      0 0.39
0.28/0.39	o 155
0.38/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.40	c        0   6404    12653    52628    4    32545   78291     45      0 0.39
0.38/0.40	o 154
0.38/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.40	c        0   6404    12654    52828    4    32593   79291     46      0 0.40
0.38/0.40	o 153
0.38/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.41	c        0   6404    12655    53028    4    32642   80291     47      0 0.40
0.38/0.41	o 152
0.38/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.41	c        0   6404    12656    53228    4    32692   81291     48      0 0.41
0.38/0.41	o 151
0.38/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.42	c        0   6404    12657    53428    4    32743   82291     49      0 0.41
0.38/0.42	o 150
0.38/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.42	c        0   6404    12658    53628    4    32795   83291     50      0 0.42
0.38/0.42	o 149
0.38/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.42	c        0   6404    12659    53828    4    32848   84291     51      0 0.42
0.38/0.42	o 148
0.38/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.43	c        0   6404    12660    54028    4    32902   85291     52      0 0.43
0.38/0.43	o 147
0.38/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.43	c        0   6404    12661    54228    4    32957   86291     53      0 0.43
0.38/0.43	o 146
0.38/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.44	c        1   6404    12663    54575    4    33015   86291     55      2 0.44
0.38/0.44	o 16
69.37/69.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
69.37/69.46	c        1   6404    12664    54775    4    33201   86291     56      2 0.44
69.37/69.46	c      102   6404    12772    69831    5    33417   94921    164    209 0.49
69.37/69.46	c      352   6404    13043   102806    7    34141  104414    435    577 0.61
69.37/69.46	c      827   6404    13542   163380   12    35139  114856    934    951 0.87
69.37/69.46	c     1640   6404    14409   291011   20    36873  126342   1801   1270 1.29
69.37/69.46	c     2961   6404    15881   578039   36    39882  138977   3273   1420 2.08
69.37/69.46	c     5043   6404    18164  1131333   62    46448  152875   5556   1318 3.83
69.37/69.46	c     8267   6404    21702  1708975   78    53678  168163   9094   1255 6.59
69.37/69.46	c    13205   6404    27025  2503002   92    65585  184980  14417   1122 11.77
69.37/69.46	c    20713   6404    35150  3926305  111    83914  203479  22542    973 21.27
69.37/69.46	c    32074   6404    47421  7055404  148   113200  223827  34813    696 46.06
69.37/69.46	o 15
1797.91/1798.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.58	c    40555   6404    56630  9259329  163   134570   86291  44022    583 69.46
1797.91/1798.58	c    40657   6404    56736  9277906  163   134782   94921  44128    582 69.82
1797.91/1798.58	c    40907   6404    56998  9303478  163   135306  104414  44390    581 70.41
1797.91/1798.58	c    41383   6404    57495  9368098  162   136300  114856  44887    577 71.65
1797.91/1798.58	c    42197   6404    58339  9443939  161   138169  126342  45731    574 73.39
1797.91/1798.58	c    43518   6404    59769  9654898  161   141369  138977  47161    565 76.90
1797.91/1798.58	c    45599   6404    61970  9906653  159   146499  152875  49362    553 82.43
1797.91/1798.58	c    48822   6404    65420 10382486  158   154950  168163  52812    533 91.47
1797.91/1798.58	c    53758   6404    70831 11580560  163   168207  184980  58223    504 106.58
1797.91/1798.58	c    61265   6404    79063 13105321  165   186582  203479  66455    465 131.73
1797.91/1798.58	c    72627   6404    91560 15886167  173   217642  223827  78952    389 186.35
1797.91/1798.58	c    89773   6404   110450 20866040  188   267048  246210  97842    304 294.50
1797.91/1798.58	c   115592   6404   138817 29547419  212   336421  270832 126209    241 479.61
1797.91/1798.58	c   154425   6404   181334 44794526  247   456633  297916 168726    164 937.69
1797.91/1798.58	c Resources Exceeded
1797.91/1798.58	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 
1797.91/1798.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.58	c   79   207775  60586   364904   241650 71320291 229042    115 1798.00
1797.91/1798.58	c Objective: 15
1797.91/1798.58	s SATISFIABLE
1797.91/1798.58	c Total time: 1798 s

Verifier Data 

OK	15

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10132
/proc/meminfo: memFree=29201908/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=11432 CPUtime=0 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 283290312 11706368 373 33554432000 134512640 137138936 4291977184 4291975192 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 2858 373 177 642 0 2193 0

[startup+0.0898021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10132
/proc/meminfo: memFree=29201908/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=13912 CPUtime=0.08 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 1079 0 0 0 8 0 0 0 20 0 1 0 283290312 14245888 1011 33554432000 134512640 137138936 4291977184 4291899036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 3478 1011 185 642 0 2834 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13912

[startup+0.100278 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10132
/proc/meminfo: memFree=29201908/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=13912 CPUtime=0.09 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 1079 0 0 0 9 0 0 0 20 0 1 0 283290312 14245888 1011 33554432000 134512640 137138936 4291977184 4291899036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 3478 1011 185 642 0 2834 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13912

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10132
/proc/meminfo: memFree=29201908/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=14052 CPUtime=0.28 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 1448 0 0 0 28 0 0 0 20 0 1 0 283290312 14389248 1074 33554432000 134512640 137138936 4291977184 4291976300 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 3513 1074 188 642 0 2869 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14052

[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10132
/proc/meminfo: memFree=29201908/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=15172 CPUtime=0.69 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 1730 0 0 0 68 1 0 0 20 0 1 0 283290312 15536128 1356 33554432000 134512640 137138936 4291977184 4291976036 136511155 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 3793 1356 192 642 0 3149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15172

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10133
/proc/meminfo: memFree=29195716/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=18440 CPUtime=1.49 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 2549 0 0 0 148 1 0 0 20 0 1 0 283290312 18882560 2175 33554432000 134512640 137138936 4291977184 4291975464 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 4610 2175 192 642 0 3966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18440

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10133
/proc/meminfo: memFree=29189748/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=25740 CPUtime=3.09 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 4379 0 0 0 308 1 0 0 20 0 1 0 283290312 26357760 4005 33554432000 134512640 137138936 4291977184 4291976300 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 6435 4005 192 642 0 5791 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25740

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10133
/proc/meminfo: memFree=29175620/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=35736 CPUtime=6.29 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 6865 0 0 0 627 2 0 0 20 0 1 0 283290312 36593664 6491 33554432000 134512640 137138936 4291977184 4291975792 134552486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 8934 6491 192 642 0 8290 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35736

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10133
/proc/meminfo: memFree=29154680/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=49620 CPUtime=12.68 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 10351 0 0 0 1265 3 0 0 20 0 1 0 283290312 50810880 9977 33554432000 134512640 137138936 4291977184 4291976300 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 12405 9977 192 642 0 11761 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49620

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10133
/proc/meminfo: memFree=29122556/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=74172 CPUtime=25.49 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 16483 0 0 0 2544 5 0 0 20 0 1 0 283290312 75952128 16109 33554432000 134512640 137138936 4291977184 4291976112 134543220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 18543 16109 192 642 0 17899 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 74172

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10134
/proc/meminfo: memFree=29066708/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=114596 CPUtime=51.08 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 26568 0 0 0 5099 9 0 0 20 0 1 0 283290312 117346304 26194 33554432000 134512640 137138936 4291977184 4291975868 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 28649 26194 192 642 0 28005 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 114596

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10134
/proc/meminfo: memFree=28979828/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=163612 CPUtime=102.28 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 38833 0 0 0 10212 16 0 0 20 0 1 0 283290312 167538688 38459 33554432000 134512640 137138936 4291977184 4291976112 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 40903 38459 192 642 0 40259 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 163612

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10134
/proc/meminfo: memFree=28898388/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=208452 CPUtime=162.27 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 50059 0 0 0 16203 24 0 0 20 0 1 0 283290312 213454848 49685 33554432000 134512640 137138936 4291977184 4291975680 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 52113 49685 192 642 0 51469 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 208452

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10134
/proc/meminfo: memFree=28811988/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=248204 CPUtime=222.25 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 59981 0 0 0 22193 32 0 0 20 0 1 0 283290312 254160896 59607 33554432000 134512640 137138936 4291977184 4291976112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 62051 59607 192 642 0 61407 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 248204

[startup+282.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 10134
/proc/meminfo: memFree=28740908/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=284584 CPUtime=282.21 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 69118 0 0 0 28182 39 0 0 20 0 1 0 283290312 291414016 68721 33554432000 134512640 137138936 4291977184 4291975932 135984570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 71146 68721 192 642 0 70502 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 284584

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10135
/proc/meminfo: memFree=28671620/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=324448 CPUtime=342.17 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 79125 0 0 0 34171 46 0 0 20 0 1 0 283290312 332234752 78680 33554432000 134512640 137138936 4291977184 4291976112 134543111 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 81112 78680 192 642 0 80468 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 324448

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10135
/proc/meminfo: memFree=28605060/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=364076 CPUtime=402.12 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 89089 0 0 0 40160 52 0 0 20 0 1 0 283290312 372813824 88596 33554432000 134512640 137138936 4291977184 4291976104 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 91019 88596 192 642 0 90375 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 364076

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10135
/proc/meminfo: memFree=28546312/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=396208 CPUtime=462.08 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 97177 0 0 0 46148 60 0 0 20 0 1 0 283290312 405716992 96634 33554432000 134512640 137138936 4291977184 4291975864 136504086 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 99052 96634 192 642 0 98408 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 396208

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10135
/proc/meminfo: memFree=28486952/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=425484 CPUtime=522.06 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 104508 0 0 0 52141 65 0 0 20 0 1 0 283290312 435695616 103952 33554432000 134512640 137138936 4291977184 4291975940 136501693 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 106371 103952 192 642 0 105727 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 425484

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10138
/proc/meminfo: memFree=28426060/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=452052 CPUtime=582.05 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 111141 0 0 0 58134 71 0 0 20 0 1 0 283290312 462901248 110585 33554432000 134512640 137138936 4291977184 4291976112 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 113013 110585 192 642 0 112369 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 452052

[startup+642.3 s]

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

/proc/meminfo: memFree=28192644/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=663452 CPUtime=1061.98 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 163994 0 0 0 106090 108 0 0 20 0 1 0 283290312 679374848 163434 33554432000 134512640 137138936 4291977184 4291976112 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 165863 163434 192 642 0 165219 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 663452

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10141
/proc/meminfo: memFree=28165416/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=690824 CPUtime=1121.97 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 170836 0 0 0 112084 113 0 0 20 0 1 0 283290312 707403776 170273 33554432000 134512640 137138936 4291977184 4291976112 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 172706 170273 192 642 0 172062 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 690824

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10144
/proc/meminfo: memFree=28144204/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=712184 CPUtime=1181.96 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 176184 0 0 0 118078 118 0 0 20 0 1 0 283290312 729276416 175618 33554432000 134512640 137138936 4291977184 4291976112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 178046 175618 192 642 0 177402 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 712184

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10144
/proc/meminfo: memFree=28120032/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=735896 CPUtime=1241.95 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 182128 0 0 0 124073 122 0 0 20 0 1 0 283290312 753557504 181561 33554432000 134512640 137138936 4291977184 4291975896 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 183974 181561 192 642 0 183330 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 735896

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10183
/proc/meminfo: memFree=29016808/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=763476 CPUtime=1301.94 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 189010 0 0 0 130067 127 0 0 20 0 1 0 283290312 781799424 188443 33554432000 134512640 137138936 4291977184 4291976112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 190869 188443 192 642 0 190225 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 763476

[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10183
/proc/meminfo: memFree=28927756/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=788808 CPUtime=1361.92 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 195336 0 0 0 136061 131 0 0 20 0 1 0 283290312 807739392 194759 33554432000 134512640 137138936 4291977184 4291976112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 197202 194759 192 642 0 196558 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 788808

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10183
/proc/meminfo: memFree=28852020/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=813328 CPUtime=1421.89 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 201533 0 0 0 142054 135 0 0 20 0 1 0 283290312 832847872 200909 33554432000 134512640 137138936 4291977184 4291976112 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 203332 200909 192 642 0 202688 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 813328

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 10183
/proc/meminfo: memFree=28785584/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=836368 CPUtime=1481.84 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 207332 0 0 0 148046 138 0 0 20 0 1 0 283290312 856440832 206667 33554432000 134512640 137138936 4291977184 4291976112 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 209092 206667 192 642 0 208448 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 836368

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10183
/proc/meminfo: memFree=28720264/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=858108 CPUtime=1541.81 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 212850 0 0 0 154040 141 0 0 20 0 1 0 283290312 878702592 212096 33554432000 134512640 137138936 4291977184 4291976112 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 214527 212096 192 642 0 213883 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 858108

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 10184
/proc/meminfo: memFree=28653828/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=883608 CPUtime=1601.77 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 219525 0 0 0 160032 145 0 0 20 0 1 0 283290312 904814592 218476 33554432000 134512640 137138936 4291977184 4291976112 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 220902 218476 192 642 0 220258 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 883608

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10184
/proc/meminfo: memFree=28590436/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=901840 CPUtime=1661.73 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 224123 0 0 0 166025 148 0 0 20 0 1 0 283290312 923484160 223037 33554432000 134512640 137138936 4291977184 4291976112 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 225460 223037 192 642 0 224816 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 901840

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10184
/proc/meminfo: memFree=28534540/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=921256 CPUtime=1721.73 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 228986 0 0 0 172020 153 0 0 20 0 1 0 283290312 943366144 227900 33554432000 134512640 137138936 4291977184 4291976112 134542310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 230314 227900 192 642 0 229670 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 921256

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 10187
/proc/meminfo: memFree=28485208/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=945076 CPUtime=1781.72 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 234937 0 0 0 178014 158 0 0 20 0 1 0 283290312 967757824 233851 33554432000 134512640 137138936 4291977184 4291976112 134542793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 236269 233851 192 642 0 235625 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 945076

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

[startup+1791.91 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 10187
/proc/meminfo: memFree=28475892/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=948872 CPUtime=1791.32 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 235881 0 0 0 178974 158 0 0 20 0 1 0 283290312 971644928 234795 33554432000 134512640 137138936 4291977184 4291976112 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 237218 234795 192 642 0 236574 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 948872

[startup+1795.1 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 10187
/proc/meminfo: memFree=28473536/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=950012 CPUtime=1794.52 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 236153 0 0 0 179294 158 0 0 20 0 1 0 283290312 972812288 235067 33554432000 134512640 137138936 4291977184 4291976112 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 237503 235067 192 642 0 236859 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 950012

[startup+1796.7 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 10187
/proc/meminfo: memFree=28472420/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=950640 CPUtime=1796.11 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 236327 0 0 0 179453 158 0 0 20 0 1 0 283290312 973455360 235241 33554432000 134512640 137138936 4291977184 4291976112 134542755 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 237660 235241 192 642 0 237016 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 950640

[startup+1797.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 10187
/proc/meminfo: memFree=28471056/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=950920 CPUtime=1796.91 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 236398 0 0 0 179533 158 0 0 20 0 1 0 283290312 973742080 235312 33554432000 134512640 137138936 4291977184 4291976016 136504022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 237730 235312 192 642 0 237086 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 950920

[startup+1798.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 10187
/proc/meminfo: memFree=28471056/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=951120 CPUtime=1797.71 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 236441 0 0 0 179613 158 0 0 20 0 1 0 283290312 973946880 235355 33554432000 134512640 137138936 4291977184 4291976112 134542007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 237780 235355 192 642 0 237136 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 951120

[startup+1798.51 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 10187
/proc/meminfo: memFree=28470684/32873844 swapFree=7628/7628
[pid=10132] ppid=10130 vsize=951120 CPUtime=1797.91 cores=1,3,5,7
/proc/10132/stat : 10132 (bsolo) R 10130 10132 8717 0 -1 4202496 236450 0 0 0 179633 158 0 0 20 0 1 0 283290312 973946880 235364 33554432000 134512640 137138936 4291977184 4291976112 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10132/statm: 237780 235364 192 642 0 237136 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 951120

Child status: 0
Real time (s): 1798.59
CPU time (s): 1798.01
CPU user time (s): 1796.41
CPU system time (s): 1.59676
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 951120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.41
system time used= 1.59676
maximum resident set size= 941472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236454
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= 422
involuntary context switches= 1838

runsolver used 3.58245 second user time and 8.35273 second system time

The end

Launcher Data 

Begin job on node145 at 2012-05-28 04:20:59
IDJOB=3708450
IDBENCH=48128
IDSOLVER=2286
FILE ID=node145/3708450-1338171659
RUNJOBID= node145-1338157126-8734
PBS_JOBID= 14624528
Free space on /tmp= 71552 MiB

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

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=159703246

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29202436 kB
Buffers:          328840 kB
Cached:          1836272 kB
SwapCached:            0 kB
Active:          1356280 kB
Inactive:        1492840 kB
Active(anon):     675468 kB
Inactive(anon):    10912 kB
Active(file):     680812 kB
Inactive(file):  1481928 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3876 kB
Writeback:             0 kB
AnonPages:        693092 kB
Mapped:            14836 kB
Shmem:               200 kB
Slab:             678544 kB
SReclaimable:     120212 kB
SUnreclaim:       558332 kB
KernelStack:        1456 kB
PageTables:         5180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     807772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    446464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71548 MiB
End job on node145 at 2012-05-28 04:50:58