Trace number 1870293

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT12 1795.26 1795.8

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
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 benchmark1795.95
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 constraint45
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)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.01/0.06	c SCIP version 1.1.0.7
0.01/0.06	c LP-Solver Clp 1.8.2
0.01/0.06	c user parameter file <scip.set> not found - using default parameters
0.01/0.06	c read problem <HOME/instance-1870293-1245195634.opb>
0.01/0.06	c original problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
0.09/0.11	c start presolving problem
0.09/0.11	c presolving:
0.49/0.55	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 414832 impls, 0 clqs
0.89/0.93	c    (0.7s) probing: 101/6420 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.93	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.93	c presolving (2 rounds):
0.89/0.93	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.93	c  414832 implications, 0 cliques
0.89/0.93	c presolved problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
0.89/0.93	c    6220 constraints of type <and>
0.89/0.93	c     200 constraints of type <logicor>
0.89/0.93	c transformed objective value is always integral (scale: 1)
0.89/0.93	c Presolving Time: 0.66
0.89/0.93	c OPT-NLC
0.89/0.93	c -----------------------------------------------------------------------------------------------
0.89/0.93	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.93	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93	c limits/memory = c 1620
0.89/0.93	c # maximal time in seconds to run
0.89/0.93	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93	c limits/time = c 1791
0.89/0.93	c # frequency for displaying node information lines
0.89/0.93	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.93	c display/freq = c 10000
0.89/0.93	c -----------------------------------------------------------------------------------------------
0.89/0.93	c start solving problem
0.89/0.93	c 
0.99/1.06	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.06	c   0.8s|     1 |     0 |   400 |  38M|   0 | 400 |6420 |6420 |6420 |6420 |  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.08	o 22
0.99/1.08	c s 0.8s|     1 |     0 |   400 |  38M|   0 | 400 |6420 |6420 |6420 |6420 |  12k|   0 |   0 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
2.79/2.83	c   2.4s|     1 |     0 |  1000 |  38M|   0 | 400 |6420 |6420 |6420 |6420 |  13k| 402 |   0 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
4.29/4.30	c   3.9s|     1 |     0 |  1602 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  13k| 804 |   0 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
4.29/4.33	o 20
4.29/4.33	c s 3.9s|     1 |     0 |  1602 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  13k| 804 |   0 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
5.69/5.76	c   5.3s|     1 |     0 |  2202 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  13k|1209 |   0 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
7.19/7.29	c   6.9s|     1 |     0 |  2802 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  14k|1610 |   0 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
8.79/8.90	c   8.4s|     1 |     0 |  3402 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  14k|2013 |   0 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
8.88/8.92	o 19
8.88/8.92	c s 8.5s|     1 |     0 |  3402 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  14k|2013 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
10.48/10.57	c  10.1s|     1 |     0 |  4003 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  15k|2414 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
10.58/10.60	o 18
10.58/10.60	c s10.2s|     1 |     0 |  4003 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  15k|2414 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
11.49/11.54	c  11.0s|     1 |     2 |  4003 |  39M|   0 | 400 |6420 |6420 |6420 |6420 |  15k|2414 |   0 |  22 | 0.000000e+00 | 1.800000e+01 |    Inf 
172.24/172.31	o 17
172.24/172.31	c g 171s|    68 |    69 |121678 |  42M|   7 |   - |6420 |6423 |  52 |6420 |5651 |  35k|   3 |1519 | 5.042644e+00 | 1.700000e+01 | 237.12%
996.99/997.31	o 16
996.99/997.31	c v 994s|   222 |   223 |680196 |  44M|  15 |   - |6420 |6460 |  22 |6420 |8070 | 107k|  40 |2696 | 6.268686e+00 | 1.600000e+01 | 155.24%
1102.37/1102.75	o 13
1102.37/1102.75	c *1100s|   253 |   250 |745554 |  43M|  17 |   - |6420 |6460 |5678 |6420 |6888 | 118k|  40 |2827 | 6.268686e+00 | 1.300000e+01 | 107.38%
1102.87/1103.24	o 12
1102.87/1103.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1102.87/1103.24	c *1100s|   257 |   248 |745963 |  44M|  17 |   - |6420 |6460 |1679 |6420 |6877 | 118k|  40 |2827 | 6.268686e+00 | 1.200000e+01 |  91.43%
1795.06/1795.63	c 
1795.06/1795.63	c SCIP Status        : solving was interrupted [time limit reached]
1795.06/1795.63	c Solving Time (sec) : 1791.01
1795.06/1795.63	c Solving Nodes      : 865
1795.06/1795.63	c Primal Bound       : +1.20000000000000e+01 (8 solutions)
1795.06/1795.63	c Dual Bound         : +6.38812434815144e+00
1795.06/1795.63	c Gap                : 87.85 %
1795.06/1795.65	c NODE         865
1795.06/1795.65	c DUAL BOUND   6.38812
1795.06/1795.65	c PRIMAL BOUND 12
1795.06/1795.65	c GAP          0.878486
1795.06/1795.65	s SATISFIABLE
1795.06/1795.65	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1795.06/1795.65	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 
1795.06/1795.65	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1795.06/1795.65	v x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1795.06/1795.65	v -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1795.06/1795.65	v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 
1795.06/1795.65	v -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 -x58 -x57 x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 
1795.06/1795.65	v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 
1795.06/1795.65	v -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1 
1795.06/1795.65	c SCIP Status        : solving was interrupted [time limit reached]
1795.06/1795.65	c Solving Time       :    1791.01
1795.06/1795.65	c Original Problem   :
1795.06/1795.65	c   Problem name     : HOME/instance-1870293-1245195634.opb
1795.06/1795.65	c   Variables        : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.06/1795.65	c   Constraints      : 6420 initial, 6420 maximal
1795.06/1795.65	c Presolved Problem  :
1795.06/1795.65	c   Problem name     : t_HOME/instance-1870293-1245195634.opb
1795.06/1795.65	c   Variables        : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.06/1795.65	c   Constraints      : 6420 initial, 6468 maximal
1795.06/1795.65	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.06/1795.65	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.65	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.65	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.65	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.65	c   implics          :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.65	c   probing          :       0.22          0          0          0          0          0          0          0          0
1795.06/1795.65	c   and              :       0.40          0          0          0          0          0          0          0          0
1795.06/1795.65	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1795.06/1795.65	c   root node        :          -          0          -          -          0          -          -          -          -
1795.06/1795.65	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.06/1795.65	c   integral         :          0          0          0        628          0          6         74          0          0       1198
1795.06/1795.65	c   and              :       6220       2676      24395          3          1          5     142968     417741          0          0
1795.06/1795.65	c   logicor          :        200+         6       6930          2          1          6          1          0          0          0
1795.06/1795.65	c   countsols        :          0          0          0          2          1          0          0          0          0          0
1795.06/1795.65	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.06/1795.65	c   integral         :     358.50       0.00       0.00     358.50       0.00
1795.06/1795.65	c   and              :      29.69      18.36      11.32       0.01       0.00
1795.06/1795.65	c   logicor          :       0.20       0.00       0.20       0.00       0.00
1795.06/1795.65	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.06/1795.65	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.06/1795.65	c   rootredcost      :       0.00          5          0          0
1795.06/1795.65	c   pseudoobj        :       0.63      24228          4         97
1795.06/1795.65	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.06/1795.65	c   propagation      :       0.00         15         15         56       50.5          0        0.0          -
1795.06/1795.65	c   infeasible LP    :       0.49        355          0          0        0.0          0        0.0          0
1795.06/1795.65	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.06/1795.65	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.06/1795.65	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.06/1795.65	c   applied globally :          -          -          -         48       43.3          -          -          -
1795.06/1795.65	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.06/1795.65	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.06/1795.65	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 2414)
1795.06/1795.65	c   redcost          :       1.98       2677          0       4609          0          0
1795.06/1795.65	c   impliedbounds    :       0.02          6          0          0       2400          0
1795.06/1795.65	c   intobj           :       0.00          0          0          0          0          0
1795.06/1795.65	c   gomory           :       0.78          6          0          0       3000          0
1795.06/1795.65	c   strongcg         :       0.76          6          0          0       3000          0
1795.06/1795.65	c   cmir             :       5.23          6          0          0       2400          0
1795.06/1795.65	c   flowcover        :       1.27          6          0          0          0          0
1795.06/1795.65	c   clique           :       0.37          6          0          0         14          0
1795.06/1795.65	c   zerohalf         :       0.00          0          0          0          0          0
1795.06/1795.65	c   mcf              :       0.02          1          0          0          0          0
1795.06/1795.65	c Pricers            :       Time      Calls       Vars
1795.06/1795.65	c   problem variables:       0.00          0          0
1795.06/1795.65	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.06/1795.65	c   relpscost        :     358.50        625          6         74          0          0       1198
1795.06/1795.65	c   pscost           :       0.00          0          0          0          0          0          0
1795.06/1795.65	c   inference        :       0.01          1          0          0          0          0          2
1795.06/1795.65	c   mostinf          :       0.00          0          0          0          0          0          0
1795.06/1795.65	c   leastinf         :       0.00          0          0          0          0          0          0
1795.06/1795.65	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.06/1795.65	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.06/1795.65	c   random           :       0.00          0          0          0          0          0          0
1795.06/1795.65	c Primal Heuristics  :       Time      Calls      Found
1795.06/1795.65	c   LP solutions     :       0.01          -          2
1795.06/1795.65	c   pseudo solutions :       0.00          -          0
1795.06/1795.65	c   oneopt           :       0.03          5          0
1795.06/1795.65	c   objpscostdiving  :      16.93          7          0
1795.06/1795.65	c   linesearchdiving :      58.91         15          0
1795.06/1795.65	c   guideddiving     :     212.64         26          1
1795.06/1795.65	c   rootsoldiving    :       5.81         13          0
1795.06/1795.65	c   simplerounding   :       0.00          0          0
1795.06/1795.65	c   rounding         :       3.07        745          0
1795.06/1795.65	c   shifting         :       1.24        186          4
1795.06/1795.65	c   intshifting      :       0.00          0          0
1795.06/1795.65	c   fixandinfer      :       0.00          0          0
1795.06/1795.65	c   feaspump         :       0.00          0          0
1795.06/1795.65	c   coefdiving       :      88.33         11          0
1795.06/1795.65	c   pscostdiving     :     110.35         10          0
1795.06/1795.65	c   fracdiving       :      89.19         13          0
1795.06/1795.65	c   veclendiving     :      28.34         13          1
1795.06/1795.65	c   intdiving        :       0.00          0          0
1795.06/1795.65	c   actconsdiving    :       0.00          0          0
1795.06/1795.65	c   octane           :       0.00          0          0
1795.06/1795.65	c   rens             :       0.51          1          0
1795.06/1795.65	c   rins             :       0.00          0          0
1795.06/1795.65	c   localbranching   :       0.00          0          0
1795.06/1795.65	c   mutation         :       0.00          0          0
1795.06/1795.65	c   crossover        :       0.43          2          0
1795.06/1795.65	c   dins             :       0.00          0          0
1795.06/1795.65	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.06/1795.65	c   primal LP        :     178.07          0          0       0.00       0.00
1795.06/1795.65	c   dual LP          :     578.79       3358     750437     223.48    1296.56
1795.06/1795.65	c   barrier LP       :       0.00          0          0       0.00          -
1795.06/1795.65	c   diving/probing LP:     547.44      12020     453787      37.75     828.93
1795.06/1795.65	c   strong branching :     357.66       3405     477458     140.22    1334.95
1795.06/1795.65	c     (at root node) :          -         22       1063      48.32          -
1795.06/1795.65	c   conflict analysis:       0.00          0          0       0.00          -
1795.06/1795.65	c B&B Tree           :
1795.06/1795.65	c   number of runs   :          1
1795.06/1795.65	c   nodes            :        865
1795.06/1795.65	c   nodes (total)    :        865
1795.06/1795.65	c   nodes left       :        332
1795.06/1795.65	c   max depth        :         38
1795.06/1795.65	c   max depth (total):         38
1795.06/1795.65	c   backtracks       :        302 (34.9%)
1795.06/1795.65	c   delayed cutoffs  :          0
1795.06/1795.65	c   repropagations   :          1 (31 domain reductions, 0 cutoffs)
1795.06/1795.65	c   avg switch length:       5.24
1795.06/1795.65	c   switching time   :     179.45
1795.06/1795.65	c Solution           :
1795.06/1795.65	c   Solutions found  :          8 (8 improvements)
1795.06/1795.65	c   Primal Bound     : +1.20000000000000e+01   (in run 1, after 257 nodes, 1100.02 seconds, depth 14, found by <relaxation>)
1795.06/1795.65	c   Dual Bound       : +6.38812434815144e+00
1795.06/1795.65	c   Gap              :      87.85 %
1795.06/1795.65	c   Root Dual Bound  : +0.00000000000000e+00
1795.16/1795.79	c Time complete: 1795.25.

Verifier Data

OK	12

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870293-1245195634/watcher-1870293-1245195634 -o /tmp/evaluation-result-1870293-1245195634/solver-1870293-1245195634 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870293-1245195634.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=5812 CPUtime=0
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 187156293 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5163/statm: 1453 502 332 1256 0 192 0

[startup+0.025955 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=13248 CPUtime=0.01
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 2286 0 0 0 1 0 0 0 18 0 1 0 187156293 13565952 2270 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/5163/statm: 3312 2270 380 1256 0 2051 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13248

[startup+0.101966 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=27376 CPUtime=0.09
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 6206 0 0 0 6 3 0 0 18 0 1 0 187156293 28033024 5836 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 6844 5836 427 1256 0 5583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27376

[startup+0.301994 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=40124 CPUtime=0.29
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 9160 0 0 0 25 4 0 0 19 0 1 0 187156293 41086976 8790 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 10031 8790 447 1256 0 8770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40124

[startup+0.701051 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=47604 CPUtime=0.68
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 11052 0 0 0 48 20 0 0 22 0 1 0 187156293 48746496 10682 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 11901 10682 469 1256 0 10640 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47604

[startup+1.50216 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 5164
/proc/meminfo: memFree=1777624/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=75060 CPUtime=1.49
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 17166 0 0 0 124 25 0 0 25 0 1 0 187156293 76861440 16715 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 18765 16715 632 1256 0 17504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75060

[startup+3.10139 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 5164
/proc/meminfo: memFree=1767768/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=79596 CPUtime=3.09
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 18374 0 0 0 274 35 0 0 25 0 1 0 187156293 81506304 17923 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 19899 17923 650 1256 0 18638 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79596

[startup+6.30184 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 5164
/proc/meminfo: memFree=1760984/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=81980 CPUtime=6.29
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 18989 0 0 0 591 38 0 0 25 0 1 0 187156293 83947520 18533 1992294400 4194304 9342243 548682068736 18446744073709551615 4338511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 20495 18533 650 1256 0 19234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81980

[startup+12.7018 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5164
/proc/meminfo: memFree=1757080/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=85272 CPUtime=12.68
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 28162 0 0 0 1222 46 0 0 25 0 1 0 187156293 87318528 19439 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21318 19439 679 1256 0 20057 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85272

[startup+25.5016 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 5164
/proc/meminfo: memFree=1756504/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=85272 CPUtime=25.48
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 28355 0 0 0 2500 48 0 0 25 0 1 0 187156293 87318528 19632 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21318 19632 685 1256 0 20057 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85272

[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5164
/proc/meminfo: memFree=1756184/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=85468 CPUtime=51.08
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 28475 0 0 0 5055 53 0 0 25 0 1 0 187156293 87519232 19752 1992294400 4194304 9342243 548682068736 18446744073709551615 6348557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21367 19752 685 1256 0 20106 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85468

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5164
/proc/meminfo: memFree=1756696/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=86004 CPUtime=102.26
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 34620 0 0 0 10163 63 0 0 25 0 1 0 187156293 88068096 19614 1992294400 4194304 9342243 548682068736 18446744073709551615 6238498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21501 19614 689 1256 0 20240 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 86004

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5164
/proc/meminfo: memFree=1755544/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=87744 CPUtime=162.25
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 45123 0 0 0 16146 79 0 0 25 0 1 0 187156293 89849856 19866 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21936 19866 692 1256 0 20675 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 87744

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5164
/proc/meminfo: memFree=1755352/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=86404 CPUtime=222.23
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 55686 0 0 0 22128 95 0 0 25 0 1 0 187156293 88477696 19935 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21601 19935 692 1256 0 20340 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 86404

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5164
/proc/meminfo: memFree=1751960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=88708 CPUtime=282.21
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 65078 0 0 0 28112 109 0 0 25 0 1 0 187156293 90836992 20783 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 22177 20783 692 1256 0 20916 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 88708

[startup+342.301 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 5164
/proc/meminfo: memFree=1750360/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=89236 CPUtime=342.19
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 71806 0 0 0 34100 119 0 0 25 0 1 0 187156293 91377664 21164 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 22309 21164 692 1256 0 21048 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 89236

[startup+402.302 s]
/proc/loadavg: 1.07 1.03 1.01 2/65 5164
/proc/meminfo: memFree=1750680/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=91072 CPUtime=402.17
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 77658 0 0 0 40088 129 0 0 25 0 1 0 187156293 93257728 21150 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 22768 21150 692 1256 0 21507 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 91072

[startup+462.302 s]
/proc/loadavg: 1.06 1.04 1.01 2/65 5164
/proc/meminfo: memFree=1748248/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=95136 CPUtime=462.15
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 86113 0 0 0 46074 141 0 0 25 0 1 0 187156293 97419264 21702 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 23784 21702 692 1256 0 22523 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 95136

[startup+522.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 5164
/proc/meminfo: memFree=1750296/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=91700 CPUtime=522.14
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 95275 0 0 0 52061 153 0 0 25 0 1 0 187156293 93900800 21251 1992294400 4194304 9342243 548682068736 18446744073709551615 4266239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 22925 21251 692 1256 0 21664 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 91700

[startup+582.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 5164
/proc/meminfo: memFree=1749784/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=99548 CPUtime=582.12
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 118573 0 0 0 58038 174 0 0 25 0 1 0 187156293 101937152 21346 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 24887 21346 701 1256 0 23626 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 99548

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5164
/proc/meminfo: memFree=1745432/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=95764 CPUtime=642.1
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 155879 0 0 0 64010 200 0 0 25 0 1 0 187156293 98062336 22426 1992294400 4194304 9342243 548682068736 18446744073709551615 6960296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 23941 22426 702 1256 0 22680 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 95764

[startup+702.302 s]

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

/proc/meminfo: memFree=1736536/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=105532 CPUtime=1061.97
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 212923 0 0 0 105920 277 0 0 25 0 1 0 187156293 108064768 24271 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 26383 24271 702 1256 0 25122 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 105532

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5166
/proc/meminfo: memFree=1736408/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=104452 CPUtime=1121.96
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 217113 0 0 0 111909 287 0 0 25 0 1 0 187156293 106958848 24611 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 26113 24611 702 1256 0 24852 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 104452

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5166
/proc/meminfo: memFree=1737432/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=103960 CPUtime=1181.94
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 226947 0 0 0 117894 300 0 0 25 0 1 0 187156293 106455040 24444 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 25990 24444 702 1256 0 24729 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 103960

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1734936/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=108456 CPUtime=1241.92
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 235262 0 0 0 123878 314 0 0 25 0 1 0 187156293 111058944 24966 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 27114 24966 702 1256 0 25853 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 108456

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1736792/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=104920 CPUtime=1301.9
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 263121 0 0 0 129854 336 0 0 25 0 1 0 187156293 107438080 24476 1992294400 4194304 9342243 548682068736 18446744073709551615 6920803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 26230 24476 702 1256 0 24969 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 104920

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1728472/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1361.89
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275448 0 0 0 135838 351 0 0 25 0 1 0 187156293 131985408 30705 1992294400 4194304 9342243 548682068736 18446744073709551615 6960335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30705 716 1256 0 30962 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 128892

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1421.87
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275448 0 0 0 141828 359 0 0 25 0 1 0 187156293 131985408 30705 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30705 716 1256 0 30962 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 128892

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1481.85
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275450 0 0 0 147819 366 0 0 25 0 1 0 187156293 131985408 30707 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30707 716 1256 0 30962 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 128892

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1541.84
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275451 0 0 0 153811 373 0 0 25 0 1 0 187156293 131985408 30708 1992294400 4194304 9342243 548682068736 18446744073709551615 6880991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30708 716 1256 0 30962 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 128892

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1601.81
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275451 0 0 0 159802 379 0 0 25 0 1 0 187156293 131985408 30708 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30708 716 1256 0 30962 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 128892

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1661.79
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275451 0 0 0 165793 386 0 0 25 0 1 0 187156293 131985408 30708 1992294400 4194304 9342243 548682068736 18446744073709551615 6040670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30708 716 1256 0 30962 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 128892

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1721.78
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275451 0 0 0 171784 394 0 0 25 0 1 0 187156293 131985408 30708 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30708 716 1256 0 30962 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 128892

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1781.77
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 177773 404 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 6910936 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 129228

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1784.96
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 178092 404 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 4266239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1784.96
Current children cumulated vsize (KiB) 129228

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1791.36
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 178731 405 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 129228

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1792.96
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 178891 405 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1792.96
Current children cumulated vsize (KiB) 129228

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1794.56
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 179051 405 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 129228

[startup+1795.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1794.96
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 179091 405 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1794.96
Current children cumulated vsize (KiB) 129228

[startup+1795.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1795.16
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277370 0 0 0 179111 405 0 0 25 0 1 0 187156293 132329472 31353 1992294400 4194304 9342243 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31353 717 1256 0 31046 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 129228

Child status: 0
Real time (s): 1795.8
CPU time (s): 1795.26
CPU user time (s): 1791.18
CPU system time (s): 4.07838
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 133700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.18
system time used= 4.07838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277373
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= 2
involuntary context switches= 2233

runsolver used 1.34579 second user time and 3.79742 second system time

The end

Launcher Data

Begin job on node49 at 2009-06-17 01:40:34
IDJOB=1870293
IDBENCH=48145
IDSOLVER=684
FILE ID=node49/1870293-1245195634
PBS_JOBID= 9368286
Free space on /tmp= 66028 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870293-1245195634/watcher-1870293-1245195634 -o /tmp/evaluation-result-1870293-1245195634/solver-1870293-1245195634 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870293-1245195634.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62
RANDOM SEED=1033498544

node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1833088 kB
Buffers:         53988 kB
Cached:         100484 kB
SwapCached:       4580 kB
Active:          59804 kB
Inactive:       102824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833088 kB
SwapTotal:     4192956 kB
SwapFree:      4181384 kB
Dirty:           11808 kB
Writeback:           0 kB
Mapped:          13852 kB
Slab:            46008 kB
Committed_AS:   181988 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66016 MiB
End job on node49 at 2009-06-17 02:10:30