Trace number 3462712

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.05 1797.98

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 benchmark1797.14
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-3462712-1307182138.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.013 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.181 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.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   6404    12609    43828    3    31423   39491      1      0 0.18
0.09/0.18	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.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   6404    12612    44428    3    31438   40291      4      0 0.19
0.09/0.19	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.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   6404    12614    44828    3    31453   41158      6      0 0.20
0.19/0.20	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.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   6404    12617    45428    3    31483   42958      9      0 0.21
0.19/0.21	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.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   6404    12619    45828    3    31508   44491     11      0 0.22
0.19/0.22	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.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   6404    12621    46228    3    31537   46291     13      0 0.23
0.19/0.23	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.23
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.24
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.25
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.26
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.27
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.19/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.30	c        0   6404    12634    48828    3    31823   59291     26      0 0.29
0.19/0.30	o 173
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   6404    12635    49028    3    31852   60291     27      0 0.30
0.29/0.30	o 172
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6404    12636    49228    3    31882   61291     28      0 0.30
0.29/0.31	o 171
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6404    12637    49428    3    31913   62291     29      0 0.31
0.29/0.31	o 170
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6404    12638    49628    3    31945   63291     30      0 0.31
0.29/0.32	o 169
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6404    12639    49828    3    31978   64291     31      0 0.32
0.29/0.32	o 168
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6404    12640    50028    3    32012   65291     32      0 0.33
0.29/0.33	o 167
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6404    12641    50228    3    32047   66291     33      0 0.33
0.29/0.33	o 166
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   6404    12642    50428    3    32083   67291     34      0 0.34
0.29/0.34	o 165
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   6404    12643    50628    4    32120   68291     35      0 0.34
0.29/0.34	o 164
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   6404    12644    50828    4    32158   69291     36      0 0.34
0.29/0.35	o 163
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   6404    12645    51028    4    32197   70291     37      0 0.35
0.29/0.35	o 162
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   6404    12646    51228    4    32237   71291     38      0 0.36
0.29/0.36	o 161
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   6404    12647    51428    4    32278   72291     39      0 0.36
0.29/0.36	o 160
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        0   6404    12648    51628    4    32320   73291     40      0 0.37
0.29/0.37	o 159
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        0   6404    12649    51828    4    32363   74291     41      0 0.37
0.29/0.37	o 158
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c        0   6404    12650    52028    4    32407   75291     42      0 0.38
0.29/0.38	o 157
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c        0   6404    12651    52228    4    32452   76291     43      0 0.38
0.29/0.38	o 156
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        0   6404    12652    52428    4    32498   77291     44      0 0.39
0.29/0.39	o 155
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        0   6404    12653    52628    4    32545   78291     45      0 0.39
0.29/0.39	o 154
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c        0   6404    12654    52828    4    32593   79291     46      0 0.40
0.39/0.40	o 153
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c        0   6404    12655    53028    4    32642   80291     47      0 0.40
0.39/0.40	o 152
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   6404    12656    53228    4    32692   81291     48      0 0.41
0.39/0.41	o 151
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   6404    12657    53428    4    32743   82291     49      0 0.41
0.39/0.41	o 150
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c        0   6404    12658    53628    4    32795   83291     50      0 0.42
0.39/0.42	o 149
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c        0   6404    12659    53828    4    32848   84291     51      0 0.42
0.39/0.42	o 148
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   6404    12660    54028    4    32902   85291     52      0 0.42
0.39/0.43	o 147
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   6404    12661    54228    4    32957   86291     53      0 0.43
0.39/0.43	o 146
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c        1   6404    12663    54575    4    33015   86291     55      2 0.43
0.39/0.44	o 16
64.70/64.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.70/64.71	c        1   6404    12664    54775    4    33201   86291     56      2 0.44
64.70/64.71	c      102   6404    12772    69831    5    33417   94921    164    209 0.49
64.70/64.71	c      352   6404    13043   102806    7    34141  104414    435    578 0.61
64.70/64.71	c      827   6404    13542   163380   12    35139  114856    934    956 0.86
64.70/64.71	c     1640   6404    14409   291011   20    36873  126342   1801   1277 1.28
64.70/64.71	c     2961   6404    15881   578039   36    39882  138977   3273   1429 2.07
64.70/64.71	c     5043   6404    18164  1131333   62    46448  152875   5556   1327 3.80
64.70/64.71	c     8267   6404    21702  1708975   78    53678  168163   9094   1265 6.54
64.70/64.71	c    13205   6404    27025  2503002   92    65585  184980  14417   1132 11.66
64.70/64.71	c    20713   6404    35150  3926305  111    83914  203479  22542    991 20.90
64.70/64.71	c    32074   6404    47421  7055404  148   113200  223827  34813    736 43.56
64.70/64.71	o 15
1797.95/1797.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.93	c    40555   6404    56630  9259329  163   134570   86291  44022    626 64.71
1797.95/1797.93	c    40657   6404    56736  9277906  163   134782   94921  44128    625 65.03
1797.95/1797.93	c    40907   6404    56998  9303478  163   135306  104414  44390    623 65.56
1797.95/1797.93	c    41383   6404    57495  9368098  162   136300  114856  44887    620 66.67
1797.95/1797.93	c    42197   6404    58339  9443939  161   138169  126342  45731    617 68.28
1797.95/1797.93	c    43518   6404    59769  9654898  161   141369  138977  47161    608 71.46
1797.95/1797.93	c    45599   6404    61970  9906653  159   146499  152875  49362    596 76.49
1797.95/1797.93	c    48822   6404    65420 10382486  158   154950  168163  52812    577 84.56
1797.95/1797.93	c    53758   6404    70831 11580560  163   168207  184980  58223    549 97.78
1797.95/1797.93	c    61265   6404    79063 13105321  165   186582  203479  66455    512 119.65
1797.95/1797.93	c    72627   6404    91560 15886167  173   217642  223827  78952    439 165.35
1797.95/1797.93	c    89773   6404   110450 20866040  188   267048  246210  97842    351 255.08
1797.95/1797.93	c   115592   6404   138817 29547419  212   336421  270832 126209    275 419.17
1797.95/1797.94	c   154425   6404   181334 44794526  247   456633  297916 168726    187 823.06
1797.95/1797.94	c   212779   6404   247452 73751120  298   699414  327708 234844    126 1687.68
1797.95/1797.94	c Resources Exceeded
1797.95/1797.94	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.95/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.94	c   80   218124  64124   388575   253466 76331508 240858    121 1798.01
1797.95/1797.94	c Objective: 15
1797.95/1797.94	s SATISFIABLE
1797.95/1797.94	c Total time: 1798.01 s

Verifier Data 

OK	15

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462712-1307182138/watcher-3462712-1307182138 -o /tmp/evaluation-result-3462712-1307182138/solver-3462712-1307182138 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462712-1307182138.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.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=12396 CPUtime=0.01 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 682 0 0 0 1 0 0 0 19 0 1 0 908444501 12693504 636 33554432000 134512640 137138936 4293587392 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3099 638 189 642 0 2434 0

[startup+0.059242 s]
/proc/loadavg: 2.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=13904 CPUtime=0.05 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 1077 0 0 0 5 0 0 0 19 0 1 0 908444501 14237696 1010 33554432000 134512640 137138936 4293587392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3476 1010 185 642 0 2832 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13904

[startup+0.100231 s]
/proc/loadavg: 2.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=13904 CPUtime=0.09 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 1077 0 0 0 9 0 0 0 19 0 1 0 908444501 14237696 1010 33554432000 134512640 137138936 4293587392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3476 1010 185 642 0 2832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13904

[startup+0.301206 s]
/proc/loadavg: 2.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=14044 CPUtime=0.29 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 1446 0 0 0 27 2 0 0 20 0 1 0 908444501 14381056 1073 33554432000 134512640 137138936 4293587392 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3511 1074 188 642 0 2867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14044

[startup+0.701123 s]
/proc/loadavg: 2.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=15164 CPUtime=0.69 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 1731 0 0 0 66 3 0 0 21 0 1 0 908444501 15527936 1358 33554432000 134512640 137138936 4293587392 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3791 1358 192 642 0 3147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15164

[startup+1.50097 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 18298
/proc/meminfo: memFree=22967792/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=18432 CPUtime=1.49 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 2556 0 0 0 146 3 0 0 23 0 1 0 908444501 18874368 2183 33554432000 134512640 137138936 4293587392 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 4608 2183 192 642 0 3964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18432

[startup+3.10068 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 18298
/proc/meminfo: memFree=22959360/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=25732 CPUtime=3.09 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 4378 0 0 0 306 3 0 0 25 0 1 0 908444501 26349568 4005 33554432000 134512640 137138936 4293587392 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 6433 4005 192 642 0 5789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25732

[startup+6.30107 s]
/proc/loadavg: 2.07 2.06 2.01 3/516 18298
/proc/meminfo: memFree=22948332/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=35900 CPUtime=6.29 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 6908 0 0 0 625 4 0 0 25 0 1 0 908444501 36761600 6535 33554432000 134512640 137138936 4293587392 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 8975 6535 192 642 0 8331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35900

[startup+12.7009 s]
/proc/loadavg: 2.07 2.06 2.01 3/516 18299
/proc/meminfo: memFree=22934300/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=49856 CPUtime=12.69 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 10406 0 0 0 1264 5 0 0 25 0 1 0 908444501 51052544 10033 33554432000 134512640 137138936 4293587392 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 12464 10033 192 642 0 11820 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49856

[startup+25.5004 s]
/proc/loadavg: 2.05 2.06 2.01 3/516 18299
/proc/meminfo: memFree=22909352/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=75612 CPUtime=25.49 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 16835 0 0 0 2541 8 0 0 25 0 1 0 908444501 77426688 16462 33554432000 134512640 137138936 4293587392 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 18903 16462 192 642 0 18259 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75612

[startup+51.1006 s]
/proc/loadavg: 2.03 2.05 2.01 3/516 18300
/proc/meminfo: memFree=22865176/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=118932 CPUtime=51.09 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 27681 0 0 0 5097 12 0 0 25 0 1 0 908444501 121786368 27308 33554432000 134512640 137138936 4293587392 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 29733 27308 192 642 0 29089 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118932

[startup+102.32 s]
/proc/loadavg: 2.11 2.07 2.01 3/516 18301
/proc/meminfo: memFree=22810336/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=171924 CPUtime=102.32 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 40911 0 0 0 10212 20 0 0 25 0 1 0 908444501 176050176 40538 33554432000 134512640 137138936 4293587392 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 42981 40538 192 642 0 42337 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 171924

[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/516 18302
/proc/meminfo: memFree=22760456/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=223008 CPUtime=162.29 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 53694 0 0 0 16203 26 0 0 25 0 1 0 908444501 228360192 53321 33554432000 134512640 137138936 4293587392 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 55752 53321 192 642 0 55108 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 223008

[startup+222.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 18304
/proc/meminfo: memFree=22715636/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=269104 CPUtime=222.3 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 65206 0 0 0 22197 33 0 0 25 0 1 0 908444501 275562496 64833 33554432000 134512640 137138936 4293587392 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 67276 64833 192 642 0 66632 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 269104

[startup+282.301 s]
/proc/loadavg: 2.17 2.08 2.01 3/516 18306
/proc/meminfo: memFree=22669472/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=313804 CPUtime=282.3 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 76400 0 0 0 28191 39 0 0 25 0 1 0 908444501 321335296 76027 33554432000 134512640 137138936 4293587392 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 78451 76027 192 642 0 77807 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 313804

[startup+342.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/516 18307
/proc/meminfo: memFree=22625684/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=360096 CPUtime=342.31 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 87971 0 0 0 34186 45 0 0 25 0 1 0 908444501 368738304 87598 33554432000 134512640 137138936 4293587392 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 90024 87598 192 642 0 89380 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 360096

[startup+402.301 s]
/proc/loadavg: 2.05 2.06 2.00 3/516 18309
/proc/meminfo: memFree=22589560/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=395688 CPUtime=402.3 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 96855 0 0 0 40180 50 0 0 25 0 1 0 908444501 405184512 96480 33554432000 134512640 137138936 4293587392 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 98922 96480 192 642 0 98278 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 395688

[startup+462.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/516 18310
/proc/meminfo: memFree=22558392/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=427920 CPUtime=462.31 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 104927 0 0 0 46175 56 0 0 25 0 1 0 908444501 438190080 104552 33554432000 134512640 137138936 4293587392 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 106980 104552 192 642 0 106336 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 427920

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 18312
/proc/meminfo: memFree=22525120/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=459636 CPUtime=522.31 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 112852 0 0 0 52171 60 0 0 25 0 1 0 908444501 470667264 112477 33554432000 134512640 137138936 4293587392 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 114909 112477 192 642 0 114265 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 459636

[startup+582.301 s]
/proc/loadavg: 1.93 2.01 1.99 3/516 18343
/proc/meminfo: memFree=22556344/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=492036 CPUtime=582.31 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 120952 0 0 0 58167 64 0 0 25 0 1 0 908444501 503844864 120577 33554432000 134512640 137138936 4293587392 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 123009 120577 192 642 0 122365 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 492036

[startup+642.3 s]

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

/proc/meminfo: memFree=22298364/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=722628 CPUtime=1062.33 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 178614 0 0 0 106135 98 0 0 25 0 1 0 908444501 739971072 178229 33554432000 134512640 137138936 4293587392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 180657 178229 192 642 0 180013 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 722628

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 18357
/proc/meminfo: memFree=22260872/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=754492 CPUtime=1122.33 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 186573 0 0 0 112130 103 0 0 25 0 1 0 908444501 772599808 186187 33554432000 134512640 137138936 4293587392 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 188623 186187 192 642 0 187979 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 754492

[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/516 18359
/proc/meminfo: memFree=22231680/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=782808 CPUtime=1182.33 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 193653 0 0 0 118126 107 0 0 25 0 1 0 908444501 801595392 193267 33554432000 134512640 137138936 4293587392 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 195702 193267 192 642 0 195058 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 782808

[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/516 18360
/proc/meminfo: memFree=22202632/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=811776 CPUtime=1242.34 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 200903 0 0 0 124123 111 0 0 25 0 1 0 908444501 831258624 200517 33554432000 134512640 137138936 4293587392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 202944 200517 192 642 0 202300 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 811776

[startup+1302.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/516 18362
/proc/meminfo: memFree=22176924/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=837660 CPUtime=1302.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 207364 0 0 0 130120 115 0 0 25 0 1 0 908444501 857763840 206978 33554432000 134512640 137138936 4293587392 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 209415 206978 192 642 0 208771 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 837660

[startup+1362.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 18363
/proc/meminfo: memFree=22152452/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=862072 CPUtime=1362.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 213512 0 0 0 136117 118 0 0 25 0 1 0 908444501 882761728 213084 33554432000 134512640 137138936 4293587392 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 215518 213084 192 642 0 214874 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 862072

[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 2.00 4/516 18365
/proc/meminfo: memFree=22126492/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=887808 CPUtime=1422.37 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 220185 0 0 0 142116 121 0 0 25 0 1 0 908444501 909115392 219508 33554432000 134512640 137138936 4293587392 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 221952 219508 192 642 0 221308 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 887808

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 18367
/proc/meminfo: memFree=22104748/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=907804 CPUtime=1482.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 225205 0 0 0 148111 124 0 0 25 0 1 0 908444501 929591296 224528 33554432000 134512640 137138936 4293587392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 226951 224528 192 642 0 226307 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 907804

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 18368
/proc/meminfo: memFree=22078288/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=931040 CPUtime=1542.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 231006 0 0 0 154108 127 0 0 25 0 1 0 908444501 953384960 230329 33554432000 134512640 137138936 4293587392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 232760 230329 192 642 0 232116 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 931040

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 18370
/proc/meminfo: memFree=22053828/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=955820 CPUtime=1602.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 237179 0 0 0 160104 131 0 0 25 0 1 0 908444501 978759680 236502 33554432000 134512640 137138936 4293587392 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 238955 236502 192 642 0 238311 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 955820

[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/516 18372
/proc/meminfo: memFree=22033576/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=975428 CPUtime=1662.36 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 242105 0 0 0 166102 134 0 0 25 0 1 0 908444501 998838272 241428 33554432000 134512640 137138936 4293587392 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 243857 241428 192 642 0 243213 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 975428

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/516 18373
/proc/meminfo: memFree=22015692/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=992916 CPUtime=1722.36 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 246497 0 0 0 172100 136 0 0 25 0 1 0 908444501 1016745984 245795 33554432000 134512640 137138936 4293587392 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 248229 245795 192 642 0 247585 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 992916

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 18375
/proc/meminfo: memFree=21995684/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1011564 CPUtime=1782.36 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 251166 0 0 0 178098 138 0 0 25 0 1 0 908444501 1035841536 250460 33554432000 134512640 137138936 4293587392 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 252891 250460 192 642 0 252247 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1011564

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 18375
/proc/meminfo: memFree=21994320/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1012404 CPUtime=1785.56 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 251371 0 0 0 178417 139 0 0 25 0 1 0 908444501 1036701696 250665 33554432000 134512640 137138936 4293587392 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 253101 250665 192 642 0 252457 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 1012404

[startup+1791.92 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 18375
/proc/meminfo: memFree=21993056/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1014460 CPUtime=1791.98 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 251892 0 0 0 179059 139 0 0 25 0 1 0 908444501 1038807040 251182 33554432000 134512640 137138936 4293587392 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 253615 251182 192 642 0 252971 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 1014460

[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 18377
/proc/meminfo: memFree=21993180/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1015456 CPUtime=1795.17 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 252147 0 0 0 179378 139 0 0 25 0 1 0 908444501 1039826944 251437 33554432000 134512640 137138936 4293587392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 253864 251437 192 642 0 253220 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 1015456

[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 18377
/proc/meminfo: memFree=21992684/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1016172 CPUtime=1796.76 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 252310 0 0 0 179537 139 0 0 25 0 1 0 908444501 1040560128 251600 33554432000 134512640 137138936 4293587392 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 254043 251600 192 642 0 253399 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 1016172

[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 18377
/proc/meminfo: memFree=21991072/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1016428 CPUtime=1797.55 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 252391 0 0 0 179616 139 0 0 25 0 1 0 908444501 1040822272 251681 33554432000 134512640 137138936 4293587392 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 254107 251681 192 642 0 253463 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1016428

[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 18377
/proc/meminfo: memFree=21991072/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1016548 CPUtime=1797.95 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 252419 0 0 0 179656 139 0 0 25 0 1 0 908444501 1040945152 251709 33554432000 134512640 137138936 4293587392 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 254137 251709 192 642 0 253493 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1016548

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.05
CPU user time (s): 1796.61
CPU system time (s): 1.44278
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1016548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.61
system time used= 1.44278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1380

runsolver used 8.73667 second user time and 22.3266 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 12:08:58
IDJOB=3462712
IDBENCH=48128
IDSOLVER=1955
FILE ID=node115/3462712-1307182138
RUNJOBID= node115-1307174923-17603
PBS_JOBID= 13508831
Free space on /tmp= 73832 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-3462712-1307182138/watcher-3462712-1307182138 -o /tmp/evaluation-result-3462712-1307182138/solver-3462712-1307182138 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462712-1307182138.opb

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=1810695614

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22976420 kB
Buffers:        196908 kB
Cached:         326776 kB
SwapCached:      65828 kB
Active:        1220696 kB
Inactive:      8512068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22976420 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:     9147008 kB
Mapped:          28672 kB
Slab:            96608 kB
PageTables:      76072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 152062540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73832 MiB
End job on node115 at 2011-06-04 12:38:56